maximize 
objective: + 747x1 + 780x2 + 712x3 + 656x4 + 1074x5 + 623x6 + 1079x7 + 514x8 + 831x9 + 529x10 + 895x11 + 936x12 + 968x13 + 702x14 + 481x15 + 998x16 + 592x17 + 876x18 + 921x19 + 872x20 + 1068x21 + 419x22 + 1066x23 + 730x24 + 765x25 + 1127x26 + 427x27 + 891x28 + 970x29 + 752x30 + 887x31 + 946x32 + 673x33 + 711x34 + 959x35 + 675x36 + 683x37 + 787x38 + 919x39 + 708x40 + 659x41 + 602x42 + 714x43 + 1068x44 + 505x45 + 504x46 + 651x47 + 822x48 + 919x49 + 666x50 + 972x51 + 522x52 + 496x53 + 1004x54 + 646x55 + 1267x56 + 512x57 + 1030x58 + 564x59 + 829x60 + 902x61 + 618x62 + 715x63 + 527x64 + 502x65 + 1018x66 + 1035x67 + 773x68 + 601x69 + 1082x70 + 973x71 + 440x72 + 778x73 + 810x74 + 791x75 + 659x76 + 710x77 + 615x78 + 593x79 + 497x80 + 526x81 + 704x82 + 648x83 + 987x84 + 902x85 + 967x86 + 553x87 + 704x88 + 951x89 + 775x90 + 715x91 + 363x92 + 431x93 + 1028x94 + 823x95 + 750x96 + 492x97 + 535x98 + 788x99 + 1117x100 + 847x101 + 991x102 + 902x103 + 593x104 + 578x105 + 764x106 + 957x107 + 551x108 + 494x109 + 712x110 + 842x111 + 748x112 + 684x113 + 942x114 + 672x115 + 531x116 + 842x117 + 885x118 + 777x119 + 652x120 + 704x121 + 576x122 + 808x123 + 708x124 + 621x125 + 1032x126 + 703x127 + 876x128 + 896x129 + 784x130 + 936x131 + 539x132 + 618x133 + 540x134 + 624x135 + 828x136 + 700x137 + 577x138 + 651x139 + 414x140 + 820x141 + 832x142 + 456x143 + 837x144 + 340x145 + 622x146 + 620x147 + 1089x148 + 800x149 + 310x150 + 507x151 + 803x152 + 835x153 + 695x154 + 485x155 + 745x156 + 656x157 + 705x158 + 830x159 + 429x160 + 808x161 + 959x162 + 1014x163 + 746x164 + 698x165 + 836x166 + 1042x167 + 661x168 + 680x169 + 1086x170 + 1006x171 + 802x172 + 796x173 + 860x174 + 518x175 + 598x176 + 806x177 + 821x178 + 953x179 + 410x180 + 635x181 + 831x182 + 949x183 + 948x184 + 502x185 + 1033x186 + 950x187 + 634x188 + 585x189 + 889x190 + 980x191 + 709x192 + 799x193 + 1116x194 + 1151x195 + 592x196 + 955x197 + 1161x198 + 604x199 + 620x200 + 580x201 + 860x202 + 780x203 + 916x204 + 560x205 + 1154x206 + 779x207 + 1163x208 + 518x209 + 605x210 + 866x211 + 423x212 + 827x213 + 697x214 + 390x215 + 545x216 + 963x217 + 763x218 + 600x219 + 908x220 + 543x221 + 572x222 + 954x223 + 774x224 + 1083x225 + 191x226 + 802x227 + 501x228 + 804x229 + 609x230 + 837x231 + 811x232 + 434x233 + 816x234 + 713x235 + 629x236 + 486x237 + 977x238 + 416x239 + 744x240 + 910x241 + 603x242 + 700x243 + 657x244 + 802x245 + 973x246 + 507x247 + 773x248 + 496x249 + 989x250 
subject to 
constr1: + 431x1 + 482x2 + 529x3 + 545x4 + 710x5 + 494x6 + 981x7 + 414x8 + 567x9 + 376x10 + 176x11 + 765x12 + 424x13 + 519x14 + 530x15 + 839x16 + 220x17 + 996x18 + 515x19 + 376x20 + 760x21 + 552x22 + 846x23 + 685x24 + 885x25 + 289x26 + 245x27 + 662x28 + 555x29 + 400x30 + 100x31 + 348x32 + 522x33 + 147x34 + 631x35 + 161x36 + 736x37 + 219x38 + 467x39 + 82x40 + 33x41 + 765x42 + 877x43 + 774x44 + 554x45 + 281x46 + 948x47 + 219x48 + 875x49 + 284x50 + 400x51 + 709x52 + 960x53 + 718x54 + 183x55 + 837x56 + 646x57 + 867x58 + 939x59 + 27x60 + 254x61 + 561x62 + 541x63 + 252x64 + 347x65 + 79x66 + 872x67 + 697x68 + 427x69 + 832x70 + 741x71 + 29x72 + 559x73 + 234x74 + 202x75 + 253x76 + 155x77 + 385x78 + 57x79 + 588x80 + 660x81 + 426x82 + 610x83 + 582x84 + 788x85 + 505x86 + 977x87 + 721x88 + 647x89 + 913x90 + 325x91 + 394x92 + 11x93 + 703x94 + 981x95 + 229x96 + 714x97 + 421x98 + 210x99 + 425x100 + 479x101 + 743x102 + 708x103 + 327x104 + 26x105 + 103x106 + 910x107 + 641x108 + 515x109 + 785x110 + 617x111 + 91x112 + 567x113 + 190x114 + 586x115 + 179x116 + 630x117 + 521x118 + 187x119 + 359x120 + 961x121 + 756x122 + 794x123 + 34x124 + 420x125 + 823x126 + 387x127 + 526x128 + 727x129 + 869x130 + 798x131 + 209x132 + 196x133 + 223x134 + 920x135 + 256x136 + 1000x137 + 477x138 + 794x139 + 204x140 + 994x141 + 601x142 + 804x143 + 614x144 + 205x145 + 433x146 + 264x147 + 43x148 + 941x149 + 7x150 + 190x151 + 56x152 + 883x153 + 507x154 + 770x155 + 509x156 + 608x157 + 396x158 + 608x159 + 137x160 + 571x161 + 904x162 + 355x163 + 737x164 + 955x165 + 249x166 + 808x167 + 71x168 + 739x169 + 780x170 + 910x171 + 868x172 + 489x173 + 119x174 + 673x175 + 486x176 + 940x177 + 258x178 + 611x179 + 312x180 + 249x181 + 139x182 + 938x183 + 788x184 + 165x185 + 366x186 + 943x187 + 505x188 + 775x189 + 523x190 + 907x191 + 29x192 + 493x193 + 558x194 + 330x195 + 593x196 + 202x197 + 428x198 + 149x199 + 774x200 + 186x201 + 914x202 + 273x203 + 851x204 + 502x205 + 798x206 + 161x207 + 547x208 + 294x209 + 90x210 + 556x211 + 713x212 + 154x213 + 260x214 + 334x215 + 812x216 + 711x217 + 14x218 + 191x219 + 608x220 + 193x221 + 14x222 + 894x223 + 377x224 + 589x225 + 110x226 + 667x227 + 184x228 + 923x229 + 73x230 + 903x231 + 572x232 + 277x233 + 874x234 + 700x235 + 263x236 + 75x237 + 492x238 + 84x239 + 846x240 + 10x241 + 136x242 + 595x243 + 102x244 + 329x245 + 346x246 + 395x247 + 54x248 + 649x249 + 219x250 <=62048 
constr2: + 499x1 + 920x2 + 207x3 + 541x4 + 823x5 + 871x6 + 179x7 + 928x8 + 110x9 + 280x10 + 709x11 + 127x12 + 373x13 + 416x14 + 565x15 + 665x16 + 271x17 + 42x18 + 623x19 + 225x20 + 369x21 + 173x22 + 752x23 + 389x24 + 415x25 + 926x26 + 516x27 + 310x28 + 713x29 + 955x30 + 795x31 + 228x32 + 274x33 + 978x34 + 232x35 + 943x36 + 598x37 + 637x38 + 575x39 + 165x40 + 130x41 + 239x42 + 224x43 + 703x44 + 280x45 + 468x46 + 128x47 + 849x48 + 793x49 + 250x50 + 795x51 + 189x52 + 361x53 + 529x54 + 641x55 + 624x56 + 273x57 + 691x58 + 765x59 + 999x60 + 831x61 + 163x62 + 190x63 + 377x64 + 726x65 + 607x66 + 755x67 + 532x68 + 237x69 + 317x70 + 473x71 + 452x72 + 928x73 + 551x74 + 437x75 + 847x76 + 456x77 + 862x78 + 432x79 + 2x80 + 107x81 + 776x82 + 149x83 + 746x84 + 284x85 + 657x86 + 251x87 + 401x88 + 153x89 + 331x90 + 731x91 + 126x92 + 174x93 + 838x94 + 257x95 + 555x96 + 325x97 + 525x98 + 570x99 + 485x100 + 866x101 + 989x102 + 794x103 + 46x104 + 39x105 + 758x106 + 619x107 + 242x108 + 381x109 + 248x110 + 932x111 + 251x112 + 781x113 + 868x114 + 15x115 + 653x116 + 705x117 + 743x118 + 848x119 + 833x120 + 534x121 + 72x122 + 838x123 + 106x124 + 742x125 + 579x126 + 180x127 + 361x128 + 39x129 + 509x130 + 309x131 + 377x132 + 566x133 + 479x134 + 145x135 + 682x136 + 192x137 + 302x138 + 649x139 + 270x140 + 878x141 + 712x142 + 236x143 + 45x144 + 182x145 + 902x146 + 560x147 + 840x148 + 377x149 + 250x150 + 151x151 + 583x152 + 697x153 + 32x154 + 119x155 + 524x156 + 719x157 + 196x158 + 295x159 + 788x160 + 565x161 + 999x162 + 674x163 + 489x164 + 224x165 + 585x166 + 590x167 + 648x168 + 147x169 + 445x170 + 945x171 + 411x172 + 956x173 + 319x174 + 408x175 + 310x176 + 639x177 + 78x178 + 488x179 + 170x180 + 164x181 + 82x182 + 32x183 + 332x184 + 114x185 + 388x186 + 676x187 + 827x188 + 400x189 + 544x190 + 163x191 + 771x192 + 167x193 + 723x194 + 675x195 + 268x196 + 913x197 + 852x198 + 881x199 + 785x200 + 160x201 + 812x202 + 762x203 + 154x204 + 734x205 + 645x206 + 737x207 + 833x208 + 48x209 + 420x210 + 879x211 + 140x212 + 42x213 + 118x214 + 123x215 + 311x216 + 593x217 + 444x218 + 151x219 + 935x220 + 730x221 + 150x222 + 494x223 + 103x224 + 69x225 + 537x226 + 391x227 + 26x228 + 817x229 + 496x230 + 690x231 + 949x232 + 518x233 + 387x234 + 197x235 + 314x236 + 677x237 + 938x238 + 198x239 + 108x240 + 497x241 + 384x242 + 581x243 + 413x244 + 402x245 + 752x246 + 441x247 + 769x248 + 901x249 + 864x250 <=60587 
constr3: + 791x1 + 633x2 + 532x3 + 752x4 + 762x5 + 591x6 + 526x7 + 425x8 + 742x9 + 780x10 + 999x11 + 781x12 + 682x13 + 83x14 + 6x15 + 515x16 + 112x17 + 411x18 + 969x19 + 494x20 + 918x21 + 487x22 + 873x23 + 946x24 + 51x25 + 358x26 + 749x27 + 47x28 + 993x29 + 41x30 + 303x31 + 137x32 + 148x33 + 176x34 + 744x35 + 133x36 + 590x37 + 59x38 + 523x39 + 195x40 + 952x41 + 946x42 + 173x43 + 411x44 + 440x45 + 843x46 + 904x47 + 594x48 + 981x49 + 903x50 + 602x51 + 745x52 + 20x53 + 570x54 + 561x55 + 746x56 + 48x57 + 206x58 + 234x59 + 346x60 + 938x61 + 175x62 + 862x63 + 645x64 + 78x65 + 685x66 + 180x67 + 748x68 + 522x69 + 652x70 + 844x71 + 478x72 + 317x73 + 875x74 + 392x75 + 298x76 + 236x77 + 510x78 + 987x79 + 921x80 + 579x81 + 875x82 + 215x83 + 939x84 + 541x85 + 511x86 + 440x87 + 712x88 + 403x89 + 894x90 + 122x91 + 666x92 + 199x93 + 844x94 + 371x95 + 61x96 + 46x97 + 215x98 + 840x99 + 798x100 + 630x101 + 297x102 + 769x103 + 572x104 + 438x105 + 319x106 + 899x107 + 634x108 + 566x109 + 75x110 + 601x111 + 615x112 + 522x113 + 817x114 + 865x115 + 996x116 + 746x117 + 779x118 + 192x119 + 435x120 + 23x121 + 221x122 + 325x123 + 72x124 + 309x125 + 200x126 + 886x127 + 720x128 + 819x129 + 223x130 + 301x131 + 692x132 + 603x133 + 475x134 + 305x135 + 828x136 + 521x137 + 663x138 + 44x139 + 515x140 + 846x141 + 386x142 + 279x143 + 694x144 + 498x145 + 152x146 + 184x147 + 812x148 + 820x149 + 328x150 + 687x151 + 565x152 + 113x153 + 459x154 + 635x155 + 530x156 + 565x157 + 946x158 + 727x159 + 16x160 + 701x161 + 100x162 + 556x163 + 348x164 + 352x165 + 145x166 + 492x167 + 957x168 + 312x169 + 994x170 + 60x171 + 85x172 + 181x173 + 772x174 + 592x175 + 461x176 + 964x177 + 241x178 + 755x179 + 563x180 + 634x181 + 197x182 + 365x183 + 644x184 + 491x185 + 513x186 + 723x187 + 521x188 + 184x189 + 106x190 + 709x191 + 236x192 + 372x193 + 870x194 + 706x195 + 127x196 + 245x197 + 892x198 + 868x199 + 33x200 + 162x201 + 568x202 + 291x203 + 159x204 + 897x205 + 881x206 + 138x207 + 884x208 + 751x209 + 307x210 + 971x211 + 328x212 + 284x213 + 443x214 + 396x215 + 506x216 + 507x217 + 455x218 + 910x219 + 501x220 + 301x221 + 721x222 + 681x223 + 956x224 + 816x225 + 30x226 + 506x227 + 901x228 + 570x229 + 11x230 + 767x231 + 486x232 + 192x233 + 43x234 + 264x235 + 835x236 + 12x237 + 912x238 + 478x239 + 219x240 + 762x241 + 47x242 + 176x243 + 469x244 + 554x245 + 138x246 + 210x247 + 413x248 + 355x249 + 755x250 <=63318 
constr4: + 628x1 + 902x2 + 812x3 + 78x4 + 219x5 + 183x6 + 785x7 + 404x8 + 586x9 + 214x10 + 607x11 + 886x12 + 718x13 + 342x14 + 128x15 + 704x16 + 852x17 + 111x18 + 461x19 + 81x20 + 971x21 + 617x22 + 671x23 + 20x24 + 57x25 + 784x26 + 380x27 + 208x28 + 735x29 + 151x30 + 762x31 + 824x32 + 956x33 + 133x34 + 229x35 + 89x36 + 930x37 + 447x38 + 944x39 + 823x40 + 458x41 + 658x42 + 20x43 + 686x44 + 48x45 + 447x46 + 772x47 + 313x48 + 575x49 + 805x50 + 405x51 + 389x52 + 474x53 + 592x54 + 526x55 + 954x56 + 184x57 + 587x58 + 459x59 + 831x60 + 933x61 + 166x62 + 833x63 + 3x64 + 319x65 + 807x66 + 824x67 + 379x68 + 919x69 + 938x70 + 188x71 + 447x72 + 748x73 + 497x74 + 466x75 + 827x76 + 583x77 + 546x78 + 227x79 + 261x80 + 296x81 + 867x82 + 922x83 + 387x84 + 571x85 + 710x86 + 909x87 + 50x88 + 770x89 + 396x90 + 406x91 + 199x92 + 258x93 + 731x94 + 438x95 + 734x96 + 93x97 + 823x98 + 22x99 + 428x100 + 786x101 + 674x102 + 557x103 + 676x104 + 262x105 + 507x106 + 288x107 + 579x108 + 409x109 + 207x110 + 669x111 + 109x112 + 600x113 + 299x114 + 318x115 + 180x116 + 646x117 + 437x118 + 246x119 + 836x120 + 682x121 + 709x122 + 524x123 + 823x124 + 662x125 + 710x126 + 59x127 + 161x128 + 997x129 + 212x130 + 469x131 + 427x132 + 394x133 + 261x134 + 91x135 + 8x136 + 153x137 + 904x138 + 982x139 + 697x140 + 110x141 + 359x142 + 578x143 + 584x144 + 343x145 + 539x146 + 584x147 + 887x148 + 578x149 + 59x150 + 264x151 + 311x152 + 358x153 + 228x154 + 40x155 + 999x156 + 363x157 + 95x158 + 478x159 + 131x160 + 96x161 + 822x162 + 503x163 + 424x164 + 408x165 + 437x166 + 974x167 + 640x168 + 220x169 + 416x170 + 572x171 + 18x172 + 303x173 + 288x174 + 579x175 + 815x176 + 868x177 + 772x178 + 632x179 + 181x180 + 744x181 + 993x182 + 531x183 + 875x184 + 191x185 + 938x186 + 703x187 + 808x188 + 607x189 + 470x190 + 554x191 + 820x192 + 174x193 + 941x194 + 915x195 + 484x196 + 684x197 + 528x198 + 159x199 + 710x200 + 377x201 + 210x202 + 931x203 + 864x204 + 332x205 + 875x206 + 758x207 + 633x208 + 560x209 + 390x210 + 366x211 + 516x212 + 784x213 + 712x214 + 919x215 + 97x216 + 916x217 + 727x218 + 346x219 + 650x220 + 371x221 + 243x222 + 444x223 + 645x224 + 823x225 + 64x226 + 650x227 + 454x228 + 110x229 + 687x230 + 669x231 + 450x232 + 181x233 + 968x234 + 457x235 + 643x236 + 805x237 + 360x238 + 349x239 + 967x240 + 523x241 + 762x242 + 74x243 + 135x244 + 833x245 + 814x246 + 140x247 + 944x248 + 151x249 + 532x250 <=64321 
constr5: + 866x1 + 403x2 + 894x3 + 486x4 + 917x5 + 653x6 + 818x7 + 201x8 + 642x9 + 967x10 + 373x11 + 730x12 + 368x13 + 562x14 + 75x15 + 577x16 + 936x17 + 778x18 + 593x19 + 806x20 + 887x21 + 216x22 + 669x23 + 766x24 + 37x25 + 828x26 + 60x27 + 796x28 + 675x29 + 320x30 + 158x31 + 727x32 + 6x33 + 38x34 + 914x35 + 791x36 + 278x37 + 293x38 + 512x39 + 566x40 + 749x41 + 206x42 + 354x43 + 761x44 + 192x45 + 385x46 + 145x47 + 668x48 + 911x49 + 13x50 + 601x51 + 407x52 + 212x53 + 948x54 + 93x55 + 955x56 + 222x57 + 403x58 + 129x59 + 674x60 + 146x61 + 530x62 + 81x63 + 897x64 + 270x65 + 536x66 + 732x67 + 182x68 + 669x69 + 948x70 + 440x71 + 353x72 + 282x73 + 907x74 + 732x75 + 12x76 + 381x77 + 189x78 + 592x79 + 83x80 + 542x81 + 573x82 + 461x83 + 714x84 + 5x85 + 596x86 + 4x87 + 161x88 + 285x89 + 757x90 + 967x91 + 360x92 + 179x93 + 278x94 + 177x95 + 905x96 + 314x97 + 667x98 + 79x99 + 971x100 + 540x101 + 403x102 + 251x103 + 728x104 + 9x105 + 287x106 + 917x107 + 307x108 + 16x109 + 646x110 + 496x111 + 868x112 + 518x113 + 538x114 + 533x115 + 335x116 + 16x117 + 527x118 + 721x119 + 423x120 + 338x121 + 497x122 + 231x123 + 126x124 + 541x125 + 971x126 + 118x127 + 289x128 + 19x129 + 519x130 + 481x131 + 365x132 + 179x133 + 377x134 + 241x135 + 837x136 + 618x137 + 185x138 + 115x139 + 366x140 + 711x141 + 364x142 + 352x143 + 352x144 + 141x145 + 234x146 + 512x147 + 541x148 + 535x149 + 46x150 + 750x151 + 223x152 + 645x153 + 856x154 + 145x155 + 68x156 + 769x157 + 881x158 + 456x159 + 96x160 + 951x161 + 195x162 + 499x163 + 398x164 + 408x165 + 990x166 + 818x167 + 566x168 + 254x169 + 922x170 + 262x171 + 429x172 + 460x173 + 816x174 + 1x175 + 536x176 + 245x177 + 776x178 + 54x179 + 662x180 + 457x181 + 856x182 + 937x183 + 320x184 + 231x185 + 545x186 + 357x187 + 409x188 + 701x189 + 985x190 + 86x191 + 350x192 + 368x193 + 583x194 + 653x195 + 460x196 + 428x197 + 763x198 + 37x199 + 12x200 + 747x201 + 369x202 + 791x203 + 168x204 + 22x205 + 714x206 + 931x207 + 930x208 + 509x209 + 361x210 + 313x211 + 152x212 + 750x213 + 830x214 + 10x215 + 914x216 + 270x217 + 828x218 + 618x219 + 199x220 + 323x221 + 890x222 + 89x223 + 515x224 + 981x225 + 124x226 + 726x227 + 305x228 + 208x229 + 151x230 + 299x231 + 247x232 + 923x233 + 183x234 + 166x235 + 543x236 + 230x237 + 97x238 + 277x239 + 23x240 + 909x241 + 903x242 + 471x243 + 293x244 + 150x245 + 471x246 + 114x247 + 716x248 + 164x249 + 290x250 <=58162 
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