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