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