maximize 
objective: + 927x1 + 366x2 + 972x3 + 437x4 + 925x5 + 555x6 + 517x7 + 775x8 + 674x9 + 807x10 + 806x11 + 628x12 + 801x13 + 545x14 + 876x15 + 516x16 + 902x17 + 770x18 + 1013x19 + 692x20 + 485x21 + 893x22 + 693x23 + 718x24 + 795x25 + 878x26 + 661x27 + 848x28 + 940x29 + 495x30 + 814x31 + 966x32 + 1017x33 + 893x34 + 654x35 + 702x36 + 1070x37 + 1018x38 + 894x39 + 773x40 + 739x41 + 528x42 + 576x43 + 649x44 + 545x45 + 701x46 + 810x47 + 883x48 + 831x49 + 738x50 + 1144x51 + 1250x52 + 593x53 + 738x54 + 786x55 + 547x56 + 936x57 + 376x58 + 769x59 + 1017x60 + 521x61 + 669x62 + 931x63 + 894x64 + 382x65 + 964x66 + 1168x67 + 838x68 + 936x69 + 957x70 + 859x71 + 814x72 + 715x73 + 481x74 + 920x75 + 473x76 + 433x77 + 534x78 + 639x79 + 988x80 + 1081x81 + 559x82 + 583x83 + 795x84 + 818x85 + 1065x86 + 284x87 + 946x88 + 719x89 + 742x90 + 579x91 + 654x92 + 501x93 + 580x94 + 675x95 + 688x96 + 777x97 + 565x98 + 675x99 + 766x100 + 816x101 + 749x102 + 874x103 + 627x104 + 749x105 + 832x106 + 1044x107 + 786x108 + 834x109 + 945x110 + 968x111 + 805x112 + 962x113 + 665x114 + 991x115 + 733x116 + 685x117 + 372x118 + 573x119 + 1047x120 + 653x121 + 1026x122 + 518x123 + 803x124 + 524x125 + 418x126 + 595x127 + 778x128 + 534x129 + 503x130 + 1071x131 + 927x132 + 385x133 + 818x134 + 765x135 + 751x136 + 686x137 + 694x138 + 954x139 + 619x140 + 557x141 + 752x142 + 677x143 + 736x144 + 1000x145 + 529x146 + 445x147 + 690x148 + 875x149 + 541x150 + 412x151 + 842x152 + 693x153 + 672x154 + 762x155 + 768x156 + 815x157 + 651x158 + 887x159 + 710x160 + 298x161 + 982x162 + 726x163 + 518x164 + 614x165 + 872x166 + 698x167 + 662x168 + 1134x169 + 959x170 + 840x171 + 631x172 + 1075x173 + 643x174 + 843x175 + 790x176 + 821x177 + 972x178 + 518x179 + 638x180 + 911x181 + 461x182 + 537x183 + 568x184 + 749x185 + 471x186 + 604x187 + 373x188 + 653x189 + 913x190 + 710x191 + 687x192 + 757x193 + 665x194 + 654x195 + 646x196 + 949x197 + 482x198 + 661x199 + 619x200 + 634x201 + 1030x202 + 613x203 + 625x204 + 546x205 + 801x206 + 957x207 + 488x208 + 988x209 + 394x210 + 887x211 + 996x212 + 648x213 + 814x214 + 694x215 + 583x216 + 847x217 + 638x218 + 857x219 + 498x220 + 931x221 + 1070x222 + 691x223 + 742x224 + 649x225 + 685x226 + 577x227 + 680x228 + 987x229 + 703x230 + 757x231 + 771x232 + 518x233 + 440x234 + 593x235 + 556x236 + 978x237 + 745x238 + 707x239 + 576x240 + 560x241 + 1052x242 + 761x243 + 645x244 + 747x245 + 609x246 + 960x247 + 782x248 + 799x249 + 647x250 
subject to 
constr1: + 440x1 + 438x2 + 667x3 + 909x4 + 758x5 + 316x6 + 356x7 + 753x8 + 915x9 + 725x10 + 515x11 + 1000x12 + 177x13 + 370x14 + 418x15 + 562x16 + 452x17 + 288x18 + 121x19 + 972x20 + 555x21 + 905x22 + 241x23 + 268x24 + 743x25 + 256x26 + 366x27 + 220x28 + 285x29 + 526x30 + 642x31 + 770x32 + 523x33 + 487x34 + 537x35 + 558x36 + 413x37 + 579x38 + 377x39 + 496x40 + 469x41 + 382x42 + 277x43 + 796x44 + 811x45 + 607x46 + 77x47 + 72x48 + 594x49 + 969x50 + 40x51 + 903x52 + 55x53 + 459x54 + 621x55 + 293x56 + 495x57 + 55x58 + 996x59 + 225x60 + 96x61 + 253x62 + 567x63 + 601x64 + 179x65 + 749x66 + 991x67 + 849x68 + 396x69 + 527x70 + 105x71 + 705x72 + 794x73 + 258x74 + 957x75 + 473x76 + 500x77 + 614x78 + 602x79 + 22x80 + 890x81 + 987x82 + 283x83 + 505x84 + 743x85 + 998x86 + 287x87 + 180x88 + 727x89 + 606x90 + 268x91 + 580x92 + 932x93 + 794x94 + 913x95 + 964x96 + 185x97 + 729x98 + 462x99 + 391x100 + 403x101 + 455x102 + 708x103 + 164x104 + 34x105 + 786x106 + 764x107 + 327x108 + 667x109 + 752x110 + 920x111 + 860x112 + 963x113 + 278x114 + 875x115 + 874x116 + 811x117 + 57x118 + 274x119 + 776x120 + 654x121 + 693x122 + 63x123 + 683x124 + 795x125 + 670x126 + 90x127 + 683x128 + 83x129 + 98x130 + 798x131 + 769x132 + 50x133 + 139x134 + 316x135 + 249x136 + 942x137 + 102x138 + 553x139 + 166x140 + 120x141 + 164x142 + 688x143 + 554x144 + 813x145 + 251x146 + 184x147 + 546x148 + 371x149 + 188x150 + 108x151 + 291x152 + 796x153 + 803x154 + 677x155 + 984x156 + 373x157 + 649x158 + 304x159 + 942x160 + 259x161 + 233x162 + 726x163 + 237x164 + 714x165 + 676x166 + 855x167 + 231x168 + 340x169 + 508x170 + 526x171 + 238x172 + 964x173 + 547x174 + 362x175 + 503x176 + 744x177 + 946x178 + 298x179 + 569x180 + 992x181 + 496x182 + 46x183 + 988x184 + 514x185 + 288x186 + 286x187 + 65x188 + 808x189 + 586x190 + 723x191 + 285x192 + 936x193 + 837x194 + 87x195 + 100x196 + 153x197 + 177x198 + 214x199 + 672x200 + 590x201 + 942x202 + 65x203 + 767x204 + 149x205 + 612x206 + 894x207 + 397x208 + 597x209 + 569x210 + 344x211 + 199x212 + 697x213 + 405x214 + 912x215 + 258x216 + 470x217 + 669x218 + 177x219 + 791x220 + 470x221 + 353x222 + 316x223 + 848x224 + 642x225 + 622x226 + 137x227 + 871x228 + 889x229 + 306x230 + 312x231 + 26x232 + 428x233 + 508x234 + 898x235 + 488x236 + 621x237 + 159x238 + 963x239 + 283x240 + 586x241 + 499x242 + 172x243 + 435x244 + 662x245 + 817x246 + 489x247 + 391x248 + 402x249 + 170x250 <=31976 
constr2: + 519x1 + 234x2 + 110x3 + 374x4 + 779x5 + 358x6 + 209x7 + 629x8 + 243x9 + 500x10 + 825x11 + 48x12 + 102x13 + 343x14 + 588x15 + 13x16 + 635x17 + 347x18 + 779x19 + 237x20 + 50x21 + 873x22 + 465x23 + 277x24 + 435x25 + 255x26 + 823x27 + 727x28 + 826x29 + 425x30 + 117x31 + 645x32 + 896x33 + 442x34 + 472x35 + 323x36 + 840x37 + 673x38 + 78x39 + 906x40 + 422x41 + 452x42 + 322x43 + 635x44 + 496x45 + 29x46 + 183x47 + 130x48 + 66x49 + 495x50 + 943x51 + 678x52 + 362x53 + 630x54 + 825x55 + 617x56 + 208x57 + 73x58 + 500x59 + 908x60 + 235x61 + 601x62 + 263x63 + 353x64 + 3x65 + 975x66 + 988x67 + 725x68 + 955x69 + 472x70 + 991x71 + 59x72 + 34x73 + 167x74 + 730x75 + 82x76 + 438x77 + 549x78 + 630x79 + 465x80 + 791x81 + 827x82 + 889x83 + 632x84 + 372x85 + 452x86 + 26x87 + 863x88 + 209x89 + 819x90 + 238x91 + 387x92 + 59x93 + 680x94 + 256x95 + 251x96 + 185x97 + 65x98 + 778x99 + 822x100 + 843x101 + 794x102 + 998x103 + 707x104 + 623x105 + 293x106 + 555x107 + 957x108 + 135x109 + 800x110 + 416x111 + 565x112 + 132x113 + 217x114 + 850x115 + 38x116 + 816x117 + 57x118 + 341x119 + 830x120 + 271x121 + 395x122 + 36x123 + 505x124 + 603x125 + 852x126 + 121x127 + 933x128 + 362x129 + 456x130 + 651x131 + 478x132 + 24x133 + 809x134 + 218x135 + 327x136 + 76x137 + 454x138 + 988x139 + 917x140 + 292x141 + 428x142 + 333x143 + 836x144 + 447x145 + 511x146 + 208x147 + 77x148 + 462x149 + 759x150 + 273x151 + 430x152 + 873x153 + 683x154 + 582x155 + 160x156 + 971x157 + 598x158 + 720x159 + 695x160 + 173x161 + 100x162 + 637x163 + 36x164 + 212x165 + 739x166 + 379x167 + 801x168 + 930x169 + 786x170 + 445x171 + 561x172 + 876x173 + 282x174 + 13x175 + 390x176 + 280x177 + 534x178 + 341x179 + 23x180 + 269x181 + 228x182 + 469x183 + 280x184 + 840x185 + 1x186 + 484x187 + 32x188 + 762x189 + 526x190 + 455x191 + 928x192 + 835x193 + 693x194 + 690x195 + 624x196 + 685x197 + 169x198 + 746x199 + 481x200 + 368x201 + 864x202 + 798x203 + 346x204 + 121x205 + 498x206 + 161x207 + 508x208 + 825x209 + 86x210 + 312x211 + 932x212 + 766x213 + 497x214 + 811x215 + 931x216 + 412x217 + 950x218 + 574x219 + 48x220 + 306x221 + 836x222 + 565x223 + 264x224 + 212x225 + 138x226 + 449x227 + 459x228 + 452x229 + 580x230 + 885x231 + 814x232 + 687x233 + 242x234 + 71x235 + 279x236 + 753x237 + 340x238 + 15x239 + 101x240 + 384x241 + 944x242 + 873x243 + 107x244 + 209x245 + 423x246 + 90x247 + 800x248 + 245x249 + 570x250 <=30032 
constr3: + 373x1 + 224x2 + 496x3 + 88x4 + 826x5 + 432x6 + 280x7 + 85x8 + 11x9 + 236x10 + 16x11 + 274x12 + 742x13 + 720x14 + 63x15 + 983x16 + 745x17 + 81x18 + 996x19 + 664x20 + 193x21 + 17x22 + 374x23 + 858x24 + 697x25 + 172x26 + 885x27 + 756x28 + 635x29 + 238x30 + 34x31 + 646x32 + 855x33 + 593x34 + 423x35 + 434x36 + 623x37 + 631x38 + 430x39 + 389x40 + 694x41 + 507x42 + 914x43 + 380x44 + 28x45 + 752x46 + 552x47 + 822x48 + 291x49 + 327x50 + 876x51 + 918x52 + 78x53 + 505x54 + 858x55 + 325x56 + 214x57 + 72x58 + 811x59 + 73x60 + 540x61 + 766x62 + 196x63 + 936x64 + 150x65 + 738x66 + 973x67 + 154x68 + 642x69 + 694x70 + 935x71 + 649x72 + 972x73 + 306x74 + 178x75 + 154x76 + 63x77 + 630x78 + 625x79 + 777x80 + 565x81 + 377x82 + 375x83 + 678x84 + 662x85 + 749x86 + 317x87 + 513x88 + 474x89 + 462x90 + 35x91 + 774x92 + 815x93 + 71x94 + 258x95 + 409x96 + 145x97 + 27x98 + 531x99 + 352x100 + 645x101 + 388x102 + 410x103 + 443x104 + 772x105 + 214x106 + 104x107 + 980x108 + 703x109 + 240x110 + 867x111 + 70x112 + 879x113 + 608x114 + 509x115 + 343x116 + 242x117 + 331x118 + 575x119 + 406x120 + 284x121 + 855x122 + 100x123 + 923x124 + 235x125 + 241x126 + 94x127 + 544x128 + 112x129 + 846x130 + 745x131 + 724x132 + 231x133 + 346x134 + 656x135 + 553x136 + 246x137 + 905x138 + 483x139 + 530x140 + 645x141 + 641x142 + 974x143 + 135x144 + 305x145 + 179x146 + 328x147 + 675x148 + 416x149 + 238x150 + 336x151 + 356x152 + 604x153 + 778x154 + 47x155 + 640x156 + 648x157 + 533x158 + 222x159 + 495x160 + 316x161 + 896x162 + 758x163 + 93x164 + 536x165 + 903x166 + 817x167 + 508x168 + 698x169 + 994x170 + 140x171 + 140x172 + 656x173 + 286x174 + 57x175 + 378x176 + 764x177 + 803x178 + 70x179 + 561x180 + 394x181 + 387x182 + 951x183 + 298x184 + 618x185 + 544x186 + 716x187 + 405x188 + 206x189 + 371x190 + 346x191 + 461x192 + 708x193 + 899x194 + 979x195 + 645x196 + 536x197 + 331x198 + 453x199 + 813x200 + 656x201 + 490x202 + 394x203 + 202x204 + 575x205 + 801x206 + 341x207 + 488x208 + 702x209 + 511x210 + 776x211 + 944x212 + 919x213 + 869x214 + 421x215 + 74x216 + 431x217 + 248x218 + 906x219 + 58x220 + 438x221 + 577x222 + 748x223 + 546x224 + 391x225 + 662x226 + 79x227 + 618x228 + 280x229 + 535x230 + 467x231 + 946x232 + 105x233 + 112x234 + 527x235 + 235x236 + 549x237 + 514x238 + 930x239 + 825x240 + 953x241 + 816x242 + 285x243 + 898x244 + 575x245 + 169x246 + 858x247 + 267x248 + 138x249 + 538x250 <=31070 
constr4: + 219x1 + 798x2 + 639x3 + 682x4 + 354x5 + 134x6 + 463x7 + 706x8 + 460x9 + 918x10 + 119x11 + 818x12 + 412x13 + 596x14 + 412x15 + 669x16 + 921x17 + 353x18 + 559x19 + 848x20 + 111x21 + 493x22 + 340x23 + 549x24 + 94x25 + 621x26 + 250x27 + 177x28 + 253x29 + 205x30 + 219x31 + 615x32 + 444x33 + 651x34 + 944x35 + 843x36 + 972x37 + 816x38 + 940x39 + 407x40 + 88x41 + 967x42 + 13x43 + 421x44 + 256x45 + 195x46 + 473x47 + 984x48 + 384x49 + 27x50 + 894x51 + 699x52 + 213x53 + 573x54 + 840x55 + 94x56 + 803x57 + 835x58 + 441x59 + 717x60 + 479x61 + 191x62 + 378x63 + 927x64 + 712x65 + 768x66 + 563x67 + 622x68 + 60x69 + 394x70 + 60x71 + 387x72 + 123x73 + 391x74 + 922x75 + 519x76 + 310x77 + 151x78 + 336x79 + 666x80 + 294x81 + 320x82 + 683x83 + 828x84 + 284x85 + 351x86 + 419x87 + 852x88 + 204x89 + 458x90 + 410x91 + 780x92 + 56x93 + 203x94 + 775x95 + 9x96 + 877x97 + 124x98 + 776x99 + 515x100 + 184x101 + 946x102 + 985x103 + 824x104 + 527x105 + 564x106 + 950x107 + 385x108 + 767x109 + 848x110 + 969x111 + 642x112 + 217x113 + 890x114 + 589x115 + 698x116 + 947x117 + 627x118 + 199x119 + 775x120 + 888x121 + 699x122 + 31x123 + 526x124 + 151x125 + 31x126 + 258x127 + 645x128 + 524x129 + 593x130 + 933x131 + 185x132 + 329x133 + 690x134 + 329x135 + 446x136 + 986x137 + 295x138 + 505x139 + 298x140 + 467x141 + 646x142 + 101x143 + 320x144 + 290x145 + 519x146 + 116x147 + 942x148 + 243x149 + 411x150 + 291x151 + 829x152 + 176x153 + 126x154 + 711x155 + 980x156 + 509x157 + 372x158 + 596x159 + 171x160 + 37x161 + 333x162 + 924x163 + 464x164 + 54x165 + 424x166 + 398x167 + 996x168 + 989x169 + 448x170 + 764x171 + 867x172 + 897x173 + 881x174 + 843x175 + 965x176 + 376x177 + 817x178 + 376x179 + 55x180 + 92x181 + 686x182 + 191x183 + 73x184 + 419x185 + 436x186 + 235x187 + 405x188 + 826x189 + 435x190 + 316x191 + 477x192 + 527x193 + 169x194 + 12x195 + 585x196 + 872x197 + 853x198 + 183x199 + 538x200 + 983x201 + 15x202 + 46x203 + 403x204 + 658x205 + 97x206 + 531x207 + 88x208 + 604x209 + 518x210 + 481x211 + 237x212 + 758x213 + 412x214 + 155x215 + 40x216 + 467x217 + 379x218 + 153x219 + 162x220 + 373x221 + 634x222 + 794x223 + 232x224 + 139x225 + 750x226 + 996x227 + 411x228 + 871x229 + 657x230 + 901x231 + 385x232 + 217x233 + 812x234 + 671x235 + 386x236 + 462x237 + 117x238 + 957x239 + 754x240 + 366x241 + 951x242 + 152x243 + 857x244 + 688x245 + 293x246 + 823x247 + 588x248 + 430x249 + 604x250 <=31376 
constr5: + 859x1 + 82x2 + 607x3 + 130x4 + 702x5 + 894x6 + 512x7 + 314x8 + 983x9 + 815x10 + 787x11 + 797x12 + 686x13 + 169x14 + 667x15 + 15x16 + 103x17 + 465x18 + 972x19 + 671x20 + 833x21 + 578x22 + 549x23 + 269x24 + 948x25 + 683x26 + 675x27 + 704x28 + 596x29 + 125x30 + 916x31 + 351x32 + 816x33 + 861x34 + 560x35 + 291x36 + 96x37 + 934x38 + 784x39 + 462x40 + 450x41 + 228x42 + 771x43 + 671x44 + 364x45 + 304x46 + 572x47 + 928x48 + 575x49 + 151x50 + 894x51 + 766x52 + 96x53 + 425x54 + 307x55 + 286x56 + 965x57 + 650x58 + 694x59 + 839x60 + 257x61 + 74x62 + 799x63 + 451x64 + 792x65 + 132x66 + 680x67 + 997x68 + 721x69 + 681x70 + 121x71 + 154x72 + 415x73 + 555x74 + 320x75 + 120x76 + 750x77 + 225x78 + 438x79 + 679x80 + 389x81 + 197x82 + 649x83 + 385x84 + 832x85 + 478x86 + 53x87 + 339x88 + 603x89 + 94x90 + 531x91 + 24x92 + 582x93 + 411x94 + 445x95 + 330x96 + 395x97 + 695x98 + 294x99 + 800x100 + 80x101 + 175x102 + 419x103 + 174x104 + 196x105 + 99x106 + 809x107 + 800x108 + 812x109 + 449x110 + 30x111 + 756x112 + 691x113 + 450x114 + 240x115 + 186x116 + 123x117 + 474x118 + 702x119 + 196x120 + 406x121 + 520x122 + 920x123 + 637x124 + 267x125 + 129x126 + 22x127 + 539x128 + 73x129 + 517x130 + 379x131 + 764x132 + 293x133 + 774x134 + 376x135 + 970x136 + 955x137 + 332x138 + 32x139 + 271x140 + 206x141 + 746x142 + 847x143 + 239x144 + 696x145 + 230x146 + 81x147 + 639x148 + 968x149 + 164x150 + 428x151 + 913x152 + 919x153 + 135x154 + 941x155 + 724x156 + 464x157 + 540x158 + 892x159 + 454x160 + 275x161 + 966x162 + 22x163 + 697x164 + 240x165 + 160x166 + 414x167 + 278x168 + 923x169 + 895x170 + 891x171 + 605x172 + 813x173 + 668x174 + 951x175 + 567x176 + 692x177 + 722x178 + 933x179 + 585x180 + 823x181 + 84x182 + 672x183 + 674x184 + 292x185 + 780x186 + 323x187 + 847x188 + 246x189 + 738x190 + 749x191 + 810x192 + 591x193 + 579x194 + 424x195 + 79x196 + 953x197 + 261x198 + 454x199 + 194x200 + 405x201 + 828x202 + 170x203 + 81x204 + 967x205 + 86x206 + 831x207 + 774x208 + 735x209 + 46x210 + 972x211 + 449x212 + 65x213 + 91x214 + 370x215 + 790x216 + 215x217 + 926x218 + 907x219 + 772x220 + 676x221 + 838x222 + 714x223 + 473x224 + 151x225 + 59x226 + 969x227 + 670x228 + 921x229 + 788x230 + 215x231 + 710x232 + 7x233 + 105x234 + 303x235 + 957x236 + 390x237 + 888x238 + 543x239 + 786x240 + 26x241 + 489x242 + 253x243 + 557x244 + 60x245 + 288x246 + 721x247 + 631x248 + 983x249 + 517x250 <=32346 
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