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