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