minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 94106.928000 
s2: s + 0.001000f1 + 0.501000f2 >= 94106.928000 
f1: -f1 + 780x1 + 690x2 + 507x3 + 780x4 + 726x5 + 602x6 + 846x7 + 702x8 + 394x9 + 749x10 + 738x11 + 449x12 + 545x13 + 573x14 + 735x15 + 850x16 + 802x17 + 507x18 + 605x19 + 954x20 + 816x21 + 766x22 + 870x23 + 1032x24 + 630x25 + 475x26 + 719x27 + 526x28 + 793x29 + 907x30 + 569x31 + 844x32 + 715x33 + 799x34 + 500x35 + 670x36 + 602x37 + 837x38 + 625x39 + 874x40 + 805x41 + 936x42 + 1191x43 + 734x44 + 299x45 + 621x46 + 707x47 + 555x48 + 772x49 + 766x50 + 1035x51 + 597x52 + 859x53 + 551x54 + 580x55 + 302x56 + 1174x57 + 993x58 + 774x59 + 674x60 + 547x61 + 969x62 + 467x63 + 710x64 + 541x65 + 636x66 + 739x67 + 378x68 + 838x69 + 793x70 + 1013x71 + 718x72 + 600x73 + 1006x74 + 581x75 + 927x76 + 416x77 + 861x78 + 486x79 + 1086x80 + 990x81 + 555x82 + 971x83 + 1120x84 + 551x85 + 876x86 + 619x87 + 787x88 + 845x89 + 868x90 + 866x91 + 897x92 + 834x93 + 564x94 + 944x95 + 642x96 + 917x97 + 1137x98 + 802x99 + 871x100 + 867x101 + 967x102 + 1180x103 + 728x104 + 457x105 + 893x106 + 625x107 + 497x108 + 734x109 + 1040x110 + 521x111 + 599x112 + 1082x113 + 866x114 + 530x115 + 656x116 + 780x117 + 708x118 + 921x119 + 1158x120 + 878x121 + 447x122 + 583x123 + 749x124 + 662x125 + 469x126 + 496x127 + 720x128 + 990x129 + 578x130 + 546x131 + 722x132 + 944x133 + 763x134 + 727x135 + 1282x136 + 881x137 + 676x138 + 673x139 + 650x140 + 1086x141 + 984x142 + 452x143 + 829x144 + 572x145 + 757x146 + 1163x147 + 442x148 + 1058x149 + 880x150 + 628x151 + 869x152 + 556x153 + 817x154 + 950x155 + 473x156 + 929x157 + 592x158 + 801x159 + 771x160 + 607x161 + 628x162 + 781x163 + 740x164 + 1128x165 + 1047x166 + 937x167 + 598x168 + 563x169 + 544x170 + 529x171 + 827x172 + 813x173 + 728x174 + 1024x175 + 682x176 + 659x177 + 1160x178 + 689x179 + 931x180 + 731x181 + 938x182 + 686x183 + 1031x184 + 634x185 + 993x186 + 638x187 + 720x188 + 687x189 + 841x190 + 886x191 + 524x192 + 915x193 + 628x194 + 510x195 + 929x196 + 786x197 + 1041x198 + 668x199 + 567x200 + 816x201 + 986x202 + 645x203 + 615x204 + 794x205 + 517x206 + 642x207 + 283x208 + 781x209 + 897x210 + 690x211 + 547x212 + 733x213 + 796x214 + 738x215 + 752x216 + 1002x217 + 609x218 + 387x219 + 909x220 + 907x221 + 837x222 + 717x223 + 568x224 + 647x225 + 730x226 + 1037x227 + 804x228 + 541x229 + 635x230 + 589x231 + 627x232 + 960x233 + 1030x234 + 818x235 + 844x236 + 775x237 + 737x238 + 443x239 + 718x240 + 887x241 + 928x242 + 601x243 + 1018x244 + 803x245 + 806x246 + 464x247 + 667x248 + 762x249 + 607x250  = 0 
f2: -f2 + 601x1 + 817x2 + 583x3 + 936x4 + 780x5 + 545x6 + 668x7 + 881x8 + 1163x9 + 816x10 + 589x11 + 1128x12 + 572x13 + 937x14 + 1282x15 + 555x16 + 722x17 + 682x18 + 687x19 + 719x20 + 868x21 + 772x22 + 673x23 + 717x24 + 599x25 + 971x26 + 656x27 + 607x28 + 871x29 + 568x30 + 829x31 + 718x32 + 990x33 + 625x34 + 578x35 + 598x36 + 659x37 + 928x38 + 464x39 + 634x40 + 1058x41 + 1191x42 + 993x43 + 524x44 + 609x45 + 475x46 + 473x47 + 299x48 + 749x49 + 1137x50 + 869x51 + 676x52 + 806x53 + 909x54 + 886x55 + 592x56 + 1041x57 + 621x58 + 734x59 + 861x60 + 1024x61 + 960x62 + 670x63 + 1086x64 + 1030x65 + 735x66 + 1013x67 + 766x68 + 786x69 + 841x70 + 581x71 + 378x72 + 781x73 + 929x74 + 630x75 + 893x76 + 1158x77 + 708x78 + 573x79 + 728x80 + 602x81 + 850x82 + 529x83 + 967x84 + 283x85 + 452x86 + 645x87 + 607x88 + 880x89 + 449x90 + 739x91 + 647x92 + 530x93 + 731x94 + 734x95 + 496x96 + 443x97 + 690x98 + 837x99 + 929x100 + 859x101 + 738x102 + 727x103 + 600x104 + 986x105 + 1037x106 + 580x107 + 1006x108 + 500x109 + 990x110 + 447x111 + 834x112 + 642x113 + 1174x114 + 866x115 + 733x116 + 827x117 + 780x118 + 1160x119 + 984x120 + 921x121 + 702x122 + 302x123 + 547x124 + 507x125 + 546x126 + 838x127 + 486x128 + 1040x129 + 619x130 + 569x131 + 556x132 + 931x133 + 662x134 + 738x135 + 787x136 + 602x137 + 1018x138 + 846x139 + 728x140 + 507x141 + 628x142 + 551x143 + 867x144 + 416x145 + 547x146 + 551x147 + 1031x148 + 907x149 + 394x150 + 605x151 + 954x152 + 720x153 + 950x154 + 469x155 + 897x156 + 878x157 + 667x158 + 737x159 + 845x160 + 804x161 + 567x162 + 555x163 + 887x164 + 564x165 + 752x166 + 387x167 + 818x168 + 793x169 + 993x170 + 726x171 + 762x172 + 801x173 + 874x174 + 816x175 + 780x176 + 897x177 + 866x178 + 1086x179 + 1120x180 + 938x181 + 730x182 + 442x183 + 467x184 + 689x185 + 944x186 + 720x187 + 718x188 + 521x189 + 740x190 + 541x191 + 1047x192 + 1180x193 + 927x194 + 563x195 + 1035x196 + 497x197 + 642x198 + 837x199 + 870x200 + 844x201 + 628x202 + 674x203 + 766x204 + 650x205 + 715x206 + 763x207 + 803x208 + 944x209 + 457x210 + 805x211 + 749x212 + 541x213 + 917x214 + 796x215 + 1032x216 + 690x217 + 510x218 + 781x219 + 907x220 + 517x221 + 707x222 + 793x223 + 813x224 + 635x225 + 615x226 + 799x227 + 638x228 + 686x229 + 627x230 + 636x231 + 544x232 + 1082x233 + 774x234 + 969x235 + 876x236 + 628x237 + 794x238 + 775x239 + 915x240 + 1002x241 + 526x242 + 597x243 + 771x244 + 802x245 + 802x246 + 625x247 + 757x248 + 844x249 + 710x250  = 0 
constr1: + 844x1 + 455x2 + 604x3 + 820x4 + 514x5 + 605x6 + 157x7 + 204x8 + 363x9 + 276x10 + 609x11 + 114x12 + 625x13 + 837x14 + 324x15 + 706x16 + 719x17 + 660x18 + 887x19 + 31x20 + 574x21 + 706x22 + 183x23 + 193x24 + 573x25 + 275x26 + 287x27 + 980x28 + 730x29 + 638x30 + 759x31 + 84x32 + 972x33 + 505x34 + 98x35 + 547x36 + 596x37 + 681x38 + 321x39 + 391x40 + 568x41 + 2x42 + 730x43 + 708x44 + 166x45 + 924x46 + 62x47 + 550x48 + 192x49 + 448x50 + 621x51 + 315x52 + 413x53 + 685x54 + 835x55 + 259x56 + 882x57 + 302x58 + 575x59 + 255x60 + 155x61 + 351x62 + 408x63 + 587x64 + 260x65 + 677x66 + 167x67 + 139x68 + 886x69 + 833x70 + 170x71 + 455x72 + 907x73 + 200x74 + 119x75 + 343x76 + 216x77 + 909x78 + 571x79 + 21x80 + 14x81 + 322x82 + 54x83 + 501x84 + 512x85 + 561x86 + 96x87 + 966x88 + 562x89 + 661x90 + 375x91 + 286x92 + 141x93 + 592x94 + 672x95 + 919x96 + 85x97 + 978x98 + 970x99 + 549x100 + 392x101 + 71x102 + 833x103 + 91x104 + 661x105 + 174x106 + 520x107 + 673x108 + 361x109 + 458x110 + 932x111 + 270x112 + 176x113 + 297x114 + 785x115 + 685x116 + 606x117 + 926x118 + 38x119 + 497x120 + 660x121 + 280x122 + 24x123 + 489x124 + 385x125 + 455x126 + 495x127 + 874x128 + 359x129 + 434x130 + 315x131 + 320x132 + 113x133 + 801x134 + 397x135 + 507x136 + 181x137 + 316x138 + 558x139 + 642x140 + 175x141 + 401x142 + 952x143 + 729x144 + 48x145 + 639x146 + 62x147 + 858x148 + 424x149 + 540x150 + 301x151 + 317x152 + 65x153 + 710x154 + 432x155 + 943x156 + 807x157 + 509x158 + 86x159 + 220x160 + 833x161 + 315x162 + 122x163 + 589x164 + 970x165 + 905x166 + 982x167 + 120x168 + 893x169 + 34x170 + 967x171 + 627x172 + 154x173 + 204x174 + 239x175 + 271x176 + 763x177 + 698x178 + 782x179 + 604x180 + 78x181 + 867x182 + 486x183 + 329x184 + 736x185 + 985x186 + 161x187 + 480x188 + 247x189 + 649x190 + 683x191 + 468x192 + 332x193 + 983x194 + 728x195 + 387x196 + 571x197 + 893x198 + 972x199 + 858x200 + 291x201 + 751x202 + 365x203 + 291x204 + 484x205 + 265x206 + 361x207 + 511x208 + 300x209 + 308x210 + 415x211 + 100x212 + 671x213 + 467x214 + 456x215 + 413x216 + 475x217 + 456x218 + 418x219 + 133x220 + 232x221 + 245x222 + 488x223 + 338x224 + 752x225 + 812x226 + 811x227 + 570x228 + 979x229 + 911x230 + 480x231 + 551x232 + 176x233 + 981x234 + 551x235 + 426x236 + 570x237 + 153x238 + 455x239 + 42x240 + 241x241 + 387x242 + 387x243 + 113x244 + 996x245 + 604x246 + 643x247 + 426x248 + 848x249 + 258x250 <= 96336 
constr2: + 621x1 + 749x2 + 79x3 + 396x4 + 153x5 + 400x6 + 647x7 + 469x8 + 222x9 + 352x10 + 736x11 + 899x12 + 404x13 + 503x14 + 11x15 + 966x16 + 255x17 + 925x18 + 752x19 + 521x20 + 511x21 + 197x22 + 299x23 + 426x24 + 246x25 + 537x26 + 623x27 + 913x28 + 558x29 + 909x30 + 949x31 + 378x32 + 24x33 + 573x34 + 420x35 + 27x36 + 995x37 + 174x38 + 878x39 + 460x40 + 736x41 + 541x42 + 455x43 + 370x44 + 992x45 + 666x46 + 565x47 + 963x48 + 555x49 + 259x50 + 167x51 + 463x52 + 248x53 + 681x54 + 654x55 + 820x56 + 199x57 + 164x58 + 988x59 + 830x60 + 150x61 + 901x62 + 774x63 + 353x64 + 813x65 + 72x66 + 107x67 + 262x68 + 546x69 + 525x70 + 723x71 + 839x72 + 4x73 + 372x74 + 151x75 + 460x76 + 561x77 + 309x78 + 163x79 + 834x80 + 223x81 + 521x82 + 444x83 + 799x84 + 475x85 + 803x86 + 2x87 + 542x88 + 444x89 + 276x90 + 340x91 + 10x92 + 437x93 + 897x94 + 743x95 + 717x96 + 125x97 + 141x98 + 453x99 + 63x100 + 527x101 + 104x102 + 205x103 + 310x104 + 89x105 + 499x106 + 399x107 + 648x108 + 581x109 + 281x110 + 76x111 + 474x112 + 594x113 + 701x114 + 768x115 + 102x116 + 920x117 + 651x118 + 744x119 + 23x120 + 166x121 + 313x122 + 209x123 + 701x124 + 285x125 + 266x126 + 191x127 + 943x128 + 496x129 + 870x130 + 977x131 + 156x132 + 978x133 + 436x134 + 636x135 + 728x136 + 990x137 + 75x138 + 215x139 + 487x140 + 542x141 + 308x142 + 705x143 + 932x144 + 707x145 + 825x146 + 530x147 + 559x148 + 864x149 + 193x150 + 639x151 + 80x152 + 413x153 + 139x154 + 403x155 + 527x156 + 340x157 + 327x158 + 814x159 + 959x160 + 934x161 + 915x162 + 407x163 + 646x164 + 955x165 + 234x166 + 457x167 + 174x168 + 645x169 + 517x170 + 896x171 + 137x172 + 714x173 + 1000x174 + 809x175 + 15x176 + 468x177 + 875x178 + 795x179 + 424x180 + 673x181 + 582x182 + 575x183 + 753x184 + 705x185 + 722x186 + 937x187 + 879x188 + 267x189 + 512x190 + 901x191 + 380x192 + 775x193 + 658x194 + 216x195 + 941x196 + 530x197 + 251x198 + 468x199 + 880x200 + 852x201 + 504x202 + 177x203 + 758x204 + 458x205 + 612x206 + 972x207 + 917x208 + 715x209 + 637x210 + 442x211 + 490x212 + 428x213 + 545x214 + 497x215 + 305x216 + 194x217 + 454x218 + 267x219 + 757x220 + 818x221 + 365x222 + 99x223 + 511x224 + 595x225 + 748x226 + 619x227 + 984x228 + 863x229 + 958x230 + 291x231 + 837x232 + 117x233 + 212x234 + 539x235 + 885x236 + 847x237 + 512x238 + 139x239 + 284x240 + 690x241 + 158x242 + 255x243 + 389x244 + 297x245 + 690x246 + 709x247 + 385x248 + 968x249 + 296x250 <= 94103 
constr3: + 509x1 + 174x2 + 407x3 + 440x4 + 839x5 + 531x6 + 551x7 + 210x8 + 950x9 + 270x10 + 460x11 + 806x12 + 244x13 + 919x14 + 115x15 + 71x16 + 471x17 + 290x18 + 499x19 + 669x20 + 855x21 + 386x22 + 470x23 + 179x24 + 509x25 + 253x26 + 937x27 + 54x28 + 107x29 + 204x30 + 243x31 + 457x32 + 187x33 + 111x34 + 112x35 + 721x36 + 978x37 + 915x38 + 820x39 + 529x40 + 793x41 + 508x42 + 974x43 + 310x44 + 456x45 + 344x46 + 546x47 + 817x48 + 82x49 + 209x50 + 62x51 + 838x52 + 606x53 + 217x54 + 856x55 + 376x56 + 868x57 + 980x58 + 908x59 + 649x60 + 226x61 + 216x62 + 207x63 + 483x64 + 66x65 + 748x66 + 827x67 + 112x68 + 644x69 + 633x70 + 625x71 + 834x72 + 699x73 + 818x74 + 216x75 + 218x76 + 649x77 + 773x78 + 609x79 + 314x80 + 441x81 + 393x82 + 830x83 + 394x84 + 169x85 + 955x86 + 246x87 + 771x88 + 901x89 + 353x90 + 818x91 + 525x92 + 779x93 + 108x94 + 470x95 + 985x96 + 808x97 + 747x98 + 807x99 + 190x100 + 878x101 + 957x102 + 207x103 + 629x104 + 802x105 + 459x106 + 282x107 + 188x108 + 775x109 + 663x110 + 749x111 + 435x112 + 733x113 + 31x114 + 940x115 + 113x116 + 448x117 + 976x118 + 105x119 + 875x120 + 952x121 + 307x122 + 957x123 + 458x124 + 196x125 + 57x126 + 15x127 + 227x128 + 423x129 + 135x130 + 69x131 + 468x132 + 982x133 + 136x134 + 181x135 + 898x136 + 655x137 + 581x138 + 419x139 + 43x140 + 282x141 + 141x142 + 953x143 + 300x144 + 557x145 + 909x146 + 520x147 + 474x148 + 377x149 + 167x150 + 665x151 + 450x152 + 478x153 + 371x154 + 67x155 + 89x156 + 711x157 + 446x158 + 667x159 + 489x160 + 566x161 + 989x162 + 549x163 + 88x164 + 758x165 + 393x166 + 469x167 + 480x168 + 387x169 + 624x170 + 100x171 + 7x172 + 651x173 + 312x174 + 347x175 + 581x176 + 161x177 + 706x178 + 314x179 + 55x180 + 621x181 + 320x182 + 766x183 + 111x184 + 350x185 + 968x186 + 581x187 + 224x188 + 51x189 + 868x190 + 17x191 + 67x192 + 541x193 + 519x194 + 406x195 + 131x196 + 269x197 + 161x198 + 525x199 + 465x200 + 309x201 + 693x202 + 716x203 + 239x204 + 856x205 + 791x206 + 828x207 + 198x208 + 369x209 + 159x210 + 593x211 + 671x212 + 413x213 + 276x214 + 784x215 + 953x216 + 784x217 + 346x218 + 386x219 + 840x220 + 904x221 + 659x222 + 267x223 + 41x224 + 532x225 + 525x226 + 953x227 + 845x228 + 612x229 + 847x230 + 181x231 + 491x232 + 845x233 + 947x234 + 885x235 + 765x236 + 371x237 + 634x238 + 596x239 + 926x240 + 422x241 + 131x242 + 14x243 + 1x244 + 176x245 + 547x246 + 702x247 + 394x248 + 180x249 + 578x250 <= 90925 
constr4: + 7x1 + 390x2 + 303x3 + 767x4 + 850x5 + 960x6 + 741x7 + 899x8 + 415x9 + 857x10 + 617x11 + 642x12 + 568x13 + 626x14 + 372x15 + 491x16 + 407x17 + 581x18 + 935x19 + 819x20 + 957x21 + 434x22 + 440x23 + 187x24 + 974x25 + 992x26 + 80x27 + 385x28 + 773x29 + 926x30 + 846x31 + 103x32 + 372x33 + 231x34 + 617x35 + 205x36 + 728x37 + 967x38 + 57x39 + 896x40 + 207x41 + 481x42 + 387x43 + 289x44 + 57x45 + 157x46 + 887x47 + 812x48 + 720x49 + 307x50 + 18x51 + 285x52 + 832x53 + 72x54 + 275x55 + 90x56 + 53x57 + 652x58 + 110x59 + 729x60 + 263x61 + 952x62 + 499x63 + 897x64 + 734x65 + 591x66 + 948x67 + 424x68 + 126x69 + 284x70 + 529x71 + 696x72 + 826x73 + 910x74 + 260x75 + 577x76 + 873x77 + 532x78 + 355x79 + 453x80 + 449x81 + 588x82 + 578x83 + 902x84 + 254x85 + 65x86 + 685x87 + 265x88 + 202x89 + 720x90 + 503x91 + 799x92 + 690x93 + 385x94 + 468x95 + 456x96 + 869x97 + 350x98 + 335x99 + 655x100 + 859x101 + 710x102 + 171x103 + 19x104 + 271x105 + 968x106 + 218x107 + 668x108 + 269x109 + 702x110 + 256x111 + 200x112 + 91x113 + 303x114 + 582x115 + 264x116 + 872x117 + 555x118 + 422x119 + 759x120 + 293x121 + 173x122 + 17x123 + 660x124 + 294x125 + 674x126 + 50x127 + 740x128 + 759x129 + 692x130 + 906x131 + 546x132 + 568x133 + 38x134 + 936x135 + 618x136 + 751x137 + 86x138 + 799x139 + 64x140 + 704x141 + 308x142 + 470x143 + 28x144 + 885x145 + 941x146 + 13x147 + 306x148 + 621x149 + 911x150 + 102x151 + 188x152 + 639x153 + 362x154 + 966x155 + 255x156 + 908x157 + 187x158 + 478x159 + 278x160 + 135x161 + 873x162 + 572x163 + 857x164 + 788x165 + 444x166 + 409x167 + 971x168 + 217x169 + 1x170 + 553x171 + 687x172 + 151x173 + 982x174 + 509x175 + 713x176 + 815x177 + 294x178 + 177x179 + 381x180 + 566x181 + 956x182 + 44x183 + 432x184 + 63x185 + 712x186 + 676x187 + 176x188 + 956x189 + 516x190 + 382x191 + 861x192 + 698x193 + 220x194 + 263x195 + 532x196 + 879x197 + 95x198 + 876x199 + 56x200 + 829x201 + 56x202 + 353x203 + 32x204 + 716x205 + 508x206 + 124x207 + 296x208 + 306x209 + 457x210 + 928x211 + 951x212 + 130x213 + 436x214 + 970x215 + 99x216 + 830x217 + 415x218 + 28x219 + 663x220 + 220x221 + 404x222 + 795x223 + 9x224 + 898x225 + 133x226 + 457x227 + 324x228 + 794x229 + 384x230 + 490x231 + 880x232 + 492x233 + 596x234 + 87x235 + 548x236 + 399x237 + 125x238 + 933x239 + 543x240 + 294x241 + 903x242 + 372x243 + 362x244 + 98x245 + 316x246 + 535x247 + 62x248 + 715x249 + 39x250 <= 91871 
constr5: + 856x1 + 741x2 + 734x3 + 123x4 + 848x5 + 746x6 + 394x7 + 854x8 + 72x9 + 689x10 + 823x11 + 409x12 + 190x13 + 381x14 + 183x15 + 443x16 + 402x17 + 873x18 + 240x19 + 376x20 + 445x21 + 888x22 + 200x23 + 259x24 + 614x25 + 622x26 + 972x27 + 317x28 + 284x29 + 469x30 + 380x31 + 890x32 + 411x33 + 32x34 + 824x35 + 680x36 + 184x37 + 984x38 + 223x39 + 56x40 + 979x41 + 112x42 + 291x43 + 425x44 + 583x45 + 905x46 + 350x47 + 751x48 + 900x49 + 773x50 + 883x51 + 415x52 + 711x53 + 796x54 + 430x55 + 63x56 + 47x57 + 873x58 + 946x59 + 496x60 + 87x61 + 75x62 + 684x63 + 356x64 + 698x65 + 547x66 + 715x67 + 558x68 + 314x69 + 65x70 + 548x71 + 429x72 + 544x73 + 669x74 + 183x75 + 646x76 + 234x77 + 871x78 + 756x79 + 277x80 + 677x81 + 150x82 + 876x83 + 210x84 + 984x85 + 401x86 + 807x87 + 987x88 + 877x89 + 207x90 + 538x91 + 950x92 + 734x93 + 815x94 + 93x95 + 612x96 + 101x97 + 776x98 + 166x99 + 644x100 + 88x101 + 198x102 + 241x103 + 941x104 + 878x105 + 818x106 + 666x107 + 802x108 + 317x109 + 511x110 + 280x111 + 580x112 + 615x113 + 308x114 + 225x115 + 833x116 + 344x117 + 533x118 + 494x119 + 526x120 + 329x121 + 816x122 + 318x123 + 974x124 + 323x125 + 465x126 + 161x127 + 432x128 + 995x129 + 837x130 + 740x131 + 267x132 + 656x133 + 376x134 + 54x135 + 921x136 + 14x137 + 949x138 + 404x139 + 829x140 + 616x141 + 841x142 + 682x143 + 116x144 + 744x145 + 183x146 + 276x147 + 405x148 + 15x149 + 345x150 + 64x151 + 73x152 + 11x153 + 756x154 + 508x155 + 145x156 + 20x157 + 49x158 + 87x159 + 419x160 + 605x161 + 484x162 + 258x163 + 266x164 + 707x165 + 605x166 + 619x167 + 520x168 + 439x169 + 320x170 + 21x171 + 638x172 + 452x173 + 965x174 + 602x175 + 166x176 + 89x177 + 647x178 + 332x179 + 717x180 + 452x181 + 5x182 + 742x183 + 611x184 + 522x185 + 555x186 + 206x187 + 478x188 + 65x189 + 447x190 + 720x191 + 66x192 + 682x193 + 939x194 + 41x195 + 690x196 + 304x197 + 214x198 + 217x199 + 555x200 + 563x201 + 425x202 + 710x203 + 117x204 + 217x205 + 699x206 + 792x207 + 138x208 + 57x209 + 971x210 + 729x211 + 306x212 + 24x213 + 465x214 + 329x215 + 948x216 + 616x217 + 605x218 + 931x219 + 734x220 + 772x221 + 251x222 + 18x223 + 927x224 + 900x225 + 291x226 + 442x227 + 562x228 + 281x229 + 315x230 + 470x231 + 361x232 + 784x233 + 857x234 + 390x235 + 363x236 + 375x237 + 482x238 + 421x239 + 30x240 + 585x241 + 365x242 + 299x243 + 451x244 + 330x245 + 229x246 + 808x247 + 21x248 + 266x249 + 233x250 <= 92372 
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