maximize 
objective: + 627x1 + 780x2 + 517x3 + 751x4 + 1016x5 + 683x6 + 486x7 + 980x8 + 865x9 + 636x10 + 640x11 + 880x12 + 760x13 + 700x14 + 719x15 + 812x16 + 1090x17 + 538x18 + 620x19 + 544x20 + 593x21 + 1158x22 + 378x23 + 407x24 + 905x25 + 662x26 + 772x27 + 673x28 + 814x29 + 847x30 + 772x31 + 786x32 + 870x33 + 257x34 + 1082x35 + 967x36 + 772x37 + 887x38 + 787x39 + 1033x40 + 964x41 + 629x42 + 1028x43 + 570x44 + 1043x45 + 862x46 + 626x47 + 534x48 + 916x49 + 852x50 + 955x51 + 858x52 + 976x53 + 493x54 + 769x55 + 530x56 + 599x57 + 336x58 + 1142x59 + 524x60 + 831x61 + 389x62 + 765x63 + 790x64 + 940x65 + 391x66 + 964x67 + 523x68 + 853x69 + 638x70 + 523x71 + 832x72 + 810x73 + 468x74 + 595x75 + 811x76 + 953x77 + 1036x78 + 537x79 + 736x80 + 816x81 + 627x82 + 605x83 + 803x84 + 769x85 + 491x86 + 677x87 + 657x88 + 649x89 + 607x90 + 829x91 + 879x92 + 757x93 + 897x94 + 634x95 + 624x96 + 542x97 + 936x98 + 1080x99 + 927x100 + 797x101 + 887x102 + 615x103 + 520x104 + 891x105 + 778x106 + 1040x107 + 770x108 + 816x109 + 1014x110 + 801x111 + 537x112 + 593x113 + 1108x114 + 958x115 + 512x116 + 610x117 + 1007x118 + 760x119 + 879x120 + 871x121 + 725x122 + 807x123 + 572x124 + 736x125 + 505x126 + 703x127 + 497x128 + 1064x129 + 634x130 + 669x131 + 813x132 + 1080x133 + 856x134 + 528x135 + 1062x136 + 988x137 + 799x138 + 754x139 + 946x140 + 523x141 + 1060x142 + 851x143 + 573x144 + 802x145 + 592x146 + 910x147 + 1043x148 + 839x149 + 823x150 + 897x151 + 593x152 + 815x153 + 1191x154 + 679x155 + 884x156 + 772x157 + 391x158 + 976x159 + 641x160 + 390x161 + 459x162 + 424x163 + 694x164 + 642x165 + 528x166 + 515x167 + 709x168 + 791x169 + 1018x170 + 685x171 + 460x172 + 838x173 + 1053x174 + 833x175 + 819x176 + 896x177 + 343x178 + 964x179 + 603x180 + 408x181 + 1000x182 + 916x183 + 832x184 + 512x185 + 878x186 + 586x187 + 758x188 + 696x189 + 493x190 + 941x191 + 742x192 + 691x193 + 789x194 + 199x195 + 747x196 + 485x197 + 976x198 + 475x199 + 722x200 + 690x201 + 821x202 + 893x203 + 923x204 + 585x205 + 243x206 + 909x207 + 980x208 + 1082x209 + 837x210 + 632x211 + 625x212 + 698x213 + 315x214 + 811x215 + 445x216 + 860x217 + 672x218 + 507x219 + 948x220 + 535x221 + 490x222 + 1020x223 + 1095x224 + 472x225 + 709x226 + 946x227 + 1012x228 + 824x229 + 641x230 + 560x231 + 990x232 + 560x233 + 1051x234 + 691x235 + 635x236 + 955x237 + 873x238 + 1018x239 + 544x240 + 991x241 + 661x242 + 897x243 + 507x244 + 743x245 + 781x246 + 504x247 + 299x248 + 702x249 + 364x250 
subject to 
constr1: + 151x1 + 768x2 + 95x3 + 306x4 + 125x5 + 82x6 + 155x7 + 568x8 + 351x9 + 152x10 + 97x11 + 559x12 + 777x13 + 797x14 + 538x15 + 159x16 + 331x17 + 868x18 + 297x19 + 378x20 + 668x21 + 744x22 + 782x23 + 341x24 + 34x25 + 27x26 + 806x27 + 549x28 + 612x29 + 935x30 + 539x31 + 921x32 + 347x33 + 78x34 + 660x35 + 364x36 + 885x37 + 898x38 + 182x39 + 839x40 + 968x41 + 108x42 + 598x43 + 840x44 + 853x45 + 621x46 + 643x47 + 629x48 + 116x49 + 110x50 + 581x51 + 983x52 + 522x53 + 775x54 + 325x55 + 342x56 + 218x57 + 90x58 + 852x59 + 736x60 + 129x61 + 541x62 + 131x63 + 672x64 + 888x65 + 305x66 + 262x67 + 752x68 + 735x69 + 334x70 + 335x71 + 600x72 + 182x73 + 251x74 + 668x75 + 530x76 + 931x77 + 135x78 + 888x79 + 947x80 + 930x81 + 472x82 + 2x83 + 985x84 + 999x85 + 398x86 + 239x87 + 436x88 + 261x89 + 55x90 + 544x91 + 790x92 + 132x93 + 888x94 + 612x95 + 522x96 + 813x97 + 553x98 + 875x99 + 63x100 + 701x101 + 630x102 + 864x103 + 185x104 + 994x105 + 284x106 + 276x107 + 347x108 + 513x109 + 850x110 + 874x111 + 15x112 + 3x113 + 298x114 + 630x115 + 273x116 + 892x117 + 668x118 + 980x119 + 599x120 + 737x121 + 250x122 + 634x123 + 113x124 + 508x125 + 457x126 + 637x127 + 559x128 + 313x129 + 172x130 + 668x131 + 15x132 + 574x133 + 496x134 + 431x135 + 980x136 + 789x137 + 160x138 + 189x139 + 605x140 + 105x141 + 214x142 + 312x143 + 178x144 + 25x145 + 485x146 + 569x147 + 863x148 + 759x149 + 882x150 + 883x151 + 319x152 + 144x153 + 788x154 + 601x155 + 463x156 + 217x157 + 127x158 + 742x159 + 919x160 + 806x161 + 301x162 + 145x163 + 385x164 + 218x165 + 279x166 + 580x167 + 271x168 + 710x169 + 382x170 + 137x171 + 742x172 + 586x173 + 844x174 + 795x175 + 293x176 + 603x177 + 177x178 + 421x179 + 363x180 + 538x181 + 967x182 + 933x183 + 755x184 + 433x185 + 564x186 + 958x187 + 425x188 + 756x189 + 19x190 + 345x191 + 178x192 + 628x193 + 161x194 + 1x195 + 845x196 + 106x197 + 488x198 + 737x199 + 627x200 + 285x201 + 238x202 + 645x203 + 255x204 + 139x205 + 755x206 + 331x207 + 958x208 + 338x209 + 837x210 + 280x211 + 973x212 + 700x213 + 19x214 + 994x215 + 349x216 + 780x217 + 259x218 + 481x219 + 712x220 + 995x221 + 812x222 + 508x223 + 656x224 + 569x225 + 690x226 + 733x227 + 659x228 + 476x229 + 805x230 + 436x231 + 592x232 + 34x233 + 569x234 + 972x235 + 305x236 + 23x237 + 900x238 + 272x239 + 446x240 + 748x241 + 481x242 + 739x243 + 253x244 + 789x245 + 303x246 + 809x247 + 212x248 + 513x249 + 104x250 <=63226 
constr2: + 906x1 + 858x2 + 576x3 + 426x4 + 640x5 + 648x6 + 647x7 + 448x8 + 333x9 + 915x10 + 178x11 + 78x12 + 630x13 + 382x14 + 629x15 + 999x16 + 868x17 + 338x18 + 27x19 + 862x20 + 617x21 + 309x22 + 275x23 + 142x24 + 957x25 + 587x26 + 190x27 + 482x28 + 4x29 + 735x30 + 185x31 + 884x32 + 536x33 + 528x34 + 746x35 + 182x36 + 101x37 + 428x38 + 28x39 + 938x40 + 288x41 + 829x42 + 363x43 + 554x44 + 382x45 + 261x46 + 735x47 + 167x48 + 654x49 + 931x50 + 89x51 + 930x52 + 247x53 + 771x54 + 350x55 + 635x56 + 520x57 + 23x58 + 821x59 + 157x60 + 848x61 + 984x62 + 803x63 + 862x64 + 636x65 + 210x66 + 289x67 + 263x68 + 290x69 + 706x70 + 106x71 + 56x72 + 119x73 + 977x74 + 23x75 + 417x76 + 405x77 + 397x78 + 935x79 + 33x80 + 74x81 + 788x82 + 143x83 + 23x84 + 457x85 + 104x86 + 557x87 + 329x88 + 577x89 + 897x90 + 980x91 + 327x92 + 728x93 + 301x94 + 526x95 + 926x96 + 269x97 + 288x98 + 830x99 + 862x100 + 328x101 + 244x102 + 193x103 + 411x104 + 306x105 + 759x106 + 919x107 + 484x108 + 755x109 + 774x110 + 501x111 + 342x112 + 208x113 + 669x114 + 967x115 + 229x116 + 353x117 + 484x118 + 704x119 + 375x120 + 547x121 + 441x122 + 730x123 + 161x124 + 674x125 + 240x126 + 740x127 + 677x128 + 460x129 + 202x130 + 831x131 + 730x132 + 910x133 + 704x134 + 591x135 + 699x136 + 664x137 + 166x138 + 953x139 + 507x140 + 440x141 + 744x142 + 929x143 + 621x144 + 863x145 + 230x146 + 944x147 + 805x148 + 757x149 + 367x150 + 288x151 + 477x152 + 36x153 + 942x154 + 207x155 + 226x156 + 831x157 + 791x158 + 517x159 + 35x160 + 801x161 + 752x162 + 294x163 + 860x164 + 382x165 + 31x166 + 221x167 + 94x168 + 202x169 + 856x170 + 567x171 + 172x172 + 275x173 + 243x174 + 867x175 + 182x176 + 575x177 + 183x178 + 459x179 + 942x180 + 301x181 + 417x182 + 259x183 + 356x184 + 221x185 + 586x186 + 156x187 + 26x188 + 759x189 + 995x190 + 383x191 + 239x192 + 844x193 + 866x194 + 58x195 + 875x196 + 502x197 + 610x198 + 532x199 + 631x200 + 192x201 + 771x202 + 736x203 + 265x204 + 493x205 + 111x206 + 956x207 + 890x208 + 682x209 + 136x210 + 806x211 + 465x212 + 803x213 + 737x214 + 491x215 + 284x216 + 774x217 + 147x218 + 623x219 + 234x220 + 129x221 + 29x222 + 556x223 + 777x224 + 636x225 + 296x226 + 267x227 + 568x228 + 607x229 + 335x230 + 123x231 + 587x232 + 706x233 + 985x234 + 812x235 + 810x236 + 742x237 + 931x238 + 754x239 + 625x240 + 246x241 + 752x242 + 747x243 + 365x244 + 189x245 + 481x246 + 311x247 + 84x248 + 862x249 + 227x250 <=63343 
constr3: + 194x1 + 153x2 + 726x3 + 883x4 + 707x5 + 921x6 + 562x7 + 921x8 + 673x9 + 666x10 + 448x11 + 775x12 + 50x13 + 796x14 + 775x15 + 928x16 + 683x17 + 462x18 + 245x19 + 33x20 + 743x21 + 818x22 + 132x23 + 593x24 + 953x25 + 339x26 + 267x27 + 472x28 + 271x29 + 596x30 + 150x31 + 320x32 + 596x33 + 24x34 + 518x35 + 222x36 + 660x37 + 265x38 + 662x39 + 679x40 + 29x41 + 993x42 + 426x43 + 314x44 + 825x45 + 874x46 + 464x47 + 90x48 + 310x49 + 278x50 + 643x51 + 952x52 + 930x53 + 453x54 + 395x55 + 42x56 + 864x57 + 178x58 + 727x59 + 277x60 + 308x61 + 213x62 + 870x63 + 980x64 + 789x65 + 254x66 + 816x67 + 222x68 + 999x69 + 182x70 + 543x71 + 400x72 + 229x73 + 382x74 + 517x75 + 704x76 + 345x77 + 988x78 + 332x79 + 389x80 + 260x81 + 481x82 + 688x83 + 967x84 + 404x85 + 531x86 + 429x87 + 74x88 + 760x89 + 147x90 + 671x91 + 442x92 + 116x93 + 342x94 + 677x95 + 117x96 + 109x97 + 652x98 + 581x99 + 731x100 + 460x101 + 298x102 + 78x103 + 278x104 + 707x105 + 528x106 + 648x107 + 513x108 + 801x109 + 322x110 + 740x111 + 266x112 + 869x113 + 999x114 + 547x115 + 800x116 + 315x117 + 371x118 + 47x119 + 563x120 + 225x121 + 141x122 + 780x123 + 485x124 + 777x125 + 479x126 + 796x127 + 540x128 + 965x129 + 961x130 + 885x131 + 877x132 + 236x133 + 93x134 + 635x135 + 791x136 + 198x137 + 760x138 + 324x139 + 981x140 + 768x141 + 613x142 + 240x143 + 57x144 + 81x145 + 857x146 + 965x147 + 681x148 + 665x149 + 542x150 + 404x151 + 435x152 + 452x153 + 992x154 + 917x155 + 672x156 + 130x157 + 369x158 + 179x159 + 113x160 + 67x161 + 557x162 + 215x163 + 227x164 + 205x165 + 293x166 + 309x167 + 317x168 + 814x169 + 645x170 + 465x171 + 92x172 + 744x173 + 148x174 + 184x175 + 691x176 + 376x177 + 318x178 + 406x179 + 587x180 + 213x181 + 931x182 + 610x183 + 748x184 + 400x185 + 933x186 + 59x187 + 705x188 + 167x189 + 540x190 + 809x191 + 60x192 + 201x193 + 753x194 + 172x195 + 631x196 + 473x197 + 413x198 + 230x199 + 358x200 + 668x201 + 847x202 + 871x203 + 574x204 + 753x205 + 232x206 + 651x207 + 454x208 + 842x209 + 743x210 + 373x211 + 167x212 + 871x213 + 210x214 + 42x215 + 380x216 + 637x217 + 595x218 + 62x219 + 801x220 + 336x221 + 607x222 + 400x223 + 965x224 + 222x225 + 29x226 + 4x227 + 840x228 + 295x229 + 515x230 + 555x231 + 707x232 + 246x233 + 735x234 + 453x235 + 362x236 + 665x237 + 720x238 + 290x239 + 459x240 + 872x241 + 195x242 + 555x243 + 811x244 + 775x245 + 836x246 + 340x247 + 108x248 + 803x249 + 83x250 <=62710 
constr4: + 430x1 + 616x2 + 542x3 + 666x4 + 693x5 + 4x6 + 290x7 + 264x8 + 302x9 + 886x10 + 152x11 + 447x12 + 175x13 + 821x14 + 574x15 + 845x16 + 540x17 + 370x18 + 650x19 + 252x20 + 173x21 + 714x22 + 161x23 + 138x24 + 288x25 + 424x26 + 981x27 + 281x28 + 407x29 + 764x30 + 306x31 + 828x32 + 778x33 + 318x34 + 840x35 + 902x36 + 699x37 + 713x38 + 174x39 + 506x40 + 844x41 + 8x42 + 978x43 + 609x44 + 472x45 + 442x46 + 515x47 + 576x48 + 803x49 + 716x50 + 723x51 + 21x52 + 707x53 + 282x54 + 13x55 + 205x56 + 484x57 + 350x58 + 538x59 + 872x60 + 644x61 + 76x62 + 467x63 + 503x64 + 603x65 + 283x66 + 813x67 + 746x68 + 384x69 + 988x70 + 176x71 + 204x72 + 515x73 + 424x74 + 863x75 + 418x76 + 863x77 + 979x78 + 5x79 + 800x80 + 100x81 + 802x82 + 659x83 + 235x84 + 493x85 + 125x86 + 500x87 + 196x88 + 470x89 + 909x90 + 645x91 + 649x92 + 483x93 + 60x94 + 837x95 + 643x96 + 48x97 + 631x98 + 896x99 + 183x100 + 285x101 + 317x102 + 442x103 + 277x104 + 318x105 + 324x106 + 886x107 + 610x108 + 27x109 + 896x110 + 516x111 + 790x112 + 93x113 + 466x114 + 925x115 + 653x116 + 931x117 + 490x118 + 70x119 + 78x120 + 223x121 + 933x122 + 190x123 + 741x124 + 315x125 + 164x126 + 575x127 + 488x128 + 675x129 + 922x130 + 278x131 + 516x132 + 666x133 + 12x134 + 419x135 + 973x136 + 899x137 + 646x138 + 279x139 + 936x140 + 142x141 + 785x142 + 897x143 + 449x144 + 398x145 + 526x146 + 134x147 + 587x148 + 684x149 + 57x150 + 940x151 + 451x152 + 830x153 + 694x154 + 285x155 + 291x156 + 101x157 + 124x158 + 916x159 + 911x160 + 82x161 + 228x162 + 840x163 + 297x164 + 54x165 + 280x166 + 627x167 + 781x168 + 323x169 + 764x170 + 266x171 + 700x172 + 878x173 + 830x174 + 531x175 + 618x176 + 744x177 + 772x178 + 664x179 + 366x180 + 377x181 + 793x182 + 701x183 + 388x184 + 260x185 + 439x186 + 498x187 + 763x188 + 761x189 + 36x190 + 929x191 + 951x192 + 357x193 + 597x194 + 383x195 + 399x196 + 474x197 + 923x198 + 195x199 + 53x200 + 230x201 + 567x202 + 991x203 + 223x204 + 171x205 + 39x206 + 105x207 + 72x208 + 971x209 + 741x210 + 41x211 + 101x212 + 434x213 + 28x214 + 481x215 + 56x216 + 897x217 + 930x218 + 550x219 + 102x220 + 479x221 + 892x222 + 455x223 + 585x224 + 166x225 + 517x226 + 930x227 + 942x228 + 445x229 + 563x230 + 17x231 + 76x232 + 675x233 + 151x234 + 519x235 + 376x236 + 991x237 + 851x238 + 686x239 + 451x240 + 335x241 + 410x242 + 483x243 + 993x244 + 775x245 + 752x246 + 712x247 + 327x248 + 933x249 + 366x250 <=63171 
constr5: + 383x1 + 340x2 + 238x3 + 740x4 + 943x5 + 420x6 + 283x7 + 987x8 + 193x9 + 132x10 + 57x11 + 954x12 + 831x13 + 538x14 + 827x15 + 357x16 + 673x17 + 584x18 + 31x19 + 460x20 + 335x21 + 868x22 + 436x23 + 801x24 + 197x25 + 721x26 + 583x27 + 711x28 + 666x29 + 10x30 + 279x31 + 459x32 + 631x33 + 60x34 + 215x35 + 755x36 + 144x37 + 769x38 + 669x39 + 753x40 + 804x41 + 196x42 + 356x43 + 206x44 + 212x45 + 64x46 + 37x47 + 463x48 + 661x49 + 54x50 + 254x51 + 721x52 + 725x53 + 66x54 + 289x55 + 75x56 + 776x57 + 285x58 + 539x59 + 79x60 + 223x61 + 9x62 + 192x63 + 592x64 + 381x65 + 326x66 + 153x67 + 171x68 + 418x69 + 575x70 + 395x71 + 461x72 + 619x73 + 139x74 + 886x75 + 489x76 + 272x77 + 445x78 + 467x79 + 30x80 + 915x81 + 11x82 + 883x83 + 81x84 + 369x85 + 422x86 + 790x87 + 440x88 + 570x89 + 470x90 + 586x91 + 90x92 + 264x93 + 467x94 + 40x95 + 431x96 + 641x97 + 291x98 + 525x99 + 651x100 + 125x101 + 951x102 + 414x103 + 809x104 + 415x105 + 756x106 + 225x107 + 865x108 + 731x109 + 338x110 + 227x111 + 290x112 + 555x113 + 766x114 + 405x115 + 582x116 + 82x117 + 551x118 + 717x119 + 776x120 + 317x121 + 843x122 + 933x123 + 102x124 + 44x125 + 624x126 + 606x127 + 78x128 + 412x129 + 890x130 + 299x131 + 378x132 + 770x133 + 944x134 + 558x135 + 931x136 + 959x137 + 388x138 + 211x139 + 991x140 + 78x141 + 870x142 + 6x143 + 219x144 + 390x145 + 111x146 + 804x147 + 854x148 + 216x149 + 934x150 + 188x151 + 11x152 + 744x153 + 525x154 + 516x155 + 836x156 + 355x157 + 193x158 + 787x159 + 918x160 + 77x161 + 308x162 + 243x163 + 433x164 + 391x165 + 466x166 + 538x167 + 941x168 + 171x169 + 933x170 + 181x171 + 115x172 + 175x173 + 801x174 + 907x175 + 72x176 + 451x177 + 159x178 + 562x179 + 659x180 + 499x181 + 450x182 + 508x183 + 208x184 + 499x185 + 651x186 + 71x187 + 300x188 + 829x189 + 517x190 + 895x191 + 240x192 + 11x193 + 816x194 + 316x195 + 257x196 + 566x197 + 670x198 + 483x199 + 461x200 + 427x201 + 303x202 + 734x203 + 845x204 + 424x205 + 60x206 + 915x207 + 243x208 + 690x209 + 573x210 + 957x211 + 347x212 + 427x213 + 452x214 + 92x215 + 481x216 + 686x217 + 678x218 + 61x219 + 934x220 + 635x221 + 109x222 + 818x223 + 842x224 + 512x225 + 471x226 + 815x227 + 344x228 + 14x229 + 803x230 + 97x231 + 556x232 + 791x233 + 961x234 + 199x235 + 381x236 + 296x237 + 510x238 + 894x239 + 403x240 + 515x241 + 34x242 + 230x243 + 95x244 + 105x245 + 387x246 + 5x247 + 149x248 + 97x249 + 309x250 <=57512 
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