minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94496.982000 
s2: s + 0.001000f1 + 0.501000f2 >= 94496.982000 
f1: -f1 + 517x1 + 1032x2 + 592x3 + 748x4 + 1176x5 + 679x6 + 792x7 + 1150x8 + 617x9 + 961x10 + 678x11 + 753x12 + 550x13 + 732x14 + 645x15 + 701x16 + 825x17 + 821x18 + 717x19 + 959x20 + 928x21 + 838x22 + 544x23 + 841x24 + 397x25 + 903x26 + 535x27 + 1026x28 + 820x29 + 1091x30 + 483x31 + 872x32 + 524x33 + 1028x34 + 913x35 + 670x36 + 907x37 + 844x38 + 533x39 + 1009x40 + 1115x41 + 1070x42 + 1044x43 + 1054x44 + 1087x45 + 783x46 + 761x47 + 725x48 + 1103x49 + 658x50 + 789x51 + 892x52 + 1105x53 + 1022x54 + 684x55 + 539x56 + 1011x57 + 791x58 + 365x59 + 1088x60 + 1016x61 + 590x62 + 181x63 + 587x64 + 1056x65 + 1082x66 + 575x67 + 1006x68 + 769x69 + 506x70 + 581x71 + 877x72 + 699x73 + 811x74 + 812x75 + 616x76 + 469x77 + 946x78 + 1035x79 + 888x80 + 774x81 + 669x82 + 545x83 + 924x84 + 1061x85 + 519x86 + 857x87 + 832x88 + 795x89 + 669x90 + 1186x91 + 816x92 + 664x93 + 856x94 + 1094x95 + 564x96 + 673x97 + 607x98 + 851x99 + 754x100 + 1092x101 + 811x102 + 621x103 + 698x104 + 791x105 + 764x106 + 461x107 + 969x108 + 574x109 + 365x110 + 613x111 + 542x112 + 587x113 + 566x114 + 476x115 + 950x116 + 1024x117 + 653x118 + 664x119 + 668x120 + 757x121 + 725x122 + 885x123 + 1004x124 + 640x125 + 1008x126 + 971x127 + 706x128 + 835x129 + 1229x130 + 794x131 + 836x132 + 790x133 + 1025x134 + 324x135 + 1214x136 + 490x137 + 737x138 + 521x139 + 602x140 + 723x141 + 979x142 + 936x143 + 742x144 + 645x145 + 925x146 + 707x147 + 512x148 + 825x149 + 963x150 + 665x151 + 1127x152 + 622x153 + 604x154 + 964x155 + 1267x156 + 836x157 + 781x158 + 587x159 + 891x160 + 946x161 + 665x162 + 1008x163 + 681x164 + 977x165 + 830x166 + 981x167 + 395x168 + 366x169 + 509x170 + 490x171 + 550x172 + 949x173 + 793x174 + 777x175 + 681x176 + 493x177 + 527x178 + 1047x179 + 1013x180 + 457x181 + 410x182 + 675x183 + 1122x184 + 640x185 + 820x186 + 648x187 + 833x188 + 1085x189 + 821x190 + 449x191 + 795x192 + 762x193 + 529x194 + 968x195 + 654x196 + 359x197 + 705x198 + 566x199 + 784x200 + 90x201 + 427x202 + 289x203 + 957x204 + 908x205 + 466x206 + 605x207 + 444x208 + 829x209 + 745x210 + 745x211 + 291x212 + 474x213 + 693x214 + 1021x215 + 716x216 + 762x217 + 939x218 + 797x219 + 1069x220 + 544x221 + 817x222 + 895x223 + 375x224 + 627x225 + 372x226 + 736x227 + 540x228 + 736x229 + 627x230 + 612x231 + 405x232 + 801x233 + 1065x234 + 865x235 + 802x236 + 793x237 + 582x238 + 516x239 + 579x240 + 675x241 + 702x242 + 713x243 + 795x244 + 695x245 + 450x246 + 564x247 + 502x248 + 704x249 + 993x250  = 0 
f2: -f2 + 483x1 + 811x2 + 832x3 + 291x4 + 1069x5 + 587x6 + 476x7 + 1214x8 + 545x9 + 1115x10 + 1011x11 + 1105x12 + 969x13 + 913x14 + 836x15 + 506x16 + 640x17 + 509x18 + 1087x19 + 745x20 + 732x21 + 1054x22 + 725x23 + 742x24 + 705x25 + 693x26 + 698x27 + 946x28 + 977x29 + 1006x30 + 1024x31 + 670x32 + 702x33 + 550x34 + 405x35 + 457x36 + 490x37 + 521x38 + 668x39 + 1004x40 + 1022x41 + 684x42 + 836x43 + 830x44 + 795x45 + 622x46 + 461x47 + 736x48 + 1016x49 + 844x50 + 627x51 + 582x52 + 539x53 + 781x54 + 613x55 + 654x56 + 612x57 + 802x58 + 961x59 + 617x60 + 1070x61 + 681x62 + 737x63 + 801x64 + 324x65 + 673x66 + 835x67 + 811x68 + 833x69 + 450x70 + 707x71 + 544x72 + 877x73 + 493x74 + 825x75 + 791x76 + 891x77 + 366x78 + 764x79 + 678x80 + 359x81 + 817x82 + 1047x83 + 564x84 + 1085x85 + 1150x86 + 621x87 + 762x88 + 397x89 + 829x90 + 761x91 + 679x92 + 797x93 + 1061x94 + 1009x95 + 395x96 + 968x97 + 469x98 + 793x99 + 375x100 + 517x101 + 1026x102 + 640x103 + 449x104 + 762x105 + 533x106 + 699x107 + 964x108 + 795x109 + 1091x110 + 895x111 + 957x112 + 645x113 + 791x114 + 1013x115 + 607x116 + 950x117 + 540x118 + 1008x119 + 865x120 + 1044x121 + 723x122 + 793x123 + 725x124 + 658x125 + 794x126 + 792x127 + 908x128 + 592x129 + 838x130 + 542x131 + 587x132 + 856x133 + 713x134 + 579x135 + 365x136 + 564x137 + 590x138 + 892x139 + 748x140 + 1127x141 + 789x142 + 872x143 + 936x144 + 664x145 + 925x146 + 1186x147 + 1267x148 + 993x149 + 1094x150 + 816x151 + 907x152 + 524x153 + 774x154 + 289x155 + 706x156 + 581x157 + 769x158 + 1056x159 + 587x160 + 946x161 + 512x162 + 1035x163 + 841x164 + 924x165 + 516x166 + 574x167 + 665x168 + 365x169 + 753x170 + 717x171 + 757x172 + 795x173 + 90x174 + 665x175 + 1025x176 + 1028x177 + 466x178 + 669x179 + 888x180 + 820x181 + 857x182 + 410x183 + 701x184 + 1122x185 + 783x186 + 736x187 + 939x188 + 784x189 + 527x190 + 1229x191 + 971x192 + 519x193 + 529x194 + 821x195 + 820x196 + 1065x197 + 566x198 + 704x199 + 490x200 + 1021x201 + 648x202 + 821x203 + 981x204 + 444x205 + 675x206 + 1032x207 + 474x208 + 1082x209 + 566x210 + 716x211 + 1088x212 + 575x213 + 979x214 + 851x215 + 885x216 + 372x217 + 653x218 + 675x219 + 605x220 + 602x221 + 903x222 + 645x223 + 664x224 + 681x225 + 669x226 + 627x227 + 181x228 + 1176x229 + 777x230 + 754x231 + 616x232 + 502x233 + 535x234 + 790x235 + 949x236 + 959x237 + 963x238 + 544x239 + 427x240 + 928x241 + 695x242 + 1008x243 + 604x244 + 745x245 + 812x246 + 1103x247 + 550x248 + 825x249 + 1092x250  = 0 
constr1: + 986x1 + 428x2 + 564x3 + 559x4 + 422x5 + 655x6 + 186x7 + 11x8 + 371x9 + 791x10 + 789x11 + 807x12 + 733x13 + 578x14 + 658x15 + 806x16 + 282x17 + 271x18 + 686x19 + 88x20 + 894x21 + 394x22 + 793x23 + 701x24 + 661x25 + 944x26 + 66x27 + 769x28 + 934x29 + 384x30 + 201x31 + 870x32 + 426x33 + 908x34 + 487x35 + 5x36 + 888x37 + 194x38 + 103x39 + 428x40 + 110x41 + 102x42 + 754x43 + 60x44 + 744x45 + 459x46 + 819x47 + 2x48 + 561x49 + 342x50 + 695x51 + 138x52 + 267x53 + 866x54 + 851x55 + 682x56 + 455x57 + 490x58 + 707x59 + 277x60 + 371x61 + 497x62 + 799x63 + 475x64 + 183x65 + 289x66 + 341x67 + 689x68 + 830x69 + 934x70 + 629x71 + 980x72 + 725x73 + 576x74 + 110x75 + 533x76 + 989x77 + 803x78 + 396x79 + 500x80 + 721x81 + 928x82 + 431x83 + 61x84 + 215x85 + 528x86 + 251x87 + 452x88 + 847x89 + 516x90 + 1x91 + 360x92 + 718x93 + 445x94 + 809x95 + 281x96 + 536x97 + 724x98 + 781x99 + 378x100 + 271x101 + 603x102 + 660x103 + 525x104 + 854x105 + 815x106 + 716x107 + 313x108 + 684x109 + 146x110 + 852x111 + 997x112 + 961x113 + 419x114 + 989x115 + 538x116 + 259x117 + 226x118 + 367x119 + 586x120 + 479x121 + 13x122 + 324x123 + 403x124 + 302x125 + 964x126 + 557x127 + 858x128 + 373x129 + 382x130 + 575x131 + 969x132 + 460x133 + 864x134 + 588x135 + 663x136 + 137x137 + 505x138 + 769x139 + 313x140 + 36x141 + 656x142 + 915x143 + 164x144 + 91x145 + 64x146 + 345x147 + 912x148 + 375x149 + 209x150 + 377x151 + 709x152 + 293x153 + 63x154 + 2x155 + 918x156 + 677x157 + 191x158 + 941x159 + 518x160 + 120x161 + 285x162 + 371x163 + 949x164 + 564x165 + 87x166 + 69x167 + 433x168 + 824x169 + 352x170 + 886x171 + 108x172 + 175x173 + 204x174 + 114x175 + 418x176 + 684x177 + 823x178 + 355x179 + 816x180 + 922x181 + 893x182 + 184x183 + 580x184 + 306x185 + 760x186 + 405x187 + 240x188 + 313x189 + 660x190 + 48x191 + 12x192 + 39x193 + 402x194 + 233x195 + 398x196 + 208x197 + 271x198 + 24x199 + 155x200 + 233x201 + 610x202 + 260x203 + 563x204 + 915x205 + 296x206 + 167x207 + 382x208 + 695x209 + 744x210 + 220x211 + 9x212 + 21x213 + 630x214 + 420x215 + 8x216 + 605x217 + 753x218 + 851x219 + 65x220 + 139x221 + 380x222 + 302x223 + 604x224 + 467x225 + 325x226 + 570x227 + 989x228 + 704x229 + 47x230 + 332x231 + 822x232 + 989x233 + 553x234 + 802x235 + 669x236 + 528x237 + 834x238 + 132x239 + 193x240 + 74x241 + 428x242 + 90x243 + 380x244 + 712x245 + 404x246 + 517x247 + 240x248 + 887x249 + 475x250 <= 31793 
constr2: + 657x1 + 133x2 + 780x3 + 952x4 + 643x5 + 85x6 + 826x7 + 836x8 + 486x9 + 190x10 + 360x11 + 254x12 + 642x13 + 201x14 + 684x15 + 66x16 + 362x17 + 509x18 + 751x19 + 245x20 + 549x21 + 820x22 + 587x23 + 232x24 + 308x25 + 118x26 + 835x27 + 311x28 + 399x29 + 537x30 + 773x31 + 641x32 + 126x33 + 539x34 + 688x35 + 45x36 + 976x37 + 518x38 + 559x39 + 113x40 + 766x41 + 97x42 + 66x43 + 219x44 + 518x45 + 502x46 + 159x47 + 428x48 + 991x49 + 520x50 + 852x51 + 439x52 + 16x53 + 465x54 + 329x55 + 118x56 + 391x57 + 685x58 + 280x59 + 792x60 + 499x61 + 657x62 + 300x63 + 866x64 + 857x65 + 97x66 + 123x67 + 67x68 + 607x69 + 772x70 + 533x71 + 38x72 + 635x73 + 514x74 + 632x75 + 821x76 + 217x77 + 103x78 + 617x79 + 419x80 + 607x81 + 551x82 + 459x83 + 879x84 + 825x85 + 280x86 + 141x87 + 791x88 + 924x89 + 29x90 + 333x91 + 123x92 + 211x93 + 929x94 + 471x95 + 477x96 + 92x97 + 87x98 + 173x99 + 650x100 + 168x101 + 225x102 + 284x103 + 794x104 + 413x105 + 327x106 + 795x107 + 599x108 + 972x109 + 732x110 + 531x111 + 799x112 + 186x113 + 48x114 + 997x115 + 347x116 + 384x117 + 617x118 + 6x119 + 628x120 + 577x121 + 591x122 + 219x123 + 913x124 + 695x125 + 137x126 + 286x127 + 345x128 + 5x129 + 283x130 + 365x131 + 497x132 + 379x133 + 669x134 + 13x135 + 485x136 + 124x137 + 994x138 + 194x139 + 927x140 + 103x141 + 926x142 + 36x143 + 18x144 + 568x145 + 885x146 + 633x147 + 699x148 + 653x149 + 172x150 + 269x151 + 997x152 + 655x153 + 841x154 + 370x155 + 73x156 + 663x157 + 410x158 + 943x159 + 264x160 + 941x161 + 494x162 + 203x163 + 385x164 + 976x165 + 702x166 + 207x167 + 209x168 + 119x169 + 234x170 + 286x171 + 254x172 + 178x173 + 404x174 + 556x175 + 746x176 + 64x177 + 269x178 + 975x179 + 865x180 + 911x181 + 522x182 + 865x183 + 185x184 + 399x185 + 981x186 + 425x187 + 52x188 + 75x189 + 59x190 + 397x191 + 480x192 + 108x193 + 25x194 + 936x195 + 161x196 + 711x197 + 646x198 + 19x199 + 212x200 + 760x201 + 496x202 + 198x203 + 332x204 + 853x205 + 533x206 + 412x207 + 808x208 + 388x209 + 369x210 + 144x211 + 379x212 + 688x213 + 889x214 + 858x215 + 169x216 + 215x217 + 474x218 + 768x219 + 442x220 + 443x221 + 203x222 + 797x223 + 697x224 + 187x225 + 675x226 + 787x227 + 211x228 + 655x229 + 395x230 + 656x231 + 199x232 + 502x233 + 490x234 + 35x235 + 288x236 + 264x237 + 260x238 + 747x239 + 251x240 + 115x241 + 383x242 + 468x243 + 777x244 + 63x245 + 379x246 + 137x247 + 381x248 + 912x249 + 512x250 <= 30238 
constr3: + 583x1 + 843x2 + 484x3 + 334x4 + 747x5 + 359x6 + 192x7 + 148x8 + 856x9 + 28x10 + 901x11 + 40x12 + 208x13 + 793x14 + 169x15 + 693x16 + 958x17 + 905x18 + 62x19 + 314x20 + 94x21 + 447x22 + 10x23 + 680x24 + 667x25 + 943x26 + 652x27 + 339x28 + 434x29 + 81x30 + 391x31 + 527x32 + 943x33 + 340x34 + 49x35 + 207x36 + 283x37 + 732x38 + 177x39 + 52x40 + 227x41 + 669x42 + 427x43 + 787x44 + 384x45 + 307x46 + 595x47 + 747x48 + 82x49 + 111x50 + 75x51 + 345x52 + 425x53 + 698x54 + 238x55 + 660x56 + 289x57 + 608x58 + 241x59 + 688x60 + 811x61 + 724x62 + 44x63 + 180x64 + 308x65 + 597x66 + 252x67 + 123x68 + 39x69 + 820x70 + 38x71 + 723x72 + 177x73 + 579x74 + 780x75 + 407x76 + 898x77 + 717x78 + 265x79 + 165x80 + 85x81 + 433x82 + 699x83 + 287x84 + 260x85 + 548x86 + 794x87 + 499x88 + 773x89 + 946x90 + 149x91 + 490x92 + 90x93 + 795x94 + 96x95 + 377x96 + 148x97 + 478x98 + 517x99 + 761x100 + 974x101 + 902x102 + 528x103 + 343x104 + 338x105 + 599x106 + 1x107 + 812x108 + 772x109 + 872x110 + 449x111 + 347x112 + 32x113 + 262x114 + 699x115 + 324x116 + 189x117 + 917x118 + 512x119 + 155x120 + 191x121 + 245x122 + 681x123 + 472x124 + 470x125 + 327x126 + 354x127 + 678x128 + 353x129 + 973x130 + 724x131 + 738x132 + 776x133 + 3x134 + 399x135 + 578x136 + 684x137 + 928x138 + 890x139 + 778x140 + 224x141 + 291x142 + 491x143 + 709x144 + 868x145 + 350x146 + 302x147 + 504x148 + 302x149 + 164x150 + 366x151 + 606x152 + 496x153 + 618x154 + 596x155 + 763x156 + 719x157 + 863x158 + 931x159 + 658x160 + 690x161 + 364x162 + 208x163 + 839x164 + 701x165 + 586x166 + 779x167 + 946x168 + 609x169 + 895x170 + 167x171 + 784x172 + 268x173 + 239x174 + 273x175 + 218x176 + 416x177 + 810x178 + 954x179 + 43x180 + 950x181 + 393x182 + 869x183 + 74x184 + 982x185 + 305x186 + 808x187 + 196x188 + 102x189 + 156x190 + 11x191 + 143x192 + 38x193 + 59x194 + 458x195 + 246x196 + 198x197 + 396x198 + 99x199 + 449x200 + 383x201 + 883x202 + 471x203 + 480x204 + 418x205 + 955x206 + 281x207 + 164x208 + 612x209 + 113x210 + 720x211 + 628x212 + 213x213 + 685x214 + 604x215 + 873x216 + 363x217 + 137x218 + 451x219 + 697x220 + 377x221 + 397x222 + 617x223 + 812x224 + 160x225 + 593x226 + 954x227 + 544x228 + 513x229 + 848x230 + 328x231 + 173x232 + 160x233 + 405x234 + 899x235 + 377x236 + 682x237 + 655x238 + 539x239 + 545x240 + 808x241 + 324x242 + 959x243 + 509x244 + 739x245 + 328x246 + 460x247 + 329x248 + 766x249 + 306x250 <= 31062 
constr4: + 976x1 + 299x2 + 690x3 + 931x4 + 826x5 + 72x6 + 848x7 + 340x8 + 957x9 + 583x10 + 781x11 + 23x12 + 363x13 + 692x14 + 803x15 + 845x16 + 343x17 + 612x18 + 935x19 + 344x20 + 598x21 + 859x22 + 449x23 + 578x24 + 973x25 + 83x26 + 903x27 + 373x28 + 260x29 + 197x30 + 48x31 + 342x32 + 926x33 + 176x34 + 217x35 + 793x36 + 758x37 + 874x38 + 746x39 + 660x40 + 793x41 + 553x42 + 839x43 + 52x44 + 319x45 + 824x46 + 559x47 + 392x48 + 767x49 + 348x50 + 13x51 + 47x52 + 37x53 + 803x54 + 952x55 + 650x56 + 645x57 + 431x58 + 651x59 + 642x60 + 437x61 + 102x62 + 171x63 + 609x64 + 733x65 + 975x66 + 765x67 + 784x68 + 182x69 + 261x70 + 172x71 + 611x72 + 652x73 + 372x74 + 124x75 + 895x76 + 979x77 + 53x78 + 216x79 + 792x80 + 123x81 + 761x82 + 796x83 + 266x84 + 940x85 + 1000x86 + 610x87 + 670x88 + 48x89 + 759x90 + 685x91 + 561x92 + 684x93 + 635x94 + 112x95 + 596x96 + 332x97 + 401x98 + 204x99 + 14x100 + 114x101 + 202x102 + 477x103 + 298x104 + 541x105 + 71x106 + 530x107 + 136x108 + 258x109 + 881x110 + 510x111 + 133x112 + 300x113 + 790x114 + 546x115 + 170x116 + 850x117 + 762x118 + 815x119 + 374x120 + 294x121 + 20x122 + 141x123 + 459x124 + 592x125 + 260x126 + 421x127 + 873x128 + 868x129 + 926x130 + 960x131 + 709x132 + 161x133 + 584x134 + 484x135 + 624x136 + 445x137 + 524x138 + 274x139 + 312x140 + 353x141 + 197x142 + 273x143 + 159x144 + 465x145 + 513x146 + 848x147 + 806x148 + 440x149 + 91x150 + 519x151 + 528x152 + 469x153 + 5x154 + 779x155 + 471x156 + 41x157 + 361x158 + 820x159 + 735x160 + 460x161 + 397x162 + 239x163 + 740x164 + 291x165 + 521x166 + 883x167 + 221x168 + 323x169 + 905x170 + 588x171 + 766x172 + 898x173 + 880x174 + 809x175 + 719x176 + 690x177 + 11x178 + 766x179 + 102x180 + 509x181 + 673x182 + 682x183 + 165x184 + 640x185 + 44x186 + 839x187 + 452x188 + 808x189 + 241x190 + 659x191 + 974x192 + 205x193 + 968x194 + 498x195 + 627x196 + 601x197 + 507x198 + 64x199 + 753x200 + 879x201 + 998x202 + 24x203 + 490x204 + 45x205 + 963x206 + 822x207 + 83x208 + 328x209 + 971x210 + 453x211 + 635x212 + 146x213 + 885x214 + 128x215 + 814x216 + 380x217 + 303x218 + 881x219 + 837x220 + 28x221 + 197x222 + 228x223 + 414x224 + 942x225 + 324x226 + 49x227 + 235x228 + 243x229 + 566x230 + 820x231 + 380x232 + 490x233 + 588x234 + 382x235 + 660x236 + 609x237 + 702x238 + 648x239 + 93x240 + 706x241 + 154x242 + 307x243 + 859x244 + 334x245 + 558x246 + 617x247 + 266x248 + 708x249 + 22x250 <= 30054 
constr5: + 728x1 + 684x2 + 771x3 + 158x4 + 979x5 + 76x6 + 862x7 + 163x8 + 402x9 + 636x10 + 202x11 + 813x12 + 534x13 + 526x14 + 493x15 + 808x16 + 715x17 + 950x18 + 327x19 + 617x20 + 421x21 + 421x22 + 816x23 + 649x24 + 597x25 + 998x26 + 234x27 + 128x28 + 717x29 + 48x30 + 749x31 + 545x32 + 941x33 + 504x34 + 815x35 + 490x36 + 20x37 + 476x38 + 977x39 + 361x40 + 502x41 + 207x42 + 912x43 + 902x44 + 88x45 + 224x46 + 689x47 + 843x48 + 5x49 + 650x50 + 818x51 + 284x52 + 102x53 + 714x54 + 473x55 + 319x56 + 228x57 + 571x58 + 462x59 + 627x60 + 46x61 + 834x62 + 936x63 + 225x64 + 849x65 + 576x66 + 256x67 + 163x68 + 772x69 + 644x70 + 400x71 + 231x72 + 103x73 + 805x74 + 89x75 + 826x76 + 30x77 + 680x78 + 32x79 + 580x80 + 970x81 + 638x82 + 215x83 + 464x84 + 275x85 + 931x86 + 955x87 + 402x88 + 341x89 + 15x90 + 890x91 + 573x92 + 728x93 + 486x94 + 576x95 + 314x96 + 86x97 + 110x98 + 694x99 + 688x100 + 138x101 + 84x102 + 346x103 + 940x104 + 182x105 + 757x106 + 286x107 + 320x108 + 977x109 + 574x110 + 896x111 + 699x112 + 971x113 + 707x114 + 133x115 + 389x116 + 609x117 + 504x118 + 997x119 + 359x120 + 792x121 + 90x122 + 933x123 + 341x124 + 834x125 + 691x126 + 183x127 + 636x128 + 970x129 + 945x130 + 458x131 + 322x132 + 559x133 + 316x134 + 914x135 + 784x136 + 402x137 + 793x138 + 85x139 + 96x140 + 617x141 + 834x142 + 467x143 + 703x144 + 56x145 + 49x146 + 380x147 + 570x148 + 851x149 + 113x150 + 823x151 + 784x152 + 52x153 + 492x154 + 39x155 + 980x156 + 205x157 + 923x158 + 452x159 + 911x160 + 45x161 + 856x162 + 906x163 + 760x164 + 315x165 + 948x166 + 845x167 + 116x168 + 884x169 + 343x170 + 32x171 + 75x172 + 245x173 + 707x174 + 648x175 + 760x176 + 728x177 + 256x178 + 100x179 + 191x180 + 583x181 + 454x182 + 929x183 + 861x184 + 354x185 + 853x186 + 152x187 + 281x188 + 521x189 + 437x190 + 655x191 + 453x192 + 544x193 + 21x194 + 128x195 + 978x196 + 526x197 + 67x198 + 996x199 + 719x200 + 900x201 + 705x202 + 470x203 + 688x204 + 159x205 + 995x206 + 919x207 + 791x208 + 948x209 + 88x210 + 862x211 + 949x212 + 158x213 + 79x214 + 532x215 + 597x216 + 850x217 + 205x218 + 481x219 + 12x220 + 533x221 + 808x222 + 248x223 + 627x224 + 619x225 + 550x226 + 11x227 + 857x228 + 847x229 + 619x230 + 872x231 + 130x232 + 250x233 + 109x234 + 471x235 + 808x236 + 564x237 + 512x238 + 641x239 + 915x240 + 596x241 + 241x242 + 568x243 + 747x244 + 72x245 + 252x246 + 959x247 + 896x248 + 379x249 + 444x250 <= 31011 
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