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