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