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