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