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