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