minimize objective: s subject to s1: s + 0.501000f1 + 0.001000f2 >= 92311.776000 s2: s + 0.001000f1 + 0.501000f2 >= 92311.776000 f1: -f1 + 927x1 + 366x2 + 972x3 + 437x4 + 925x5 + 555x6 + 517x7 + 775x8 + 674x9 + 807x10 + 806x11 + 628x12 + 801x13 + 545x14 + 876x15 + 516x16 + 902x17 + 770x18 + 1013x19 + 692x20 + 485x21 + 893x22 + 693x23 + 718x24 + 795x25 + 878x26 + 661x27 + 848x28 + 940x29 + 495x30 + 814x31 + 966x32 + 1017x33 + 893x34 + 654x35 + 702x36 + 1070x37 + 1018x38 + 894x39 + 773x40 + 739x41 + 528x42 + 576x43 + 649x44 + 545x45 + 701x46 + 810x47 + 883x48 + 831x49 + 738x50 + 1144x51 + 1250x52 + 593x53 + 738x54 + 786x55 + 547x56 + 936x57 + 376x58 + 769x59 + 1017x60 + 521x61 + 669x62 + 931x63 + 894x64 + 382x65 + 964x66 + 1168x67 + 838x68 + 936x69 + 957x70 + 859x71 + 814x72 + 715x73 + 481x74 + 920x75 + 473x76 + 433x77 + 534x78 + 639x79 + 988x80 + 1081x81 + 559x82 + 583x83 + 795x84 + 818x85 + 1065x86 + 284x87 + 946x88 + 719x89 + 742x90 + 579x91 + 654x92 + 501x93 + 580x94 + 675x95 + 688x96 + 777x97 + 565x98 + 675x99 + 766x100 + 816x101 + 749x102 + 874x103 + 627x104 + 749x105 + 832x106 + 1044x107 + 786x108 + 834x109 + 945x110 + 968x111 + 805x112 + 962x113 + 665x114 + 991x115 + 733x116 + 685x117 + 372x118 + 573x119 + 1047x120 + 653x121 + 1026x122 + 518x123 + 803x124 + 524x125 + 418x126 + 595x127 + 778x128 + 534x129 + 503x130 + 1071x131 + 927x132 + 385x133 + 818x134 + 765x135 + 751x136 + 686x137 + 694x138 + 954x139 + 619x140 + 557x141 + 752x142 + 677x143 + 736x144 + 1000x145 + 529x146 + 445x147 + 690x148 + 875x149 + 541x150 + 412x151 + 842x152 + 693x153 + 672x154 + 762x155 + 768x156 + 815x157 + 651x158 + 887x159 + 710x160 + 298x161 + 982x162 + 726x163 + 518x164 + 614x165 + 872x166 + 698x167 + 662x168 + 1134x169 + 959x170 + 840x171 + 631x172 + 1075x173 + 643x174 + 843x175 + 790x176 + 821x177 + 972x178 + 518x179 + 638x180 + 911x181 + 461x182 + 537x183 + 568x184 + 749x185 + 471x186 + 604x187 + 373x188 + 653x189 + 913x190 + 710x191 + 687x192 + 757x193 + 665x194 + 654x195 + 646x196 + 949x197 + 482x198 + 661x199 + 619x200 + 634x201 + 1030x202 + 613x203 + 625x204 + 546x205 + 801x206 + 957x207 + 488x208 + 988x209 + 394x210 + 887x211 + 996x212 + 648x213 + 814x214 + 694x215 + 583x216 + 847x217 + 638x218 + 857x219 + 498x220 + 931x221 + 1070x222 + 691x223 + 742x224 + 649x225 + 685x226 + 577x227 + 680x228 + 987x229 + 703x230 + 757x231 + 771x232 + 518x233 + 440x234 + 593x235 + 556x236 + 978x237 + 745x238 + 707x239 + 576x240 + 560x241 + 1052x242 + 761x243 + 645x244 + 747x245 + 609x246 + 960x247 + 782x248 + 799x249 + 647x250 = 0 f2: -f2 + 373x1 + 461x2 + 1071x3 + 672x4 + 534x5 + 818x6 + 690x7 + 838x8 + 957x9 + 972x10 + 674x11 + 665x12 + 686x13 + 518x14 + 647x15 + 440x16 + 524x17 + 964x18 + 639x19 + 1081x20 + 962x21 + 1017x22 + 687x23 + 738x24 + 385x25 + 920x26 + 770x27 + 488x28 + 604x29 + 710x30 + 1047x31 + 685x32 + 394x33 + 557x34 + 814x35 + 1144x36 + 576x37 + 966x38 + 957x39 + 698x40 + 580x41 + 875x42 + 710x43 + 834x44 + 1044x45 + 625x46 + 988x47 + 831x48 + 876x49 + 433x50 + 902x51 + 954x52 + 577x53 + 537x54 + 766x55 + 654x56 + 751x57 + 801x58 + 298x59 + 1026x60 + 786x61 + 693x62 + 991x63 + 936x64 + 529x65 + 516x66 + 806x67 + 996x68 + 739x69 + 747x70 + 742x71 + 790x72 + 555x73 + 814x74 + 473x75 + 945x76 + 911x77 + 680x78 + 843x79 + 366x80 + 1000x81 + 1070x82 + 583x83 + 631x84 + 1017x85 + 761x86 + 771x87 + 752x88 + 786x89 + 541x90 + 482x91 + 982x92 + 749x93 + 842x94 + 545x95 + 745x96 + 545x97 + 778x98 + 634x99 + 978x100 + 840x101 + 1168x102 + 651x103 + 872x104 + 503x105 + 579x106 + 782x107 + 518x108 + 715x109 + 649x110 + 628x111 + 595x112 + 560x113 + 646x114 + 805x115 + 959x116 + 685x117 + 614x118 + 703x119 + 927x120 + 960x121 + 749x122 + 1134x123 + 593x124 + 718x125 + 645x126 + 688x127 + 653x128 + 1018x129 + 565x130 + 648x131 + 931x132 + 795x133 + 376x134 + 485x135 + 878x136 + 693x137 + 757x138 + 857x139 + 757x140 + 927x141 + 613x142 + 556x143 + 534x144 + 847x145 + 887x146 + 913x147 + 769x148 + 418x149 + 694x150 + 762x151 + 832x152 + 382x153 + 694x154 + 801x155 + 638x156 + 501x157 + 874x158 + 521x159 + 546x160 + 528x161 + 821x162 + 815x163 + 675x164 + 894x165 + 661x166 + 859x167 + 692x168 + 795x169 + 691x170 + 988x171 + 518x172 + 481x173 + 559x174 + 931x175 + 653x176 + 498x177 + 736x178 + 517x179 + 818x180 + 807x181 + 609x182 + 547x183 + 437x184 + 1052x185 + 775x186 + 726x187 + 654x188 + 677x189 + 972x190 + 284x191 + 936x192 + 661x193 + 733x194 + 593x195 + 675x196 + 1065x197 + 848x198 + 777x199 + 518x200 + 707x201 + 1250x202 + 654x203 + 702x204 + 669x205 + 619x206 + 738x207 + 412x208 + 940x209 + 638x210 + 773x211 + 987x212 + 803x213 + 893x214 + 949x215 + 816x216 + 701x217 + 1075x218 + 925x219 + 946x220 + 372x221 + 445x222 + 1013x223 + 583x224 + 749x225 + 810x226 + 742x227 + 1070x228 + 662x229 + 894x230 + 471x231 + 883x232 + 799x233 + 887x234 + 576x235 + 768x236 + 765x237 + 719x238 + 814x239 + 649x240 + 643x241 + 627x242 + 893x243 + 1030x244 + 665x245 + 573x246 + 619x247 + 968x248 + 495x249 + 568x250 = 0 constr1: + 440x1 + 316x2 + 515x3 + 562x4 + 555x5 + 256x6 + 642x7 + 558x8 + 469x9 + 607x10 + 40x11 + 293x12 + 96x13 + 749x14 + 105x15 + 473x16 + 890x17 + 998x18 + 268x19 + 964x20 + 403x21 + 786x22 + 920x23 + 874x24 + 654x25 + 670x26 + 798x27 + 249x28 + 120x29 + 251x30 + 108x31 + 984x32 + 259x33 + 676x34 + 526x35 + 503x36 + 992x37 + 288x38 + 723x39 + 100x40 + 590x41 + 612x42 + 344x43 + 258x44 + 470x45 + 622x46 + 312x47 + 488x48 + 586x49 + 817x50 + 519x51 + 358x52 + 825x53 + 13x54 + 50x55 + 255x56 + 117x57 + 323x58 + 422x59 + 29x60 + 943x61 + 617x62 + 235x63 + 975x64 + 991x65 + 82x66 + 791x67 + 452x68 + 238x69 + 251x70 + 843x71 + 293x72 + 416x73 + 38x74 + 271x75 + 852x76 + 651x77 + 327x78 + 292x79 + 511x80 + 273x81 + 160x82 + 173x83 + 739x84 + 445x85 + 390x86 + 269x87 + 1x88 + 455x89 + 624x90 + 368x91 + 498x92 + 312x93 + 931x94 + 306x95 + 138x96 + 885x97 + 279x98 + 384x99 + 423x100 + 373x101 + 432x102 + 16x103 + 983x104 + 193x105 + 172x106 + 34x107 + 434x108 + 694x109 + 752x110 + 876x111 + 325x112 + 540x113 + 738x114 + 935x115 + 154x116 + 565x117 + 749x118 + 35x119 + 409x120 + 645x121 + 214x122 + 867x123 + 343x124 + 284x125 + 241x126 + 745x127 + 553x128 + 645x129 + 179x130 + 336x131 + 640x132 + 316x133 + 903x134 + 140x135 + 378x136 + 394x137 + 544x138 + 346x139 + 645x140 + 656x141 + 801x142 + 776x143 + 74x144 + 438x145 + 662x146 + 467x147 + 235x148 + 953x149 + 169x150 + 219x151 + 134x152 + 119x153 + 669x154 + 111x155 + 621x156 + 219x157 + 843x158 + 88x159 + 195x160 + 894x161 + 94x162 + 479x163 + 768x164 + 60x165 + 519x166 + 294x167 + 351x168 + 410x169 + 9x170 + 184x171 + 564x172 + 969x173 + 698x174 + 888x175 + 31x176 + 933x177 + 446x178 + 467x179 + 519x180 + 291x181 + 980x182 + 37x183 + 424x184 + 764x185 + 965x186 + 92x187 + 436x188 + 316x189 + 585x190 + 983x191 + 97x192 + 481x193 + 40x194 + 373x195 + 750x196 + 901x197 + 386x198 + 366x199 + 293x200 + 859x201 + 894x202 + 787x203 + 15x204 + 833x205 + 683x206 + 916x207 + 291x208 + 450x209 + 304x210 + 894x211 + 286x212 + 257x213 + 132x214 + 121x215 + 120x216 + 389x217 + 478x218 + 531x219 + 330x220 + 80x221 + 99x222 + 30x223 + 186x224 + 406x225 + 129x226 + 379x227 + 970x228 + 206x229 + 230x230 + 428x231 + 724x232 + 275x233 + 160x234 + 891x235 + 567x236 + 823x237 + 780x238 + 749x239 + 79x240 + 405x241 + 86x242 + 972x243 + 790x244 + 676x245 + 59x246 + 215x247 + 957x248 + 26x249 + 288x250 <= 31976 constr2: + 438x1 + 356x2 + 1000x3 + 452x4 + 905x5 + 366x6 + 770x7 + 413x8 + 382x9 + 77x10 + 903x11 + 495x12 + 253x13 + 991x14 + 705x15 + 500x16 + 987x17 + 287x18 + 580x19 + 185x20 + 455x21 + 764x22 + 860x23 + 811x24 + 693x25 + 90x26 + 769x27 + 942x28 + 164x29 + 184x30 + 291x31 + 373x32 + 233x33 + 855x34 + 238x35 + 744x36 + 496x37 + 286x38 + 285x39 + 153x40 + 942x41 + 894x42 + 199x43 + 470x44 + 353x45 + 137x46 + 26x47 + 621x48 + 499x49 + 489x50 + 234x51 + 209x52 + 48x53 + 635x54 + 873x55 + 823x56 + 645x57 + 840x58 + 452x59 + 183x60 + 678x61 + 208x62 + 601x63 + 988x64 + 59x65 + 438x66 + 827x67 + 26x68 + 387x69 + 185x70 + 794x71 + 555x72 + 565x73 + 816x74 + 395x75 + 121x76 + 478x77 + 76x78 + 428x79 + 208x80 + 430x81 + 971x82 + 100x83 + 379x84 + 561x85 + 280x86 + 228x87 + 484x88 + 928x89 + 685x90 + 864x91 + 161x92 + 932x93 + 412x94 + 836x95 + 449x96 + 814x97 + 753x98 + 944x99 + 90x100 + 224x101 + 280x102 + 274x103 + 745x104 + 17x105 + 885x106 + 646x107 + 623x108 + 507x109 + 552x110 + 918x111 + 214x112 + 766x113 + 973x114 + 649x115 + 63x116 + 377x117 + 317x118 + 774x119 + 145x120 + 388x121 + 104x122 + 70x123 + 242x124 + 855x125 + 94x126 + 724x127 + 246x128 + 641x129 + 328x130 + 356x131 + 648x132 + 896x133 + 817x134 + 140x135 + 764x136 + 387x137 + 716x138 + 461x139 + 536x140 + 490x141 + 341x142 + 944x143 + 431x144 + 577x145 + 79x146 + 946x147 + 549x148 + 816x149 + 858x150 + 798x151 + 463x152 + 818x153 + 921x154 + 493x155 + 250x156 + 615x157 + 972x158 + 967x159 + 473x160 + 699x161 + 803x162 + 191x163 + 563x164 + 387x165 + 310x166 + 320x167 + 419x168 + 780x169 + 877x170 + 946x171 + 950x172 + 642x173 + 947x174 + 699x175 + 258x176 + 185x177 + 986x178 + 646x179 + 116x180 + 829x181 + 509x182 + 333x183 + 398x184 + 867x185 + 376x186 + 686x187 + 235x188 + 477x189 + 872x190 + 15x191 + 531x192 + 237x193 + 467x194 + 634x195 + 996x196 + 385x197 + 462x198 + 951x199 + 823x200 + 82x201 + 512x202 + 797x203 + 103x204 + 578x205 + 675x206 + 351x207 + 96x208 + 228x209 + 572x210 + 766x211 + 965x212 + 74x213 + 680x214 + 154x215 + 750x216 + 197x217 + 53x218 + 24x219 + 395x220 + 175x221 + 809x222 + 756x223 + 123x224 + 520x225 + 22x226 + 764x227 + 955x228 + 746x229 + 81x230 + 913x231 + 464x232 + 966x233 + 414x234 + 605x235 + 692x236 + 84x237 + 323x238 + 810x239 + 953x240 + 828x241 + 831x242 + 449x243 + 215x244 + 838x245 + 969x246 + 710x247 + 390x248 + 489x249 + 721x250 <= 30032 constr3: + 667x1 + 753x2 + 177x3 + 288x4 + 241x5 + 220x6 + 523x7 + 579x8 + 277x9 + 72x10 + 55x11 + 55x12 + 567x13 + 849x14 + 794x15 + 614x16 + 283x17 + 180x18 + 932x19 + 729x20 + 708x21 + 327x22 + 963x23 + 57x24 + 63x25 + 683x26 + 50x27 + 102x28 + 688x29 + 546x30 + 796x31 + 649x32 + 726x33 + 231x34 + 964x35 + 946x36 + 46x37 + 65x38 + 936x39 + 177x40 + 65x41 + 397x42 + 697x43 + 669x44 + 316x45 + 871x46 + 428x47 + 159x48 + 172x49 + 391x50 + 110x51 + 629x52 + 102x53 + 347x54 + 465x55 + 727x56 + 896x57 + 673x58 + 322x59 + 130x60 + 362x61 + 73x62 + 263x63 + 725x64 + 34x65 + 549x66 + 889x67 + 863x68 + 59x69 + 65x70 + 998x71 + 957x72 + 132x73 + 57x74 + 36x75 + 933x76 + 24x77 + 454x78 + 333x79 + 77x80 + 873x81 + 598x82 + 637x83 + 801x84 + 876x85 + 534x86 + 469x87 + 32x88 + 835x89 + 169x90 + 798x91 + 508x92 + 766x93 + 950x94 + 565x95 + 459x96 + 687x97 + 340x98 + 873x99 + 800x100 + 496x101 + 85x102 + 742x103 + 81x104 + 374x105 + 756x106 + 855x107 + 631x108 + 914x109 + 822x110 + 78x111 + 72x112 + 196x113 + 154x114 + 972x115 + 630x116 + 375x117 + 513x118 + 815x119 + 27x120 + 410x121 + 980x122 + 879x123 + 331x124 + 100x125 + 544x126 + 231x127 + 905x128 + 974x129 + 675x130 + 604x131 + 533x132 + 758x133 + 508x134 + 656x135 + 803x136 + 951x137 + 405x138 + 708x139 + 331x140 + 394x141 + 488x142 + 919x143 + 248x144 + 748x145 + 618x146 + 105x147 + 514x148 + 285x149 + 267x150 + 639x151 + 706x152 + 412x153 + 353x154 + 340x155 + 177x156 + 444x157 + 816x158 + 13x159 + 984x160 + 213x161 + 835x162 + 378x163 + 622x164 + 123x165 + 151x166 + 683x167 + 852x168 + 56x169 + 124x170 + 985x171 + 385x172 + 217x173 + 627x174 + 31x175 + 645x176 + 329x177 + 295x178 + 101x179 + 942x180 + 176x181 + 372x182 + 924x183 + 996x184 + 897x185 + 817x186 + 191x187 + 405x188 + 527x189 + 853x190 + 46x191 + 88x192 + 758x193 + 379x194 + 794x195 + 411x196 + 217x197 + 117x198 + 152x199 + 588x200 + 607x201 + 314x202 + 686x203 + 465x204 + 549x205 + 704x206 + 816x207 + 934x208 + 771x209 + 928x210 + 96x211 + 650x212 + 799x213 + 997x214 + 415x215 + 225x216 + 649x217 + 339x218 + 582x219 + 695x220 + 419x221 + 800x222 + 691x223 + 474x224 + 920x225 + 539x226 + 293x227 + 332x228 + 847x229 + 639x230 + 919x231 + 540x232 + 22x233 + 278x234 + 813x235 + 722x236 + 672x237 + 847x238 + 591x239 + 261x240 + 170x241 + 774x242 + 65x243 + 926x244 + 714x245 + 670x246 + 7x247 + 888x248 + 253x249 + 631x250 <= 31070 constr4: + 909x1 + 915x2 + 370x3 + 121x4 + 268x5 + 285x6 + 487x7 + 377x8 + 796x9 + 594x10 + 459x11 + 996x12 + 601x13 + 396x14 + 258x15 + 602x16 + 505x17 + 727x18 + 794x19 + 462x20 + 164x21 + 667x22 + 278x23 + 274x24 + 683x25 + 83x26 + 139x27 + 553x28 + 554x29 + 371x30 + 803x31 + 304x32 + 237x33 + 340x34 + 547x35 + 298x36 + 988x37 + 808x38 + 837x39 + 214x40 + 767x41 + 597x42 + 405x43 + 177x44 + 848x45 + 889x46 + 508x47 + 963x48 + 435x49 + 402x50 + 374x51 + 243x52 + 343x53 + 779x54 + 277x55 + 826x56 + 442x57 + 78x58 + 635x59 + 66x60 + 630x61 + 500x62 + 353x63 + 955x64 + 167x65 + 630x66 + 632x67 + 209x68 + 680x69 + 778x70 + 707x71 + 135x72 + 217x73 + 341x74 + 505x75 + 362x76 + 809x77 + 988x78 + 836x79 + 462x80 + 683x81 + 720x82 + 36x83 + 930x84 + 282x85 + 341x86 + 280x87 + 762x88 + 693x89 + 746x90 + 346x91 + 825x92 + 497x93 + 574x94 + 264x95 + 452x96 + 242x97 + 15x98 + 107x99 + 245x100 + 88x101 + 11x102 + 720x103 + 996x104 + 858x105 + 635x106 + 593x107 + 430x108 + 380x109 + 291x110 + 505x111 + 811x112 + 936x113 + 642x114 + 306x115 + 625x116 + 678x117 + 474x118 + 71x119 + 531x120 + 443x121 + 703x122 + 608x123 + 575x124 + 923x125 + 112x126 + 346x127 + 483x128 + 135x129 + 416x130 + 778x131 + 222x132 + 93x133 + 698x134 + 286x135 + 70x136 + 298x137 + 206x138 + 899x139 + 453x140 + 202x141 + 702x142 + 869x143 + 906x144 + 546x145 + 280x146 + 112x147 + 930x148 + 898x149 + 138x150 + 682x151 + 460x152 + 596x153 + 559x154 + 549x155 + 253x156 + 651x157 + 940x158 + 421x159 + 384x160 + 573x161 + 441x162 + 927x163 + 60x164 + 391x165 + 336x166 + 828x167 + 204x168 + 203x169 + 776x170 + 824x171 + 767x172 + 890x173 + 199x174 + 526x175 + 524x176 + 690x177 + 505x178 + 320x179 + 243x180 + 126x181 + 596x182 + 464x183 + 989x184 + 881x185 + 376x186 + 73x187 + 826x188 + 169x189 + 183x190 + 403x191 + 604x192 + 412x193 + 153x194 + 232x195 + 871x196 + 812x197 + 957x198 + 857x199 + 430x200 + 130x201 + 983x202 + 169x203 + 972x204 + 269x205 + 596x206 + 861x207 + 784x208 + 671x209 + 575x210 + 425x211 + 694x212 + 451x213 + 721x214 + 555x215 + 438x216 + 385x217 + 603x218 + 411x219 + 294x220 + 174x221 + 812x222 + 450x223 + 702x224 + 637x225 + 73x226 + 774x227 + 32x228 + 239x229 + 968x230 + 135x231 + 892x232 + 697x233 + 923x234 + 668x235 + 933x236 + 674x237 + 246x238 + 579x239 + 454x240 + 81x241 + 735x242 + 91x243 + 907x244 + 473x245 + 921x246 + 105x247 + 543x248 + 557x249 + 983x250 <= 31376 constr5: + 758x1 + 725x2 + 418x3 + 972x4 + 743x5 + 526x6 + 537x7 + 496x8 + 811x9 + 969x10 + 621x11 + 225x12 + 179x13 + 527x14 + 957x15 + 22x16 + 743x17 + 606x18 + 913x19 + 391x20 + 34x21 + 752x22 + 875x23 + 776x24 + 795x25 + 98x26 + 316x27 + 166x28 + 813x29 + 188x30 + 677x31 + 942x32 + 714x33 + 508x34 + 362x35 + 569x36 + 514x37 + 586x38 + 87x39 + 672x40 + 149x41 + 569x42 + 912x43 + 791x44 + 642x45 + 306x46 + 898x47 + 283x48 + 662x49 + 170x50 + 779x51 + 500x52 + 588x53 + 237x54 + 435x55 + 425x56 + 472x57 + 906x58 + 496x59 + 495x60 + 825x61 + 908x62 + 3x63 + 472x64 + 730x65 + 465x66 + 372x67 + 819x68 + 256x69 + 822x70 + 623x71 + 800x72 + 850x73 + 830x74 + 603x75 + 456x76 + 218x77 + 917x78 + 447x79 + 759x80 + 582x81 + 695x82 + 212x83 + 786x84 + 13x85 + 23x86 + 840x87 + 526x88 + 690x89 + 481x90 + 121x91 + 86x92 + 811x93 + 48x94 + 212x95 + 580x96 + 71x97 + 101x98 + 209x99 + 570x100 + 826x101 + 236x102 + 63x103 + 664x104 + 697x105 + 238x106 + 423x107 + 389x108 + 28x109 + 327x110 + 858x111 + 73x112 + 150x113 + 694x114 + 178x115 + 777x116 + 662x117 + 462x118 + 258x119 + 352x120 + 772x121 + 240x122 + 509x123 + 406x124 + 235x125 + 846x126 + 656x127 + 530x128 + 305x129 + 238x130 + 47x131 + 495x132 + 536x133 + 994x134 + 57x135 + 561x136 + 618x137 + 371x138 + 979x139 + 813x140 + 575x141 + 511x142 + 421x143 + 58x144 + 391x145 + 535x146 + 527x147 + 825x148 + 575x149 + 538x150 + 354x151 + 918x152 + 412x153 + 848x154 + 94x155 + 205x156 + 944x157 + 407x158 + 256x159 + 27x160 + 840x161 + 717x162 + 712x163 + 394x164 + 922x165 + 666x166 + 284x167 + 458x168 + 775x169 + 515x170 + 527x171 + 848x172 + 589x173 + 775x174 + 151x175 + 593x176 + 329x177 + 298x178 + 290x179 + 411x180 + 711x181 + 171x182 + 54x183 + 448x184 + 843x185 + 55x186 + 419x187 + 435x188 + 12x189 + 538x190 + 658x191 + 518x192 + 155x193 + 162x194 + 139x195 + 657x196 + 671x197 + 754x198 + 688x199 + 604x200 + 702x201 + 815x202 + 667x203 + 671x204 + 948x205 + 125x206 + 560x207 + 462x208 + 364x209 + 151x210 + 307x211 + 839x212 + 792x213 + 681x214 + 320x215 + 679x216 + 832x217 + 94x218 + 445x219 + 800x220 + 196x221 + 449x222 + 240x223 + 196x224 + 267x225 + 517x226 + 376x227 + 271x228 + 696x229 + 164x230 + 941x231 + 454x232 + 240x233 + 895x234 + 951x235 + 585x236 + 292x237 + 738x238 + 424x239 + 194x240 + 967x241 + 46x242 + 370x243 + 772x244 + 151x245 + 788x246 + 303x247 + 786x248 + 60x249 + 517x250 <= 32346 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