minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 95620.458000 
s2: s + 0.001000f1 + 0.501000f2 >= 95620.458000 
f1: -f1 + 714x1 + 540x2 + 915x3 + 444x4 + 528x5 + 954x6 + 791x7 + 858x8 + 350x9 + 366x10 + 392x11 + 1060x12 + 1074x13 + 1109x14 + 936x15 + 448x16 + 515x17 + 447x18 + 704x19 + 650x20 + 414x21 + 535x22 + 417x23 + 1019x24 + 1192x25 + 569x26 + 733x27 + 792x28 + 784x29 + 1140x30 + 820x31 + 852x32 + 630x33 + 634x34 + 759x35 + 184x36 + 638x37 + 933x38 + 781x39 + 901x40 + 983x41 + 1160x42 + 483x43 + 859x44 + 616x45 + 869x46 + 970x47 + 628x48 + 651x49 + 704x50 + 594x51 + 808x52 + 670x53 + 815x54 + 531x55 + 551x56 + 1069x57 + 766x58 + 489x59 + 940x60 + 942x61 + 446x62 + 977x63 + 846x64 + 767x65 + 704x66 + 770x67 + 664x68 + 971x69 + 707x70 + 953x71 + 1048x72 + 559x73 + 546x74 + 632x75 + 1038x76 + 978x77 + 1015x78 + 613x79 + 1009x80 + 463x81 + 1119x82 + 676x83 + 954x84 + 1012x85 + 596x86 + 967x87 + 599x88 + 629x89 + 753x90 + 892x91 + 515x92 + 541x93 + 958x94 + 1021x95 + 779x96 + 953x97 + 662x98 + 911x99 + 847x100 + 888x101 + 834x102 + 547x103 + 1026x104 + 715x105 + 745x106 + 762x107 + 638x108 + 546x109 + 741x110 + 941x111 + 1054x112 + 686x113 + 1133x114 + 809x115 + 756x116 + 886x117 + 492x118 + 1115x119 + 870x120 + 667x121 + 809x122 + 681x123 + 704x124 + 966x125 + 913x126 + 803x127 + 788x128 + 1138x129 + 691x130 + 1000x131 + 762x132 + 883x133 + 494x134 + 672x135 + 852x136 + 982x137 + 318x138 + 845x139 + 1111x140 + 1051x141 + 528x142 + 1093x143 + 539x144 + 377x145 + 887x146 + 632x147 + 679x148 + 830x149 + 885x150 + 637x151 + 998x152 + 885x153 + 790x154 + 711x155 + 1193x156 + 563x157 + 340x158 + 655x159 + 773x160 + 962x161 + 505x162 + 1126x163 + 361x164 + 509x165 + 533x166 + 703x167 + 447x168 + 665x169 + 929x170 + 1189x171 + 415x172 + 655x173 + 579x174 + 888x175 + 765x176 + 863x177 + 636x178 + 1016x179 + 729x180 + 958x181 + 664x182 + 754x183 + 574x184 + 766x185 + 877x186 + 1134x187 + 642x188 + 627x189 + 725x190 + 710x191 + 669x192 + 365x193 + 605x194 + 685x195 + 866x196 + 679x197 + 550x198 + 811x199 + 868x200 + 415x201 + 824x202 + 719x203 + 903x204 + 776x205 + 1077x206 + 686x207 + 271x208 + 792x209 + 763x210 + 925x211 + 716x212 + 549x213 + 1075x214 + 559x215 + 875x216 + 926x217 + 907x218 + 705x219 + 952x220 + 912x221 + 835x222 + 773x223 + 1018x224 + 959x225 + 751x226 + 944x227 + 1090x228 + 425x229 + 255x230 + 761x231 + 806x232 + 278x233 + 680x234 + 678x235 + 1033x236 + 1139x237 + 531x238 + 955x239 + 807x240 + 562x241 + 383x242 + 620x243 + 965x244 + 966x245 + 1102x246 + 469x247 + 709x248 + 695x249 + 940x250  = 0 
f2: -f2 + 887x1 + 761x2 + 940x3 + 941x4 + 563x5 + 664x6 + 664x7 + 977x8 + 505x9 + 719x10 + 809x11 + 651x12 + 686x13 + 753x14 + 953x15 + 637x16 + 733x17 + 709x18 + 776x19 + 970x20 + 762x21 + 725x22 + 745x23 + 926x24 + 779x25 + 1093x26 + 255x27 + 691x28 + 678x29 + 859x30 + 366x31 + 634x32 + 1033x33 + 714x34 + 1138x35 + 912x36 + 1015x37 + 655x38 + 540x39 + 509x40 + 340x41 + 741x42 + 766x43 + 952x44 + 792x45 + 762x46 + 632x47 + 551x48 + 788x49 + 417x50 + 866x51 + 361x52 + 954x53 + 1140x54 + 425x55 + 888x56 + 885x57 + 1126x58 + 546x59 + 579x60 + 492x61 + 1189x62 + 1054x63 + 655x64 + 704x65 + 770x66 + 562x67 + 765x68 + 704x69 + 569x70 + 365x71 + 936x72 + 448x73 + 680x74 + 958x75 + 1021x76 + 628x77 + 705x78 + 716x79 + 830x80 + 811x81 + 531x82 + 650x83 + 638x84 + 852x85 + 350x86 + 616x87 + 1060x88 + 184x89 + 1051x90 + 630x91 + 807x92 + 955x93 + 605x94 + 729x95 + 463x96 + 685x97 + 642x98 + 870x99 + 773x100 + 531x101 + 892x102 + 913x103 + 681x104 + 559x105 + 845x106 + 965x107 + 806x108 + 792x109 + 885x110 + 940x111 + 1193x112 + 1038x113 + 599x114 + 1000x115 + 966x116 + 1074x117 + 533x118 + 528x119 + 447x120 + 803x121 + 278x122 + 1115x123 + 547x124 + 875x125 + 888x126 + 869x127 + 1016x128 + 877x129 + 707x130 + 704x131 + 469x132 + 784x133 + 528x134 + 1139x135 + 846x136 + 703x137 + 754x138 + 444x139 + 483x140 + 549x141 + 954x142 + 670x143 + 903x144 + 1069x145 + 815x146 + 662x147 + 978x148 + 847x149 + 959x150 + 559x151 + 767x152 + 1019x153 + 998x154 + 1192x155 + 820x156 + 515x157 + 679x158 + 852x159 + 1090x160 + 763x161 + 638x162 + 672x163 + 982x164 + 925x165 + 868x166 + 1119x167 + 911x168 + 1012x169 + 535x170 + 1102x171 + 271x172 + 415x173 + 858x174 + 1134x175 + 1026x176 + 883x177 + 620x178 + 711x179 + 546x180 + 1009x181 + 835x182 + 392x183 + 632x184 + 1133x185 + 1018x186 + 446x187 + 766x188 + 834x189 + 967x190 + 665x191 + 715x192 + 686x193 + 781x194 + 676x195 + 447x196 + 541x197 + 901x198 + 679x199 + 824x200 + 1160x201 + 667x202 + 415x203 + 791x204 + 710x205 + 929x206 + 751x207 + 944x208 + 1109x209 + 971x210 + 1111x211 + 613x212 + 629x213 + 962x214 + 958x215 + 318x216 + 627x217 + 489x218 + 933x219 + 1077x220 + 1048x221 + 942x222 + 759x223 + 636x224 + 494x225 + 1075x226 + 809x227 + 907x228 + 594x229 + 695x230 + 756x231 + 790x232 + 383x233 + 863x234 + 773x235 + 669x236 + 550x237 + 515x238 + 704x239 + 966x240 + 596x241 + 414x242 + 377x243 + 808x244 + 886x245 + 983x246 + 915x247 + 539x248 + 574x249 + 953x250  = 0 
constr1: + 359x1 + 863x2 + 140x3 + 3x4 + 34x5 + 262x6 + 888x7 + 52x8 + 604x9 + 957x10 + 191x11 + 531x12 + 792x13 + 763x14 + 12x15 + 104x16 + 518x17 + 392x18 + 385x19 + 153x20 + 671x21 + 907x22 + 293x23 + 687x24 + 333x25 + 933x26 + 336x27 + 334x28 + 952x29 + 508x30 + 708x31 + 338x32 + 138x33 + 215x34 + 429x35 + 424x36 + 590x37 + 725x38 + 379x39 + 418x40 + 683x41 + 756x42 + 707x43 + 408x44 + 986x45 + 739x46 + 370x47 + 591x48 + 1x49 + 127x50 + 909x51 + 867x52 + 390x53 + 398x54 + 97x55 + 197x56 + 555x57 + 6x58 + 926x59 + 844x60 + 717x61 + 539x62 + 707x63 + 835x64 + 755x65 + 835x66 + 257x67 + 71x68 + 54x69 + 209x70 + 823x71 + 549x72 + 518x73 + 468x74 + 129x75 + 717x76 + 455x77 + 958x78 + 39x79 + 217x80 + 134x81 + 781x82 + 367x83 + 52x84 + 854x85 + 402x86 + 867x87 + 852x88 + 97x89 + 891x90 + 97x91 + 606x92 + 368x93 + 929x94 + 342x95 + 724x96 + 545x97 + 969x98 + 808x99 + 944x100 + 252x101 + 932x102 + 78x103 + 470x104 + 60x105 + 341x106 + 471x107 + 186x108 + 614x109 + 390x110 + 77x111 + 95x112 + 828x113 + 106x114 + 881x115 + 812x116 + 575x117 + 217x118 + 204x119 + 124x120 + 174x121 + 885x122 + 346x123 + 141x124 + 321x125 + 40x126 + 797x127 + 413x128 + 765x129 + 802x130 + 834x131 + 715x132 + 382x133 + 196x134 + 646x135 + 332x136 + 486x137 + 719x138 + 479x139 + 825x140 + 184x141 + 322x142 + 187x143 + 160x144 + 684x145 + 486x146 + 530x147 + 458x148 + 904x149 + 617x150 + 51x151 + 846x152 + 155x153 + 917x154 + 431x155 + 176x156 + 370x157 + 14x158 + 832x159 + 437x160 + 127x161 + 222x162 + 816x163 + 105x164 + 181x165 + 786x166 + 217x167 + 183x168 + 892x169 + 186x170 + 697x171 + 847x172 + 957x173 + 753x174 + 722x175 + 13x176 + 525x177 + 472x178 + 962x179 + 46x180 + 498x181 + 931x182 + 1000x183 + 442x184 + 864x185 + 153x186 + 378x187 + 416x188 + 73x189 + 549x190 + 855x191 + 388x192 + 566x193 + 446x194 + 497x195 + 506x196 + 224x197 + 343x198 + 286x199 + 592x200 + 830x201 + 421x202 + 627x203 + 446x204 + 796x205 + 309x206 + 912x207 + 541x208 + 864x209 + 554x210 + 18x211 + 609x212 + 317x213 + 39x214 + 523x215 + 462x216 + 580x217 + 858x218 + 474x219 + 772x220 + 831x221 + 123x222 + 155x223 + 987x224 + 403x225 + 696x226 + 885x227 + 357x228 + 624x229 + 985x230 + 534x231 + 791x232 + 539x233 + 578x234 + 807x235 + 21x236 + 639x237 + 324x238 + 335x239 + 529x240 + 133x241 + 850x242 + 568x243 + 922x244 + 161x245 + 606x246 + 741x247 + 517x248 + 272x249 + 768x250 <= 28736 
constr2: + 127x1 + 83x2 + 809x3 + 293x4 + 553x5 + 325x6 + 396x7 + 124x8 + 720x9 + 483x10 + 557x11 + 849x12 + 80x13 + 2x14 + 554x15 + 886x16 + 978x17 + 415x18 + 188x19 + 617x20 + 300x21 + 985x22 + 581x23 + 536x24 + 886x25 + 230x26 + 114x27 + 289x28 + 245x29 + 575x30 + 904x31 + 855x32 + 320x33 + 540x34 + 415x35 + 972x36 + 92x37 + 998x38 + 223x39 + 122x40 + 304x41 + 78x42 + 677x43 + 703x44 + 384x45 + 561x46 + 380x47 + 868x48 + 187x49 + 929x50 + 117x51 + 45x52 + 915x53 + 338x54 + 197x55 + 687x56 + 168x57 + 426x58 + 920x59 + 964x60 + 220x61 + 830x62 + 770x63 + 254x64 + 661x65 + 884x66 + 248x67 + 604x68 + 109x69 + 61x70 + 889x71 + 480x72 + 482x73 + 688x74 + 455x75 + 285x76 + 893x77 + 285x78 + 211x79 + 578x80 + 627x81 + 214x82 + 220x83 + 168x84 + 189x85 + 279x86 + 951x87 + 787x88 + 272x89 + 967x90 + 956x91 + 202x92 + 637x93 + 998x94 + 324x95 + 783x96 + 823x97 + 757x98 + 44x99 + 71x100 + 62x101 + 684x102 + 353x103 + 143x104 + 486x105 + 192x106 + 450x107 + 170x108 + 143x109 + 719x110 + 887x111 + 629x112 + 131x113 + 201x114 + 763x115 + 208x116 + 850x117 + 838x118 + 675x119 + 699x120 + 438x121 + 711x122 + 996x123 + 309x124 + 78x125 + 639x126 + 431x127 + 827x128 + 564x129 + 375x130 + 364x131 + 635x132 + 341x133 + 995x134 + 319x135 + 126x136 + 100x137 + 582x138 + 350x139 + 464x140 + 838x141 + 670x142 + 759x143 + 712x144 + 84x145 + 231x146 + 138x147 + 774x148 + 186x149 + 545x150 + 410x151 + 824x152 + 458x153 + 89x154 + 411x155 + 115x156 + 600x157 + 41x158 + 930x159 + 610x160 + 893x161 + 904x162 + 896x163 + 784x164 + 739x165 + 920x166 + 700x167 + 751x168 + 660x169 + 266x170 + 740x171 + 116x172 + 849x173 + 209x174 + 619x175 + 817x176 + 420x177 + 993x178 + 560x179 + 465x180 + 957x181 + 191x182 + 939x183 + 169x184 + 676x185 + 182x186 + 158x187 + 532x188 + 892x189 + 293x190 + 101x191 + 660x192 + 138x193 + 858x194 + 150x195 + 695x196 + 681x197 + 348x198 + 616x199 + 176x200 + 518x201 + 228x202 + 724x203 + 841x204 + 682x205 + 674x206 + 772x207 + 9x208 + 860x209 + 824x210 + 606x211 + 802x212 + 90x213 + 832x214 + 254x215 + 280x216 + 988x217 + 948x218 + 559x219 + 769x220 + 576x221 + 977x222 + 969x223 + 344x224 + 179x225 + 859x226 + 1x227 + 1000x228 + 61x229 + 504x230 + 698x231 + 865x232 + 42x233 + 173x234 + 68x235 + 269x236 + 312x237 + 897x238 + 729x239 + 960x240 + 372x241 + 707x242 + 442x243 + 761x244 + 915x245 + 20x246 + 860x247 + 771x248 + 538x249 + 229x250 <= 32219 
constr3: + 398x1 + 742x2 + 860x3 + 95x4 + 256x5 + 507x6 + 564x7 + 563x8 + 232x9 + 627x10 + 452x11 + 918x12 + 449x13 + 495x14 + 140x15 + 559x16 + 206x17 + 96x18 + 340x19 + 987x20 + 20x21 + 315x22 + 123x23 + 506x24 + 305x25 + 11x26 + 878x27 + 776x28 + 906x29 + 609x30 + 936x31 + 156x32 + 830x33 + 125x34 + 325x35 + 953x36 + 629x37 + 482x38 + 29x39 + 693x40 + 238x41 + 315x42 + 817x43 + 981x44 + 43x45 + 144x46 + 63x47 + 446x48 + 110x49 + 791x50 + 461x51 + 106x52 + 832x53 + 74x54 + 544x55 + 895x56 + 246x57 + 597x58 + 186x59 + 760x60 + 683x61 + 477x62 + 190x63 + 888x64 + 300x65 + 864x66 + 412x67 + 51x68 + 430x69 + 88x70 + 531x71 + 603x72 + 448x73 + 493x74 + 634x75 + 51x76 + 880x77 + 133x78 + 389x79 + 958x80 + 207x81 + 373x82 + 441x83 + 325x84 + 548x85 + 645x86 + 590x87 + 387x88 + 2x89 + 878x90 + 135x91 + 25x92 + 434x93 + 603x94 + 108x95 + 666x96 + 399x97 + 192x98 + 402x99 + 997x100 + 635x101 + 678x102 + 959x103 + 420x104 + 477x105 + 82x106 + 433x107 + 375x108 + 23x109 + 329x110 + 928x111 + 919x112 + 569x113 + 797x114 + 327x115 + 876x116 + 505x117 + 748x118 + 190x119 + 382x120 + 286x121 + 181x122 + 405x123 + 829x124 + 271x125 + 762x126 + 153x127 + 200x128 + 982x129 + 317x130 + 647x131 + 110x132 + 868x133 + 267x134 + 585x135 + 207x136 + 364x137 + 514x138 + 276x139 + 216x140 + 488x141 + 186x142 + 334x143 + 625x144 + 837x145 + 756x146 + 8x147 + 239x148 + 845x149 + 622x150 + 264x151 + 144x152 + 304x153 + 739x154 + 748x155 + 747x156 + 578x157 + 395x158 + 246x159 + 300x160 + 171x161 + 886x162 + 570x163 + 104x164 + 98x165 + 160x166 + 673x167 + 197x168 + 488x169 + 891x170 + 603x171 + 696x172 + 404x173 + 56x174 + 256x175 + 4x176 + 841x177 + 156x178 + 212x179 + 749x180 + 434x181 + 171x182 + 419x183 + 105x184 + 762x185 + 831x186 + 451x187 + 834x188 + 692x189 + 229x190 + 762x191 + 12x192 + 350x193 + 59x194 + 668x195 + 634x196 + 244x197 + 788x198 + 174x199 + 559x200 + 646x201 + 368x202 + 856x203 + 645x204 + 9x205 + 116x206 + 565x207 + 384x208 + 751x209 + 645x210 + 202x211 + 224x212 + 943x213 + 892x214 + 416x215 + 865x216 + 395x217 + 177x218 + 946x219 + 771x220 + 827x221 + 888x222 + 767x223 + 481x224 + 629x225 + 973x226 + 741x227 + 211x228 + 802x229 + 479x230 + 497x231 + 91x232 + 975x233 + 998x234 + 617x235 + 216x236 + 729x237 + 901x238 + 518x239 + 28x240 + 926x241 + 310x242 + 83x243 + 567x244 + 692x245 + 872x246 + 543x247 + 960x248 + 667x249 + 474x250 <= 31080 
constr4: + 495x1 + 59x2 + 706x3 + 368x4 + 464x5 + 330x6 + 20x7 + 604x8 + 698x9 + 327x10 + 770x11 + 32x12 + 950x13 + 131x14 + 182x15 + 37x16 + 641x17 + 638x18 + 577x19 + 599x20 + 733x21 + 606x22 + 828x23 + 928x24 + 354x25 + 673x26 + 817x27 + 485x28 + 393x29 + 243x30 + 960x31 + 996x32 + 115x33 + 294x34 + 345x35 + 929x36 + 451x37 + 157x38 + 533x39 + 795x40 + 760x41 + 248x42 + 963x43 + 778x44 + 321x45 + 406x46 + 563x47 + 197x48 + 528x49 + 156x50 + 325x51 + 197x52 + 949x53 + 583x54 + 920x55 + 836x56 + 175x57 + 795x58 + 979x59 + 804x60 + 196x61 + 555x62 + 539x63 + 487x64 + 555x65 + 365x66 + 697x67 + 715x68 + 430x69 + 859x70 + 329x71 + 90x72 + 690x73 + 874x74 + 99x75 + 651x76 + 723x77 + 409x78 + 819x79 + 771x80 + 616x81 + 217x82 + 95x83 + 633x84 + 634x85 + 544x86 + 243x87 + 604x88 + 196x89 + 604x90 + 7x91 + 894x92 + 521x93 + 535x94 + 468x95 + 214x96 + 305x97 + 672x98 + 362x99 + 614x100 + 210x101 + 148x102 + 578x103 + 106x104 + 759x105 + 799x106 + 817x107 + 643x108 + 34x109 + 21x110 + 212x111 + 847x112 + 538x113 + 951x114 + 301x115 + 42x116 + 851x117 + 270x118 + 663x119 + 673x120 + 752x121 + 570x122 + 206x123 + 611x124 + 657x125 + 912x126 + 20x127 + 238x128 + 445x129 + 374x130 + 803x131 + 315x132 + 575x133 + 575x134 + 70x135 + 337x136 + 600x137 + 604x138 + 855x139 + 547x140 + 649x141 + 889x142 + 791x143 + 161x144 + 821x145 + 172x146 + 528x147 + 360x148 + 408x149 + 852x150 + 826x151 + 58x152 + 307x153 + 390x154 + 280x155 + 611x156 + 332x157 + 326x158 + 481x159 + 968x160 + 413x161 + 16x162 + 958x163 + 465x164 + 283x165 + 532x166 + 310x167 + 857x168 + 740x169 + 564x170 + 884x171 + 346x172 + 933x173 + 270x174 + 852x175 + 794x176 + 49x177 + 456x178 + 760x179 + 483x180 + 786x181 + 216x182 + 166x183 + 958x184 + 150x185 + 911x186 + 405x187 + 510x188 + 16x189 + 881x190 + 228x191 + 461x192 + 780x193 + 365x194 + 161x195 + 976x196 + 377x197 + 717x198 + 891x199 + 457x200 + 227x201 + 637x202 + 743x203 + 56x204 + 696x205 + 724x206 + 547x207 + 545x208 + 472x209 + 533x210 + 149x211 + 108x212 + 977x213 + 595x214 + 129x215 + 688x216 + 160x217 + 206x218 + 317x219 + 957x220 + 160x221 + 56x222 + 653x223 + 652x224 + 632x225 + 879x226 + 150x227 + 560x228 + 30x229 + 896x230 + 419x231 + 969x232 + 310x233 + 8x234 + 209x235 + 957x236 + 258x237 + 883x238 + 276x239 + 254x240 + 391x241 + 817x242 + 551x243 + 658x244 + 948x245 + 292x246 + 484x247 + 437x248 + 345x249 + 35x250 <= 31637 
constr5: + 201x1 + 41x2 + 6x3 + 268x4 + 344x5 + 521x6 + 810x7 + 317x8 + 312x9 + 190x10 + 562x11 + 703x12 + 794x13 + 15x14 + 687x15 + 478x16 + 150x17 + 104x18 + 683x19 + 41x20 + 59x21 + 270x22 + 558x23 + 807x24 + 574x25 + 29x26 + 372x27 + 826x28 + 397x29 + 521x30 + 360x31 + 125x32 + 346x33 + 836x34 + 29x35 + 830x36 + 678x37 + 268x38 + 113x39 + 466x40 + 116x41 + 267x42 + 825x43 + 643x44 + 200x45 + 4x46 + 147x47 + 298x48 + 388x49 + 161x50 + 918x51 + 620x52 + 882x53 + 166x54 + 754x55 + 743x56 + 694x57 + 579x58 + 407x59 + 819x60 + 259x61 + 596x62 + 758x63 + 607x64 + 131x65 + 769x66 + 890x67 + 137x68 + 188x69 + 917x70 + 982x71 + 403x72 + 270x73 + 632x74 + 460x75 + 902x76 + 341x77 + 724x78 + 618x79 + 424x80 + 502x81 + 336x82 + 603x83 + 285x84 + 324x85 + 838x86 + 198x87 + 576x88 + 369x89 + 909x90 + 929x91 + 998x92 + 220x93 + 470x94 + 692x95 + 327x96 + 333x97 + 344x98 + 726x99 + 749x100 + 433x101 + 355x102 + 368x103 + 281x104 + 991x105 + 925x106 + 188x107 + 672x108 + 887x109 + 487x110 + 236x111 + 465x112 + 958x113 + 605x114 + 314x115 + 971x116 + 675x117 + 527x118 + 860x119 + 713x120 + 814x121 + 283x122 + 484x123 + 622x124 + 990x125 + 120x126 + 929x127 + 766x128 + 264x129 + 313x130 + 551x131 + 515x132 + 431x133 + 638x134 + 720x135 + 763x136 + 30x137 + 730x138 + 840x139 + 274x140 + 431x141 + 700x142 + 473x143 + 540x144 + 986x145 + 32x146 + 44x147 + 975x148 + 677x149 + 873x150 + 203x151 + 538x152 + 318x153 + 677x154 + 959x155 + 768x156 + 41x157 + 992x158 + 805x159 + 916x160 + 379x161 + 516x162 + 799x163 + 642x164 + 651x165 + 989x166 + 748x167 + 185x168 + 980x169 + 719x170 + 896x171 + 83x172 + 20x173 + 13x174 + 994x175 + 209x176 + 658x177 + 696x178 + 360x179 + 184x180 + 994x181 + 221x182 + 419x183 + 412x184 + 545x185 + 923x186 + 658x187 + 182x188 + 767x189 + 863x190 + 384x191 + 439x192 + 135x193 + 272x194 + 245x195 + 235x196 + 720x197 + 338x198 + 966x199 + 932x200 + 505x201 + 116x202 + 716x203 + 372x204 + 624x205 + 936x206 + 261x207 + 313x208 + 120x209 + 695x210 + 782x211 + 614x212 + 284x213 + 9x214 + 268x215 + 134x216 + 158x217 + 637x218 + 765x219 + 128x220 + 478x221 + 749x222 + 994x223 + 49x224 + 596x225 + 223x226 + 81x227 + 453x228 + 20x229 + 707x230 + 309x231 + 292x232 + 573x233 + 393x234 + 540x235 + 4x236 + 433x237 + 687x238 + 468x239 + 363x240 + 586x241 + 211x242 + 406x243 + 874x244 + 585x245 + 382x246 + 470x247 + 553x248 + 430x249 + 915x250 <= 32791 
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