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