maximize 
objective: + 649x1 + 918x2 + 1025x3 + 687x4 + 680x5 + 625x6 + 585x7 + 589x8 + 717x9 + 883x10 + 603x11 + 1009x12 + 615x13 + 824x14 + 661x15 + 1018x16 + 602x17 + 643x18 + 775x19 + 967x20 + 786x21 + 743x22 + 872x23 + 493x24 + 885x25 + 873x26 + 552x27 + 1152x28 + 379x29 + 720x30 + 589x31 + 417x32 + 664x33 + 1085x34 + 827x35 + 978x36 + 596x37 + 978x38 + 609x39 + 743x40 + 537x41 + 1260x42 + 1141x43 + 419x44 + 570x45 + 972x46 + 1077x47 + 620x48 + 418x49 + 585x50 + 746x51 + 921x52 + 1116x53 + 475x54 + 409x55 + 874x56 + 643x57 + 726x58 + 776x59 + 496x60 + 516x61 + 713x62 + 666x63 + 542x64 + 493x65 + 1066x66 + 716x67 + 795x68 + 714x69 + 648x70 + 1137x71 + 692x72 + 773x73 + 850x74 + 895x75 + 1033x76 + 935x77 + 1054x78 + 728x79 + 527x80 + 1105x81 + 690x82 + 423x83 + 529x84 + 628x85 + 535x86 + 731x87 + 1014x88 + 802x89 + 729x90 + 524x91 + 659x92 + 785x93 + 1014x94 + 1068x95 + 753x96 + 776x97 + 600x98 + 838x99 + 721x100 + 828x101 + 685x102 + 485x103 + 545x104 + 636x105 + 673x106 + 585x107 + 658x108 + 779x109 + 465x110 + 995x111 + 707x112 + 700x113 + 674x114 + 817x115 + 934x116 + 922x117 + 727x118 + 910x119 + 748x120 + 705x121 + 920x122 + 693x123 + 473x124 + 775x125 + 790x126 + 1084x127 + 884x128 + 883x129 + 739x130 + 738x131 + 960x132 + 734x133 + 1057x134 + 655x135 + 1187x136 + 816x137 + 592x138 + 930x139 + 841x140 + 817x141 + 613x142 + 636x143 + 923x144 + 481x145 + 718x146 + 833x147 + 696x148 + 503x149 + 668x150 + 815x151 + 669x152 + 908x153 + 943x154 + 940x155 + 462x156 + 929x157 + 625x158 + 997x159 + 721x160 + 575x161 + 976x162 + 400x163 + 1016x164 + 705x165 + 491x166 + 666x167 + 835x168 + 668x169 + 784x170 + 725x171 + 339x172 + 875x173 + 768x174 + 1085x175 + 957x176 + 869x177 + 936x178 + 677x179 + 853x180 + 545x181 + 768x182 + 806x183 + 1094x184 + 829x185 + 453x186 + 458x187 + 1019x188 + 958x189 + 665x190 + 816x191 + 751x192 + 888x193 + 600x194 + 1034x195 + 434x196 + 598x197 + 563x198 + 825x199 + 1034x200 + 633x201 + 936x202 + 614x203 + 654x204 + 931x205 + 996x206 + 837x207 + 618x208 + 703x209 + 742x210 + 951x211 + 781x212 + 487x213 + 695x214 + 632x215 + 705x216 + 286x217 + 702x218 + 966x219 + 896x220 + 971x221 + 401x222 + 562x223 + 510x224 + 714x225 + 953x226 + 645x227 + 843x228 + 601x229 + 882x230 + 1034x231 + 692x232 + 803x233 + 425x234 + 1149x235 + 1034x236 + 340x237 + 791x238 + 532x239 + 877x240 + 1081x241 + 706x242 + 502x243 + 737x244 + 874x245 + 1012x246 + 763x247 + 821x248 + 661x249 + 809x250 
subject to 
constr1: + 870x1 + 316x2 + 651x3 + 426x4 + 773x5 + 493x6 + 300x7 + 121x8 + 822x9 + 242x10 + 98x11 + 677x12 + 978x13 + 722x14 + 643x15 + 943x16 + 573x17 + 383x18 + 436x19 + 626x20 + 964x21 + 813x22 + 774x23 + 20x24 + 243x25 + 16x26 + 209x27 + 859x28 + 52x29 + 891x30 + 125x31 + 296x32 + 6x33 + 624x34 + 893x35 + 645x36 + 451x37 + 787x38 + 722x39 + 421x40 + 471x41 + 756x42 + 792x43 + 576x44 + 338x45 + 248x46 + 67x47 + 963x48 + 572x49 + 47x50 + 528x51 + 881x52 + 659x53 + 356x54 + 698x55 + 428x56 + 918x57 + 119x58 + 275x59 + 249x60 + 159x61 + 465x62 + 111x63 + 439x64 + 723x65 + 780x66 + 295x67 + 717x68 + 992x69 + 360x70 + 891x71 + 407x72 + 267x73 + 133x74 + 980x75 + 695x76 + 719x77 + 452x78 + 444x79 + 50x80 + 636x81 + 581x82 + 726x83 + 265x84 + 493x85 + 598x86 + 941x87 + 965x88 + 224x89 + 576x90 + 950x91 + 255x92 + 243x93 + 873x94 + 85x95 + 860x96 + 44x97 + 672x98 + 377x99 + 268x100 + 293x101 + 269x102 + 398x103 + 709x104 + 808x105 + 477x106 + 629x107 + 937x108 + 649x109 + 206x110 + 566x111 + 412x112 + 748x113 + 414x114 + 953x115 + 468x116 + 434x117 + 876x118 + 767x119 + 830x120 + 104x121 + 419x122 + 220x123 + 157x124 + 985x125 + 490x126 + 592x127 + 793x128 + 913x129 + 741x130 + 458x131 + 816x132 + 857x133 + 433x134 + 876x135 + 632x136 + 616x137 + 746x138 + 668x139 + 800x140 + 496x141 + 621x142 + 264x143 + 74x144 + 348x145 + 996x146 + 391x147 + 304x148 + 755x149 + 997x150 + 551x151 + 737x152 + 189x153 + 697x154 + 26x155 + 666x156 + 136x157 + 861x158 + 824x159 + 445x160 + 266x161 + 442x162 + 587x163 + 939x164 + 491x165 + 709x166 + 676x167 + 992x168 + 434x169 + 846x170 + 593x171 + 371x172 + 164x173 + 441x174 + 787x175 + 194x176 + 564x177 + 327x178 + 953x179 + 647x180 + 30x181 + 633x182 + 782x183 + 604x184 + 570x185 + 241x186 + 579x187 + 248x188 + 56x189 + 697x190 + 620x191 + 767x192 + 655x193 + 320x194 + 844x195 + 107x196 + 78x197 + 656x198 + 496x199 + 813x200 + 926x201 + 305x202 + 91x203 + 561x204 + 398x205 + 811x206 + 567x207 + 749x208 + 213x209 + 190x210 + 118x211 + 495x212 + 677x213 + 161x214 + 364x215 + 561x216 + 20x217 + 972x218 + 885x219 + 566x220 + 105x221 + 111x222 + 166x223 + 689x224 + 161x225 + 166x226 + 268x227 + 850x228 + 31x229 + 699x230 + 910x231 + 95x232 + 213x233 + 130x234 + 419x235 + 716x236 + 13x237 + 810x238 + 75x239 + 851x240 + 798x241 + 153x242 + 560x243 + 209x244 + 951x245 + 589x246 + 312x247 + 478x248 + 236x249 + 289x250 <=64498 
constr2: + 145x1 + 803x2 + 788x3 + 382x4 + 291x5 + 577x6 + 246x7 + 325x8 + 700x9 + 822x10 + 679x11 + 429x12 + 607x13 + 350x14 + 637x15 + 649x16 + 793x17 + 930x18 + 129x19 + 687x20 + 736x21 + 659x22 + 278x23 + 569x24 + 748x25 + 974x26 + 644x27 + 859x28 + 291x29 + 205x30 + 907x31 + 145x32 + 127x33 + 808x34 + 375x35 + 958x36 + 246x37 + 80x38 + 600x39 + 156x40 + 244x41 + 272x42 + 815x43 + 375x44 + 458x45 + 994x46 + 696x47 + 743x48 + 228x49 + 733x50 + 706x51 + 857x52 + 86x53 + 543x54 + 71x55 + 109x56 + 653x57 + 868x58 + 388x59 + 86x60 + 77x61 + 564x62 + 640x63 + 579x64 + 326x65 + 718x66 + 748x67 + 688x68 + 85x69 + 519x70 + 599x71 + 107x72 + 963x73 + 808x74 + 606x75 + 464x76 + 448x77 + 258x78 + 341x79 + 772x80 + 470x81 + 707x82 + 8x83 + 601x84 + 309x85 + 78x86 + 281x87 + 926x88 + 737x89 + 28x90 + 351x91 + 243x92 + 94x93 + 356x94 + 731x95 + 112x96 + 735x97 + 99x98 + 322x99 + 123x100 + 585x101 + 260x102 + 73x103 + 107x104 + 258x105 + 398x106 + 60x107 + 560x108 + 673x109 + 280x110 + 980x111 + 182x112 + 292x113 + 797x114 + 140x115 + 670x116 + 164x117 + 816x118 + 698x119 + 795x120 + 729x121 + 718x122 + 78x123 + 548x124 + 645x125 + 125x126 + 932x127 + 583x128 + 609x129 + 40x130 + 353x131 + 680x132 + 97x133 + 576x134 + 775x135 + 940x136 + 953x137 + 66x138 + 953x139 + 392x140 + 644x141 + 939x142 + 477x143 + 976x144 + 433x145 + 75x146 + 509x147 + 216x148 + 132x149 + 820x150 + 804x151 + 204x152 + 621x153 + 794x154 + 648x155 + 81x156 + 915x157 + 856x158 + 451x159 + 616x160 + 6x161 + 294x162 + 402x163 + 710x164 + 623x165 + 251x166 + 682x167 + 100x168 + 672x169 + 268x170 + 669x171 + 159x172 + 218x173 + 394x174 + 849x175 + 399x176 + 195x177 + 438x178 + 595x179 + 792x180 + 732x181 + 596x182 + 301x183 + 962x184 + 436x185 + 472x186 + 213x187 + 857x188 + 967x189 + 275x190 + 417x191 + 620x192 + 940x193 + 435x194 + 635x195 + 502x196 + 808x197 + 277x198 + 457x199 + 710x200 + 302x201 + 980x202 + 129x203 + 462x204 + 667x205 + 943x206 + 103x207 + 253x208 + 611x209 + 372x210 + 950x211 + 117x212 + 206x213 + 622x214 + 47x215 + 661x216 + 159x217 + 791x218 + 765x219 + 524x220 + 514x221 + 87x222 + 181x223 + 18x224 + 459x225 + 632x226 + 758x227 + 207x228 + 647x229 + 926x230 + 452x231 + 599x232 + 460x233 + 306x234 + 860x235 + 764x236 + 143x237 + 928x238 + 166x239 + 122x240 + 208x241 + 494x242 + 198x243 + 848x244 + 368x245 + 660x246 + 658x247 + 444x248 + 38x249 + 689x250 <=61749 
constr3: + 832x1 + 435x2 + 148x3 + 740x4 + 247x5 + 91x6 + 341x7 + 413x8 + 546x9 + 681x10 + 546x11 + 374x12 + 707x13 + 689x14 + 561x15 + 245x16 + 462x17 + 769x18 + 909x19 + 903x20 + 193x21 + 677x22 + 548x23 + 780x24 + 36x25 + 504x26 + 450x27 + 604x28 + 364x29 + 7x30 + 120x31 + 157x32 + 783x33 + 342x34 + 573x35 + 889x36 + 879x37 + 830x38 + 392x39 + 666x40 + 847x41 + 949x42 + 794x43 + 541x44 + 487x45 + 916x46 + 983x47 + 319x48 + 303x49 + 278x50 + 110x51 + 626x52 + 717x53 + 302x54 + 453x55 + 262x56 + 462x57 + 78x58 + 262x59 + 168x60 + 158x61 + 759x62 + 415x63 + 314x64 + 57x65 + 395x66 + 372x67 + 168x68 + 493x69 + 316x70 + 685x71 + 639x72 + 349x73 + 898x74 + 791x75 + 627x76 + 206x77 + 767x78 + 667x79 + 247x80 + 359x81 + 563x82 + 73x83 + 602x84 + 35x85 + 238x86 + 707x87 + 99x88 + 86x89 + 193x90 + 330x91 + 734x92 + 953x93 + 499x94 + 728x95 + 410x96 + 166x97 + 684x98 + 314x99 + 184x100 + 426x101 + 412x102 + 787x103 + 403x104 + 45x105 + 657x106 + 352x107 + 504x108 + 274x109 + 514x110 + 984x111 + 500x112 + 215x113 + 527x114 + 936x115 + 544x116 + 596x117 + 204x118 + 664x119 + 813x120 + 51x121 + 873x122 + 990x123 + 431x124 + 348x125 + 740x126 + 598x127 + 212x128 + 926x129 + 929x130 + 742x131 + 289x132 + 772x133 + 766x134 + 531x135 + 160x136 + 997x137 + 449x138 + 406x139 + 787x140 + 250x141 + 214x142 + 636x143 + 216x144 + 685x145 + 474x146 + 785x147 + 674x148 + 839x149 + 9x150 + 634x151 + 283x152 + 806x153 + 615x154 + 996x155 + 363x156 + 399x157 + 81x158 + 823x159 + 687x160 + 761x161 + 553x162 + 418x163 + 274x164 + 781x165 + 275x166 + 245x167 + 933x168 + 343x169 + 435x170 + 761x171 + 70x172 + 918x173 + 706x174 + 56x175 + 353x176 + 731x177 + 645x178 + 52x179 + 657x180 + 588x181 + 476x182 + 961x183 + 445x184 + 941x185 + 243x186 + 210x187 + 610x188 + 618x189 + 138x190 + 700x191 + 324x192 + 632x193 + 381x194 + 212x195 + 213x196 + 156x197 + 458x198 + 521x199 + 873x200 + 522x201 + 478x202 + 105x203 + 151x204 + 519x205 + 383x206 + 404x207 + 1000x208 + 80x209 + 215x210 + 51x211 + 901x212 + 427x213 + 214x214 + 255x215 + 898x216 + 50x217 + 588x218 + 681x219 + 228x220 + 670x221 + 312x222 + 324x223 + 508x224 + 801x225 + 635x226 + 644x227 + 616x228 + 58x229 + 548x230 + 446x231 + 726x232 + 582x233 + 539x234 + 773x235 + 344x236 + 443x237 + 956x238 + 407x239 + 838x240 + 837x241 + 225x242 + 740x243 + 558x244 + 324x245 + 150x246 + 850x247 + 532x248 + 563x249 + 578x250 <=62369 
constr4: + 32x1 + 481x2 + 978x3 + 786x4 + 753x5 + 981x6 + 910x7 + 942x8 + 348x9 + 205x10 + 565x11 + 96x12 + 677x13 + 826x14 + 340x15 + 513x16 + 981x17 + 167x18 + 76x19 + 82x20 + 523x21 + 369x22 + 640x23 + 418x24 + 959x25 + 452x26 + 240x27 + 460x28 + 882x29 + 129x30 + 987x31 + 78x32 + 536x33 + 913x34 + 117x35 + 65x36 + 72x37 + 544x38 + 134x39 + 164x40 + 370x41 + 978x42 + 215x43 + 207x44 + 525x45 + 871x46 + 754x47 + 768x48 + 59x49 + 118x50 + 953x51 + 576x52 + 933x53 + 994x54 + 203x55 + 938x56 + 430x57 + 455x58 + 53x59 + 873x60 + 217x61 + 298x62 + 663x63 + 119x64 + 113x65 + 740x66 + 354x67 + 436x68 + 636x69 + 125x70 + 953x71 + 725x72 + 871x73 + 376x74 + 767x75 + 1000x76 + 408x77 + 915x78 + 18x79 + 1x80 + 749x81 + 667x82 + 834x83 + 198x84 + 392x85 + 169x86 + 541x87 + 330x88 + 519x89 + 342x90 + 101x91 + 436x92 + 213x93 + 544x94 + 472x95 + 133x96 + 562x97 + 922x98 + 174x99 + 436x100 + 523x101 + 12x102 + 456x103 + 290x104 + 890x105 + 584x106 + 365x107 + 380x108 + 164x109 + 839x110 + 467x111 + 379x112 + 676x113 + 31x114 + 167x115 + 29x116 + 610x117 + 478x118 + 278x119 + 74x120 + 707x121 + 171x122 + 407x123 + 446x124 + 263x125 + 657x126 + 135x127 + 489x128 + 797x129 + 162x130 + 986x131 + 688x132 + 846x133 + 853x134 + 265x135 + 922x136 + 116x137 + 224x138 + 681x139 + 338x140 + 737x141 + 420x142 + 973x143 + 703x144 + 39x145 + 98x146 + 625x147 + 700x148 + 564x149 + 865x150 + 342x151 + 48x152 + 585x153 + 973x154 + 452x155 + 750x156 + 790x157 + 326x158 + 442x159 + 955x160 + 376x161 + 606x162 + 191x163 + 833x164 + 981x165 + 352x166 + 614x167 + 317x168 + 349x169 + 201x170 + 235x171 + 346x172 + 729x173 + 488x174 + 713x175 + 708x176 + 992x177 + 804x178 + 495x179 + 396x180 + 261x181 + 866x182 + 965x183 + 71x184 + 698x185 + 451x186 + 170x187 + 517x188 + 411x189 + 831x190 + 491x191 + 466x192 + 507x193 + 909x194 + 804x195 + 526x196 + 799x197 + 109x198 + 270x199 + 876x200 + 36x201 + 859x202 + 844x203 + 429x204 + 74x205 + 4x206 + 237x207 + 299x208 + 797x209 + 526x210 + 593x211 + 780x212 + 206x213 + 609x214 + 220x215 + 588x216 + 398x217 + 359x218 + 883x219 + 626x220 + 310x221 + 45x222 + 218x223 + 358x224 + 743x225 + 934x226 + 369x227 + 279x228 + 669x229 + 316x230 + 841x231 + 863x232 + 507x233 + 286x234 + 939x235 + 930x236 + 668x237 + 520x238 + 99x239 + 243x240 + 830x241 + 613x242 + 655x243 + 373x244 + 399x245 + 582x246 + 18x247 + 986x248 + 221x249 + 119x250 <=62210 
constr5: + 438x1 + 349x2 + 631x3 + 198x4 + 629x5 + 904x6 + 820x7 + 523x8 + 814x9 + 317x10 + 223x11 + 989x12 + 8x13 + 780x14 + 199x15 + 546x16 + 176x17 + 210x18 + 441x19 + 948x20 + 226x21 + 548x22 + 117x23 + 164x24 + 337x25 + 174x26 + 104x27 + 864x28 + 271x29 + 46x30 + 582x31 + 901x32 + 67x33 + 903x34 + 317x35 + 882x36 + 37x37 + 543x38 + 50x39 + 258x40 + 59x41 + 951x42 + 892x43 + 39x44 + 985x45 + 462x46 + 507x47 + 143x48 + 435x49 + 180x50 + 815x51 + 792x52 + 850x53 + 87x54 + 328x55 + 714x56 + 519x57 + 272x58 + 616x59 + 897x60 + 35x61 + 490x62 + 474x63 + 383x64 + 994x65 + 360x66 + 41x67 + 283x68 + 59x69 + 347x70 + 928x71 + 932x72 + 177x73 + 278x74 + 302x75 + 204x76 + 598x77 + 978x78 + 93x79 + 629x80 + 980x81 + 1x82 + 246x83 + 684x84 + 275x85 + 131x86 + 247x87 + 311x88 + 2x89 + 770x90 + 192x91 + 480x92 + 902x93 + 670x94 + 840x95 + 150x96 + 596x97 + 39x98 + 506x99 + 176x100 + 686x101 + 325x102 + 527x103 + 314x104 + 462x105 + 409x106 + 106x107 + 43x108 + 742x109 + 267x110 + 110x111 + 459x112 + 68x113 + 920x114 + 152x115 + 544x116 + 342x117 + 193x118 + 540x119 + 211x120 + 577x121 + 324x122 + 656x123 + 772x124 + 305x125 + 873x126 + 738x127 + 835x128 + 471x129 + 580x130 + 914x131 + 697x132 + 678x133 + 653x134 + 639x135 + 914x136 + 900x137 + 777x138 + 763x139 + 547x140 + 617x141 + 430x142 + 286x143 + 603x144 + 409x145 + 969x146 + 515x147 + 955x148 + 34x149 + 344x150 + 517x151 + 413x152 + 420x153 + 607x154 + 255x155 + 223x156 + 442x157 + 323x158 + 334x159 + 740x160 + 141x161 + 871x162 + 191x163 + 342x164 + 403x165 + 138x166 + 327x167 + 453x168 + 930x169 + 829x170 + 151x171 + 230x172 + 495x173 + 277x174 + 996x175 + 772x176 + 101x177 + 197x178 + 512x179 + 95x180 + 566x181 + 665x182 + 370x183 + 895x184 + 931x185 + 74x186 + 342x187 + 479x188 + 659x189 + 341x190 + 444x191 + 682x192 + 117x193 + 658x194 + 833x195 + 198x196 + 766x197 + 60x198 + 144x199 + 395x200 + 145x201 + 797x202 + 487x203 + 498x204 + 953x205 + 480x206 + 729x207 + 349x208 + 231x209 + 436x210 + 886x211 + 963x212 + 532x213 + 99x214 + 405x215 + 72x216 + 734x217 + 38x218 + 461x219 + 941x220 + 835x221 + 486x222 + 766x223 + 685x224 + 295x225 + 394x226 + 298x227 + 715x228 + 741x229 + 332x230 + 450x231 + 412x232 + 895x233 + 466x234 + 714x235 + 352x236 + 174x237 + 414x238 + 389x239 + 768x240 + 344x241 + 604x242 + 111x243 + 918x244 + 596x245 + 759x246 + 340x247 + 639x248 + 606x249 + 754x250 <=59944 
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