minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94772.078000 
s2: s + 0.001000f1 + 0.501000f2 >= 94772.078000 
f1: -f1 + 722x1 + 538x2 + 562x3 + 586x4 + 955x5 + 989x6 + 712x7 + 1073x8 + 483x9 + 750x10 + 762x11 + 704x12 + 866x13 + 781x14 + 592x15 + 826x16 + 850x17 + 762x18 + 873x19 + 1236x20 + 721x21 + 729x22 + 875x23 + 645x24 + 712x25 + 892x26 + 946x27 + 734x28 + 1072x29 + 761x30 + 680x31 + 1157x32 + 697x33 + 880x34 + 976x35 + 896x36 + 647x37 + 698x38 + 665x39 + 815x40 + 919x41 + 759x42 + 662x43 + 379x44 + 469x45 + 1009x46 + 612x47 + 689x48 + 764x49 + 1020x50 + 903x51 + 545x52 + 483x53 + 994x54 + 1009x55 + 825x56 + 831x57 + 461x58 + 1166x59 + 323x60 + 801x61 + 762x62 + 970x63 + 835x64 + 804x65 + 836x66 + 512x67 + 1037x68 + 702x69 + 793x70 + 948x71 + 811x72 + 1237x73 + 685x74 + 532x75 + 421x76 + 932x77 + 414x78 + 513x79 + 647x80 + 988x81 + 623x82 + 803x83 + 885x84 + 743x85 + 895x86 + 444x87 + 937x88 + 820x89 + 567x90 + 881x91 + 896x92 + 624x93 + 623x94 + 768x95 + 814x96 + 958x97 + 666x98 + 843x99 + 564x100 + 908x101 + 936x102 + 466x103 + 951x104 + 911x105 + 676x106 + 923x107 + 798x108 + 1040x109 + 734x110 + 548x111 + 621x112 + 961x113 + 662x114 + 775x115 + 872x116 + 843x117 + 709x118 + 449x119 + 762x120 + 801x121 + 647x122 + 299x123 + 1015x124 + 796x125 + 586x126 + 767x127 + 447x128 + 558x129 + 817x130 + 1021x131 + 1078x132 + 591x133 + 681x134 + 426x135 + 1072x136 + 701x137 + 483x138 + 433x139 + 668x140 + 705x141 + 1095x142 + 948x143 + 735x144 + 884x145 + 819x146 + 787x147 + 823x148 + 871x149 + 594x150 + 902x151 + 1005x152 + 846x153 + 791x154 + 911x155 + 643x156 + 637x157 + 519x158 + 734x159 + 592x160 + 615x161 + 1007x162 + 502x163 + 1048x164 + 522x165 + 955x166 + 733x167 + 346x168 + 822x169 + 474x170 + 630x171 + 1000x172 + 595x173 + 648x174 + 556x175 + 652x176 + 808x177 + 972x178 + 758x179 + 641x180 + 653x181 + 911x182 + 707x183 + 831x184 + 921x185 + 934x186 + 822x187 + 826x188 + 517x189 + 611x190 + 783x191 + 736x192 + 764x193 + 868x194 + 1077x195 + 647x196 + 546x197 + 680x198 + 725x199 + 454x200 + 464x201 + 601x202 + 1056x203 + 694x204 + 803x205 + 1030x206 + 727x207 + 851x208 + 892x209 + 690x210 + 542x211 + 893x212 + 890x213 + 801x214 + 983x215 + 479x216 + 851x217 + 307x218 + 373x219 + 784x220 + 363x221 + 751x222 + 584x223 + 1012x224 + 795x225 + 988x226 + 602x227 + 993x228 + 789x229 + 815x230 + 840x231 + 929x232 + 704x233 + 778x234 + 669x235 + 712x236 + 924x237 + 728x238 + 418x239 + 895x240 + 459x241 + 887x242 + 543x243 + 734x244 + 531x245 + 748x246 + 631x247 + 785x248 + 815x249 + 910x250  = 0 
f2: -f2 + 751x1 + 676x2 + 645x3 + 961x4 + 727x5 + 689x6 + 513x7 + 831x8 + 707x9 + 831x10 + 817x11 + 414x12 + 643x13 + 681x14 + 502x15 + 793x16 + 631x17 + 690x18 + 623x19 + 1015x20 + 647x21 + 556x22 + 630x23 + 662x24 + 433x25 + 712x26 + 929x27 + 421x28 + 426x29 + 1095x30 + 592x31 + 803x32 + 542x33 + 896x34 + 680x35 + 729x36 + 903x37 + 851x38 + 701x39 + 885x40 + 548x41 + 464x42 + 734x43 + 615x44 + 822x45 + 1236x46 + 822x47 + 801x48 + 804x49 + 783x50 + 479x51 + 993x52 + 871x53 + 762x54 + 955x55 + 648x56 + 762x57 + 948x58 + 866x59 + 567x60 + 972x61 + 307x62 + 881x63 + 1072x64 + 923x65 + 934x66 + 545x67 + 983x68 + 1020x69 + 705x70 + 775x71 + 785x72 + 910x73 + 908x74 + 1166x75 + 522x76 + 483x77 + 836x78 + 669x79 + 820x80 + 764x81 + 835x82 + 1037x83 + 725x84 + 346x85 + 767x86 + 519x87 + 1073x88 + 761x89 + 840x90 + 444x91 + 469x92 + 846x93 + 637x94 + 709x95 + 1056x96 + 896x97 + 595x98 + 884x99 + 919x100 + 733x101 + 801x102 + 694x103 + 958x104 + 1005x105 + 803x106 + 666x107 + 781x108 + 704x109 + 911x110 + 662x111 + 808x112 + 592x113 + 538x114 + 798x115 + 911x116 + 789x117 + 363x118 + 299x119 + 873x120 + 624x121 + 1072x122 + 937x123 + 895x124 + 728x125 + 748x126 + 712x127 + 564x128 + 811x129 + 546x130 + 819x131 + 734x132 + 815x133 + 702x134 + 449x135 + 697x136 + 665x137 + 685x138 + 872x139 + 459x140 + 936x141 + 955x142 + 466x143 + 976x144 + 843x145 + 558x146 + 653x147 + 586x148 + 623x149 + 994x150 + 1157x151 + 887x152 + 970x153 + 851x154 + 875x155 + 680x156 + 483x157 + 543x158 + 1048x159 + 517x160 + 1030x161 + 736x162 + 735x163 + 762x164 + 601x165 + 512x166 + 801x167 + 750x168 + 815x169 + 621x170 + 784x171 + 988x172 + 758x173 + 1021x174 + 893x175 + 1009x176 + 712x177 + 850x178 + 373x179 + 1237x180 + 647x181 + 1077x182 + 951x183 + 778x184 + 722x185 + 602x186 + 814x187 + 924x188 + 611x189 + 474x190 + 531x191 + 843x192 + 825x193 + 698x194 + 795x195 + 379x196 + 796x197 + 734x198 + 447x199 + 584x200 + 612x201 + 418x202 + 641x203 + 759x204 + 989x205 + 1040x206 + 988x207 + 483x208 + 932x209 + 721x210 + 591x211 + 890x212 + 532x213 + 787x214 + 895x215 + 652x216 + 454x217 + 946x218 + 594x219 + 892x220 + 668x221 + 1012x222 + 768x223 + 791x224 + 734x225 + 586x226 + 826x227 + 647x228 + 764x229 + 647x230 + 323x231 + 815x232 + 1007x233 + 743x234 + 1078x235 + 704x236 + 902x237 + 1000x238 + 911x239 + 921x240 + 868x241 + 892x242 + 762x243 + 948x244 + 823x245 + 826x246 + 461x247 + 880x248 + 562x249 + 1009x250  = 0 
constr1: + 132x1 + 891x2 + 303x3 + 182x4 + 28x5 + 808x6 + 440x7 + 657x8 + 366x9 + 601x10 + 505x11 + 547x12 + 827x13 + 829x14 + 529x15 + 10x16 + 373x17 + 956x18 + 267x19 + 192x20 + 202x21 + 788x22 + 32x23 + 949x24 + 993x25 + 221x26 + 989x27 + 504x28 + 341x29 + 347x30 + 690x31 + 236x32 + 508x33 + 951x34 + 576x35 + 98x36 + 399x37 + 573x38 + 649x39 + 307x40 + 184x41 + 340x42 + 309x43 + 498x44 + 102x45 + 63x46 + 80x47 + 603x48 + 16x49 + 71x50 + 222x51 + 879x52 + 947x53 + 229x54 + 866x55 + 339x56 + 772x57 + 777x58 + 617x59 + 556x60 + 85x61 + 549x62 + 866x63 + 404x64 + 16x65 + 95x66 + 722x67 + 609x68 + 788x69 + 641x70 + 105x71 + 939x72 + 259x73 + 232x74 + 775x75 + 178x76 + 680x77 + 719x78 + 317x79 + 817x80 + 330x81 + 602x82 + 28x83 + 53x84 + 546x85 + 634x86 + 7x87 + 492x88 + 724x89 + 428x90 + 335x91 + 390x92 + 64x93 + 352x94 + 338x95 + 893x96 + 925x97 + 491x98 + 499x99 + 876x100 + 731x101 + 428x102 + 401x103 + 473x104 + 726x105 + 471x106 + 671x107 + 339x108 + 866x109 + 987x110 + 975x111 + 451x112 + 586x113 + 573x114 + 271x115 + 939x116 + 879x117 + 153x118 + 143x119 + 430x120 + 905x121 + 372x122 + 655x123 + 973x124 + 310x125 + 300x126 + 556x127 + 990x128 + 814x129 + 787x130 + 389x131 + 883x132 + 451x133 + 214x134 + 623x135 + 806x136 + 258x137 + 31x138 + 486x139 + 398x140 + 652x141 + 765x142 + 54x143 + 281x144 + 433x145 + 791x146 + 717x147 + 584x148 + 513x149 + 36x150 + 762x151 + 388x152 + 906x153 + 827x154 + 202x155 + 866x156 + 545x157 + 105x158 + 303x159 + 423x160 + 330x161 + 950x162 + 679x163 + 509x164 + 862x165 + 518x166 + 357x167 + 738x168 + 135x169 + 138x170 + 515x171 + 59x172 + 717x173 + 347x174 + 587x175 + 828x176 + 55x177 + 386x178 + 784x179 + 164x180 + 705x181 + 465x182 + 80x183 + 571x184 + 160x185 + 95x186 + 247x187 + 684x188 + 407x189 + 879x190 + 91x191 + 969x192 + 960x193 + 502x194 + 609x195 + 458x196 + 329x197 + 726x198 + 986x199 + 884x200 + 173x201 + 638x202 + 470x203 + 921x204 + 198x205 + 966x206 + 796x207 + 283x208 + 939x209 + 269x210 + 696x211 + 680x212 + 702x213 + 793x214 + 578x215 + 165x216 + 403x217 + 498x218 + 942x219 + 476x220 + 761x221 + 973x222 + 160x223 + 76x224 + 496x225 + 977x226 + 995x227 + 794x228 + 679x229 + 621x230 + 86x231 + 532x232 + 563x233 + 556x234 + 711x235 + 408x236 + 687x237 + 486x238 + 243x239 + 887x240 + 182x241 + 599x242 + 395x243 + 492x244 + 138x245 + 540x246 + 767x247 + 866x248 + 211x249 + 602x250 <= 29461 
constr2: + 792x1 + 280x2 + 277x3 + 270x4 + 712x5 + 631x6 + 989x7 + 872x8 + 233x9 + 282x10 + 2x11 + 735x12 + 595x13 + 530x14 + 835x15 + 795x16 + 460x17 + 316x18 + 723x19 + 181x20 + 65x21 + 444x22 + 397x23 + 569x24 + 722x25 + 360x26 + 805x27 + 712x28 + 531x29 + 84x30 + 485x31 + 842x32 + 522x33 + 273x34 + 299x35 + 747x36 + 764x37 + 925x38 + 467x39 + 533x40 + 199x41 + 89x42 + 544x43 + 368x44 + 357x45 + 557x46 + 378x47 + 418x48 + 486x49 + 517x50 + 472x51 + 570x52 + 851x53 + 273x54 + 619x55 + 667x56 + 210x57 + 821x58 + 246x59 + 416x60 + 997x61 + 221x62 + 479x63 + 68x64 + 121x65 + 671x66 + 213x67 + 639x68 + 625x69 + 806x70 + 504x71 + 240x72 + 95x73 + 971x74 + 49x75 + 295x76 + 549x77 + 883x78 + 431x79 + 270x80 + 680x81 + 142x82 + 821x83 + 706x84 + 16x85 + 797x86 + 596x87 + 494x88 + 968x89 + 530x90 + 101x91 + 466x92 + 881x93 + 557x94 + 844x95 + 342x96 + 253x97 + 562x98 + 907x99 + 186x100 + 557x101 + 212x102 + 412x103 + 305x104 + 10x105 + 896x106 + 933x107 + 465x108 + 844x109 + 834x110 + 49x111 + 812x112 + 292x113 + 457x114 + 683x115 + 829x116 + 218x117 + 10x118 + 169x119 + 170x120 + 286x121 + 853x122 + 123x123 + 964x124 + 631x125 + 322x126 + 617x127 + 88x128 + 822x129 + 458x130 + 782x131 + 163x132 + 609x133 + 422x134 + 632x135 + 728x136 + 968x137 + 169x138 + 515x139 + 441x140 + 464x141 + 316x142 + 648x143 + 663x144 + 40x145 + 61x146 + 945x147 + 786x148 + 895x149 + 15x150 + 306x151 + 40x152 + 386x153 + 960x154 + 503x155 + 855x156 + 479x157 + 398x158 + 360x159 + 185x160 + 596x161 + 672x162 + 678x163 + 187x164 + 149x165 + 900x166 + 659x167 + 196x168 + 857x169 + 516x170 + 859x171 + 781x172 + 418x173 + 416x174 + 5x175 + 661x176 + 814x177 + 210x178 + 936x179 + 963x180 + 808x181 + 332x182 + 870x183 + 672x184 + 894x185 + 747x186 + 945x187 + 387x188 + 977x189 + 544x190 + 761x191 + 666x192 + 279x193 + 11x194 + 714x195 + 177x196 + 794x197 + 454x198 + 885x199 + 85x200 + 37x201 + 3x202 + 542x203 + 190x204 + 34x205 + 566x206 + 719x207 + 103x208 + 364x209 + 496x210 + 495x211 + 581x212 + 965x213 + 594x214 + 245x215 + 18x216 + 600x217 + 372x218 + 594x219 + 879x220 + 693x221 + 632x222 + 635x223 + 19x224 + 743x225 + 546x226 + 914x227 + 894x228 + 710x229 + 773x230 + 527x231 + 229x232 + 499x233 + 653x234 + 811x235 + 372x236 + 351x237 + 78x238 + 751x239 + 437x240 + 147x241 + 240x242 + 670x243 + 171x244 + 694x245 + 311x246 + 712x247 + 253x248 + 465x249 + 492x250 <= 32100 
constr3: + 214x1 + 851x2 + 741x3 + 287x4 + 753x5 + 698x6 + 878x7 + 369x8 + 791x9 + 435x10 + 408x11 + 25x12 + 425x13 + 424x14 + 912x15 + 440x16 + 194x17 + 19x18 + 626x19 + 127x20 + 92x21 + 554x22 + 672x23 + 7x24 + 219x25 + 667x26 + 244x27 + 434x28 + 747x29 + 293x30 + 822x31 + 271x32 + 249x33 + 244x34 + 309x35 + 976x36 + 219x37 + 955x38 + 133x39 + 412x40 + 750x41 + 512x42 + 926x43 + 133x44 + 588x45 + 537x46 + 263x47 + 304x48 + 522x49 + 489x50 + 557x51 + 694x52 + 571x53 + 200x54 + 654x55 + 765x56 + 767x57 + 278x58 + 300x59 + 205x60 + 442x61 + 119x62 + 730x63 + 781x64 + 845x65 + 11x66 + 152x67 + 538x68 + 525x69 + 301x70 + 768x71 + 867x72 + 990x73 + 248x74 + 101x75 + 199x76 + 693x77 + 17x78 + 430x79 + 561x80 + 337x81 + 655x82 + 799x83 + 153x84 + 831x85 + 660x86 + 522x87 + 131x88 + 680x89 + 361x90 + 624x91 + 340x92 + 284x93 + 51x94 + 955x95 + 872x96 + 844x97 + 832x98 + 863x99 + 229x100 + 753x101 + 735x102 + 452x103 + 398x104 + 14x105 + 340x106 + 22x107 + 56x108 + 390x109 + 167x110 + 951x111 + 901x112 + 381x113 + 880x114 + 441x115 + 114x116 + 737x117 + 419x118 + 949x119 + 161x120 + 285x121 + 675x122 + 115x123 + 566x124 + 322x125 + 265x126 + 721x127 + 10x128 + 733x129 + 978x130 + 26x131 + 242x132 + 14x133 + 234x134 + 164x135 + 917x136 + 510x137 + 379x138 + 928x139 + 864x140 + 894x141 + 108x142 + 432x143 + 563x144 + 120x145 + 345x146 + 490x147 + 583x148 + 112x149 + 711x150 + 215x151 + 159x152 + 863x153 + 341x154 + 659x155 + 778x156 + 635x157 + 218x158 + 19x159 + 674x160 + 112x161 + 81x162 + 376x163 + 703x164 + 916x165 + 518x166 + 254x167 + 656x168 + 46x169 + 549x170 + 284x171 + 487x172 + 918x173 + 95x174 + 321x175 + 34x176 + 825x177 + 597x178 + 180x179 + 506x180 + 347x181 + 208x182 + 208x183 + 516x184 + 732x185 + 374x186 + 297x187 + 578x188 + 566x189 + 805x190 + 218x191 + 895x192 + 229x193 + 598x194 + 875x195 + 605x196 + 564x197 + 513x198 + 843x199 + 631x200 + 767x201 + 627x202 + 10x203 + 493x204 + 132x205 + 433x206 + 836x207 + 892x208 + 185x209 + 73x210 + 196x211 + 993x212 + 796x213 + 861x214 + 815x215 + 106x216 + 934x217 + 847x218 + 525x219 + 660x220 + 190x221 + 667x222 + 686x223 + 259x224 + 212x225 + 880x226 + 168x227 + 643x228 + 324x229 + 893x230 + 659x231 + 410x232 + 999x233 + 517x234 + 177x235 + 10x236 + 778x237 + 97x238 + 567x239 + 959x240 + 766x241 + 503x242 + 381x243 + 22x244 + 75x245 + 294x246 + 301x247 + 424x248 + 315x249 + 423x250 <= 30151 
constr4: + 266x1 + 873x2 + 50x3 + 710x4 + 598x5 + 688x6 + 749x7 + 18x8 + 177x9 + 157x10 + 711x11 + 840x12 + 750x13 + 432x14 + 662x15 + 216x16 + 634x17 + 316x18 + 982x19 + 859x20 + 898x21 + 156x22 + 604x23 + 11x24 + 910x25 + 169x26 + 100x27 + 218x28 + 273x29 + 478x30 + 81x31 + 413x32 + 876x33 + 310x34 + 96x35 + 942x36 + 430x37 + 642x38 + 36x39 + 386x40 + 548x41 + 701x42 + 359x43 + 303x44 + 840x45 + 500x46 + 886x47 + 988x48 + 940x49 + 406x50 + 546x51 + 46x52 + 836x53 + 768x54 + 470x55 + 719x56 + 813x57 + 766x58 + 324x59 + 797x60 + 8x61 + 961x62 + 519x63 + 788x64 + 940x65 + 555x66 + 183x67 + 699x68 + 423x69 + 924x70 + 943x71 + 880x72 + 668x73 + 579x74 + 823x75 + 27x76 + 138x77 + 501x78 + 720x79 + 531x80 + 216x81 + 173x82 + 843x83 + 236x84 + 219x85 + 247x86 + 81x87 + 868x88 + 516x89 + 229x90 + 265x91 + 848x92 + 762x93 + 70x94 + 580x95 + 554x96 + 619x97 + 346x98 + 704x99 + 543x100 + 26x101 + 518x102 + 87x103 + 178x104 + 112x105 + 969x106 + 862x107 + 619x108 + 27x109 + 299x110 + 597x111 + 942x112 + 32x113 + 737x114 + 274x115 + 660x116 + 407x117 + 74x118 + 869x119 + 82x120 + 155x121 + 734x122 + 145x123 + 572x124 + 984x125 + 244x126 + 200x127 + 439x128 + 889x129 + 721x130 + 140x131 + 217x132 + 46x133 + 168x134 + 716x135 + 154x136 + 737x137 + 277x138 + 558x139 + 640x140 + 715x141 + 680x142 + 957x143 + 348x144 + 697x145 + 289x146 + 328x147 + 270x148 + 426x149 + 416x150 + 665x151 + 785x152 + 3x153 + 299x154 + 902x155 + 279x156 + 481x157 + 612x158 + 714x159 + 435x160 + 628x161 + 257x162 + 753x163 + 42x164 + 420x165 + 233x166 + 478x167 + 479x168 + 70x169 + 824x170 + 237x171 + 992x172 + 843x173 + 114x174 + 569x175 + 605x176 + 733x177 + 327x178 + 275x179 + 58x180 + 817x181 + 899x182 + 471x183 + 362x184 + 380x185 + 938x186 + 790x187 + 3x188 + 885x189 + 758x190 + 396x191 + 799x192 + 230x193 + 369x194 + 56x195 + 520x196 + 139x197 + 67x198 + 726x199 + 553x200 + 919x201 + 161x202 + 548x203 + 461x204 + 570x205 + 529x206 + 671x207 + 369x208 + 100x209 + 721x210 + 940x211 + 737x212 + 558x213 + 832x214 + 453x215 + 764x216 + 812x217 + 580x218 + 83x219 + 583x220 + 189x221 + 186x222 + 916x223 + 282x224 + 295x225 + 83x226 + 881x227 + 269x228 + 556x229 + 475x230 + 210x231 + 40x232 + 533x233 + 985x234 + 692x235 + 246x236 + 953x237 + 775x238 + 368x239 + 24x240 + 804x241 + 575x242 + 395x243 + 362x244 + 912x245 + 754x246 + 949x247 + 135x248 + 269x249 + 384x250 <= 31550 
constr5: + 529x1 + 229x2 + 23x3 + 534x4 + 882x5 + 339x6 + 171x7 + 700x8 + 673x9 + 106x10 + 854x11 + 9x12 + 526x13 + 153x14 + 357x15 + 501x16 + 618x17 + 416x18 + 617x19 + 407x20 + 918x21 + 470x22 + 360x23 + 375x24 + 668x25 + 291x26 + 404x27 + 407x28 + 420x29 + 823x30 + 494x31 + 502x32 + 464x33 + 440x34 + 329x35 + 137x36 + 547x37 + 652x38 + 230x39 + 688x40 + 556x41 + 636x42 + 107x43 + 452x44 + 205x45 + 747x46 + 163x47 + 899x48 + 258x49 + 177x50 + 397x51 + 208x52 + 161x53 + 963x54 + 949x55 + 643x56 + 719x57 + 494x58 + 187x59 + 740x60 + 261x61 + 472x62 + 757x63 + 14x64 + 53x65 + 646x66 + 317x67 + 246x68 + 768x69 + 683x70 + 643x71 + 418x72 + 827x73 + 198x74 + 841x75 + 848x76 + 390x77 + 441x78 + 346x79 + 652x80 + 227x81 + 833x82 + 352x83 + 239x84 + 662x85 + 450x86 + 536x87 + 512x88 + 817x89 + 806x90 + 454x91 + 861x92 + 781x93 + 281x94 + 352x95 + 382x96 + 824x97 + 287x98 + 365x99 + 822x100 + 330x101 + 144x102 + 458x103 + 873x104 + 862x105 + 929x106 + 729x107 + 420x108 + 154x109 + 627x110 + 920x111 + 64x112 + 93x113 + 793x114 + 259x115 + 565x116 + 123x117 + 114x118 + 377x119 + 879x120 + 603x121 + 715x122 + 127x123 + 714x124 + 123x125 + 570x126 + 120x127 + 669x128 + 225x129 + 506x130 + 880x131 + 264x132 + 857x133 + 227x134 + 139x135 + 398x136 + 261x137 + 670x138 + 473x139 + 65x140 + 408x141 + 249x142 + 783x143 + 264x144 + 186x145 + 399x146 + 924x147 + 689x148 + 553x149 + 925x150 + 840x151 + 535x152 + 636x153 + 877x154 + 157x155 + 684x156 + 968x157 + 139x158 + 11x159 + 603x160 + 927x161 + 81x162 + 70x163 + 180x164 + 276x165 + 444x166 + 263x167 + 928x168 + 847x169 + 123x170 + 43x171 + 190x172 + 137x173 + 803x174 + 477x175 + 43x176 + 752x177 + 860x178 + 653x179 + 92x180 + 336x181 + 170x182 + 246x183 + 329x184 + 933x185 + 347x186 + 529x187 + 666x188 + 835x189 + 644x190 + 627x191 + 969x192 + 755x193 + 723x194 + 335x195 + 924x196 + 356x197 + 91x198 + 821x199 + 295x200 + 829x201 + 465x202 + 134x203 + 947x204 + 397x205 + 33x206 + 124x207 + 714x208 + 727x209 + 624x210 + 477x211 + 765x212 + 87x213 + 921x214 + 722x215 + 4x216 + 966x217 + 119x218 + 953x219 + 68x220 + 318x221 + 757x222 + 447x223 + 679x224 + 524x225 + 544x226 + 108x227 + 589x228 + 401x229 + 247x230 + 148x231 + 852x232 + 407x233 + 504x234 + 474x235 + 161x236 + 316x237 + 539x238 + 795x239 + 20x240 + 505x241 + 3x242 + 996x243 + 373x244 + 567x245 + 497x246 + 812x247 + 129x248 + 359x249 + 584x250 <= 31572 
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