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