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