minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94336.342000 
s2: s + 0.001000f1 + 0.501000f2 >= 94336.342000 
f1: -f1 + 907x1 + 829x2 + 1008x3 + 888x4 + 836x5 + 869x6 + 1007x7 + 646x8 + 916x9 + 618x10 + 635x11 + 1051x12 + 526x13 + 745x14 + 937x15 + 1030x16 + 835x17 + 1048x18 + 827x19 + 955x20 + 694x21 + 747x22 + 832x23 + 455x24 + 713x25 + 825x26 + 699x27 + 648x28 + 621x29 + 432x30 + 690x31 + 900x32 + 922x33 + 824x34 + 971x35 + 499x36 + 578x37 + 829x38 + 1060x39 + 925x40 + 873x41 + 668x42 + 1163x43 + 805x44 + 717x45 + 998x46 + 800x47 + 604x48 + 893x49 + 741x50 + 737x51 + 816x52 + 798x53 + 467x54 + 675x55 + 896x56 + 399x57 + 774x58 + 864x59 + 901x60 + 885x61 + 630x62 + 709x63 + 381x64 + 860x65 + 536x66 + 440x67 + 625x68 + 958x69 + 715x70 + 587x71 + 795x72 + 910x73 + 793x74 + 1055x75 + 537x76 + 616x77 + 780x78 + 871x79 + 585x80 + 796x81 + 844x82 + 668x83 + 876x84 + 480x85 + 525x86 + 826x87 + 1139x88 + 546x89 + 523x90 + 898x91 + 431x92 + 645x93 + 637x94 + 547x95 + 934x96 + 636x97 + 925x98 + 546x99 + 814x100 + 614x101 + 787x102 + 657x103 + 531x104 + 481x105 + 818x106 + 844x107 + 842x108 + 980x109 + 929x110 + 941x111 + 1031x112 + 870x113 + 900x114 + 763x115 + 925x116 + 1019x117 + 814x118 + 986x119 + 1009x120 + 743x121 + 1018x122 + 881x123 + 654x124 + 821x125 + 564x126 + 848x127 + 954x128 + 750x129 + 622x130 + 924x131 + 489x132 + 984x133 + 742x134 + 800x135 + 502x136 + 383x137 + 841x138 + 700x139 + 692x140 + 678x141 + 704x142 + 605x143 + 494x144 + 583x145 + 637x146 + 987x147 + 719x148 + 999x149 + 646x150 + 567x151 + 763x152 + 654x153 + 913x154 + 817x155 + 549x156 + 627x157 + 600x158 + 902x159 + 820x160 + 582x161 + 418x162 + 602x163 + 732x164 + 834x165 + 757x166 + 815x167 + 483x168 + 751x169 + 818x170 + 499x171 + 905x172 + 792x173 + 788x174 + 712x175 + 707x176 + 555x177 + 765x178 + 1115x179 + 714x180 + 560x181 + 943x182 + 832x183 + 919x184 + 908x185 + 892x186 + 570x187 + 1075x188 + 855x189 + 792x190 + 753x191 + 870x192 + 981x193 + 477x194 + 713x195 + 817x196 + 876x197 + 851x198 + 673x199 + 478x200 + 783x201 + 793x202 + 821x203 + 603x204 + 1005x205 + 903x206 + 767x207 + 887x208 + 921x209 + 614x210 + 710x211 + 1052x212 + 607x213 + 913x214 + 730x215 + 766x216 + 473x217 + 609x218 + 923x219 + 996x220 + 549x221 + 692x222 + 642x223 + 525x224 + 724x225 + 500x226 + 407x227 + 739x228 + 809x229 + 429x230 + 505x231 + 658x232 + 628x233 + 458x234 + 560x235 + 726x236 + 648x237 + 761x238 + 489x239 + 932x240 + 576x241 + 1009x242 + 783x243 + 946x244 + 732x245 + 577x246 + 690x247 + 708x248 + 645x249 + 832x250  = 0 
f2: -f2 + 636x1 + 1007x2 + 1008x3 + 637x4 + 902x5 + 499x6 + 567x7 + 932x8 + 614x9 + 946x10 + 646x11 + 1139x12 + 834x13 + 922x14 + 818x15 + 678x16 + 864x17 + 929x18 + 817x19 + 440x20 + 690x21 + 673x22 + 483x23 + 607x24 + 732x25 + 645x26 + 798x27 + 793x28 + 1051x29 + 478x30 + 1030x31 + 851x32 + 546x33 + 1048x34 + 585x35 + 761x36 + 888x37 + 700x38 + 796x39 + 876x40 + 1115x41 + 937x42 + 832x43 + 646x44 + 809x45 + 525x46 + 642x47 + 745x48 + 1060x49 + 986x50 + 587x51 + 707x52 + 499x53 + 980x54 + 1018x55 + 885x56 + 829x57 + 820x58 + 578x59 + 604x60 + 494x61 + 577x62 + 715x63 + 526x64 + 924x65 + 941x66 + 699x67 + 800x68 + 531x69 + 618x70 + 657x71 + 793x72 + 616x73 + 913x74 + 817x75 + 848x76 + 996x77 + 826x78 + 814x79 + 788x80 + 943x81 + 525x82 + 627x83 + 609x84 + 763x85 + 383x86 + 821x87 + 836x88 + 900x89 + 480x90 + 730x91 + 614x92 + 555x93 + 625x94 + 708x95 + 900x96 + 637x97 + 654x98 + 821x99 + 892x100 + 648x101 + 692x102 + 767x103 + 458x104 + 916x105 + 750x106 + 582x107 + 780x108 + 502x109 + 876x110 + 873x111 + 913x112 + 1163x113 + 855x114 + 537x115 + 787x116 + 481x117 + 1009x118 + 869x119 + 549x120 + 896x121 + 908x122 + 934x123 + 668x124 + 1075x125 + 818x126 + 860x127 + 600x128 + 560x129 + 429x130 + 903x131 + 844x132 + 583x133 + 783x134 + 829x135 + 816x136 + 999x137 + 747x138 + 815x139 + 955x140 + 431x141 + 602x142 + 694x143 + 477x144 + 981x145 + 630x146 + 654x147 + 418x148 + 560x149 + 751x150 + 724x151 + 824x152 + 921x153 + 605x154 + 717x155 + 713x156 + 958x157 + 907x158 + 870x159 + 743x160 + 549x161 + 832x162 + 870x163 + 467x164 + 765x165 + 893x166 + 1009x167 + 832x168 + 713x169 + 547x170 + 1052x171 + 844x172 + 925x173 + 954x174 + 1055x175 + 835x176 + 825x177 + 739x178 + 898x179 + 709x180 + 910x181 + 432x182 + 998x183 + 741x184 + 523x185 + 805x186 + 925x187 + 603x188 + 622x189 + 763x190 + 732x191 + 1019x192 + 881x193 + 783x194 + 645x195 + 774x196 + 795x197 + 923x198 + 536x199 + 984x200 + 737x201 + 814x202 + 827x203 + 576x204 + 757x205 + 766x206 + 635x207 + 399x208 + 800x209 + 675x210 + 753x211 + 925x212 + 500x213 + 714x214 + 1005x215 + 407x216 + 489x217 + 455x218 + 381x219 + 648x220 + 710x221 + 792x222 + 887x223 + 505x224 + 871x225 + 1031x226 + 704x227 + 658x228 + 570x229 + 792x230 + 719x231 + 841x232 + 842x233 + 690x234 + 621x235 + 473x236 + 901x237 + 564x238 + 668x239 + 905x240 + 628x241 + 546x242 + 919x243 + 987x244 + 489x245 + 692x246 + 726x247 + 971x248 + 742x249 + 712x250  = 0 
constr1: + 579x1 + 733x2 + 246x3 + 369x4 + 670x5 + 404x6 + 791x7 + 69x8 + 219x9 + 618x10 + 662x11 + 707x12 + 628x13 + 715x14 + 301x15 + 894x16 + 86x17 + 761x18 + 296x19 + 477x20 + 118x21 + 666x22 + 31x23 + 612x24 + 328x25 + 119x26 + 239x27 + 882x28 + 759x29 + 517x30 + 152x31 + 787x32 + 451x33 + 246x34 + 166x35 + 525x36 + 60x37 + 342x38 + 570x39 + 60x40 + 306x41 + 121x42 + 16x43 + 88x44 + 630x45 + 945x46 + 289x47 + 69x48 + 912x49 + 595x50 + 584x51 + 232x52 + 9x53 + 449x54 + 159x55 + 30x56 + 976x57 + 519x58 + 577x59 + 342x60 + 184x61 + 817x62 + 704x63 + 36x64 + 646x65 + 192x66 + 62x67 + 751x68 + 877x69 + 674x70 + 102x71 + 265x72 + 332x73 + 185x74 + 362x75 + 324x76 + 301x77 + 994x78 + 12x79 + 577x80 + 693x81 + 398x82 + 432x83 + 753x84 + 976x85 + 218x86 + 790x87 + 566x88 + 997x89 + 736x90 + 59x91 + 537x92 + 492x93 + 14x94 + 79x95 + 475x96 + 29x97 + 12x98 + 774x99 + 806x100 + 554x101 + 24x102 + 561x103 + 860x104 + 530x105 + 692x106 + 676x107 + 77x108 + 975x109 + 924x110 + 551x111 + 803x112 + 566x113 + 883x114 + 488x115 + 303x116 + 491x117 + 477x118 + 141x119 + 436x120 + 429x121 + 156x122 + 5x123 + 400x124 + 828x125 + 981x126 + 630x127 + 761x128 + 848x129 + 530x130 + 990x131 + 532x132 + 139x133 + 936x134 + 972x135 + 173x136 + 52x137 + 600x138 + 853x139 + 92x140 + 836x141 + 416x142 + 66x143 + 675x144 + 819x145 + 217x146 + 247x147 + 67x148 + 178x149 + 505x150 + 812x151 + 543x152 + 464x153 + 313x154 + 582x155 + 790x156 + 952x157 + 206x158 + 629x159 + 699x160 + 895x161 + 186x162 + 13x163 + 151x164 + 296x165 + 33x166 + 975x167 + 379x168 + 897x169 + 22x170 + 335x171 + 264x172 + 758x173 + 534x174 + 637x175 + 577x176 + 123x177 + 650x178 + 358x179 + 845x180 + 277x181 + 807x182 + 19x183 + 104x184 + 448x185 + 664x186 + 807x187 + 641x188 + 7x189 + 561x190 + 195x191 + 412x192 + 953x193 + 571x194 + 836x195 + 807x196 + 840x197 + 628x198 + 593x199 + 39x200 + 683x201 + 918x202 + 248x203 + 106x204 + 155x205 + 958x206 + 191x207 + 437x208 + 1000x209 + 580x210 + 317x211 + 821x212 + 875x213 + 967x214 + 361x215 + 791x216 + 803x217 + 209x218 + 384x219 + 275x220 + 522x221 + 301x222 + 66x223 + 706x224 + 583x225 + 590x226 + 995x227 + 726x228 + 204x229 + 577x230 + 3x231 + 97x232 + 176x233 + 400x234 + 800x235 + 282x236 + 132x237 + 215x238 + 274x239 + 638x240 + 120x241 + 720x242 + 540x243 + 259x244 + 749x245 + 417x246 + 287x247 + 820x248 + 106x249 + 867x250 <= 62399 
constr2: + 136x1 + 961x2 + 158x3 + 131x4 + 277x5 + 611x6 + 536x7 + 973x8 + 728x9 + 129x10 + 427x11 + 918x12 + 828x13 + 244x14 + 226x15 + 63x16 + 960x17 + 811x18 + 408x19 + 867x20 + 776x21 + 936x22 + 360x23 + 194x24 + 168x25 + 231x26 + 429x27 + 711x28 + 166x29 + 916x30 + 560x31 + 595x32 + 319x33 + 877x34 + 231x35 + 42x36 + 630x37 + 714x38 + 283x39 + 387x40 + 683x41 + 170x42 + 344x43 + 747x44 + 288x45 + 895x46 + 558x47 + 88x48 + 508x49 + 606x50 + 588x51 + 608x52 + 185x53 + 666x54 + 289x55 + 681x56 + 848x57 + 888x58 + 148x59 + 281x60 + 666x61 + 314x62 + 299x63 + 126x64 + 775x65 + 135x66 + 773x67 + 588x68 + 505x69 + 39x70 + 859x71 + 116x72 + 279x73 + 482x74 + 385x75 + 337x76 + 884x77 + 464x78 + 663x79 + 364x80 + 176x81 + 520x82 + 44x83 + 543x84 + 228x85 + 235x86 + 968x87 + 964x88 + 8x89 + 967x90 + 327x91 + 781x92 + 407x93 + 623x94 + 259x95 + 299x96 + 951x97 + 808x98 + 456x99 + 641x100 + 875x101 + 340x102 + 392x103 + 640x104 + 715x105 + 889x106 + 743x107 + 547x108 + 345x109 + 992x110 + 725x111 + 194x112 + 452x113 + 200x114 + 257x115 + 585x116 + 151x117 + 667x118 + 867x119 + 97x120 + 425x121 + 405x122 + 431x123 + 644x124 + 692x125 + 459x126 + 967x127 + 690x128 + 680x129 + 120x130 + 32x131 + 153x132 + 335x133 + 215x134 + 929x135 + 358x136 + 344x137 + 670x138 + 457x139 + 151x140 + 551x141 + 367x142 + 80x143 + 963x144 + 978x145 + 911x146 + 555x147 + 726x148 + 355x149 + 905x150 + 75x151 + 752x152 + 794x153 + 754x154 + 612x155 + 453x156 + 442x157 + 749x158 + 264x159 + 261x160 + 642x161 + 910x162 + 636x163 + 995x164 + 323x165 + 881x166 + 368x167 + 215x168 + 438x169 + 954x170 + 953x171 + 774x172 + 998x173 + 324x174 + 912x175 + 439x176 + 776x177 + 837x178 + 114x179 + 182x180 + 392x181 + 742x182 + 832x183 + 987x184 + 125x185 + 718x186 + 566x187 + 410x188 + 729x189 + 806x190 + 678x191 + 122x192 + 668x193 + 636x194 + 557x195 + 120x196 + 433x197 + 473x198 + 755x199 + 379x200 + 45x201 + 717x202 + 37x203 + 192x204 + 565x205 + 289x206 + 20x207 + 774x208 + 719x209 + 474x210 + 565x211 + 712x212 + 661x213 + 586x214 + 457x215 + 240x216 + 344x217 + 80x218 + 445x219 + 561x220 + 241x221 + 93x222 + 585x223 + 698x224 + 207x225 + 672x226 + 699x227 + 400x228 + 406x229 + 209x230 + 755x231 + 794x232 + 437x233 + 855x234 + 134x235 + 492x236 + 213x237 + 764x238 + 357x239 + 735x240 + 62x241 + 5x242 + 317x243 + 230x244 + 412x245 + 229x246 + 959x247 + 32x248 + 228x249 + 545x250 <= 61426 
constr3: + 286x1 + 570x2 + 372x3 + 509x4 + 890x5 + 701x6 + 777x7 + 349x8 + 546x9 + 430x10 + 729x11 + 306x12 + 40x13 + 242x14 + 929x15 + 87x16 + 298x17 + 401x18 + 358x19 + 513x20 + 592x21 + 383x22 + 198x23 + 771x24 + 120x25 + 140x26 + 294x27 + 691x28 + 947x29 + 734x30 + 653x31 + 341x32 + 624x33 + 173x34 + 941x35 + 269x36 + 78x37 + 692x38 + 799x39 + 359x40 + 204x41 + 100x42 + 213x43 + 665x44 + 259x45 + 330x46 + 336x47 + 142x48 + 96x49 + 663x50 + 898x51 + 435x52 + 677x53 + 85x54 + 675x55 + 971x56 + 198x57 + 558x58 + 174x59 + 164x60 + 559x61 + 647x62 + 66x63 + 618x64 + 291x65 + 663x66 + 596x67 + 993x68 + 692x69 + 874x70 + 514x71 + 397x72 + 551x73 + 850x74 + 456x75 + 828x76 + 175x77 + 619x78 + 596x79 + 992x80 + 688x81 + 516x82 + 764x83 + 168x84 + 707x85 + 83x86 + 61x87 + 366x88 + 383x89 + 96x90 + 235x91 + 161x92 + 644x93 + 967x94 + 502x95 + 426x96 + 583x97 + 352x98 + 953x99 + 817x100 + 747x101 + 360x102 + 723x103 + 239x104 + 557x105 + 432x106 + 744x107 + 602x108 + 477x109 + 195x110 + 951x111 + 15x112 + 177x113 + 850x114 + 75x115 + 962x116 + 44x117 + 833x118 + 965x119 + 774x120 + 681x121 + 545x122 + 574x123 + 529x124 + 162x125 + 823x126 + 239x127 + 254x128 + 182x129 + 938x130 + 939x131 + 28x132 + 340x133 + 182x134 + 610x135 + 204x136 + 803x137 + 677x138 + 910x139 + 717x140 + 932x141 + 691x142 + 719x143 + 273x144 + 53x145 + 399x146 + 409x147 + 143x148 + 358x149 + 639x150 + 842x151 + 625x152 + 485x153 + 315x154 + 599x155 + 805x156 + 227x157 + 422x158 + 638x159 + 134x160 + 918x161 + 731x162 + 939x163 + 67x164 + 23x165 + 220x166 + 206x167 + 69x168 + 492x169 + 34x170 + 241x171 + 443x172 + 462x173 + 658x174 + 837x175 + 607x176 + 186x177 + 516x178 + 884x179 + 960x180 + 241x181 + 493x182 + 69x183 + 968x184 + 338x185 + 428x186 + 869x187 + 605x188 + 797x189 + 126x190 + 979x191 + 322x192 + 704x193 + 892x194 + 649x195 + 918x196 + 892x197 + 505x198 + 696x199 + 921x200 + 975x201 + 103x202 + 339x203 + 740x204 + 601x205 + 34x206 + 393x207 + 81x208 + 65x209 + 241x210 + 541x211 + 972x212 + 367x213 + 162x214 + 639x215 + 466x216 + 865x217 + 524x218 + 98x219 + 929x220 + 985x221 + 909x222 + 925x223 + 618x224 + 836x225 + 500x226 + 685x227 + 788x228 + 731x229 + 150x230 + 112x231 + 770x232 + 451x233 + 868x234 + 722x235 + 186x236 + 38x237 + 833x238 + 322x239 + 70x240 + 561x241 + 158x242 + 803x243 + 197x244 + 326x245 + 639x246 + 157x247 + 937x248 + 379x249 + 629x250 <= 58999 
constr4: + 774x1 + 814x2 + 735x3 + 730x4 + 520x5 + 944x6 + 619x7 + 673x8 + 73x9 + 797x10 + 212x11 + 229x12 + 792x13 + 306x14 + 165x15 + 47x16 + 879x17 + 391x18 + 488x19 + 86x20 + 442x21 + 58x22 + 374x23 + 686x24 + 708x25 + 139x26 + 402x27 + 86x28 + 427x29 + 735x30 + 165x31 + 375x32 + 353x33 + 391x34 + 353x35 + 985x36 + 387x37 + 793x38 + 120x39 + 520x40 + 12x41 + 908x42 + 508x43 + 585x44 + 633x45 + 653x46 + 159x47 + 591x48 + 661x49 + 527x50 + 706x51 + 234x52 + 125x53 + 4x54 + 441x55 + 29x56 + 26x57 + 143x58 + 363x59 + 438x60 + 604x61 + 701x62 + 268x63 + 144x64 + 955x65 + 5x66 + 605x67 + 522x68 + 805x69 + 277x70 + 760x71 + 487x72 + 782x73 + 455x74 + 407x75 + 773x76 + 753x77 + 245x78 + 220x79 + 824x80 + 306x81 + 531x82 + 568x83 + 647x84 + 270x85 + 532x86 + 574x87 + 508x88 + 695x89 + 177x90 + 79x91 + 367x92 + 883x93 + 151x94 + 278x95 + 609x96 + 547x97 + 72x98 + 260x99 + 827x100 + 886x101 + 111x102 + 451x103 + 126x104 + 174x105 + 910x106 + 196x107 + 339x108 + 552x109 + 314x110 + 547x111 + 818x112 + 662x113 + 628x114 + 880x115 + 157x116 + 102x117 + 928x118 + 262x119 + 717x120 + 315x121 + 751x122 + 878x123 + 225x124 + 9x125 + 358x126 + 203x127 + 420x128 + 323x129 + 927x130 + 469x131 + 77x132 + 662x133 + 853x134 + 488x135 + 71x136 + 133x137 + 363x138 + 317x139 + 441x140 + 885x141 + 708x142 + 958x143 + 493x144 + 657x145 + 961x146 + 371x147 + 443x148 + 461x149 + 328x150 + 609x151 + 93x152 + 869x153 + 66x154 + 776x155 + 515x156 + 341x157 + 746x158 + 667x159 + 767x160 + 249x161 + 755x162 + 770x163 + 760x164 + 316x165 + 984x166 + 17x167 + 336x168 + 683x169 + 284x170 + 824x171 + 624x172 + 921x173 + 426x174 + 418x175 + 385x176 + 370x177 + 292x178 + 617x179 + 106x180 + 35x181 + 254x182 + 335x183 + 231x184 + 726x185 + 633x186 + 868x187 + 822x188 + 393x189 + 123x190 + 677x191 + 67x192 + 749x193 + 356x194 + 777x195 + 747x196 + 114x197 + 64x198 + 332x199 + 858x200 + 767x201 + 530x202 + 389x203 + 815x204 + 212x205 + 317x206 + 210x207 + 717x208 + 34x209 + 227x210 + 345x211 + 826x212 + 200x213 + 608x214 + 543x215 + 873x216 + 102x217 + 118x218 + 171x219 + 650x220 + 523x221 + 680x222 + 626x223 + 47x224 + 561x225 + 681x226 + 795x227 + 831x228 + 702x229 + 805x230 + 113x231 + 117x232 + 411x233 + 572x234 + 838x235 + 24x236 + 694x237 + 149x238 + 300x239 + 258x240 + 425x241 + 527x242 + 365x243 + 666x244 + 411x245 + 143x246 + 722x247 + 77x248 + 365x249 + 799x250 <= 63637 
constr5: + 756x1 + 423x2 + 853x3 + 925x4 + 264x5 + 680x6 + 742x7 + 153x8 + 446x9 + 327x10 + 889x11 + 728x12 + 845x13 + 623x14 + 396x15 + 5x16 + 235x17 + 584x18 + 794x19 + 253x20 + 847x21 + 620x22 + 538x23 + 248x24 + 190x25 + 13x26 + 229x27 + 934x28 + 625x29 + 819x30 + 225x31 + 278x32 + 987x33 + 928x34 + 66x35 + 46x36 + 437x37 + 239x38 + 726x39 + 704x40 + 195x41 + 590x42 + 847x43 + 993x44 + 198x45 + 985x46 + 571x47 + 411x48 + 106x49 + 560x50 + 206x51 + 826x52 + 536x53 + 382x54 + 540x55 + 305x56 + 947x57 + 690x58 + 17x59 + 531x60 + 845x61 + 880x62 + 19x63 + 908x64 + 473x65 + 175x66 + 220x67 + 321x68 + 737x69 + 723x70 + 914x71 + 577x72 + 488x73 + 74x74 + 641x75 + 916x76 + 398x77 + 857x78 + 319x79 + 554x80 + 57x81 + 830x82 + 213x83 + 769x84 + 344x85 + 61x86 + 418x87 + 258x88 + 640x89 + 326x90 + 561x91 + 723x92 + 705x93 + 627x94 + 623x95 + 573x96 + 536x97 + 404x98 + 993x99 + 621x100 + 517x101 + 21x102 + 786x103 + 828x104 + 12x105 + 157x106 + 783x107 + 505x108 + 702x109 + 30x110 + 21x111 + 164x112 + 215x113 + 906x114 + 767x115 + 298x116 + 432x117 + 122x118 + 692x119 + 742x120 + 532x121 + 335x122 + 484x123 + 93x124 + 573x125 + 963x126 + 1000x127 + 39x128 + 342x129 + 935x130 + 145x131 + 203x132 + 49x133 + 941x134 + 206x135 + 665x136 + 608x137 + 293x138 + 241x139 + 455x140 + 54x141 + 450x142 + 448x143 + 351x144 + 557x145 + 683x146 + 670x147 + 941x148 + 111x149 + 181x150 + 33x151 + 772x152 + 504x153 + 286x154 + 28x155 + 840x156 + 897x157 + 874x158 + 189x159 + 763x160 + 444x161 + 471x162 + 54x163 + 402x164 + 684x165 + 138x166 + 117x167 + 911x168 + 732x169 + 627x170 + 526x171 + 239x172 + 941x173 + 443x174 + 214x175 + 843x176 + 675x177 + 675x178 + 408x179 + 146x180 + 79x181 + 933x182 + 730x183 + 211x184 + 588x185 + 59x186 + 279x187 + 85x188 + 276x189 + 725x190 + 917x191 + 744x192 + 474x193 + 565x194 + 14x195 + 476x196 + 695x197 + 118x198 + 616x199 + 7x200 + 688x201 + 382x202 + 71x203 + 785x204 + 540x205 + 418x206 + 88x207 + 754x208 + 81x209 + 776x210 + 318x211 + 440x212 + 646x213 + 996x214 + 687x215 + 844x216 + 896x217 + 989x218 + 14x219 + 259x220 + 927x221 + 39x222 + 225x223 + 672x224 + 520x225 + 225x226 + 170x227 + 63x228 + 666x229 + 303x230 + 719x231 + 777x232 + 932x233 + 399x234 + 692x235 + 100x236 + 875x237 + 702x238 + 686x239 + 274x240 + 598x241 + 730x242 + 584x243 + 40x244 + 741x245 + 832x246 + 192x247 + 303x248 + 227x249 + 725x250 <= 62922 
constr6: + 74x1 + 455x2 + 867x3 + 476x4 + 649x5 + 399x6 + 345x7 + 594x8 + 455x9 + 558x10 + 473x11 + 809x12 + 478x13 + 211x14 + 683x15 + 39x16 + 362x17 + 739x18 + 505x19 + 678x20 + 52x21 + 476x22 + 346x23 + 44x24 + 720x25 + 612x26 + 265x27 + 738x28 + 449x29 + 546x30 + 716x31 + 294x32 + 890x33 + 129x34 + 584x35 + 955x36 + 597x37 + 906x38 + 121x39 + 357x40 + 494x41 + 785x42 + 796x43 + 816x44 + 943x45 + 157x46 + 576x47 + 352x48 + 860x49 + 146x50 + 342x51 + 89x52 + 822x53 + 305x54 + 687x55 + 318x56 + 458x57 + 364x58 + 668x59 + 404x60 + 128x61 + 277x62 + 486x63 + 190x64 + 735x65 + 542x66 + 437x67 + 16x68 + 526x69 + 56x70 + 707x71 + 631x72 + 322x73 + 175x74 + 128x75 + 781x76 + 741x77 + 746x78 + 549x79 + 240x80 + 475x81 + 981x82 + 940x83 + 594x84 + 541x85 + 384x86 + 725x87 + 688x88 + 600x89 + 880x90 + 769x91 + 452x92 + 173x93 + 475x94 + 751x95 + 389x96 + 72x97 + 126x98 + 500x99 + 205x100 + 195x101 + 889x102 + 933x103 + 104x104 + 763x105 + 215x106 + 61x107 + 609x108 + 151x109 + 377x110 + 956x111 + 447x112 + 14x113 + 250x114 + 947x115 + 81x116 + 545x117 + 402x118 + 867x119 + 184x120 + 779x121 + 454x122 + 430x123 + 828x124 + 901x125 + 44x126 + 906x127 + 443x128 + 286x129 + 697x130 + 459x131 + 984x132 + 213x133 + 900x134 + 480x135 + 152x136 + 416x137 + 475x138 + 570x139 + 980x140 + 607x141 + 531x142 + 763x143 + 100x144 + 135x145 + 346x146 + 91x147 + 56x148 + 17x149 + 359x150 + 602x151 + 455x152 + 170x153 + 230x154 + 435x155 + 322x156 + 19x157 + 39x158 + 261x159 + 824x160 + 841x161 + 686x162 + 83x163 + 434x164 + 340x165 + 899x166 + 947x167 + 462x168 + 802x169 + 977x170 + 249x171 + 798x172 + 387x173 + 72x174 + 322x175 + 944x176 + 412x177 + 509x178 + 251x179 + 405x180 + 526x181 + 407x182 + 338x183 + 765x184 + 103x185 + 274x186 + 186x187 + 575x188 + 918x189 + 670x190 + 209x191 + 547x192 + 120x193 + 678x194 + 828x195 + 250x196 + 952x197 + 612x198 + 15x199 + 643x200 + 592x201 + 522x202 + 535x203 + 510x204 + 388x205 + 480x206 + 371x207 + 106x208 + 502x209 + 130x210 + 924x211 + 169x212 + 256x213 + 313x214 + 331x215 + 297x216 + 288x217 + 960x218 + 233x219 + 915x220 + 533x221 + 455x222 + 62x223 + 317x224 + 589x225 + 105x226 + 765x227 + 282x228 + 808x229 + 383x230 + 516x231 + 151x232 + 772x233 + 365x234 + 791x235 + 253x236 + 889x237 + 386x238 + 492x239 + 332x240 + 445x241 + 451x242 + 222x243 + 700x244 + 7x245 + 998x246 + 684x247 + 316x248 + 821x249 + 353x250 <= 61368 
constr7: + 927x1 + 468x2 + 670x3 + 223x4 + 146x5 + 887x6 + 57x7 + 401x8 + 755x9 + 229x10 + 714x11 + 784x12 + 673x13 + 281x14 + 630x15 + 588x16 + 32x17 + 936x18 + 720x19 + 250x20 + 920x21 + 318x22 + 123x23 + 113x24 + 706x25 + 801x26 + 651x27 + 328x28 + 760x29 + 171x30 + 515x31 + 108x32 + 883x33 + 530x34 + 582x35 + 908x36 + 837x37 + 497x38 + 593x39 + 720x40 + 815x41 + 614x42 + 76x43 + 123x44 + 850x45 + 963x46 + 383x47 + 327x48 + 720x49 + 312x50 + 777x51 + 559x52 + 305x53 + 838x54 + 136x55 + 524x56 + 769x57 + 780x58 + 462x59 + 155x60 + 879x61 + 507x62 + 849x63 + 19x64 + 374x65 + 747x66 + 32x67 + 114x68 + 93x69 + 462x70 + 242x71 + 311x72 + 545x73 + 882x74 + 793x75 + 262x76 + 679x77 + 122x78 + 433x79 + 281x80 + 37x81 + 467x82 + 284x83 + 500x84 + 561x85 + 121x86 + 71x87 + 951x88 + 14x89 + 834x90 + 260x91 + 230x92 + 908x93 + 296x94 + 936x95 + 762x96 + 726x97 + 273x98 + 980x99 + 967x100 + 659x101 + 271x102 + 990x103 + 101x104 + 640x105 + 554x106 + 263x107 + 465x108 + 579x109 + 916x110 + 597x111 + 588x112 + 352x113 + 595x114 + 776x115 + 241x116 + 238x117 + 464x118 + 879x119 + 665x120 + 480x121 + 60x122 + 483x123 + 857x124 + 838x125 + 504x126 + 168x127 + 744x128 + 884x129 + 570x130 + 537x131 + 675x132 + 199x133 + 724x134 + 595x135 + 867x136 + 949x137 + 70x138 + 503x139 + 380x140 + 117x141 + 282x142 + 842x143 + 694x144 + 417x145 + 734x146 + 639x147 + 333x148 + 577x149 + 475x150 + 201x151 + 251x152 + 824x153 + 170x154 + 956x155 + 259x156 + 279x157 + 643x158 + 323x159 + 990x160 + 639x161 + 22x162 + 433x163 + 600x164 + 225x165 + 309x166 + 506x167 + 841x168 + 472x169 + 182x170 + 145x171 + 270x172 + 476x173 + 612x174 + 754x175 + 200x176 + 367x177 + 76x178 + 711x179 + 410x180 + 129x181 + 218x182 + 525x183 + 981x184 + 86x185 + 28x186 + 118x187 + 741x188 + 221x189 + 147x190 + 791x191 + 908x192 + 704x193 + 167x194 + 10x195 + 484x196 + 865x197 + 594x198 + 787x199 + 799x200 + 521x201 + 330x202 + 436x203 + 16x204 + 153x205 + 145x206 + 299x207 + 553x208 + 419x209 + 735x210 + 609x211 + 558x212 + 368x213 + 300x214 + 491x215 + 206x216 + 922x217 + 345x218 + 563x219 + 759x220 + 272x221 + 598x222 + 117x223 + 289x224 + 871x225 + 619x226 + 765x227 + 920x228 + 398x229 + 298x230 + 349x231 + 436x232 + 328x233 + 265x234 + 9x235 + 882x236 + 868x237 + 971x238 + 62x239 + 587x240 + 245x241 + 597x242 + 173x243 + 178x244 + 612x245 + 251x246 + 50x247 + 200x248 + 603x249 + 218x250 <= 64274 
constr8: + 376x1 + 980x2 + 223x3 + 455x4 + 107x5 + 638x6 + 703x7 + 619x8 + 787x9 + 398x10 + 791x11 + 835x12 + 491x13 + 845x14 + 442x15 + 761x16 + 122x17 + 283x18 + 853x19 + 554x20 + 902x21 + 531x22 + 331x23 + 822x24 + 285x25 + 707x26 + 585x27 + 707x28 + 564x29 + 695x30 + 9x31 + 338x32 + 522x33 + 501x34 + 176x35 + 558x36 + 379x37 + 368x38 + 769x39 + 193x40 + 24x41 + 711x42 + 578x43 + 513x44 + 532x45 + 429x46 + 469x47 + 373x48 + 670x49 + 953x50 + 798x51 + 491x52 + 692x53 + 901x54 + 585x55 + 92x56 + 556x57 + 401x58 + 339x59 + 828x60 + 618x61 + 623x62 + 734x63 + 932x64 + 735x65 + 71x66 + 944x67 + 177x68 + 830x69 + 227x70 + 499x71 + 213x72 + 664x73 + 417x74 + 124x75 + 955x76 + 47x77 + 966x78 + 638x79 + 270x80 + 725x81 + 703x82 + 134x83 + 705x84 + 324x85 + 392x86 + 454x87 + 213x88 + 509x89 + 512x90 + 877x91 + 233x92 + 419x93 + 793x94 + 699x95 + 443x96 + 183x97 + 810x98 + 271x99 + 121x100 + 4x101 + 558x102 + 779x103 + 13x104 + 322x105 + 620x106 + 461x107 + 259x108 + 334x109 + 87x110 + 126x111 + 539x112 + 726x113 + 230x114 + 948x115 + 811x116 + 79x117 + 996x118 + 330x119 + 564x120 + 641x121 + 23x122 + 733x123 + 362x124 + 767x125 + 946x126 + 350x127 + 71x128 + 810x129 + 685x130 + 749x131 + 582x132 + 757x133 + 858x134 + 114x135 + 546x136 + 304x137 + 112x138 + 468x139 + 367x140 + 535x141 + 578x142 + 725x143 + 653x144 + 962x145 + 542x146 + 409x147 + 43x148 + 157x149 + 712x150 + 596x151 + 903x152 + 760x153 + 463x154 + 667x155 + 433x156 + 686x157 + 373x158 + 825x159 + 327x160 + 15x161 + 49x162 + 889x163 + 832x164 + 864x165 + 7x166 + 160x167 + 844x168 + 992x169 + 764x170 + 714x171 + 376x172 + 179x173 + 837x174 + 378x175 + 700x176 + 873x177 + 335x178 + 837x179 + 783x180 + 374x181 + 766x182 + 414x183 + 840x184 + 825x185 + 816x186 + 753x187 + 116x188 + 511x189 + 816x190 + 337x191 + 109x192 + 511x193 + 638x194 + 589x195 + 294x196 + 950x197 + 732x198 + 653x199 + 626x200 + 155x201 + 833x202 + 311x203 + 997x204 + 714x205 + 880x206 + 342x207 + 920x208 + 746x209 + 616x210 + 168x211 + 495x212 + 929x213 + 459x214 + 630x215 + 900x216 + 181x217 + 145x218 + 445x219 + 164x220 + 195x221 + 869x222 + 489x223 + 231x224 + 930x225 + 36x226 + 55x227 + 546x228 + 255x229 + 915x230 + 16x231 + 926x232 + 944x233 + 959x234 + 827x235 + 24x236 + 899x237 + 109x238 + 561x239 + 400x240 + 23x241 + 314x242 + 953x243 + 565x244 + 407x245 + 946x246 + 940x247 + 462x248 + 788x249 + 900x250 <= 66363 
constr9: + 876x1 + 750x2 + 310x3 + 500x4 + 542x5 + 657x6 + 824x7 + 878x8 + 561x9 + 88x10 + 245x11 + 717x12 + 170x13 + 124x14 + 187x15 + 753x16 + 69x17 + 988x18 + 610x19 + 517x20 + 87x21 + 448x22 + 526x23 + 464x24 + 83x25 + 814x26 + 535x27 + 847x28 + 959x29 + 847x30 + 338x31 + 256x32 + 365x33 + 97x34 + 616x35 + 158x36 + 756x37 + 388x38 + 580x39 + 786x40 + 975x41 + 127x42 + 967x43 + 318x44 + 44x45 + 739x46 + 325x47 + 506x48 + 92x49 + 404x50 + 47x51 + 970x52 + 495x53 + 685x54 + 377x55 + 323x56 + 303x57 + 226x58 + 108x59 + 819x60 + 954x61 + 958x62 + 164x63 + 48x64 + 818x65 + 678x66 + 249x67 + 622x68 + 414x69 + 986x70 + 791x71 + 684x72 + 65x73 + 216x74 + 240x75 + 701x76 + 616x77 + 178x78 + 191x79 + 250x80 + 207x81 + 662x82 + 276x83 + 844x84 + 27x85 + 451x86 + 781x87 + 532x88 + 894x89 + 712x90 + 265x91 + 909x92 + 128x93 + 279x94 + 453x95 + 374x96 + 859x97 + 76x98 + 810x99 + 492x100 + 244x101 + 217x102 + 91x103 + 428x104 + 127x105 + 75x106 + 800x107 + 442x108 + 753x109 + 884x110 + 856x111 + 743x112 + 310x113 + 617x114 + 473x115 + 548x116 + 914x117 + 859x118 + 480x119 + 987x120 + 194x121 + 336x122 + 318x123 + 197x124 + 155x125 + 593x126 + 550x127 + 34x128 + 727x129 + 724x130 + 746x131 + 55x132 + 54x133 + 2x134 + 30x135 + 953x136 + 536x137 + 576x138 + 537x139 + 661x140 + 166x141 + 215x142 + 777x143 + 58x144 + 216x145 + 814x146 + 893x147 + 410x148 + 310x149 + 405x150 + 835x151 + 431x152 + 153x153 + 778x154 + 730x155 + 914x156 + 785x157 + 534x158 + 255x159 + 212x160 + 279x161 + 742x162 + 427x163 + 912x164 + 267x165 + 108x166 + 544x167 + 348x168 + 821x169 + 206x170 + 185x171 + 397x172 + 950x173 + 308x174 + 26x175 + 722x176 + 358x177 + 645x178 + 946x179 + 374x180 + 677x181 + 896x182 + 590x183 + 529x184 + 876x185 + 565x186 + 510x187 + 910x188 + 459x189 + 580x190 + 680x191 + 940x192 + 755x193 + 330x194 + 299x195 + 814x196 + 460x197 + 993x198 + 419x199 + 317x200 + 126x201 + 838x202 + 865x203 + 75x204 + 586x205 + 291x206 + 826x207 + 808x208 + 16x209 + 117x210 + 422x211 + 768x212 + 936x213 + 366x214 + 568x215 + 25x216 + 779x217 + 914x218 + 890x219 + 647x220 + 465x221 + 899x222 + 856x223 + 633x224 + 779x225 + 71x226 + 962x227 + 899x228 + 592x229 + 423x230 + 821x231 + 948x232 + 211x233 + 960x234 + 313x235 + 199x236 + 169x237 + 68x238 + 714x239 + 77x240 + 389x241 + 928x242 + 193x243 + 231x244 + 86x245 + 621x246 + 282x247 + 814x248 + 966x249 + 353x250 <= 61351 
constr10: + 148x1 + 798x2 + 692x3 + 30x4 + 789x5 + 64x6 + 877x7 + 118x8 + 625x9 + 623x10 + 587x11 + 867x12 + 800x13 + 23x14 + 107x15 + 954x16 + 380x17 + 972x18 + 175x19 + 18x20 + 949x21 + 363x22 + 259x23 + 911x24 + 413x25 + 365x26 + 200x27 + 90x28 + 634x29 + 337x30 + 675x31 + 974x32 + 425x33 + 113x34 + 501x35 + 378x36 + 911x37 + 561x38 + 978x39 + 612x40 + 336x41 + 685x42 + 76x43 + 626x44 + 3x45 + 682x46 + 208x47 + 849x48 + 649x49 + 923x50 + 830x51 + 840x52 + 203x53 + 516x54 + 723x55 + 539x56 + 124x57 + 399x58 + 936x59 + 122x60 + 409x61 + 180x62 + 874x63 + 898x64 + 142x65 + 330x66 + 282x67 + 274x68 + 234x69 + 305x70 + 909x71 + 549x72 + 152x73 + 779x74 + 299x75 + 68x76 + 702x77 + 868x78 + 337x79 + 818x80 + 567x81 + 720x82 + 241x83 + 320x84 + 827x85 + 931x86 + 680x87 + 641x88 + 908x89 + 784x90 + 949x91 + 790x92 + 144x93 + 245x94 + 526x95 + 305x96 + 468x97 + 395x98 + 356x99 + 923x100 + 918x101 + 616x102 + 748x103 + 280x104 + 760x105 + 599x106 + 630x107 + 920x108 + 577x109 + 957x110 + 632x111 + 431x112 + 573x113 + 348x114 + 306x115 + 403x116 + 323x117 + 505x118 + 785x119 + 610x120 + 724x121 + 560x122 + 422x123 + 395x124 + 561x125 + 645x126 + 343x127 + 339x128 + 187x129 + 562x130 + 731x131 + 616x132 + 506x133 + 198x134 + 263x135 + 239x136 + 697x137 + 226x138 + 830x139 + 991x140 + 694x141 + 636x142 + 843x143 + 942x144 + 261x145 + 174x146 + 303x147 + 257x148 + 43x149 + 214x150 + 847x151 + 686x152 + 221x153 + 846x154 + 925x155 + 324x156 + 297x157 + 179x158 + 884x159 + 527x160 + 162x161 + 776x162 + 726x163 + 791x164 + 927x165 + 834x166 + 536x167 + 240x168 + 418x169 + 124x170 + 506x171 + 777x172 + 267x173 + 746x174 + 642x175 + 687x176 + 372x177 + 416x178 + 665x179 + 826x180 + 725x181 + 954x182 + 290x183 + 261x184 + 128x185 + 915x186 + 640x187 + 343x188 + 147x189 + 497x190 + 862x191 + 318x192 + 715x193 + 829x194 + 814x195 + 737x196 + 957x197 + 461x198 + 333x199 + 716x200 + 229x201 + 604x202 + 420x203 + 318x204 + 361x205 + 279x206 + 15x207 + 388x208 + 197x209 + 440x210 + 903x211 + 741x212 + 719x213 + 932x214 + 154x215 + 110x216 + 554x217 + 423x218 + 903x219 + 606x220 + 214x221 + 629x222 + 373x223 + 472x224 + 708x225 + 128x226 + 619x227 + 126x228 + 524x229 + 399x230 + 503x231 + 19x232 + 48x233 + 363x234 + 946x235 + 110x236 + 656x237 + 306x238 + 632x239 + 147x240 + 246x241 + 231x242 + 682x243 + 251x244 + 994x245 + 814x246 + 630x247 + 90x248 + 766x249 + 105x250 <= 58929 
binaries 
x1 
x2 
x3 
x4 
x5 
x6 
x7 
x8 
x9 
x10 
x11 
x12 
x13 
x14 
x15 
x16 
x17 
x18 
x19 
x20 
x21 
x22 
x23 
x24 
x25 
x26 
x27 
x28 
x29 
x30 
x31 
x32 
x33 
x34 
x35 
x36 
x37 
x38 
x39 
x40 
x41 
x42 
x43 
x44 
x45 
x46 
x47 
x48 
x49 
x50 
x51 
x52 
x53 
x54 
x55 
x56 
x57 
x58 
x59 
x60 
x61 
x62 
x63 
x64 
x65 
x66 
x67 
x68 
x69 
x70 
x71 
x72 
x73 
x74 
x75 
x76 
x77 
x78 
x79 
x80 
x81 
x82 
x83 
x84 
x85 
x86 
x87 
x88 
x89 
x90 
x91 
x92 
x93 
x94 
x95 
x96 
x97 
x98 
x99 
x100 
x101 
x102 
x103 
x104 
x105 
x106 
x107 
x108 
x109 
x110 
x111 
x112 
x113 
x114 
x115 
x116 
x117 
x118 
x119 
x120 
x121 
x122 
x123 
x124 
x125 
x126 
x127 
x128 
x129 
x130 
x131 
x132 
x133 
x134 
x135 
x136 
x137 
x138 
x139 
x140 
x141 
x142 
x143 
x144 
x145 
x146 
x147 
x148 
x149 
x150 
x151 
x152 
x153 
x154 
x155 
x156 
x157 
x158 
x159 
x160 
x161 
x162 
x163 
x164 
x165 
x166 
x167 
x168 
x169 
x170 
x171 
x172 
x173 
x174 
x175 
x176 
x177 
x178 
x179 
x180 
x181 
x182 
x183 
x184 
x185 
x186 
x187 
x188 
x189 
x190 
x191 
x192 
x193 
x194 
x195 
x196 
x197 
x198 
x199 
x200 
x201 
x202 
x203 
x204 
x205 
x206 
x207 
x208 
x209 
x210 
x211 
x212 
x213 
x214 
x215 
x216 
x217 
x218 
x219 
x220 
x221 
x222 
x223 
x224 
x225 
x226 
x227 
x228 
x229 
x230 
x231 
x232 
x233 
x234 
x235 
x236 
x237 
x238 
x239 
x240 
x241 
x242 
x243 
x244 
x245 
x246 
x247 
x248 
x249 
x250 
end