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