maximize 
objective: + 727x1 + 711x2 + 911x3 + 679x4 + 955x5 + 801x6 + 651x7 + 544x8 + 1006x9 + 751x10 + 1167x11 + 622x12 + 798x13 + 840x14 + 659x15 + 936x16 + 440x17 + 755x18 + 911x19 + 866x20 + 760x21 + 1132x22 + 691x23 + 629x24 + 864x25 + 576x26 + 709x27 + 563x28 + 365x29 + 563x30 + 608x31 + 681x32 + 1138x33 + 534x34 + 902x35 + 870x36 + 988x37 + 546x38 + 872x39 + 885x40 + 938x41 + 1006x42 + 525x43 + 617x44 + 857x45 + 1020x46 + 704x47 + 684x48 + 1102x49 + 550x50 + 728x51 + 872x52 + 820x53 + 457x54 + 670x55 + 988x56 + 864x57 + 818x58 + 652x59 + 633x60 + 858x61 + 697x62 + 442x63 + 557x64 + 696x65 + 639x66 + 789x67 + 606x68 + 1034x69 + 875x70 + 866x71 + 701x72 + 584x73 + 904x74 + 930x75 + 459x76 + 880x77 + 1045x78 + 446x79 + 846x80 + 1038x81 + 461x82 + 793x83 + 700x84 + 597x85 + 619x86 + 478x87 + 808x88 + 816x89 + 734x90 + 1027x91 + 609x92 + 770x93 + 657x94 + 925x95 + 708x96 + 431x97 + 982x98 + 780x99 + 163x100 + 559x101 + 818x102 + 875x103 + 619x104 + 604x105 + 988x106 + 343x107 + 607x108 + 512x109 + 825x110 + 938x111 + 731x112 + 1337x113 + 589x114 + 985x115 + 548x116 + 447x117 + 410x118 + 819x119 + 496x120 + 817x121 + 577x122 + 593x123 + 797x124 + 385x125 + 868x126 + 788x127 + 965x128 + 729x129 + 456x130 + 736x131 + 953x132 + 949x133 + 687x134 + 745x135 + 1050x136 + 684x137 + 562x138 + 548x139 + 854x140 + 935x141 + 768x142 + 958x143 + 1036x144 + 839x145 + 610x146 + 899x147 + 495x148 + 775x149 + 702x150 + 571x151 + 1107x152 + 437x153 + 733x154 + 728x155 + 625x156 + 1043x157 + 680x158 + 928x159 + 876x160 + 678x161 + 521x162 + 917x163 + 944x164 + 590x165 + 877x166 + 796x167 + 581x168 + 704x169 + 386x170 + 824x171 + 552x172 + 862x173 + 579x174 + 907x175 + 1088x176 + 792x177 + 444x178 + 644x179 + 581x180 + 586x181 + 733x182 + 433x183 + 651x184 + 1170x185 + 897x186 + 908x187 + 488x188 + 889x189 + 881x190 + 549x191 + 1156x192 + 847x193 + 435x194 + 556x195 + 716x196 + 908x197 + 778x198 + 691x199 + 699x200 + 901x201 + 679x202 + 586x203 + 729x204 + 1099x205 + 893x206 + 823x207 + 827x208 + 1104x209 + 637x210 + 710x211 + 403x212 + 542x213 + 978x214 + 891x215 + 968x216 + 837x217 + 979x218 + 526x219 + 670x220 + 637x221 + 765x222 + 792x223 + 702x224 + 982x225 + 604x226 + 901x227 + 979x228 + 610x229 + 493x230 + 981x231 + 665x232 + 581x233 + 753x234 + 468x235 + 607x236 + 526x237 + 734x238 + 681x239 + 848x240 + 463x241 + 762x242 + 731x243 + 891x244 + 962x245 + 576x246 + 376x247 + 720x248 + 997x249 + 931x250 
subject to 
constr1: + 489x1 + 50x2 + 344x3 + 58x4 + 152x5 + 474x6 + 186x7 + 156x8 + 158x9 + 206x10 + 322x11 + 686x12 + 178x13 + 713x14 + 755x15 + 856x16 + 557x17 + 903x18 + 714x19 + 621x20 + 476x21 + 977x22 + 602x23 + 433x24 + 172x25 + 21x26 + 539x27 + 236x28 + 185x29 + 467x30 + 354x31 + 667x32 + 876x33 + 255x34 + 104x35 + 851x36 + 280x37 + 425x38 + 954x39 + 724x40 + 444x41 + 590x42 + 179x43 + 671x44 + 469x45 + 716x46 + 683x47 + 272x48 + 971x49 + 744x50 + 85x51 + 913x52 + 520x53 + 840x54 + 83x55 + 404x56 + 39x57 + 832x58 + 915x59 + 158x60 + 875x61 + 693x62 + 166x63 + 28x64 + 714x65 + 3x66 + 45x67 + 215x68 + 110x69 + 710x70 + 762x71 + 63x72 + 674x73 + 914x74 + 847x75 + 281x76 + 732x77 + 275x78 + 305x79 + 544x80 + 622x81 + 788x82 + 170x83 + 613x84 + 677x85 + 513x86 + 137x87 + 486x88 + 694x89 + 619x90 + 786x91 + 567x92 + 612x93 + 127x94 + 421x95 + 490x96 + 442x97 + 733x98 + 663x99 + 8x100 + 80x101 + 304x102 + 91x103 + 406x104 + 208x105 + 947x106 + 7x107 + 461x108 + 77x109 + 598x110 + 414x111 + 594x112 + 833x113 + 635x114 + 408x115 + 24x116 + 3x117 + 939x118 + 300x119 + 94x120 + 762x121 + 391x122 + 768x123 + 165x124 + 44x125 + 96x126 + 814x127 + 613x128 + 492x129 + 205x130 + 648x131 + 676x132 + 936x133 + 888x134 + 373x135 + 655x136 + 398x137 + 471x138 + 370x139 + 908x140 + 690x141 + 292x142 + 610x143 + 780x144 + 377x145 + 667x146 + 808x147 + 740x148 + 930x149 + 999x150 + 523x151 + 926x152 + 17x153 + 707x154 + 903x155 + 249x156 + 355x157 + 257x158 + 690x159 + 397x160 + 521x161 + 196x162 + 254x163 + 493x164 + 957x165 + 773x166 + 79x167 + 458x168 + 749x169 + 289x170 + 609x171 + 516x172 + 522x173 + 365x174 + 444x175 + 512x176 + 487x177 + 55x178 + 106x179 + 247x180 + 890x181 + 204x182 + 174x183 + 116x184 + 925x185 + 680x186 + 797x187 + 475x188 + 337x189 + 737x190 + 505x191 + 818x192 + 799x193 + 34x194 + 465x195 + 857x196 + 799x197 + 208x198 + 403x199 + 745x200 + 220x201 + 519x202 + 196x203 + 470x204 + 901x205 + 530x206 + 813x207 + 868x208 + 316x209 + 516x210 + 766x211 + 91x212 + 460x213 + 770x214 + 967x215 + 545x216 + 709x217 + 901x218 + 251x219 + 92x220 + 551x221 + 528x222 + 363x223 + 596x224 + 128x225 + 294x226 + 763x227 + 530x228 + 654x229 + 608x230 + 342x231 + 579x232 + 459x233 + 833x234 + 99x235 + 82x236 + 691x237 + 130x238 + 493x239 + 905x240 + 239x241 + 324x242 + 51x243 + 710x244 + 983x245 + 546x246 + 724x247 + 302x248 + 977x249 + 50x250 <=61438 
constr2: + 632x1 + 706x2 + 932x3 + 95x4 + 711x5 + 427x6 + 691x7 + 176x8 + 658x9 + 94x10 + 554x11 + 22x12 + 851x13 + 72x14 + 802x15 + 384x16 + 781x17 + 488x18 + 829x19 + 910x20 + 675x21 + 960x22 + 784x23 + 231x24 + 722x25 + 369x26 + 643x27 + 315x28 + 222x29 + 217x30 + 793x31 + 360x32 + 805x33 + 518x34 + 720x35 + 997x36 + 949x37 + 447x38 + 896x39 + 825x40 + 159x41 + 494x42 + 836x43 + 665x44 + 456x45 + 776x46 + 578x47 + 179x48 + 507x49 + 952x50 + 89x51 + 317x52 + 896x53 + 39x54 + 239x55 + 612x56 + 803x57 + 461x58 + 928x59 + 262x60 + 276x61 + 331x62 + 446x63 + 78x64 + 594x65 + 88x66 + 923x67 + 35x68 + 823x69 + 303x70 + 607x71 + 240x72 + 537x73 + 803x74 + 906x75 + 225x76 + 102x77 + 986x78 + 265x79 + 474x80 + 965x81 + 98x82 + 321x83 + 431x84 + 340x85 + 895x86 + 508x87 + 555x88 + 45x89 + 200x90 + 934x91 + 738x92 + 192x93 + 196x94 + 143x95 + 701x96 + 159x97 + 336x98 + 694x99 + 105x100 + 419x101 + 389x102 + 609x103 + 669x104 + 329x105 + 147x106 + 246x107 + 719x108 + 845x109 + 976x110 + 801x111 + 78x112 + 946x113 + 606x114 + 676x115 + 37x116 + 839x117 + 256x118 + 24x119 + 469x120 + 1x121 + 163x122 + 294x123 + 496x124 + 312x125 + 804x126 + 779x127 + 348x128 + 851x129 + 237x130 + 719x131 + 805x132 + 546x133 + 767x134 + 373x135 + 682x136 + 799x137 + 319x138 + 408x139 + 402x140 + 156x141 + 992x142 + 809x143 + 583x144 + 435x145 + 52x146 + 610x147 + 15x148 + 104x149 + 826x150 + 834x151 + 82x152 + 183x153 + 518x154 + 479x155 + 991x156 + 932x157 + 123x158 + 476x159 + 852x160 + 55x161 + 201x162 + 760x163 + 137x164 + 51x165 + 15x166 + 362x167 + 628x168 + 11x169 + 631x170 + 782x171 + 395x172 + 84x173 + 724x174 + 369x175 + 132x176 + 448x177 + 604x178 + 188x179 + 716x180 + 192x181 + 53x182 + 514x183 + 368x184 + 902x185 + 329x186 + 264x187 + 311x188 + 925x189 + 633x190 + 274x191 + 900x192 + 418x193 + 155x194 + 648x195 + 269x196 + 504x197 + 683x198 + 195x199 + 877x200 + 756x201 + 827x202 + 297x203 + 521x204 + 628x205 + 906x206 + 17x207 + 885x208 + 496x209 + 22x210 + 776x211 + 660x212 + 574x213 + 593x214 + 256x215 + 857x216 + 735x217 + 716x218 + 732x219 + 945x220 + 347x221 + 254x222 + 667x223 + 893x224 + 853x225 + 923x226 + 519x227 + 536x228 + 279x229 + 533x230 + 941x231 + 580x232 + 91x233 + 939x234 + 954x235 + 469x236 + 134x237 + 948x238 + 210x239 + 555x240 + 892x241 + 425x242 + 816x243 + 232x244 + 371x245 + 78x246 + 244x247 + 93x248 + 450x249 + 391x250 <=62935 
constr3: + 104x1 + 84x2 + 830x3 + 418x4 + 609x5 + 854x6 + 1000x7 + 920x8 + 885x9 + 674x10 + 936x11 + 835x12 + 129x13 + 746x14 + 336x15 + 127x16 + 128x17 + 862x18 + 56x19 + 232x20 + 859x21 + 405x22 + 140x23 + 759x24 + 51x25 + 519x26 + 47x27 + 115x28 + 351x29 + 707x30 + 151x31 + 961x32 + 837x33 + 321x34 + 957x35 + 229x36 + 971x37 + 287x38 + 531x39 + 156x40 + 491x41 + 588x42 + 148x43 + 302x44 + 976x45 + 94x46 + 306x47 + 678x48 + 427x49 + 29x50 + 34x51 + 655x52 + 564x53 + 483x54 + 544x55 + 862x56 + 65x57 + 10x58 + 482x59 + 290x60 + 135x61 + 348x62 + 901x63 + 628x64 + 996x65 + 879x66 + 890x67 + 838x68 + 849x69 + 249x70 + 613x71 + 533x72 + 992x73 + 118x74 + 467x75 + 390x76 + 385x77 + 665x78 + 82x79 + 938x80 + 603x81 + 160x82 + 54x83 + 321x84 + 149x85 + 854x86 + 903x87 + 168x88 + 514x89 + 360x90 + 899x91 + 930x92 + 614x93 + 910x94 + 796x95 + 647x96 + 484x97 + 455x98 + 202x99 + 71x100 + 491x101 + 347x102 + 447x103 + 245x104 + 812x105 + 734x106 + 93x107 + 763x108 + 716x109 + 282x110 + 776x111 + 378x112 + 945x113 + 618x114 + 746x115 + 310x116 + 358x117 + 134x118 + 282x119 + 163x120 + 359x121 + 393x122 + 475x123 + 338x124 + 491x125 + 916x126 + 662x127 + 938x128 + 509x129 + 608x130 + 584x131 + 726x132 + 905x133 + 974x134 + 193x135 + 610x136 + 679x137 + 615x138 + 337x139 + 597x140 + 17x141 + 322x142 + 459x143 + 293x144 + 811x145 + 697x146 + 623x147 + 910x148 + 623x149 + 490x150 + 8x151 + 1000x152 + 630x153 + 102x154 + 426x155 + 492x156 + 391x157 + 596x158 + 353x159 + 476x160 + 815x161 + 835x162 + 602x163 + 885x164 + 484x165 + 537x166 + 578x167 + 77x168 + 697x169 + 30x170 + 160x171 + 276x172 + 792x173 + 712x174 + 236x175 + 645x176 + 403x177 + 93x178 + 76x179 + 153x180 + 601x181 + 874x182 + 138x183 + 888x184 + 969x185 + 110x186 + 919x187 + 182x188 + 696x189 + 502x190 + 990x191 + 599x192 + 291x193 + 799x194 + 473x195 + 530x196 + 611x197 + 765x198 + 291x199 + 150x200 + 738x201 + 493x202 + 634x203 + 392x204 + 466x205 + 92x206 + 243x207 + 912x208 + 456x209 + 439x210 + 146x211 + 583x212 + 99x213 + 255x214 + 760x215 + 161x216 + 15x217 + 746x218 + 3x219 + 106x220 + 408x221 + 738x222 + 189x223 + 537x224 + 823x225 + 564x226 + 60x227 + 695x228 + 821x229 + 169x230 + 284x231 + 462x232 + 283x233 + 148x234 + 14x235 + 281x236 + 221x237 + 495x238 + 343x239 + 240x240 + 314x241 + 230x242 + 217x243 + 648x244 + 685x245 + 920x246 + 226x247 + 980x248 + 553x249 + 969x250 <=61563 
constr4: + 302x1 + 470x2 + 54x3 + 426x4 + 829x5 + 43x6 + 141x7 + 131x8 + 572x9 + 82x10 + 877x11 + 45x12 + 541x13 + 235x14 + 115x15 + 538x16 + 134x17 + 23x18 + 91x19 + 433x20 + 897x21 + 595x22 + 858x23 + 202x24 + 857x25 + 76x26 + 311x27 + 174x28 + 383x29 + 401x30 + 133x31 + 444x32 + 392x33 + 459x34 + 778x35 + 235x36 + 519x37 + 302x38 + 580x39 + 363x40 + 633x41 + 140x42 + 224x43 + 706x44 + 541x45 + 822x46 + 90x47 + 143x48 + 471x49 + 138x50 + 867x51 + 200x52 + 65x53 + 306x54 + 574x55 + 420x56 + 745x57 + 802x58 + 154x59 + 640x60 + 576x61 + 304x62 + 149x63 + 698x64 + 192x65 + 697x66 + 484x67 + 855x68 + 667x69 + 552x70 + 12x71 + 365x72 + 211x73 + 61x74 + 767x75 + 551x76 + 261x77 + 631x78 + 368x79 + 844x80 + 924x81 + 657x82 + 798x83 + 414x84 + 966x85 + 525x86 + 488x87 + 420x88 + 674x89 + 740x90 + 76x91 + 191x92 + 181x93 + 393x94 + 295x95 + 964x96 + 271x97 + 88x98 + 460x99 + 61x100 + 176x101 + 626x102 + 614x103 + 336x104 + 457x105 + 245x106 + 331x107 + 229x108 + 708x109 + 198x110 + 718x111 + 688x112 + 963x113 + 54x114 + 282x115 + 475x116 + 522x117 + 69x118 + 463x119 + 137x120 + 83x121 + 777x122 + 399x123 + 18x124 + 69x125 + 36x126 + 645x127 + 105x128 + 308x129 + 976x130 + 755x131 + 110x132 + 679x133 + 252x134 + 400x135 + 181x136 + 100x137 + 300x138 + 195x139 + 939x140 + 619x141 + 418x142 + 442x143 + 892x144 + 245x145 + 311x146 + 177x147 + 30x148 + 147x149 + 40x150 + 899x151 + 907x152 + 61x153 + 312x154 + 362x155 + 97x156 + 377x157 + 889x158 + 271x159 + 457x160 + 632x161 + 449x162 + 568x163 + 346x164 + 608x165 + 982x166 + 996x167 + 203x168 + 819x169 + 114x170 + 863x171 + 666x172 + 762x173 + 781x174 + 686x175 + 839x176 + 769x177 + 854x178 + 562x179 + 584x180 + 985x181 + 671x182 + 341x183 + 771x184 + 576x185 + 650x186 + 197x187 + 421x188 + 969x189 + 503x190 + 851x191 + 685x192 + 451x193 + 35x194 + 555x195 + 127x196 + 890x197 + 960x198 + 25x199 + 874x200 + 872x201 + 247x202 + 991x203 + 713x204 + 401x205 + 366x206 + 897x207 + 314x208 + 953x209 + 385x210 + 669x211 + 120x212 + 981x213 + 554x214 + 331x215 + 632x216 + 940x217 + 144x218 + 521x219 + 301x220 + 276x221 + 24x222 + 371x223 + 692x224 + 621x225 + 310x226 + 828x227 + 600x228 + 182x229 + 458x230 + 487x231 + 67x232 + 161x233 + 771x234 + 460x235 + 864x236 + 63x237 + 381x238 + 363x239 + 36x240 + 90x241 + 514x242 + 954x243 + 942x244 + 807x245 + 105x246 + 255x247 + 98x248 + 880x249 + 816x250 <=57776 
constr5: + 940x1 + 66x2 + 923x3 + 187x4 + 421x5 + 247x6 + 109x7 + 522x8 + 419x9 + 458x10 + 940x11 + 340x12 + 918x13 + 589x14 + 470x15 + 966x16 + 68x17 + 760x18 + 773x19 + 321x20 + 676x21 + 357x22 + 55x23 + 663x24 + 98x25 + 139x26 + 399x27 + 635x28 + 568x29 + 411x30 + 773x31 + 971x32 + 984x33 + 363x34 + 566x35 + 87x36 + 595x37 + 821x38 + 764x39 + 663x40 + 585x41 + 951x42 + 115x43 + 294x44 + 927x45 + 881x46 + 233x47 + 856x48 + 841x49 + 521x50 + 586x51 + 884x52 + 501x53 + 566x54 + 206x55 + 625x56 + 395x57 + 582x58 + 724x59 + 514x60 + 566x61 + 976x62 + 339x63 + 818x64 + 636x65 + 321x66 + 661x67 + 414x68 + 860x69 + 519x70 + 849x71 + 164x72 + 268x73 + 807x74 + 388x75 + 136x76 + 728x77 + 854x78 + 992x79 + 904x80 + 490x81 + 354x82 + 288x83 + 284x84 + 573x85 + 118x86 + 176x87 + 776x88 + 903x89 + 928x90 + 479x91 + 237x92 + 849x93 + 907x94 + 713x95 + 379x96 + 104x97 + 923x98 + 855x99 + 446x100 + 489x101 + 380x102 + 206x103 + 507x104 + 334x105 + 377x106 + 471x107 + 809x108 + 75x109 + 285x110 + 707x111 + 624x112 + 647x113 + 715x114 + 693x115 + 867x116 + 468x117 + 102x118 + 549x119 + 396x120 + 597x121 + 384x122 + 624x123 + 892x124 + 321x125 + 179x126 + 145x127 + 583x128 + 980x129 + 169x130 + 597x131 + 361x132 + 592x133 + 76x134 + 625x135 + 843x136 + 870x137 + 725x138 + 340x139 + 547x140 + 791x141 + 117x142 + 684x143 + 663x144 + 169x145 + 381x146 + 113x147 + 335x148 + 298x149 + 77x150 + 20x151 + 277x152 + 141x153 + 710x154 + 150x155 + 926x156 + 727x157 + 705x158 + 528x159 + 870x160 + 81x161 + 308x162 + 830x163 + 389x164 + 819x165 + 984x166 + 474x167 + 67x168 + 653x169 + 4x170 + 234x171 + 476x172 + 772x173 + 231x174 + 641x175 + 948x176 + 598x177 + 143x178 + 126x179 + 753x180 + 15x181 + 236x182 + 934x183 + 419x184 + 191x185 + 915x186 + 10x187 + 613x188 + 650x189 + 332x190 + 105x191 + 888x192 + 445x193 + 444x194 + 227x195 + 891x196 + 657x197 + 112x198 + 539x199 + 285x200 + 913x201 + 381x202 + 122x203 + 86x204 + 755x205 + 906x206 + 875x207 + 152x208 + 936x209 + 113x210 + 34x211 + 242x212 + 411x213 + 634x214 + 979x215 + 798x216 + 556x217 + 327x218 + 956x219 + 119x220 + 442x221 + 773x222 + 298x223 + 29x224 + 34x225 + 695x226 + 796x227 + 51x228 + 898x229 + 170x230 + 714x231 + 111x232 + 36x233 + 345x234 + 235x235 + 919x236 + 10x237 + 822x238 + 401x239 + 620x240 + 102x241 + 884x242 + 710x243 + 584x244 + 279x245 + 336x246 + 258x247 + 134x248 + 731x249 + 57x250 <=62918 
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