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