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