minimize 
objective: s
subject to 
s1: s + 0.501000f1 + 0.001000f2 >= 93265.576000 
s2: s + 0.001000f1 + 0.501000f2 >= 93265.576000 
f1: -f1 + 658x1 + 1071x2 + 613x3 + 685x4 + 596x5 + 786x6 + 385x7 + 818x8 + 602x9 + 804x10 + 838x11 + 708x12 + 576x13 + 618x14 + 609x15 + 666x16 + 954x17 + 469x18 + 443x19 + 451x20 + 456x21 + 657x22 + 992x23 + 726x24 + 913x25 + 773x26 + 699x27 + 597x28 + 868x29 + 559x30 + 967x31 + 939x32 + 944x33 + 925x34 + 630x35 + 1117x36 + 786x37 + 487x38 + 870x39 + 917x40 + 888x41 + 522x42 + 836x43 + 671x44 + 1070x45 + 525x46 + 819x47 + 650x48 + 616x49 + 648x50 + 691x51 + 1102x52 + 584x53 + 697x54 + 537x55 + 850x56 + 718x57 + 727x58 + 900x59 + 726x60 + 921x61 + 636x62 + 742x63 + 906x64 + 748x65 + 519x66 + 438x67 + 624x68 + 573x69 + 915x70 + 973x71 + 487x72 + 493x73 + 979x74 + 986x75 + 977x76 + 615x77 + 930x78 + 590x79 + 812x80 + 995x81 + 518x82 + 624x83 + 576x84 + 691x85 + 682x86 + 577x87 + 847x88 + 946x89 + 828x90 + 793x91 + 676x92 + 531x93 + 959x94 + 904x95 + 542x96 + 706x97 + 1006x98 + 572x99 + 445x100 + 923x101 + 630x102 + 879x103 + 566x104 + 662x105 + 524x106 + 505x107 + 598x108 + 760x109 + 813x110 + 933x111 + 713x112 + 943x113 + 910x114 + 813x115 + 492x116 + 1054x117 + 1030x118 + 1050x119 + 827x120 + 1005x121 + 462x122 + 844x123 + 612x124 + 864x125 + 790x126 + 890x127 + 584x128 + 568x129 + 883x130 + 626x131 + 1013x132 + 932x133 + 558x134 + 824x135 + 344x136 + 841x137 + 950x138 + 686x139 + 771x140 + 452x141 + 675x142 + 864x143 + 690x144 + 653x145 + 878x146 + 607x147 + 880x148 + 713x149 + 842x150 + 573x151 + 840x152 + 671x153 + 878x154 + 844x155 + 706x156 + 456x157 + 656x158 + 830x159 + 984x160 + 937x161 + 566x162 + 795x163 + 696x164 + 447x165 + 496x166 + 1090x167 + 763x168 + 628x169 + 775x170 + 517x171 + 640x172 + 724x173 + 743x174 + 461x175 + 593x176 + 996x177 + 1002x178 + 684x179 + 626x180 + 803x181 + 609x182 + 849x183 + 839x184 + 914x185 + 916x186 + 909x187 + 948x188 + 1090x189 + 695x190 + 872x191 + 763x192 + 743x193 + 975x194 + 868x195 + 1044x196 + 760x197 + 833x198 + 723x199 + 468x200 + 578x201 + 513x202 + 781x203 + 544x204 + 525x205 + 856x206 + 697x207 + 636x208 + 1039x209 + 740x210 + 677x211 + 944x212 + 572x213 + 475x214 + 798x215 + 706x216 + 950x217 + 865x218 + 689x219 + 931x220 + 519x221 + 643x222 + 558x223 + 693x224 + 945x225 + 638x226 + 795x227 + 582x228 + 959x229 + 524x230 + 858x231 + 563x232 + 976x233 + 705x234 + 886x235 + 510x236 + 647x237 + 669x238 + 918x239 + 678x240 + 525x241 + 839x242 + 542x243 + 790x244 + 576x245 + 805x246 + 1015x247 + 869x248 + 814x249 + 836x250  = 0 
f2: -f2 + 522x1 + 445x2 + 748x3 + 975x4 + 840x5 + 743x6 + 697x7 + 542x8 + 933x9 + 1054x10 + 706x11 + 438x12 + 888x13 + 856x14 + 597x15 + 563x16 + 883x17 + 900x18 + 666x19 + 695x20 + 675x21 + 566x22 + 813x23 + 948x24 + 699x25 + 931x26 + 493x27 + 996x28 + 760x29 + 798x30 + 461x31 + 705x32 + 576x33 + 596x34 + 718x35 + 517x36 + 959x37 + 616x38 + 872x39 + 932x40 + 946x41 + 510x42 + 939x43 + 945x44 + 1050x45 + 613x46 + 1015x47 + 1102x48 + 648x49 + 760x50 + 937x51 + 677x52 + 726x53 + 742x54 + 833x55 + 880x56 + 344x57 + 669x58 + 944x59 + 839x60 + 836x61 + 864x62 + 844x63 + 544x64 + 850x65 + 1039x66 + 836x67 + 1070x68 + 842x69 + 658x70 + 995x71 + 1044x72 + 918x73 + 967x74 + 640x75 + 870x76 + 693x77 + 573x78 + 781x79 + 671x80 + 624x81 + 914x82 + 487x83 + 657x84 + 525x85 + 979x86 + 795x87 + 813x88 + 944x89 + 689x90 + 930x91 + 959x92 + 890x93 + 828x94 + 724x95 + 923x96 + 519x97 + 812x98 + 475x99 + 917x100 + 568x101 + 451x102 + 671x103 + 773x104 + 647x105 + 628x106 + 584x107 + 686x108 + 847x109 + 559x110 + 1090x111 + 804x112 + 886x113 + 858x114 + 878x115 + 558x116 + 868x117 + 678x118 + 697x119 + 572x120 + 496x121 + 775x122 + 691x123 + 576x124 + 904x125 + 505x126 + 612x127 + 638x128 + 992x129 + 626x130 + 830x131 + 513x132 + 531x133 + 519x134 + 771x135 + 462x136 + 1006x137 + 682x138 + 524x139 + 910x140 + 844x141 + 1005x142 + 593x143 + 609x144 + 630x145 + 879x146 + 626x147 + 790x148 + 524x149 + 653x150 + 984x151 + 487x152 + 1117x153 + 685x154 + 572x155 + 443x156 + 598x157 + 973x158 + 950x159 + 636x160 + 839x161 + 977x162 + 878x163 + 864x164 + 913x165 + 684x166 + 921x167 + 643x168 + 618x169 + 385x170 + 803x171 + 1090x172 + 691x173 + 869x174 + 909x175 + 915x176 + 786x177 + 469x178 + 630x179 + 615x180 + 865x181 + 723x182 + 868x183 + 814x184 + 740x185 + 849x186 + 726x187 + 578x188 + 584x189 + 1071x190 + 841x191 + 577x192 + 662x193 + 743x194 + 558x195 + 566x196 + 492x197 + 609x198 + 468x199 + 713x200 + 602x201 + 456x202 + 624x203 + 827x204 + 916x205 + 447x206 + 582x207 + 954x208 + 713x209 + 590x210 + 943x211 + 976x212 + 1013x213 + 576x214 + 786x215 + 1002x216 + 607x217 + 824x218 + 456x219 + 542x220 + 708x221 + 763x222 + 573x223 + 656x224 + 636x225 + 763x226 + 727x227 + 950x228 + 650x229 + 696x230 + 795x231 + 819x232 + 525x233 + 805x234 + 818x235 + 706x236 + 452x237 + 793x238 + 790x239 + 676x240 + 986x241 + 1030x242 + 518x243 + 537x244 + 925x245 + 838x246 + 706x247 + 906x248 + 525x249 + 690x250  = 0 
constr1: + 855x1 + 99x2 + 55x3 + 688x4 + 257x5 + 799x6 + 48x7 + 248x8 + 508x9 + 830x10 + 976x11 + 359x12 + 964x13 + 209x14 + 9x15 + 132x16 + 880x17 + 658x18 + 106x19 + 991x20 + 774x21 + 233x22 + 709x23 + 646x24 + 382x25 + 617x26 + 416x27 + 875x28 + 667x29 + 250x30 + 879x31 + 907x32 + 520x33 + 271x34 + 46x35 + 943x36 + 175x37 + 615x38 + 409x39 + 348x40 + 649x41 + 534x42 + 286x43 + 52x44 + 971x45 + 338x46 + 407x47 + 476x48 + 29x49 + 657x50 + 707x51 + 814x52 + 163x53 + 984x54 + 483x55 + 232x56 + 806x57 + 515x58 + 536x59 + 649x60 + 506x61 + 578x62 + 434x63 + 896x64 + 376x65 + 896x66 + 856x67 + 695x68 + 995x69 + 973x70 + 669x71 + 690x72 + 365x73 + 555x74 + 983x75 + 475x76 + 154x77 + 362x78 + 896x79 + 359x80 + 153x81 + 197x82 + 895x83 + 344x84 + 480x85 + 573x86 + 174x87 + 90x88 + 926x89 + 539x90 + 379x91 + 777x92 + 577x93 + 48x94 + 201x95 + 640x96 + 968x97 + 591x98 + 158x99 + 729x100 + 904x101 + 904x102 + 69x103 + 9x104 + 105x105 + 413x106 + 876x107 + 315x108 + 760x109 + 982x110 + 621x111 + 883x112 + 909x113 + 703x114 + 383x115 + 866x116 + 644x117 + 143x118 + 363x119 + 767x120 + 70x121 + 249x122 + 794x123 + 522x124 + 471x125 + 708x126 + 132x127 + 817x128 + 456x129 + 284x130 + 240x131 + 676x132 + 628x133 + 593x134 + 233x135 + 891x136 + 237x137 + 710x138 + 388x139 + 341x140 + 495x141 + 289x142 + 341x143 + 305x144 + 801x145 + 679x146 + 34x147 + 359x148 + 265x149 + 151x150 + 485x151 + 653x152 + 342x153 + 820x154 + 316x155 + 693x156 + 166x157 + 686x158 + 794x159 + 491x160 + 920x161 + 591x162 + 5x163 + 786x164 + 817x165 + 72x166 + 864x167 + 534x168 + 441x169 + 964x170 + 865x171 + 241x172 + 141x173 + 450x174 + 202x175 + 496x176 + 412x177 + 549x178 + 562x179 + 877x180 + 29x181 + 205x182 + 50x183 + 757x184 + 301x185 + 581x186 + 794x187 + 554x188 + 788x189 + 493x190 + 676x191 + 112x192 + 55x193 + 976x194 + 511x195 + 457x196 + 964x197 + 525x198 + 123x199 + 523x200 + 316x201 + 776x202 + 497x203 + 783x204 + 98x205 + 320x206 + 498x207 + 178x208 + 248x209 + 352x210 + 829x211 + 861x212 + 240x213 + 64x214 + 27x215 + 239x216 + 357x217 + 476x218 + 765x219 + 448x220 + 545x221 + 794x222 + 347x223 + 206x224 + 406x225 + 286x226 + 660x227 + 170x228 + 488x229 + 983x230 + 946x231 + 826x232 + 847x233 + 433x234 + 325x235 + 886x236 + 688x237 + 604x238 + 838x239 + 221x240 + 963x241 + 977x242 + 548x243 + 903x244 + 892x245 + 570x246 + 696x247 + 643x248 + 996x249 + 296x250 <= 31685 
constr2: + 785x1 + 896x2 + 405x3 + 385x4 + 143x5 + 708x6 + 573x7 + 248x8 + 665x9 + 414x10 + 891x11 + 518x12 + 366x13 + 452x14 + 754x15 + 341x16 + 260x17 + 12x18 + 792x19 + 707x20 + 147x21 + 483x22 + 801x23 + 498x24 + 665x25 + 640x26 + 170x27 + 57x28 + 421x29 + 520x30 + 624x31 + 503x32 + 551x33 + 418x34 + 761x35 + 45x36 + 652x37 + 177x38 + 296x39 + 243x40 + 996x41 + 159x42 + 644x43 + 823x44 + 429x45 + 174x46 + 879x47 + 220x48 + 928x49 + 656x50 + 449x51 + 726x52 + 378x53 + 702x54 + 244x55 + 617x56 + 562x57 + 434x58 + 423x59 + 106x60 + 591x61 + 632x62 + 62x63 + 506x64 + 465x65 + 806x66 + 174x67 + 768x68 + 5x69 + 114x70 + 12x71 + 213x72 + 300x73 + 698x74 + 733x75 + 880x76 + 370x77 + 484x78 + 293x79 + 529x80 + 961x81 + 789x82 + 66x83 + 872x84 + 781x85 + 468x86 + 80x87 + 78x88 + 408x89 + 255x90 + 141x91 + 345x92 + 494x93 + 554x94 + 876x95 + 451x96 + 712x97 + 598x98 + 668x99 + 201x100 + 683x101 + 429x102 + 40x103 + 950x104 + 584x105 + 784x106 + 167x107 + 855x108 + 187x109 + 579x110 + 763x111 + 118x112 + 582x113 + 758x114 + 172x115 + 601x116 + 414x117 + 501x118 + 900x119 + 251x120 + 19x121 + 502x122 + 907x123 + 520x124 + 706x125 + 295x126 + 483x127 + 531x128 + 628x129 + 176x130 + 882x131 + 377x132 + 246x133 + 187x134 + 781x135 + 861x136 + 937x137 + 161x138 + 873x139 + 837x140 + 265x141 + 46x142 + 746x143 + 913x144 + 936x145 + 290x146 + 751x147 + 521x148 + 643x149 + 136x150 + 914x151 + 117x152 + 290x153 + 121x154 + 458x155 + 525x156 + 114x157 + 479x158 + 610x159 + 945x160 + 628x161 + 77x162 + 841x163 + 712x164 + 637x165 + 532x166 + 483x167 + 275x168 + 62x169 + 581x170 + 397x171 + 225x172 + 300x173 + 315x174 + 778x175 + 763x176 + 783x177 + 424x178 + 866x179 + 87x180 + 989x181 + 862x182 + 480x183 + 47x184 + 734x185 + 509x186 + 378x187 + 337x188 + 63x189 + 346x190 + 370x191 + 887x192 + 282x193 + 452x194 + 649x195 + 470x196 + 722x197 + 991x198 + 313x199 + 832x200 + 817x201 + 251x202 + 665x203 + 876x204 + 676x205 + 204x206 + 315x207 + 596x208 + 499x209 + 657x210 + 199x211 + 140x212 + 356x213 + 783x214 + 271x215 + 255x216 + 551x217 + 149x218 + 402x219 + 84x220 + 441x221 + 56x222 + 260x223 + 91x224 + 540x225 + 302x226 + 98x227 + 66x228 + 675x229 + 245x230 + 288x231 + 92x232 + 440x233 + 692x234 + 686x235 + 423x236 + 392x237 + 911x238 + 660x239 + 259x240 + 307x241 + 797x242 + 348x243 + 904x244 + 495x245 + 386x246 + 414x247 + 343x248 + 252x249 + 904x250 <= 30255 
constr3: + 406x1 + 239x2 + 47x3 + 487x4 + 355x5 + 198x6 + 575x7 + 180x8 + 113x9 + 298x10 + 566x11 + 158x12 + 937x13 + 712x14 + 316x15 + 23x16 + 884x17 + 251x18 + 775x19 + 729x20 + 997x21 + 769x22 + 992x23 + 712x24 + 388x25 + 781x26 + 148x27 + 844x28 + 379x29 + 373x30 + 886x31 + 754x32 + 18x33 + 322x34 + 2x35 + 978x36 + 332x37 + 197x38 + 729x39 + 624x40 + 650x41 + 511x42 + 241x43 + 565x44 + 662x45 + 254x46 + 596x47 + 445x48 + 391x49 + 237x50 + 959x51 + 216x52 + 921x53 + 962x54 + 51x55 + 115x56 + 476x57 + 704x58 + 181x59 + 311x60 + 794x61 + 652x62 + 503x63 + 991x64 + 411x65 + 410x66 + 623x67 + 981x68 + 451x69 + 944x70 + 197x71 + 475x72 + 105x73 + 743x74 + 279x75 + 163x76 + 72x77 + 799x78 + 798x79 + 770x80 + 847x81 + 962x82 + 409x83 + 591x84 + 899x85 + 422x86 + 615x87 + 471x88 + 602x89 + 718x90 + 359x91 + 914x92 + 455x93 + 328x94 + 186x95 + 476x96 + 59x97 + 646x98 + 13x99 + 151x100 + 136x101 + 614x102 + 266x103 + 190x104 + 622x105 + 348x106 + 686x107 + 210x108 + 960x109 + 37x110 + 114x111 + 359x112 + 998x113 + 148x114 + 804x115 + 781x116 + 858x117 + 903x118 + 549x119 + 505x120 + 181x121 + 984x122 + 267x123 + 716x124 + 730x125 + 359x126 + 471x127 + 145x128 + 512x129 + 557x130 + 430x131 + 689x132 + 658x133 + 72x134 + 377x135 + 841x136 + 656x137 + 452x138 + 855x139 + 648x140 + 270x141 + 662x142 + 656x143 + 419x144 + 738x145 + 129x146 + 209x147 + 99x148 + 184x149 + 843x150 + 869x151 + 636x152 + 15x153 + 206x154 + 409x155 + 702x156 + 139x157 + 18x158 + 277x159 + 782x160 + 475x161 + 288x162 + 976x163 + 251x164 + 442x165 + 566x166 + 122x167 + 115x168 + 585x169 + 640x170 + 329x171 + 198x172 + 561x173 + 595x174 + 919x175 + 848x176 + 348x177 + 858x178 + 536x179 + 473x180 + 571x181 + 763x182 + 975x183 + 590x184 + 286x185 + 776x186 + 832x187 + 704x188 + 49x189 + 33x190 + 141x191 + 786x192 + 804x193 + 830x194 + 908x195 + 573x196 + 528x197 + 656x198 + 941x199 + 622x200 + 631x201 + 575x202 + 502x203 + 572x204 + 779x205 + 835x206 + 248x207 + 84x208 + 187x209 + 902x210 + 849x211 + 215x212 + 867x213 + 102x214 + 346x215 + 553x216 + 27x217 + 398x218 + 505x219 + 938x220 + 213x221 + 443x222 + 983x223 + 478x224 + 434x225 + 865x226 + 97x227 + 543x228 + 36x229 + 589x230 + 657x231 + 280x232 + 171x233 + 307x234 + 148x235 + 257x236 + 714x237 + 232x238 + 603x239 + 24x240 + 304x241 + 982x242 + 828x243 + 20x244 + 306x245 + 845x246 + 384x247 + 250x248 + 654x249 + 463x250 <= 30844 
constr4: + 888x1 + 529x2 + 797x3 + 721x4 + 543x5 + 846x6 + 494x7 + 643x8 + 405x9 + 911x10 + 739x11 + 839x12 + 189x13 + 539x14 + 344x15 + 923x16 + 944x17 + 733x18 + 768x19 + 430x20 + 920x21 + 693x22 + 936x23 + 982x24 + 920x25 + 660x26 + 763x27 + 428x28 + 504x29 + 666x30 + 103x31 + 117x32 + 83x33 + 954x34 + 452x35 + 850x36 + 842x37 + 67x38 + 714x39 + 423x40 + 961x41 + 310x42 + 242x43 + 461x44 + 183x45 + 420x46 + 33x47 + 929x48 + 153x49 + 831x50 + 427x51 + 149x52 + 485x53 + 846x54 + 171x55 + 44x56 + 145x57 + 324x58 + 94x59 + 664x60 + 91x61 + 888x62 + 440x63 + 150x64 + 537x65 + 348x66 + 491x67 + 455x68 + 865x69 + 24x70 + 109x71 + 119x72 + 391x73 + 511x74 + 464x75 + 103x76 + 628x77 + 502x78 + 386x79 + 605x80 + 460x81 + 906x82 + 364x83 + 696x84 + 301x85 + 241x86 + 781x87 + 255x88 + 461x89 + 557x90 + 183x91 + 801x92 + 802x93 + 574x94 + 319x95 + 844x96 + 681x97 + 15x98 + 223x99 + 297x100 + 722x101 + 783x102 + 134x103 + 252x104 + 417x105 + 568x106 + 772x107 + 814x108 + 924x109 + 601x110 + 913x111 + 221x112 + 337x113 + 837x114 + 468x115 + 408x116 + 56x117 + 51x118 + 798x119 + 942x120 + 163x121 + 991x122 + 975x123 + 694x124 + 843x125 + 654x126 + 294x127 + 815x128 + 332x129 + 643x130 + 883x131 + 983x132 + 606x133 + 558x134 + 630x135 + 189x136 + 908x137 + 458x138 + 920x139 + 258x140 + 783x141 + 452x142 + 742x143 + 970x144 + 178x145 + 353x146 + 12x147 + 469x148 + 981x149 + 999x150 + 637x151 + 818x152 + 164x153 + 177x154 + 494x155 + 49x156 + 503x157 + 133x158 + 531x159 + 294x160 + 690x161 + 536x162 + 782x163 + 43x164 + 93x165 + 646x166 + 53x167 + 220x168 + 819x169 + 772x170 + 506x171 + 179x172 + 836x173 + 945x174 + 619x175 + 891x176 + 757x177 + 102x178 + 881x179 + 679x180 + 229x181 + 724x182 + 564x183 + 211x184 + 760x185 + 748x186 + 683x187 + 488x188 + 454x189 + 478x190 + 118x191 + 130x192 + 571x193 + 613x194 + 615x195 + 83x196 + 678x197 + 31x198 + 10x199 + 711x200 + 252x201 + 720x202 + 747x203 + 544x204 + 565x205 + 510x206 + 902x207 + 410x208 + 163x209 + 44x210 + 582x211 + 222x212 + 336x213 + 249x214 + 993x215 + 833x216 + 95x217 + 488x218 + 568x219 + 947x220 + 984x221 + 695x222 + 225x223 + 323x224 + 406x225 + 715x226 + 231x227 + 96x228 + 171x229 + 241x230 + 727x231 + 719x232 + 928x233 + 660x234 + 10x235 + 330x236 + 600x237 + 35x238 + 104x239 + 565x240 + 940x241 + 826x242 + 769x243 + 433x244 + 454x245 + 215x246 + 188x247 + 11x248 + 464x249 + 28x250 <= 30105 
constr5: + 119x1 + 972x2 + 338x3 + 181x4 + 159x5 + 810x6 + 370x7 + 595x8 + 196x9 + 712x10 + 281x11 + 407x12 + 464x13 + 908x14 + 31x15 + 479x16 + 355x17 + 215x18 + 80x19 + 896x20 + 461x21 + 646x22 + 150x23 + 551x24 + 751x25 + 171x26 + 44x27 + 371x28 + 113x29 + 970x30 + 914x31 + 311x32 + 35x33 + 7x34 + 198x35 + 555x36 + 103x37 + 244x38 + 687x39 + 777x40 + 107x41 + 174x42 + 274x43 + 994x44 + 425x45 + 767x46 + 832x47 + 865x48 + 705x49 + 275x50 + 764x51 + 812x52 + 443x53 + 293x54 + 231x55 + 441x56 + 624x57 + 673x58 + 205x59 + 229x60 + 800x61 + 90x62 + 39x63 + 684x64 + 539x65 + 227x66 + 402x67 + 382x68 + 83x69 + 457x70 + 44x71 + 997x72 + 294x73 + 364x74 + 316x75 + 83x76 + 502x77 + 476x78 + 345x79 + 672x80 + 651x81 + 280x82 + 519x83 + 102x84 + 485x85 + 606x86 + 712x87 + 32x88 + 813x89 + 153x90 + 711x91 + 460x92 + 195x93 + 900x94 + 340x95 + 326x96 + 783x97 + 361x98 + 541x99 + 174x100 + 819x101 + 359x102 + 369x103 + 951x104 + 277x105 + 149x106 + 437x107 + 321x108 + 15x109 + 618x110 + 402x111 + 270x112 + 384x113 + 71x114 + 747x115 + 854x116 + 115x117 + 305x118 + 633x119 + 61x120 + 949x121 + 514x122 + 400x123 + 289x124 + 730x125 + 559x126 + 225x127 + 183x128 + 767x129 + 521x130 + 360x131 + 61x132 + 878x133 + 14x134 + 206x135 + 487x136 + 727x137 + 544x138 + 751x139 + 45x140 + 739x141 + 162x142 + 986x143 + 409x144 + 946x145 + 32x146 + 998x147 + 539x148 + 476x149 + 30x150 + 577x151 + 719x152 + 978x153 + 350x154 + 961x155 + 860x156 + 916x157 + 76x158 + 950x159 + 349x160 + 106x161 + 667x162 + 219x163 + 89x164 + 214x165 + 872x166 + 18x167 + 837x168 + 933x169 + 948x170 + 519x171 + 134x172 + 532x173 + 924x174 + 163x175 + 994x176 + 831x177 + 467x178 + 673x179 + 942x180 + 330x181 + 268x182 + 818x183 + 279x184 + 762x185 + 99x186 + 234x187 + 860x188 + 722x189 + 843x190 + 458x191 + 464x192 + 337x193 + 911x194 + 326x195 + 387x196 + 929x197 + 691x198 + 351x199 + 80x200 + 31x201 + 842x202 + 160x203 + 158x204 + 864x205 + 640x206 + 915x207 + 241x208 + 544x209 + 759x210 + 859x211 + 303x212 + 587x213 + 124x214 + 474x215 + 630x216 + 14x217 + 354x218 + 674x219 + 435x220 + 428x221 + 404x222 + 238x223 + 626x224 + 308x225 + 980x226 + 40x227 + 699x228 + 975x229 + 456x230 + 130x231 + 449x232 + 845x233 + 858x234 + 168x235 + 531x236 + 359x237 + 893x238 + 843x239 + 285x240 + 581x241 + 749x242 + 190x243 + 942x244 + 7x245 + 86x246 + 281x247 + 577x248 + 829x249 + 786x250 <= 32721 
constr6: + 647x1 + 186x2 + 587x3 + 876x4 + 198x5 + 635x6 + 64x7 + 402x8 + 588x9 + 439x10 + 196x11 + 762x12 + 516x13 + 167x14 + 248x15 + 411x16 + 628x17 + 265x18 + 232x19 + 971x20 + 641x21 + 368x22 + 542x23 + 1000x24 + 655x25 + 449x26 + 423x27 + 831x28 + 932x29 + 637x30 + 34x31 + 63x32 + 708x33 + 788x34 + 38x35 + 741x36 + 84x37 + 262x38 + 235x39 + 743x40 + 650x41 + 74x42 + 422x43 + 683x44 + 104x45 + 786x46 + 680x47 + 800x48 + 302x49 + 923x50 + 430x51 + 361x52 + 143x53 + 447x54 + 136x55 + 511x56 + 890x57 + 980x58 + 867x59 + 102x60 + 705x61 + 316x62 + 505x63 + 117x64 + 939x65 + 293x66 + 558x67 + 688x68 + 779x69 + 736x70 + 499x71 + 720x72 + 648x73 + 749x74 + 389x75 + 407x76 + 285x77 + 924x78 + 933x79 + 119x80 + 793x81 + 211x82 + 840x83 + 346x84 + 135x85 + 172x86 + 78x87 + 89x88 + 237x89 + 422x90 + 189x91 + 295x92 + 742x93 + 225x94 + 349x95 + 445x96 + 690x97 + 676x98 + 187x99 + 262x100 + 163x101 + 713x102 + 656x103 + 715x104 + 688x105 + 494x106 + 425x107 + 998x108 + 923x109 + 524x110 + 399x111 + 809x112 + 797x113 + 682x114 + 543x115 + 974x116 + 767x117 + 8x118 + 745x119 + 693x120 + 377x121 + 614x122 + 59x123 + 52x124 + 253x125 + 349x126 + 229x127 + 760x128 + 930x129 + 603x130 + 348x131 + 320x132 + 963x133 + 697x134 + 658x135 + 265x136 + 328x137 + 958x138 + 10x139 + 832x140 + 570x141 + 379x142 + 14x143 + 925x144 + 553x145 + 39x146 + 539x147 + 444x148 + 880x149 + 35x150 + 897x151 + 669x152 + 909x153 + 549x154 + 230x155 + 787x156 + 828x157 + 519x158 + 426x159 + 462x160 + 11x161 + 279x162 + 82x163 + 867x164 + 293x165 + 807x166 + 304x167 + 753x168 + 905x169 + 173x170 + 935x171 + 204x172 + 626x173 + 897x174 + 633x175 + 372x176 + 526x177 + 67x178 + 675x179 + 341x180 + 626x181 + 949x182 + 678x183 + 439x184 + 746x185 + 299x186 + 838x187 + 909x188 + 444x189 + 257x190 + 836x191 + 263x192 + 436x193 + 603x194 + 813x195 + 530x196 + 183x197 + 84x198 + 315x199 + 717x200 + 210x201 + 554x202 + 681x203 + 796x204 + 874x205 + 870x206 + 730x207 + 742x208 + 492x209 + 239x210 + 953x211 + 865x212 + 844x213 + 61x214 + 543x215 + 883x216 + 721x217 + 320x218 + 170x219 + 601x220 + 156x221 + 393x222 + 506x223 + 27x224 + 790x225 + 318x226 + 349x227 + 83x228 + 210x229 + 416x230 + 723x231 + 307x232 + 117x233 + 134x234 + 576x235 + 134x236 + 179x237 + 474x238 + 390x239 + 171x240 + 843x241 + 336x242 + 987x243 + 296x244 + 455x245 + 605x246 + 173x247 + 427x248 + 47x249 + 988x250 <= 31138 
constr7: + 315x1 + 296x2 + 786x3 + 743x4 + 183x5 + 421x6 + 6x7 + 487x8 + 633x9 + 633x10 + 729x11 + 343x12 + 747x13 + 662x14 + 947x15 + 419x16 + 874x17 + 943x18 + 879x19 + 159x20 + 184x21 + 470x22 + 101x23 + 160x24 + 209x25 + 110x26 + 648x27 + 35x28 + 671x29 + 176x30 + 559x31 + 266x32 + 440x33 + 480x34 + 950x35 + 884x36 + 397x37 + 176x38 + 828x39 + 124x40 + 363x41 + 688x42 + 117x43 + 447x44 + 916x45 + 607x46 + 207x47 + 472x48 + 517x49 + 411x50 + 23x51 + 342x52 + 439x53 + 177x54 + 683x55 + 922x56 + 472x57 + 881x58 + 71x59 + 52x60 + 353x61 + 681x62 + 378x63 + 781x64 + 351x65 + 487x66 + 712x67 + 821x68 + 973x69 + 58x70 + 681x71 + 500x72 + 887x73 + 216x74 + 806x75 + 26x76 + 134x77 + 911x78 + 689x79 + 338x80 + 169x81 + 14x82 + 764x83 + 312x84 + 640x85 + 259x86 + 502x87 + 737x88 + 936x89 + 773x90 + 211x91 + 641x92 + 852x93 + 360x94 + 811x95 + 221x96 + 400x97 + 615x98 + 208x99 + 977x100 + 983x101 + 467x102 + 883x103 + 144x104 + 692x105 + 183x106 + 302x107 + 409x108 + 842x109 + 878x110 + 80x111 + 679x112 + 223x113 + 161x114 + 510x115 + 606x116 + 130x117 + 692x118 + 455x119 + 171x120 + 666x121 + 96x122 + 686x123 + 706x124 + 185x125 + 864x126 + 657x127 + 592x128 + 19x129 + 846x130 + 190x131 + 697x132 + 346x133 + 725x134 + 139x135 + 664x136 + 883x137 + 710x138 + 27x139 + 76x140 + 400x141 + 734x142 + 294x143 + 544x144 + 686x145 + 876x146 + 359x147 + 608x148 + 406x149 + 606x150 + 286x151 + 177x152 + 575x153 + 779x154 + 190x155 + 767x156 + 984x157 + 455x158 + 102x159 + 518x160 + 328x161 + 781x162 + 257x163 + 636x164 + 63x165 + 462x166 + 536x167 + 356x168 + 716x169 + 301x170 + 22x171 + 891x172 + 944x173 + 549x174 + 785x175 + 132x176 + 487x177 + 335x178 + 717x179 + 782x180 + 812x181 + 439x182 + 658x183 + 90x184 + 724x185 + 133x186 + 571x187 + 496x188 + 496x189 + 783x190 + 176x191 + 705x192 + 758x193 + 867x194 + 931x195 + 908x196 + 590x197 + 999x198 + 780x199 + 363x200 + 295x201 + 844x202 + 942x203 + 565x204 + 833x205 + 244x206 + 930x207 + 724x208 + 402x209 + 25x210 + 913x211 + 279x212 + 76x213 + 88x214 + 853x215 + 631x216 + 796x217 + 88x218 + 63x219 + 180x220 + 122x221 + 573x222 + 63x223 + 543x224 + 662x225 + 705x226 + 578x227 + 399x228 + 927x229 + 504x230 + 189x231 + 214x232 + 875x233 + 306x234 + 293x235 + 428x236 + 508x237 + 427x238 + 952x239 + 985x240 + 55x241 + 124x242 + 123x243 + 868x244 + 542x245 + 760x246 + 461x247 + 368x248 + 853x249 + 722x250 <= 31066 
constr8: + 53x1 + 998x2 + 978x3 + 569x4 + 831x5 + 702x6 + 14x7 + 362x8 + 102x9 + 85x10 + 689x11 + 255x12 + 146x13 + 74x14 + 488x15 + 996x16 + 708x17 + 899x18 + 402x19 + 327x20 + 890x21 + 382x22 + 36x23 + 244x24 + 381x25 + 805x26 + 908x27 + 624x28 + 460x29 + 140x30 + 672x31 + 775x32 + 425x33 + 659x34 + 383x35 + 16x36 + 313x37 + 672x38 + 132x39 + 333x40 + 534x41 + 548x42 + 289x43 + 470x44 + 702x45 + 723x46 + 775x47 + 854x48 + 539x49 + 230x50 + 48x51 + 26x52 + 283x53 + 587x54 + 952x55 + 687x56 + 472x57 + 665x58 + 877x59 + 627x60 + 319x61 + 319x62 + 981x63 + 881x64 + 75x65 + 829x66 + 294x67 + 863x68 + 745x69 + 871x70 + 982x71 + 241x72 + 332x73 + 6x74 + 955x75 + 574x76 + 448x77 + 225x78 + 313x79 + 616x80 + 977x81 + 470x82 + 625x83 + 214x84 + 795x85 + 300x86 + 247x87 + 115x88 + 633x89 + 683x90 + 481x91 + 367x92 + 913x93 + 927x94 + 100x95 + 467x96 + 180x97 + 131x98 + 617x99 + 575x100 + 985x101 + 146x102 + 378x103 + 774x104 + 424x105 + 302x106 + 648x107 + 14x108 + 993x109 + 715x110 + 974x111 + 491x112 + 773x113 + 819x114 + 381x115 + 394x116 + 322x117 + 946x118 + 544x119 + 560x120 + 369x121 + 273x122 + 255x123 + 867x124 + 657x125 + 141x126 + 175x127 + 86x128 + 532x129 + 270x130 + 406x131 + 928x132 + 967x133 + 499x134 + 521x135 + 467x136 + 892x137 + 730x138 + 176x139 + 391x140 + 561x141 + 251x142 + 478x143 + 70x144 + 992x145 + 789x146 + 947x147 + 152x148 + 71x149 + 332x150 + 620x151 + 366x152 + 568x153 + 539x154 + 584x155 + 465x156 + 816x157 + 822x158 + 268x159 + 370x160 + 74x161 + 870x162 + 102x163 + 850x164 + 476x165 + 776x166 + 226x167 + 10x168 + 430x169 + 364x170 + 266x171 + 617x172 + 224x173 + 431x174 + 696x175 + 563x176 + 154x177 + 43x178 + 37x179 + 222x180 + 939x181 + 884x182 + 331x183 + 797x184 + 734x185 + 131x186 + 772x187 + 719x188 + 38x189 + 917x190 + 523x191 + 103x192 + 832x193 + 867x194 + 760x195 + 348x196 + 447x197 + 977x198 + 695x199 + 472x200 + 887x201 + 497x202 + 495x203 + 59x204 + 973x205 + 312x206 + 813x207 + 560x208 + 859x209 + 862x210 + 49x211 + 956x212 + 670x213 + 872x214 + 453x215 + 196x216 + 522x217 + 151x218 + 667x219 + 502x220 + 123x221 + 984x222 + 238x223 + 685x224 + 980x225 + 116x226 + 285x227 + 119x228 + 969x229 + 952x230 + 510x231 + 8x232 + 959x233 + 508x234 + 591x235 + 863x236 + 881x237 + 262x238 + 469x239 + 38x240 + 90x241 + 678x242 + 695x243 + 324x244 + 160x245 + 257x246 + 610x247 + 828x248 + 205x249 + 16x250 <= 34158 
constr9: + 648x1 + 178x2 + 323x3 + 713x4 + 202x5 + 15x6 + 139x7 + 40x8 + 430x9 + 295x10 + 304x11 + 845x12 + 803x13 + 950x14 + 26x15 + 384x16 + 525x17 + 740x18 + 586x19 + 192x20 + 111x21 + 467x22 + 471x23 + 711x24 + 930x25 + 795x26 + 115x27 + 824x28 + 977x29 + 128x30 + 693x31 + 230x32 + 151x33 + 377x34 + 655x35 + 550x36 + 829x37 + 272x38 + 952x39 + 42x40 + 30x41 + 783x42 + 145x43 + 214x44 + 189x45 + 767x46 + 978x47 + 420x48 + 732x49 + 289x50 + 452x51 + 746x52 + 893x53 + 296x54 + 118x55 + 105x56 + 563x57 + 826x58 + 354x59 + 614x60 + 215x61 + 876x62 + 231x63 + 819x64 + 493x65 + 341x66 + 135x67 + 949x68 + 319x69 + 688x70 + 904x71 + 21x72 + 679x73 + 781x74 + 566x75 + 297x76 + 79x77 + 54x78 + 741x79 + 498x80 + 978x81 + 684x82 + 729x83 + 606x84 + 906x85 + 266x86 + 184x87 + 349x88 + 547x89 + 631x90 + 773x91 + 46x92 + 661x93 + 798x94 + 965x95 + 505x96 + 516x97 + 831x98 + 195x99 + 69x100 + 544x101 + 901x102 + 229x103 + 90x104 + 119x105 + 184x106 + 902x107 + 622x108 + 320x109 + 659x110 + 757x111 + 633x112 + 681x113 + 189x114 + 659x115 + 739x116 + 368x117 + 130x118 + 247x119 + 59x120 + 667x121 + 609x122 + 747x123 + 760x124 + 970x125 + 550x126 + 374x127 + 114x128 + 906x129 + 455x130 + 650x131 + 687x132 + 66x133 + 8x134 + 77x135 + 977x136 + 711x137 + 737x138 + 339x139 + 404x140 + 306x141 + 278x142 + 776x143 + 691x144 + 334x145 + 988x146 + 864x147 + 730x148 + 109x149 + 24x150 + 497x151 + 75x152 + 91x153 + 385x154 + 573x155 + 475x156 + 111x157 + 939x158 + 555x159 + 84x160 + 735x161 + 204x162 + 165x163 + 427x164 + 523x165 + 953x166 + 681x167 + 793x168 + 663x169 + 336x170 + 747x171 + 172x172 + 883x173 + 526x174 + 239x175 + 454x176 + 588x177 + 880x178 + 585x179 + 314x180 + 346x181 + 700x182 + 743x183 + 780x184 + 602x185 + 895x186 + 859x187 + 832x188 + 204x189 + 854x190 + 988x191 + 472x192 + 461x193 + 920x194 + 556x195 + 600x196 + 940x197 + 760x198 + 193x199 + 731x200 + 102x201 + 261x202 + 310x203 + 606x204 + 212x205 + 100x206 + 666x207 + 786x208 + 705x209 + 51x210 + 678x211 + 541x212 + 679x213 + 757x214 + 713x215 + 479x216 + 906x217 + 459x218 + 669x219 + 319x220 + 521x221 + 567x222 + 1x223 + 253x224 + 922x225 + 593x226 + 719x227 + 832x228 + 725x229 + 140x230 + 613x231 + 671x232 + 5x233 + 640x234 + 134x235 + 538x236 + 605x237 + 383x238 + 960x239 + 473x240 + 799x241 + 763x242 + 614x243 + 913x244 + 556x245 + 484x246 + 678x247 + 92x248 + 249x249 + 548x250 <= 31026 
constr10: + 607x1 + 644x2 + 392x3 + 286x4 + 134x5 + 992x6 + 781x7 + 323x8 + 657x9 + 750x10 + 966x11 + 151x12 + 706x13 + 773x14 + 273x15 + 313x16 + 892x17 + 288x18 + 457x19 + 611x20 + 217x21 + 401x22 + 532x23 + 594x24 + 573x25 + 259x26 + 574x27 + 120x28 + 307x29 + 525x30 + 502x31 + 27x32 + 149x33 + 588x34 + 78x35 + 965x36 + 822x37 + 447x38 + 501x39 + 876x40 + 386x41 + 658x42 + 750x43 + 938x44 + 579x45 + 334x46 + 985x47 + 245x48 + 508x49 + 590x50 + 999x51 + 469x52 + 567x53 + 121x54 + 56x55 + 211x56 + 169x57 + 765x58 + 295x59 + 302x60 + 930x61 + 880x62 + 298x63 + 966x64 + 288x65 + 878x66 + 308x67 + 395x68 + 259x69 + 24x70 + 445x71 + 21x72 + 24x73 + 234x74 + 119x75 + 364x76 + 336x77 + 914x78 + 361x79 + 343x80 + 377x81 + 414x82 + 278x83 + 775x84 + 738x85 + 60x86 + 796x87 + 723x88 + 857x89 + 489x90 + 320x91 + 963x92 + 270x93 + 493x94 + 742x95 + 751x96 + 391x97 + 388x98 + 292x99 + 560x100 + 340x101 + 204x102 + 118x103 + 652x104 + 762x105 + 564x106 + 569x107 + 165x108 + 931x109 + 513x110 + 890x111 + 488x112 + 210x113 + 904x114 + 614x115 + 855x116 + 433x117 + 506x118 + 298x119 + 65x120 + 637x121 + 329x122 + 722x123 + 951x124 + 87x125 + 941x126 + 132x127 + 72x128 + 747x129 + 68x130 + 620x131 + 524x132 + 114x133 + 851x134 + 104x135 + 978x136 + 642x137 + 960x138 + 211x139 + 764x140 + 698x141 + 51x142 + 212x143 + 711x144 + 105x145 + 358x146 + 870x147 + 118x148 + 510x149 + 434x150 + 952x151 + 559x152 + 895x153 + 403x154 + 420x155 + 962x156 + 757x157 + 184x158 + 450x159 + 303x160 + 724x161 + 791x162 + 269x163 + 574x164 + 245x165 + 981x166 + 138x167 + 663x168 + 85x169 + 512x170 + 310x171 + 898x172 + 54x173 + 295x174 + 351x175 + 430x176 + 236x177 + 454x178 + 831x179 + 588x180 + 439x181 + 597x182 + 71x183 + 371x184 + 93x185 + 376x186 + 488x187 + 75x188 + 807x189 + 334x190 + 761x191 + 132x192 + 841x193 + 508x194 + 294x195 + 543x196 + 244x197 + 689x198 + 806x199 + 682x200 + 134x201 + 226x202 + 442x203 + 223x204 + 799x205 + 630x206 + 178x207 + 907x208 + 468x209 + 953x210 + 665x211 + 976x212 + 309x213 + 203x214 + 46x215 + 821x216 + 848x217 + 831x218 + 844x219 + 756x220 + 78x221 + 815x222 + 745x223 + 169x224 + 771x225 + 92x226 + 673x227 + 647x228 + 545x229 + 457x230 + 609x231 + 164x232 + 212x233 + 263x234 + 406x235 + 10x236 + 420x237 + 824x238 + 718x239 + 559x240 + 208x241 + 535x242 + 388x243 + 540x244 + 360x245 + 307x246 + 191x247 + 847x248 + 160x249 + 202x250 <= 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