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