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