minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 92410.670000 
s2: s + 0.001000f1 + 0.501000f2 >= 92410.670000 
f1: -f1 + 738x1 + 584x2 + 424x3 + 572x4 + 792x5 + 478x6 + 730x7 + 891x8 + 656x9 + 772x10 + 531x11 + 769x12 + 839x13 + 948x14 + 561x15 + 796x16 + 783x17 + 672x18 + 775x19 + 657x20 + 683x21 + 971x22 + 1049x23 + 547x24 + 684x25 + 734x26 + 769x27 + 817x28 + 802x29 + 851x30 + 1074x31 + 633x32 + 822x33 + 434x34 + 1057x35 + 611x36 + 800x37 + 752x38 + 792x39 + 748x40 + 981x41 + 571x42 + 539x43 + 626x44 + 634x45 + 492x46 + 974x47 + 798x48 + 762x49 + 539x50 + 831x51 + 757x52 + 792x53 + 980x54 + 676x55 + 414x56 + 872x57 + 683x58 + 585x59 + 661x60 + 374x61 + 614x62 + 523x63 + 824x64 + 915x65 + 583x66 + 745x67 + 585x68 + 721x69 + 937x70 + 1069x71 + 683x72 + 739x73 + 933x74 + 770x75 + 659x76 + 697x77 + 607x78 + 975x79 + 475x80 + 680x81 + 591x82 + 811x83 + 841x84 + 759x85 + 715x86 + 867x87 + 851x88 + 697x89 + 730x90 + 519x91 + 689x92 + 884x93 + 847x94 + 884x95 + 595x96 + 640x97 + 1016x98 + 1090x99 + 797x100 + 709x101 + 543x102 + 660x103 + 577x104 + 829x105 + 923x106 + 646x107 + 1143x108 + 711x109 + 942x110 + 501x111 + 621x112 + 902x113 + 681x114 + 447x115 + 812x116 + 820x117 + 545x118 + 833x119 + 909x120 + 657x121 + 1020x122 + 583x123 + 493x124 + 610x125 + 385x126 + 580x127 + 911x128 + 622x129 + 1140x130 + 373x131 + 860x132 + 735x133 + 736x134 + 848x135 + 998x136 + 598x137 + 1198x138 + 850x139 + 710x140 + 1087x141 + 814x142 + 695x143 + 806x144 + 801x145 + 416x146 + 513x147 + 719x148 + 965x149 + 813x150 + 930x151 + 830x152 + 406x153 + 804x154 + 590x155 + 572x156 + 828x157 + 1287x158 + 676x159 + 1116x160 + 632x161 + 744x162 + 510x163 + 1172x164 + 488x165 + 505x166 + 885x167 + 784x168 + 386x169 + 823x170 + 1024x171 + 627x172 + 1066x173 + 980x174 + 875x175 + 1005x176 + 827x177 + 597x178 + 821x179 + 829x180 + 451x181 + 546x182 + 696x183 + 405x184 + 632x185 + 849x186 + 653x187 + 594x188 + 1077x189 + 1090x190 + 748x191 + 477x192 + 485x193 + 838x194 + 953x195 + 565x196 + 677x197 + 609x198 + 579x199 + 543x200 + 598x201 + 523x202 + 877x203 + 500x204 + 603x205 + 892x206 + 848x207 + 425x208 + 528x209 + 975x210 + 719x211 + 797x212 + 744x213 + 797x214 + 1003x215 + 955x216 + 882x217 + 689x218 + 339x219 + 598x220 + 556x221 + 463x222 + 715x223 + 885x224 + 814x225 + 817x226 + 352x227 + 672x228 + 931x229 + 678x230 + 856x231 + 731x232 + 873x233 + 844x234 + 919x235 + 967x236 + 820x237 + 333x238 + 744x239 + 1176x240 + 391x241 + 972x242 + 405x243 + 548x244 + 688x245 + 849x246 + 1088x247 + 481x248 + 524x249 + 629x250  = 0 
f2: -f2 + 627x1 + 1005x2 + 447x3 + 1003x4 + 955x5 + 689x6 + 548x7 + 680x8 + 543x9 + 769x10 + 697x11 + 660x12 + 632x13 + 830x14 + 948x15 + 844x16 + 1066x17 + 827x18 + 1077x19 + 546x20 + 697x21 + 547x22 + 689x23 + 882x24 + 820x25 + 719x26 + 849x27 + 646x28 + 1143x29 + 877x30 + 797x31 + 405x32 + 731x33 + 585x34 + 798x35 + 493x36 + 414x37 + 572x38 + 539x39 + 577x40 + 851x41 + 611x42 + 884x43 + 598x44 + 775x45 + 801x46 + 424x47 + 814x48 + 633x49 + 847x50 + 524x51 + 594x52 + 980x53 + 849x54 + 752x55 + 796x56 + 783x57 + 1069x58 + 974x59 + 744x60 + 556x61 + 672x62 + 1016x63 + 626x64 + 730x65 + 477x66 + 980x67 + 1090x68 + 772x69 + 710x70 + 824x71 + 609x72 + 676x73 + 500x74 + 1140x75 + 981x76 + 543x77 + 676x78 + 748x79 + 937x80 + 967x81 + 884x82 + 1087x83 + 715x84 + 405x85 + 1024x86 + 339x87 + 811x88 + 653x89 + 1057x90 + 425x91 + 434x92 + 583x93 + 1172x94 + 681x95 + 806x96 + 998x97 + 579x98 + 561x99 + 972x100 + 373x101 + 885x102 + 374x103 + 814x104 + 1049x105 + 784x106 + 848x107 + 769x108 + 661x109 + 885x110 + 683x111 + 1116x112 + 823x113 + 817x114 + 591x115 + 792x116 + 829x117 + 659x118 + 971x119 + 792x120 + 848x121 + 891x122 + 797x123 + 391x124 + 597x125 + 684x126 + 696x127 + 829x128 + 736x129 + 571x130 + 478x131 + 488x132 + 590x133 + 931x134 + 923x135 + 711x136 + 385x137 + 715x138 + 1198x139 + 545x140 + 831x141 + 902x142 + 1090x143 + 485x144 + 911x145 + 416x146 + 657x147 + 1074x148 + 839x149 + 523x150 + 953x151 + 812x152 + 759x153 + 622x154 + 762x155 + 634x156 + 657x157 + 734x158 + 748x159 + 975x160 + 867x161 + 463x162 + 621x163 + 813x164 + 632x165 + 828x166 + 719x167 + 598x168 + 800x169 + 770x170 + 833x171 + 583x172 + 505x173 + 1287x174 + 501x175 + 1020x176 + 850x177 + 640x178 + 678x179 + 595x180 + 841x181 + 531x182 + 915x183 + 838x184 + 930x185 + 683x186 + 386x187 + 603x188 + 744x189 + 909x190 + 475x191 + 738x192 + 528x193 + 1176x194 + 585x195 + 822x196 + 721x197 + 610x198 + 539x199 + 817x200 + 629x201 + 598x202 + 672x203 + 730x204 + 695x205 + 851x206 + 333x207 + 1088x208 + 860x209 + 804x210 + 875x211 + 975x212 + 513x213 + 656x214 + 572x215 + 451x216 + 820x217 + 519x218 + 856x219 + 406x220 + 919x221 + 757x222 + 965x223 + 492x224 + 709x225 + 352x226 + 580x227 + 565x228 + 797x229 + 745x230 + 677x231 + 744x232 + 688x233 + 792x234 + 523x235 + 802x236 + 821x237 + 607x238 + 739x239 + 933x240 + 873x241 + 510x242 + 735x243 + 614x244 + 481x245 + 942x246 + 683x247 + 584x248 + 892x249 + 872x250  = 0 
constr1: + 585x1 + 179x2 + 115x3 + 283x4 + 265x5 + 144x6 + 987x7 + 390x8 + 251x9 + 532x10 + 306x11 + 75x12 + 118x13 + 480x14 + 317x15 + 983x16 + 82x17 + 884x18 + 133x19 + 425x20 + 930x21 + 874x22 + 121x23 + 752x24 + 788x25 + 34x26 + 19x27 + 447x28 + 986x29 + 702x30 + 571x31 + 577x32 + 262x33 + 477x34 + 230x35 + 636x36 + 776x37 + 326x38 + 389x39 + 208x40 + 192x41 + 586x42 + 430x43 + 165x44 + 58x45 + 89x46 + 924x47 + 975x48 + 429x49 + 632x50 + 374x51 + 9x52 + 371x53 + 657x54 + 143x55 + 706x56 + 950x57 + 775x58 + 339x59 + 123x60 + 527x61 + 819x62 + 294x63 + 555x64 + 262x65 + 114x66 + 866x67 + 73x68 + 473x69 + 411x70 + 695x71 + 585x72 + 869x73 + 35x74 + 297x75 + 25x76 + 198x77 + 455x78 + 440x79 + 235x80 + 792x81 + 293x82 + 554x83 + 17x84 + 561x85 + 354x86 + 610x87 + 487x88 + 69x89 + 705x90 + 654x91 + 684x92 + 544x93 + 73x94 + 169x95 + 607x96 + 929x97 + 740x98 + 198x99 + 578x100 + 347x101 + 447x102 + 991x103 + 184x104 + 259x105 + 549x106 + 857x107 + 534x108 + 762x109 + 707x110 + 169x111 + 307x112 + 281x113 + 674x114 + 907x115 + 728x116 + 838x117 + 214x118 + 7x119 + 326x120 + 272x121 + 810x122 + 122x123 + 923x124 + 988x125 + 176x126 + 446x127 + 762x128 + 910x129 + 322x130 + 49x131 + 30x132 + 311x133 + 186x134 + 631x135 + 805x136 + 338x137 + 426x138 + 408x139 + 396x140 + 197x141 + 139x142 + 303x143 + 944x144 + 848x145 + 902x146 + 848x147 + 86x148 + 456x149 + 190x150 + 783x151 + 432x152 + 688x153 + 624x154 + 249x155 + 759x156 + 36x157 + 776x158 + 404x159 + 726x160 + 926x161 + 147x162 + 358x163 + 133x164 + 733x165 + 244x166 + 230x167 + 297x168 + 458x169 + 440x170 + 197x171 + 748x172 + 872x173 + 216x174 + 907x175 + 105x176 + 983x177 + 123x178 + 369x179 + 324x180 + 127x181 + 400x182 + 955x183 + 756x184 + 589x185 + 468x186 + 186x187 + 936x188 + 784x189 + 920x190 + 515x191 + 251x192 + 769x193 + 985x194 + 242x195 + 952x196 + 669x197 + 173x198 + 132x199 + 715x200 + 274x201 + 688x202 + 280x203 + 710x204 + 379x205 + 571x206 + 236x207 + 263x208 + 780x209 + 264x210 + 646x211 + 570x212 + 253x213 + 61x214 + 730x215 + 458x216 + 551x217 + 447x218 + 733x219 + 327x220 + 552x221 + 290x222 + 355x223 + 760x224 + 302x225 + 154x226 + 166x227 + 910x228 + 630x229 + 228x230 + 714x231 + 860x232 + 515x233 + 283x234 + 665x235 + 368x236 + 229x237 + 2x238 + 810x239 + 97x240 + 639x241 + 804x242 + 968x243 + 775x244 + 456x245 + 397x246 + 884x247 + 443x248 + 453x249 + 447x250 <= 84332 
constr2: + 358x1 + 297x2 + 250x3 + 673x4 + 349x5 + 704x6 + 329x7 + 48x8 + 423x9 + 228x10 + 281x11 + 796x12 + 306x13 + 644x14 + 481x15 + 972x16 + 899x17 + 106x18 + 8x19 + 685x20 + 132x21 + 953x22 + 42x23 + 98x24 + 123x25 + 661x26 + 439x27 + 577x28 + 979x29 + 904x30 + 567x31 + 818x32 + 976x33 + 409x34 + 143x35 + 999x36 + 299x37 + 708x38 + 552x39 + 37x40 + 377x41 + 720x42 + 172x43 + 181x44 + 76x45 + 107x46 + 767x47 + 441x48 + 703x49 + 94x50 + 48x51 + 543x52 + 412x53 + 488x54 + 197x55 + 119x56 + 860x57 + 108x58 + 721x59 + 853x60 + 793x61 + 978x62 + 21x63 + 870x64 + 502x65 + 502x66 + 431x67 + 747x68 + 25x69 + 436x70 + 358x71 + 168x72 + 150x73 + 703x74 + 713x75 + 73x76 + 845x77 + 356x78 + 755x79 + 578x80 + 685x81 + 178x82 + 600x83 + 843x84 + 47x85 + 295x86 + 44x87 + 390x88 + 108x89 + 1x90 + 592x91 + 457x92 + 753x93 + 793x94 + 869x95 + 218x96 + 841x97 + 625x98 + 748x99 + 998x100 + 112x101 + 472x102 + 652x103 + 672x104 + 998x105 + 713x106 + 761x107 + 963x108 + 603x109 + 296x110 + 861x111 + 462x112 + 795x113 + 888x114 + 16x115 + 131x116 + 14x117 + 14x118 + 783x119 + 22x120 + 554x121 + 974x122 + 246x123 + 798x124 + 859x125 + 927x126 + 974x127 + 974x128 + 761x129 + 320x130 + 702x131 + 600x132 + 390x133 + 744x134 + 233x135 + 470x136 + 881x137 + 247x138 + 379x139 + 249x140 + 359x141 + 246x142 + 859x143 + 471x144 + 923x145 + 551x146 + 392x147 + 557x148 + 306x149 + 397x150 + 509x151 + 280x152 + 591x153 + 458x154 + 619x155 + 660x156 + 127x157 + 675x158 + 256x159 + 473x160 + 197x161 + 397x162 + 643x163 + 241x164 + 244x165 + 60x166 + 189x167 + 474x168 + 87x169 + 368x170 + 608x171 + 564x172 + 904x173 + 174x174 + 352x175 + 131x176 + 587x177 + 224x178 + 569x179 + 114x180 + 929x181 + 308x182 + 142x183 + 652x184 + 780x185 + 78x186 + 390x187 + 594x188 + 893x189 + 909x190 + 764x191 + 435x192 + 559x193 + 927x194 + 366x195 + 144x196 + 842x197 + 876x198 + 274x199 + 516x200 + 144x201 + 100x202 + 231x203 + 148x204 + 816x205 + 392x206 + 65x207 + 122x208 + 477x209 + 993x210 + 827x211 + 561x212 + 212x213 + 28x214 + 427x215 + 81x216 + 543x217 + 792x218 + 679x219 + 761x220 + 741x221 + 150x222 + 138x223 + 574x224 + 582x225 + 246x226 + 172x227 + 142x228 + 136x229 + 529x230 + 61x231 + 347x232 + 212x233 + 499x234 + 9x235 + 312x236 + 758x237 + 861x238 + 88x239 + 654x240 + 215x241 + 676x242 + 725x243 + 268x244 + 35x245 + 716x246 + 539x247 + 432x248 + 777x249 + 986x250 <= 94220 
constr3: + 619x1 + 295x2 + 538x3 + 577x4 + 908x5 + 976x6 + 524x7 + 138x8 + 667x9 + 67x10 + 58x11 + 202x12 + 968x13 + 774x14 + 292x15 + 225x16 + 65x17 + 412x18 + 471x19 + 960x20 + 658x21 + 790x22 + 913x23 + 395x24 + 289x25 + 922x26 + 92x27 + 908x28 + 19x29 + 269x30 + 452x31 + 800x32 + 121x33 + 456x34 + 824x35 + 46x36 + 689x37 + 212x38 + 512x39 + 579x40 + 301x41 + 757x42 + 635x43 + 927x44 + 3x45 + 264x46 + 701x47 + 901x48 + 154x49 + 61x50 + 547x51 + 877x52 + 232x53 + 43x54 + 616x55 + 427x56 + 444x57 + 143x58 + 155x59 + 813x60 + 879x61 + 443x62 + 879x63 + 621x64 + 954x65 + 39x66 + 185x67 + 403x68 + 262x69 + 536x70 + 471x71 + 648x72 + 606x73 + 899x74 + 589x75 + 626x76 + 998x77 + 848x78 + 576x79 + 707x80 + 17x81 + 519x82 + 79x83 + 904x84 + 707x85 + 213x86 + 949x87 + 595x88 + 795x89 + 307x90 + 936x91 + 376x92 + 383x93 + 708x94 + 575x95 + 617x96 + 837x97 + 82x98 + 205x99 + 841x100 + 509x101 + 389x102 + 913x103 + 329x104 + 737x105 + 548x106 + 930x107 + 460x108 + 96x109 + 647x110 + 523x111 + 579x112 + 349x113 + 739x114 + 379x115 + 816x116 + 908x117 + 995x118 + 425x119 + 435x120 + 550x121 + 303x122 + 18x123 + 263x124 + 377x125 + 750x126 + 67x127 + 803x128 + 370x129 + 220x130 + 390x131 + 952x132 + 270x133 + 26x134 + 885x135 + 318x136 + 723x137 + 656x138 + 120x139 + 61x140 + 778x141 + 148x142 + 990x143 + 76x144 + 193x145 + 264x146 + 910x147 + 556x148 + 226x149 + 366x150 + 164x151 + 107x152 + 102x153 + 842x154 + 210x155 + 768x156 + 903x157 + 468x158 + 420x159 + 210x160 + 801x161 + 675x162 + 162x163 + 264x164 + 647x165 + 608x166 + 44x167 + 630x168 + 245x169 + 768x170 + 311x171 + 693x172 + 482x173 + 424x174 + 195x175 + 472x176 + 234x177 + 767x178 + 825x179 + 470x180 + 13x181 + 741x182 + 589x183 + 251x184 + 953x185 + 765x186 + 775x187 + 125x188 + 568x189 + 268x190 + 306x191 + 424x192 + 258x193 + 263x194 + 938x195 + 705x196 + 778x197 + 38x198 + 350x199 + 67x200 + 168x201 + 484x202 + 113x203 + 324x204 + 682x205 + 450x206 + 496x207 + 357x208 + 41x209 + 975x210 + 267x211 + 300x212 + 117x213 + 512x214 + 197x215 + 826x216 + 953x217 + 271x218 + 667x219 + 500x220 + 477x221 + 998x222 + 700x223 + 275x224 + 750x225 + 929x226 + 285x227 + 371x228 + 526x229 + 965x230 + 298x231 + 980x232 + 627x233 + 67x234 + 52x235 + 17x236 + 113x237 + 946x238 + 254x239 + 877x240 + 295x241 + 280x242 + 534x243 + 263x244 + 954x245 + 48x246 + 20x247 + 42x248 + 901x249 + 385x250 <= 95144 
constr4: + 277x1 + 615x2 + 270x3 + 177x4 + 693x5 + 976x6 + 874x7 + 269x8 + 150x9 + 732x10 + 489x11 + 45x12 + 48x13 + 312x14 + 704x15 + 609x16 + 470x17 + 836x18 + 369x19 + 974x20 + 356x21 + 963x22 + 157x23 + 310x24 + 528x25 + 58x26 + 128x27 + 864x28 + 161x29 + 659x30 + 11x31 + 582x32 + 936x33 + 351x34 + 495x35 + 977x36 + 561x37 + 149x38 + 303x39 + 188x40 + 264x41 + 613x42 + 491x43 + 931x44 + 28x45 + 259x46 + 989x47 + 130x48 + 341x49 + 53x50 + 116x51 + 766x52 + 893x53 + 148x54 + 498x55 + 381x56 + 321x57 + 427x58 + 14x59 + 581x60 + 973x61 + 9x62 + 593x63 + 838x64 + 633x65 + 511x66 + 970x67 + 174x68 + 790x69 + 225x70 + 809x71 + 401x72 + 318x73 + 772x74 + 773x75 + 653x76 + 775x77 + 20x78 + 652x79 + 735x80 + 790x81 + 563x82 + 893x83 + 720x84 + 140x85 + 657x86 + 240x87 + 925x88 + 282x89 + 527x90 + 161x91 + 322x92 + 349x93 + 58x94 + 919x95 + 45x96 + 576x97 + 832x98 + 872x99 + 746x100 + 724x101 + 180x102 + 177x103 + 546x104 + 401x105 + 922x106 + 182x107 + 539x108 + 569x109 + 378x110 + 830x111 + 15x112 + 129x113 + 557x114 + 724x115 + 20x116 + 584x117 + 890x118 + 750x119 + 831x120 + 684x121 + 605x122 + 271x123 + 168x124 + 560x125 + 700x126 + 324x127 + 427x128 + 182x129 + 962x130 + 463x131 + 245x132 + 996x133 + 144x134 + 821x135 + 297x136 + 576x137 + 847x138 + 47x139 + 958x140 + 211x141 + 806x142 + 827x143 + 362x144 + 111x145 + 533x146 + 346x147 + 659x148 + 74x149 + 470x150 + 262x151 + 17x152 + 846x153 + 446x154 + 602x155 + 613x156 + 238x157 + 520x158 + 79x159 + 241x160 + 538x161 + 548x162 + 560x163 + 941x164 + 133x165 + 699x166 + 558x167 + 54x168 + 347x169 + 635x170 + 17x171 + 997x172 + 164x173 + 1000x174 + 115x175 + 896x176 + 1000x177 + 825x178 + 581x179 + 347x180 + 512x181 + 710x182 + 711x183 + 133x184 + 529x185 + 210x186 + 424x187 + 267x188 + 912x189 + 22x190 + 858x191 + 6x192 + 548x193 + 80x194 + 691x195 + 684x196 + 255x197 + 422x198 + 140x199 + 247x200 + 499x201 + 213x202 + 522x203 + 552x204 + 485x205 + 39x206 + 334x207 + 769x208 + 267x209 + 841x210 + 270x211 + 142x212 + 701x213 + 377x214 + 896x215 + 858x216 + 4x217 + 825x218 + 98x219 + 617x220 + 398x221 + 165x222 + 499x223 + 738x224 + 22x225 + 116x226 + 8x227 + 737x228 + 308x229 + 272x230 + 487x231 + 37x232 + 256x233 + 278x234 + 547x235 + 471x236 + 53x237 + 765x238 + 756x239 + 862x240 + 592x241 + 294x242 + 37x243 + 211x244 + 567x245 + 929x246 + 90x247 + 368x248 + 448x249 + 58x250 <= 88617 
constr5: + 553x1 + 303x2 + 442x3 + 167x4 + 93x5 + 55x6 + 642x7 + 556x8 + 299x9 + 199x10 + 575x11 + 91x12 + 685x13 + 490x14 + 282x15 + 200x16 + 911x17 + 361x18 + 587x19 + 71x20 + 888x21 + 327x22 + 54x23 + 248x24 + 211x25 + 418x26 + 851x27 + 435x28 + 107x29 + 56x30 + 865x31 + 980x32 + 528x33 + 639x34 + 136x35 + 222x36 + 12x37 + 792x38 + 193x39 + 832x40 + 333x41 + 19x42 + 343x43 + 545x44 + 408x45 + 467x46 + 50x47 + 787x48 + 794x49 + 219x50 + 528x51 + 704x52 + 239x53 + 488x54 + 531x55 + 136x56 + 615x57 + 156x58 + 377x59 + 366x60 + 796x61 + 980x62 + 510x63 + 982x64 + 701x65 + 977x66 + 338x67 + 248x68 + 536x69 + 855x70 + 74x71 + 969x72 + 106x73 + 769x74 + 904x75 + 871x76 + 398x77 + 791x78 + 331x79 + 593x80 + 743x81 + 564x82 + 484x83 + 288x84 + 430x85 + 106x86 + 38x87 + 809x88 + 763x89 + 99x90 + 332x91 + 878x92 + 845x93 + 87x94 + 295x95 + 383x96 + 287x97 + 695x98 + 223x99 + 180x100 + 753x101 + 436x102 + 982x103 + 80x104 + 986x105 + 751x106 + 195x107 + 37x108 + 799x109 + 639x110 + 483x111 + 283x112 + 549x113 + 973x114 + 496x115 + 95x116 + 470x117 + 151x118 + 712x119 + 755x120 + 518x121 + 671x122 + 900x123 + 889x124 + 699x125 + 714x126 + 173x127 + 608x128 + 192x129 + 336x130 + 463x131 + 395x132 + 358x133 + 815x134 + 491x135 + 332x136 + 727x137 + 974x138 + 950x139 + 148x140 + 362x141 + 739x142 + 52x143 + 112x144 + 229x145 + 188x146 + 403x147 + 604x148 + 439x149 + 910x150 + 103x151 + 127x152 + 362x153 + 696x154 + 297x155 + 762x156 + 649x157 + 981x158 + 511x159 + 975x160 + 237x161 + 612x162 + 458x163 + 244x164 + 352x165 + 520x166 + 595x167 + 558x168 + 71x169 + 78x170 + 99x171 + 124x172 + 376x173 + 139x174 + 693x175 + 929x176 + 951x177 + 890x178 + 237x179 + 39x180 + 24x181 + 455x182 + 109x183 + 132x184 + 764x185 + 629x186 + 235x187 + 902x188 + 749x189 + 560x190 + 21x191 + 399x192 + 473x193 + 866x194 + 945x195 + 55x196 + 807x197 + 398x198 + 629x199 + 109x200 + 986x201 + 871x202 + 137x203 + 556x204 + 968x205 + 135x206 + 942x207 + 173x208 + 874x209 + 391x210 + 62x211 + 600x212 + 682x213 + 105x214 + 41x215 + 107x216 + 119x217 + 632x218 + 227x219 + 623x220 + 664x221 + 907x222 + 295x223 + 614x224 + 402x225 + 380x226 + 314x227 + 133x228 + 866x229 + 547x230 + 345x231 + 769x232 + 58x233 + 329x234 + 288x235 + 780x236 + 572x237 + 807x238 + 983x239 + 180x240 + 79x241 + 403x242 + 974x243 + 697x244 + 245x245 + 270x246 + 555x247 + 979x248 + 809x249 + 263x250 <= 85276 
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