minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 92697.312000 
s2: s + 0.001000f1 + 0.501000f2 >= 92697.312000 
f1: -f1 + 656x1 + 912x2 + 753x3 + 829x4 + 840x5 + 607x6 + 834x7 + 926x8 + 954x9 + 705x10 + 727x11 + 859x12 + 656x13 + 700x14 + 874x15 + 788x16 + 940x17 + 748x18 + 749x19 + 1023x20 + 873x21 + 578x22 + 895x23 + 984x24 + 604x25 + 870x26 + 940x27 + 645x28 + 547x29 + 856x30 + 633x31 + 857x32 + 455x33 + 802x34 + 512x35 + 885x36 + 726x37 + 803x38 + 758x39 + 867x40 + 555x41 + 957x42 + 774x43 + 490x44 + 551x45 + 1016x46 + 627x47 + 675x48 + 529x49 + 886x50 + 545x51 + 608x52 + 712x53 + 835x54 + 329x55 + 411x56 + 474x57 + 789x58 + 931x59 + 778x60 + 759x61 + 671x62 + 319x63 + 584x64 + 668x65 + 655x66 + 820x67 + 538x68 + 676x69 + 529x70 + 756x71 + 932x72 + 1115x73 + 594x74 + 790x75 + 721x76 + 280x77 + 839x78 + 450x79 + 918x80 + 939x81 + 952x82 + 548x83 + 451x84 + 845x85 + 337x86 + 739x87 + 850x88 + 668x89 + 818x90 + 855x91 + 896x92 + 857x93 + 519x94 + 651x95 + 942x96 + 511x97 + 419x98 + 723x99 + 955x100 + 664x101 + 1047x102 + 794x103 + 543x104 + 580x105 + 541x106 + 936x107 + 550x108 + 922x109 + 807x110 + 1242x111 + 620x112 + 706x113 + 825x114 + 953x115 + 638x116 + 901x117 + 664x118 + 603x119 + 833x120 + 1120x121 + 1099x122 + 542x123 + 986x124 + 788x125 + 804x126 + 1066x127 + 771x128 + 934x129 + 840x130 + 668x131 + 1048x132 + 710x133 + 1230x134 + 675x135 + 962x136 + 618x137 + 1173x138 + 694x139 + 1335x140 + 1029x141 + 708x142 + 695x143 + 277x144 + 716x145 + 571x146 + 641x147 + 652x148 + 568x149 + 738x150 + 530x151 + 836x152 + 972x153 + 799x154 + 566x155 + 925x156 + 1004x157 + 714x158 + 612x159 + 665x160 + 446x161 + 970x162 + 487x163 + 816x164 + 817x165 + 1006x166 + 643x167 + 692x168 + 894x169 + 690x170 + 628x171 + 799x172 + 1186x173 + 1094x174 + 726x175 + 570x176 + 637x177 + 611x178 + 523x179 + 734x180 + 828x181 + 874x182 + 552x183 + 709x184 + 931x185 + 516x186 + 393x187 + 754x188 + 449x189 + 824x190 + 919x191 + 680x192 + 856x193 + 600x194 + 491x195 + 541x196 + 902x197 + 469x198 + 775x199 + 366x200 + 721x201 + 672x202 + 759x203 + 715x204 + 845x205 + 573x206 + 1053x207 + 567x208 + 253x209 + 675x210 + 1023x211 + 677x212 + 814x213 + 1230x214 + 695x215 + 724x216 + 722x217 + 712x218 + 898x219 + 955x220 + 534x221 + 780x222 + 746x223 + 763x224 + 510x225 + 851x226 + 943x227 + 669x228 + 785x229 + 1071x230 + 699x231 + 785x232 + 443x233 + 599x234 + 637x235 + 1024x236 + 198x237 + 537x238 + 992x239 + 301x240 + 623x241 + 598x242 + 781x243 + 606x244 + 861x245 + 632x246 + 385x247 + 618x248 + 1006x249 + 617x250  = 0 
f2: -f2 + 1029x1 + 710x2 + 992x3 + 419x4 + 896x5 + 695x6 + 794x7 + 543x8 + 804x9 + 814x10 + 925x11 + 763x12 + 627x13 + 1047x14 + 781x15 + 894x16 + 873x17 + 957x18 + 600x19 + 671x20 + 1186x21 + 669x22 + 542x23 + 716x24 + 1004x25 + 675x26 + 537x27 + 1230x28 + 867x29 + 699x30 + 820x31 + 1016x32 + 645x33 + 803x34 + 469x35 + 1024x36 + 608x37 + 628x38 + 839x39 + 393x40 + 548x41 + 705x42 + 665x43 + 607x44 + 633x45 + 706x46 + 253x47 + 874x48 + 570x49 + 571x50 + 664x51 + 780x52 + 491x53 + 833x54 + 573x55 + 541x56 + 611x57 + 870x58 + 807x59 + 840x60 + 771x61 + 850x62 + 726x63 + 851x64 + 785x65 + 836x66 + 1173x67 + 754x68 + 840x69 + 632x70 + 551x71 + 656x72 + 721x73 + 580x74 + 604x75 + 788x76 + 738x77 + 516x78 + 799x79 + 709x80 + 972x81 + 861x82 + 759x83 + 855x84 + 799x85 + 874x86 + 523x87 + 936x88 + 567x89 + 722x90 + 617x91 + 721x92 + 789x93 + 1006x94 + 668x95 + 856x96 + 1053x97 + 676x98 + 1023x99 + 953x100 + 1242x101 + 451x102 + 778x103 + 623x104 + 547x105 + 829x106 + 984x107 + 672x108 + 712x109 + 690x110 + 280x111 + 818x112 + 857x113 + 857x114 + 898x115 + 886x116 + 620x117 + 385x118 + 756x119 + 943x120 + 940x121 + 749x122 + 329x123 + 824x124 + 962x125 + 599x126 + 746x127 + 534x128 + 1230x129 + 530x130 + 1048x131 + 845x132 + 664x133 + 455x134 + 788x135 + 446x136 + 734x137 + 700x138 + 550x139 + 970x140 + 1120x141 + 1094x142 + 675x143 + 695x144 + 606x145 + 918x146 + 726x147 + 668x148 + 922x149 + 939x150 + 1335x151 + 835x152 + 603x153 + 652x154 + 656x155 + 723x156 + 680x157 + 568x158 + 411x159 + 1066x160 + 828x161 + 759x162 + 942x163 + 1006x164 + 901x165 + 637x166 + 618x167 + 277x168 + 1115x169 + 529x170 + 785x171 + 727x172 + 954x173 + 955x174 + 449x175 + 510x176 + 708x177 + 598x178 + 668x179 + 714x180 + 1099x181 + 912x182 + 450x183 + 541x184 + 774x185 + 940x186 + 677x187 + 834x188 + 816x189 + 931x190 + 931x191 + 552x192 + 919x193 + 637x194 + 555x195 + 825x196 + 675x197 + 934x198 + 490x199 + 753x200 + 618x201 + 817x202 + 301x203 + 859x204 + 694x205 + 578x206 + 932x207 + 802x208 + 790x209 + 724x210 + 641x211 + 715x212 + 487x213 + 612x214 + 584x215 + 566x216 + 538x217 + 366x218 + 474x219 + 651x220 + 319x221 + 955x222 + 748x223 + 952x224 + 845x225 + 655x226 + 443x227 + 986x228 + 775x229 + 638x230 + 926x231 + 643x232 + 1023x233 + 519x234 + 739x235 + 529x236 + 902x237 + 692x238 + 545x239 + 512x240 + 594x241 + 511x242 + 1071x243 + 337x244 + 712x245 + 758x246 + 885x247 + 198x248 + 895x249 + 856x250  = 0 
constr1: + 667x1 + 751x2 + 261x3 + 442x4 + 772x5 + 944x6 + 803x7 + 640x8 + 714x9 + 992x10 + 66x11 + 869x12 + 663x13 + 307x14 + 513x15 + 587x16 + 744x17 + 182x18 + 23x19 + 892x20 + 324x21 + 184x22 + 580x23 + 469x24 + 989x25 + 979x26 + 737x27 + 715x28 + 1000x29 + 485x30 + 320x31 + 838x32 + 317x33 + 594x34 + 388x35 + 664x36 + 286x37 + 590x38 + 15x39 + 708x40 + 615x41 + 60x42 + 814x43 + 184x44 + 42x45 + 176x46 + 614x47 + 801x48 + 625x49 + 468x50 + 443x51 + 801x52 + 984x53 + 262x54 + 405x55 + 697x56 + 128x57 + 973x58 + 257x59 + 927x60 + 940x61 + 78x62 + 761x63 + 359x64 + 666x65 + 297x66 + 763x67 + 169x68 + 482x69 + 378x70 + 83x71 + 783x72 + 926x73 + 154x74 + 232x75 + 100x76 + 221x77 + 962x78 + 888x79 + 707x80 + 104x81 + 27x82 + 315x83 + 213x84 + 250x85 + 950x86 + 793x87 + 232x88 + 640x89 + 93x90 + 19x91 + 273x92 + 84x93 + 423x94 + 482x95 + 872x96 + 473x97 + 420x98 + 899x99 + 238x100 + 303x101 + 37x102 + 429x103 + 288x104 + 805x105 + 89x106 + 377x107 + 793x108 + 144x109 + 936x110 + 135x111 + 74x112 + 782x113 + 41x114 + 744x115 + 472x116 + 641x117 + 642x118 + 800x119 + 298x120 + 300x121 + 2x122 + 984x123 + 536x124 + 567x125 + 609x126 + 837x127 + 402x128 + 644x129 + 75x130 + 954x131 + 510x132 + 382x133 + 928x134 + 975x135 + 88x136 + 948x137 + 307x138 + 879x139 + 728x140 + 442x141 + 540x142 + 955x143 + 181x144 + 258x145 + 551x146 + 409x147 + 979x148 + 134x149 + 201x150 + 978x151 + 630x152 + 493x153 + 614x154 + 526x155 + 164x156 + 518x157 + 196x158 + 137x159 + 949x160 + 545x161 + 158x162 + 202x163 + 450x164 + 271x165 + 809x166 + 904x167 + 254x168 + 661x169 + 959x170 + 788x171 + 32x172 + 740x173 + 381x174 + 676x175 + 517x176 + 277x177 + 309x178 + 710x179 + 30x180 + 160x181 + 586x182 + 143x183 + 941x184 + 675x185 + 624x186 + 831x187 + 662x188 + 985x189 + 608x190 + 494x191 + 488x192 + 224x193 + 117x194 + 563x195 + 649x196 + 977x197 + 145x198 + 664x199 + 371x200 + 318x201 + 52x202 + 263x203 + 122x204 + 509x205 + 466x206 + 427x207 + 313x208 + 351x209 + 690x210 + 87x211 + 511x212 + 304x213 + 463x214 + 840x215 + 917x216 + 373x217 + 280x218 + 34x219 + 430x220 + 8x221 + 437x222 + 748x223 + 507x224 + 730x225 + 416x226 + 603x227 + 524x228 + 733x229 + 568x230 + 199x231 + 462x232 + 63x233 + 76x234 + 344x235 + 77x236 + 287x237 + 277x238 + 527x239 + 9x240 + 600x241 + 16x242 + 933x243 + 905x244 + 374x245 + 894x246 + 180x247 + 457x248 + 652x249 + 613x250 <= 33888 
constr2: + 490x1 + 725x2 + 521x3 + 737x4 + 155x5 + 357x6 + 499x7 + 120x8 + 717x9 + 262x10 + 696x11 + 327x12 + 991x13 + 165x14 + 443x15 + 904x16 + 690x17 + 287x18 + 544x19 + 53x20 + 814x21 + 330x22 + 12x23 + 382x24 + 491x25 + 510x26 + 758x27 + 706x28 + 625x29 + 491x30 + 991x31 + 704x32 + 991x33 + 547x34 + 27x35 + 195x36 + 355x37 + 725x38 + 318x39 + 680x40 + 423x41 + 972x42 + 277x43 + 752x44 + 943x45 + 900x46 + 714x47 + 204x48 + 26x49 + 144x50 + 565x51 + 716x52 + 535x53 + 796x54 + 92x55 + 109x56 + 587x57 + 375x58 + 201x59 + 767x60 + 676x61 + 197x62 + 998x63 + 315x64 + 424x65 + 22x66 + 914x67 + 677x68 + 787x69 + 344x70 + 432x71 + 717x72 + 507x73 + 773x74 + 317x75 + 510x76 + 692x77 + 381x78 + 262x79 + 75x80 + 251x81 + 707x82 + 580x83 + 93x84 + 907x85 + 79x86 + 687x87 + 15x88 + 674x89 + 687x90 + 771x91 + 724x92 + 746x93 + 620x94 + 622x95 + 253x96 + 70x97 + 302x98 + 341x99 + 141x100 + 411x101 + 832x102 + 739x103 + 881x104 + 371x105 + 2x106 + 663x107 + 880x108 + 607x109 + 849x110 + 32x111 + 855x112 + 461x113 + 838x114 + 234x115 + 218x116 + 516x117 + 386x118 + 526x119 + 394x120 + 120x121 + 413x122 + 724x123 + 242x124 + 977x125 + 442x126 + 951x127 + 120x128 + 74x129 + 499x130 + 677x131 + 691x132 + 970x133 + 452x134 + 564x135 + 346x136 + 813x137 + 25x138 + 444x139 + 375x140 + 609x141 + 191x142 + 791x143 + 334x144 + 152x145 + 435x146 + 385x147 + 193x148 + 497x149 + 37x150 + 464x151 + 999x152 + 925x153 + 787x154 + 755x155 + 984x156 + 762x157 + 294x158 + 970x159 + 130x160 + 50x161 + 526x162 + 33x163 + 665x164 + 458x165 + 116x166 + 757x167 + 672x168 + 570x169 + 940x170 + 923x171 + 883x172 + 864x173 + 175x174 + 436x175 + 993x176 + 523x177 + 122x178 + 633x179 + 427x180 + 769x181 + 1000x182 + 414x183 + 501x184 + 792x185 + 73x186 + 768x187 + 527x188 + 349x189 + 848x190 + 951x191 + 27x192 + 15x193 + 486x194 + 730x195 + 309x196 + 721x197 + 80x198 + 598x199 + 413x200 + 546x201 + 105x202 + 948x203 + 828x204 + 861x205 + 985x206 + 918x207 + 999x208 + 408x209 + 89x210 + 553x211 + 399x212 + 270x213 + 892x214 + 951x215 + 29x216 + 291x217 + 725x218 + 948x219 + 447x220 + 699x221 + 960x222 + 596x223 + 941x224 + 849x225 + 819x226 + 831x227 + 872x228 + 89x229 + 785x230 + 653x231 + 807x232 + 509x233 + 682x234 + 736x235 + 241x236 + 873x237 + 149x238 + 621x239 + 746x240 + 38x241 + 953x242 + 161x243 + 430x244 + 22x245 + 903x246 + 940x247 + 167x248 + 693x249 + 769x250 <= 30745 
constr3: + 927x1 + 751x2 + 731x3 + 705x4 + 904x5 + 81x6 + 221x7 + 784x8 + 967x9 + 923x10 + 258x11 + 994x12 + 144x13 + 119x14 + 782x15 + 435x16 + 280x17 + 563x18 + 738x19 + 519x20 + 530x21 + 781x22 + 335x23 + 592x24 + 861x25 + 127x26 + 580x27 + 538x28 + 271x29 + 681x30 + 673x31 + 782x32 + 117x33 + 385x34 + 784x35 + 336x36 + 282x37 + 780x38 + 814x39 + 618x40 + 300x41 + 434x42 + 326x43 + 310x44 + 830x45 + 507x46 + 168x47 + 284x48 + 352x49 + 68x50 + 469x51 + 872x52 + 222x53 + 161x54 + 890x55 + 713x56 + 148x57 + 600x58 + 190x59 + 882x60 + 653x61 + 905x62 + 316x63 + 649x64 + 542x65 + 880x66 + 600x67 + 665x68 + 542x69 + 142x70 + 362x71 + 472x72 + 562x73 + 316x74 + 411x75 + 408x76 + 419x77 + 926x78 + 836x79 + 695x80 + 191x81 + 167x82 + 399x83 + 598x84 + 768x85 + 65x86 + 805x87 + 131x88 + 903x89 + 585x90 + 981x91 + 685x92 + 326x93 + 884x94 + 253x95 + 498x96 + 257x97 + 36x98 + 411x99 + 258x100 + 363x101 + 674x102 + 865x103 + 171x104 + 704x105 + 153x106 + 475x107 + 898x108 + 695x109 + 183x110 + 343x111 + 52x112 + 523x113 + 875x114 + 562x115 + 849x116 + 398x117 + 717x118 + 541x119 + 60x120 + 206x121 + 193x122 + 26x123 + 451x124 + 171x125 + 65x126 + 730x127 + 953x128 + 966x129 + 710x130 + 674x131 + 853x132 + 689x133 + 853x134 + 554x135 + 89x136 + 630x137 + 658x138 + 932x139 + 250x140 + 402x141 + 134x142 + 324x143 + 755x144 + 726x145 + 960x146 + 604x147 + 713x148 + 770x149 + 318x150 + 941x151 + 37x152 + 249x153 + 968x154 + 853x155 + 923x156 + 867x157 + 641x158 + 996x159 + 190x160 + 485x161 + 189x162 + 69x163 + 120x164 + 960x165 + 601x166 + 806x167 + 619x168 + 357x169 + 366x170 + 654x171 + 410x172 + 852x173 + 540x174 + 713x175 + 756x176 + 592x177 + 623x178 + 398x179 + 142x180 + 571x181 + 811x182 + 611x183 + 78x184 + 872x185 + 207x186 + 142x187 + 943x188 + 53x189 + 11x190 + 443x191 + 169x192 + 278x193 + 282x194 + 660x195 + 133x196 + 345x197 + 886x198 + 996x199 + 705x200 + 11x201 + 942x202 + 435x203 + 184x204 + 318x205 + 441x206 + 55x207 + 23x208 + 487x209 + 120x210 + 39x211 + 328x212 + 521x213 + 885x214 + 768x215 + 55x216 + 260x217 + 406x218 + 564x219 + 590x220 + 940x221 + 784x222 + 998x223 + 402x224 + 153x225 + 692x226 + 270x227 + 362x228 + 578x229 + 811x230 + 877x231 + 75x232 + 138x233 + 873x234 + 753x235 + 85x236 + 870x237 + 780x238 + 430x239 + 844x240 + 964x241 + 65x242 + 776x243 + 326x244 + 68x245 + 899x246 + 628x247 + 320x248 + 12x249 + 348x250 <= 31417 
constr4: + 936x1 + 666x2 + 588x3 + 290x4 + 738x5 + 488x6 + 209x7 + 853x8 + 447x9 + 451x10 + 898x11 + 932x12 + 771x13 + 309x14 + 910x15 + 20x16 + 532x17 + 882x18 + 531x19 + 582x20 + 492x21 + 888x22 + 936x23 + 559x24 + 866x25 + 466x26 + 443x27 + 683x28 + 219x29 + 619x30 + 330x31 + 264x32 + 805x33 + 683x34 + 962x35 + 538x36 + 574x37 + 451x38 + 946x39 + 898x40 + 791x41 + 113x42 + 645x43 + 230x44 + 755x45 + 251x46 + 570x47 + 343x48 + 813x49 + 940x50 + 732x51 + 902x52 + 101x53 + 288x54 + 249x55 + 332x56 + 617x57 + 744x58 + 203x59 + 644x60 + 340x61 + 405x62 + 448x63 + 633x64 + 744x65 + 116x66 + 115x67 + 352x68 + 419x69 + 542x70 + 120x71 + 204x72 + 780x73 + 29x74 + 232x75 + 652x76 + 938x77 + 951x78 + 505x79 + 342x80 + 201x81 + 795x82 + 99x83 + 335x84 + 716x85 + 292x86 + 546x87 + 178x88 + 969x89 + 936x90 + 319x91 + 165x92 + 800x93 + 960x94 + 125x95 + 715x96 + 186x97 + 958x98 + 902x99 + 276x100 + 378x101 + 689x102 + 354x103 + 212x104 + 493x105 + 96x106 + 579x107 + 558x108 + 289x109 + 680x110 + 226x111 + 943x112 + 231x113 + 590x114 + 263x115 + 403x116 + 48x117 + 324x118 + 500x119 + 857x120 + 489x121 + 476x122 + 407x123 + 198x124 + 632x125 + 133x126 + 842x127 + 67x128 + 74x129 + 41x130 + 730x131 + 502x132 + 610x133 + 971x134 + 746x135 + 697x136 + 754x137 + 50x138 + 230x139 + 189x140 + 207x141 + 327x142 + 415x143 + 876x144 + 719x145 + 774x146 + 410x147 + 970x148 + 474x149 + 423x150 + 791x151 + 322x152 + 258x153 + 634x154 + 331x155 + 272x156 + 531x157 + 924x158 + 12x159 + 282x160 + 25x161 + 196x162 + 257x163 + 334x164 + 404x165 + 693x166 + 254x167 + 395x168 + 132x169 + 162x170 + 673x171 + 663x172 + 381x173 + 308x174 + 686x175 + 828x176 + 922x177 + 635x178 + 434x179 + 778x180 + 962x181 + 621x182 + 963x183 + 91x184 + 795x185 + 218x186 + 42x187 + 330x188 + 481x189 + 92x190 + 454x191 + 449x192 + 934x193 + 400x194 + 225x195 + 957x196 + 871x197 + 847x198 + 7x199 + 770x200 + 402x201 + 313x202 + 483x203 + 518x204 + 858x205 + 190x206 + 824x207 + 519x208 + 303x209 + 532x210 + 625x211 + 221x212 + 534x213 + 640x214 + 496x215 + 646x216 + 133x217 + 414x218 + 742x219 + 963x220 + 595x221 + 783x222 + 383x223 + 919x224 + 905x225 + 397x226 + 628x227 + 201x228 + 19x229 + 112x230 + 70x231 + 622x232 + 781x233 + 455x234 + 790x235 + 97x236 + 583x237 + 462x238 + 246x239 + 702x240 + 839x241 + 130x242 + 981x243 + 801x244 + 112x245 + 118x246 + 501x247 + 498x248 + 743x249 + 172x250 <= 32247 
constr5: + 875x1 + 693x2 + 788x3 + 607x4 + 988x5 + 614x6 + 189x7 + 738x8 + 574x9 + 834x10 + 207x11 + 72x12 + 326x13 + 522x14 + 968x15 + 625x16 + 861x17 + 280x18 + 572x19 + 814x20 + 246x21 + 614x22 + 907x23 + 164x24 + 415x25 + 134x26 + 680x27 + 997x28 + 864x29 + 343x30 + 943x31 + 18x32 + 101x33 + 684x34 + 604x35 + 241x36 + 948x37 + 253x38 + 244x39 + 54x40 + 622x41 + 506x42 + 733x43 + 908x44 + 318x45 + 36x46 + 308x47 + 128x48 + 59x49 + 850x50 + 419x51 + 906x52 + 461x53 + 332x54 + 216x55 + 684x56 + 258x57 + 779x58 + 596x59 + 102x60 + 294x61 + 899x62 + 856x63 + 112x64 + 949x65 + 134x66 + 768x67 + 469x68 + 729x69 + 449x70 + 61x71 + 624x72 + 706x73 + 715x74 + 900x75 + 448x76 + 241x77 + 857x78 + 945x79 + 491x80 + 339x81 + 819x82 + 289x83 + 69x84 + 174x85 + 813x86 + 539x87 + 493x88 + 269x89 + 229x90 + 188x91 + 580x92 + 956x93 + 904x94 + 477x95 + 589x96 + 586x97 + 99x98 + 487x99 + 220x100 + 370x101 + 539x102 + 672x103 + 783x104 + 609x105 + 444x106 + 980x107 + 117x108 + 422x109 + 771x110 + 37x111 + 137x112 + 980x113 + 907x114 + 791x115 + 565x116 + 646x117 + 399x118 + 580x119 + 608x120 + 191x121 + 516x122 + 978x123 + 878x124 + 15x125 + 836x126 + 327x127 + 938x128 + 637x129 + 964x130 + 537x131 + 397x132 + 289x133 + 411x134 + 989x135 + 995x136 + 109x137 + 79x138 + 742x139 + 314x140 + 566x141 + 184x142 + 2x143 + 315x144 + 415x145 + 769x146 + 563x147 + 172x148 + 680x149 + 523x150 + 227x151 + 172x152 + 529x153 + 840x154 + 286x155 + 653x156 + 410x157 + 193x158 + 109x159 + 702x160 + 110x161 + 351x162 + 422x163 + 344x164 + 667x165 + 505x166 + 805x167 + 85x168 + 364x169 + 867x170 + 753x171 + 720x172 + 681x173 + 753x174 + 527x175 + 400x176 + 67x177 + 927x178 + 743x179 + 874x180 + 842x181 + 633x182 + 713x183 + 690x184 + 171x185 + 337x186 + 854x187 + 768x188 + 219x189 + 557x190 + 103x191 + 90x192 + 541x193 + 517x194 + 910x195 + 686x196 + 299x197 + 45x198 + 326x199 + 468x200 + 526x201 + 63x202 + 540x203 + 454x204 + 310x205 + 151x206 + 20x207 + 128x208 + 977x209 + 603x210 + 962x211 + 862x212 + 381x213 + 729x214 + 149x215 + 489x216 + 228x217 + 543x218 + 531x219 + 599x220 + 523x221 + 993x222 + 5x223 + 597x224 + 81x225 + 117x226 + 498x227 + 486x228 + 279x229 + 807x230 + 106x231 + 153x232 + 668x233 + 484x234 + 666x235 + 77x236 + 143x237 + 904x238 + 697x239 + 60x240 + 481x241 + 191x242 + 116x243 + 73x244 + 9x245 + 827x246 + 295x247 + 257x248 + 501x249 + 394x250 <= 30246 
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