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