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