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