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