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