maximize 
objective: + 780x1 + 690x2 + 507x3 + 780x4 + 726x5 + 602x6 + 846x7 + 702x8 + 394x9 + 749x10 + 738x11 + 449x12 + 545x13 + 573x14 + 735x15 + 850x16 + 802x17 + 507x18 + 605x19 + 954x20 + 816x21 + 766x22 + 870x23 + 1032x24 + 630x25 + 475x26 + 719x27 + 526x28 + 793x29 + 907x30 + 569x31 + 844x32 + 715x33 + 799x34 + 500x35 + 670x36 + 602x37 + 837x38 + 625x39 + 874x40 + 805x41 + 936x42 + 1191x43 + 734x44 + 299x45 + 621x46 + 707x47 + 555x48 + 772x49 + 766x50 + 1035x51 + 597x52 + 859x53 + 551x54 + 580x55 + 302x56 + 1174x57 + 993x58 + 774x59 + 674x60 + 547x61 + 969x62 + 467x63 + 710x64 + 541x65 + 636x66 + 739x67 + 378x68 + 838x69 + 793x70 + 1013x71 + 718x72 + 600x73 + 1006x74 + 581x75 + 927x76 + 416x77 + 861x78 + 486x79 + 1086x80 + 990x81 + 555x82 + 971x83 + 1120x84 + 551x85 + 876x86 + 619x87 + 787x88 + 845x89 + 868x90 + 866x91 + 897x92 + 834x93 + 564x94 + 944x95 + 642x96 + 917x97 + 1137x98 + 802x99 + 871x100 + 867x101 + 967x102 + 1180x103 + 728x104 + 457x105 + 893x106 + 625x107 + 497x108 + 734x109 + 1040x110 + 521x111 + 599x112 + 1082x113 + 866x114 + 530x115 + 656x116 + 780x117 + 708x118 + 921x119 + 1158x120 + 878x121 + 447x122 + 583x123 + 749x124 + 662x125 + 469x126 + 496x127 + 720x128 + 990x129 + 578x130 + 546x131 + 722x132 + 944x133 + 763x134 + 727x135 + 1282x136 + 881x137 + 676x138 + 673x139 + 650x140 + 1086x141 + 984x142 + 452x143 + 829x144 + 572x145 + 757x146 + 1163x147 + 442x148 + 1058x149 + 880x150 + 628x151 + 869x152 + 556x153 + 817x154 + 950x155 + 473x156 + 929x157 + 592x158 + 801x159 + 771x160 + 607x161 + 628x162 + 781x163 + 740x164 + 1128x165 + 1047x166 + 937x167 + 598x168 + 563x169 + 544x170 + 529x171 + 827x172 + 813x173 + 728x174 + 1024x175 + 682x176 + 659x177 + 1160x178 + 689x179 + 931x180 + 731x181 + 938x182 + 686x183 + 1031x184 + 634x185 + 993x186 + 638x187 + 720x188 + 687x189 + 841x190 + 886x191 + 524x192 + 915x193 + 628x194 + 510x195 + 929x196 + 786x197 + 1041x198 + 668x199 + 567x200 + 816x201 + 986x202 + 645x203 + 615x204 + 794x205 + 517x206 + 642x207 + 283x208 + 781x209 + 897x210 + 690x211 + 547x212 + 733x213 + 796x214 + 738x215 + 752x216 + 1002x217 + 609x218 + 387x219 + 909x220 + 907x221 + 837x222 + 717x223 + 568x224 + 647x225 + 730x226 + 1037x227 + 804x228 + 541x229 + 635x230 + 589x231 + 627x232 + 960x233 + 1030x234 + 818x235 + 844x236 + 775x237 + 737x238 + 443x239 + 718x240 + 887x241 + 928x242 + 601x243 + 1018x244 + 803x245 + 806x246 + 464x247 + 667x248 + 762x249 + 607x250 
subject to 
constr1: + 844x1 + 621x2 + 509x3 + 7x4 + 856x5 + 455x6 + 749x7 + 174x8 + 390x9 + 741x10 + 604x11 + 79x12 + 407x13 + 303x14 + 734x15 + 820x16 + 396x17 + 440x18 + 767x19 + 123x20 + 514x21 + 153x22 + 839x23 + 850x24 + 848x25 + 605x26 + 400x27 + 531x28 + 960x29 + 746x30 + 157x31 + 647x32 + 551x33 + 741x34 + 394x35 + 204x36 + 469x37 + 210x38 + 899x39 + 854x40 + 363x41 + 222x42 + 950x43 + 415x44 + 72x45 + 276x46 + 352x47 + 270x48 + 857x49 + 689x50 + 609x51 + 736x52 + 460x53 + 617x54 + 823x55 + 114x56 + 899x57 + 806x58 + 642x59 + 409x60 + 625x61 + 404x62 + 244x63 + 568x64 + 190x65 + 837x66 + 503x67 + 919x68 + 626x69 + 381x70 + 324x71 + 11x72 + 115x73 + 372x74 + 183x75 + 706x76 + 966x77 + 71x78 + 491x79 + 443x80 + 719x81 + 255x82 + 471x83 + 407x84 + 402x85 + 660x86 + 925x87 + 290x88 + 581x89 + 873x90 + 887x91 + 752x92 + 499x93 + 935x94 + 240x95 + 31x96 + 521x97 + 669x98 + 819x99 + 376x100 + 574x101 + 511x102 + 855x103 + 957x104 + 445x105 + 706x106 + 197x107 + 386x108 + 434x109 + 888x110 + 183x111 + 299x112 + 470x113 + 440x114 + 200x115 + 193x116 + 426x117 + 179x118 + 187x119 + 259x120 + 573x121 + 246x122 + 509x123 + 974x124 + 614x125 + 275x126 + 537x127 + 253x128 + 992x129 + 622x130 + 287x131 + 623x132 + 937x133 + 80x134 + 972x135 + 980x136 + 913x137 + 54x138 + 385x139 + 317x140 + 730x141 + 558x142 + 107x143 + 773x144 + 284x145 + 638x146 + 909x147 + 204x148 + 926x149 + 469x150 + 759x151 + 949x152 + 243x153 + 846x154 + 380x155 + 84x156 + 378x157 + 457x158 + 103x159 + 890x160 + 972x161 + 24x162 + 187x163 + 372x164 + 411x165 + 505x166 + 573x167 + 111x168 + 231x169 + 32x170 + 98x171 + 420x172 + 112x173 + 617x174 + 824x175 + 547x176 + 27x177 + 721x178 + 205x179 + 680x180 + 596x181 + 995x182 + 978x183 + 728x184 + 184x185 + 681x186 + 174x187 + 915x188 + 967x189 + 984x190 + 321x191 + 878x192 + 820x193 + 57x194 + 223x195 + 391x196 + 460x197 + 529x198 + 896x199 + 56x200 + 568x201 + 736x202 + 793x203 + 207x204 + 979x205 + 2x206 + 541x207 + 508x208 + 481x209 + 112x210 + 730x211 + 455x212 + 974x213 + 387x214 + 291x215 + 708x216 + 370x217 + 310x218 + 289x219 + 425x220 + 166x221 + 992x222 + 456x223 + 57x224 + 583x225 + 924x226 + 666x227 + 344x228 + 157x229 + 905x230 + 62x231 + 565x232 + 546x233 + 887x234 + 350x235 + 550x236 + 963x237 + 817x238 + 812x239 + 751x240 + 192x241 + 555x242 + 82x243 + 720x244 + 900x245 + 448x246 + 259x247 + 209x248 + 307x249 + 773x250 <=96336 
constr2: + 621x1 + 167x2 + 62x3 + 18x4 + 883x5 + 315x6 + 463x7 + 838x8 + 285x9 + 415x10 + 413x11 + 248x12 + 606x13 + 832x14 + 711x15 + 685x16 + 681x17 + 217x18 + 72x19 + 796x20 + 835x21 + 654x22 + 856x23 + 275x24 + 430x25 + 259x26 + 820x27 + 376x28 + 90x29 + 63x30 + 882x31 + 199x32 + 868x33 + 53x34 + 47x35 + 302x36 + 164x37 + 980x38 + 652x39 + 873x40 + 575x41 + 988x42 + 908x43 + 110x44 + 946x45 + 255x46 + 830x47 + 649x48 + 729x49 + 496x50 + 155x51 + 150x52 + 226x53 + 263x54 + 87x55 + 351x56 + 901x57 + 216x58 + 952x59 + 75x60 + 408x61 + 774x62 + 207x63 + 499x64 + 684x65 + 587x66 + 353x67 + 483x68 + 897x69 + 356x70 + 260x71 + 813x72 + 66x73 + 734x74 + 698x75 + 677x76 + 72x77 + 748x78 + 591x79 + 547x80 + 167x81 + 107x82 + 827x83 + 948x84 + 715x85 + 139x86 + 262x87 + 112x88 + 424x89 + 558x90 + 886x91 + 546x92 + 644x93 + 126x94 + 314x95 + 833x96 + 525x97 + 633x98 + 284x99 + 65x100 + 170x101 + 723x102 + 625x103 + 529x104 + 548x105 + 455x106 + 839x107 + 834x108 + 696x109 + 429x110 + 907x111 + 4x112 + 699x113 + 826x114 + 544x115 + 200x116 + 372x117 + 818x118 + 910x119 + 669x120 + 119x121 + 151x122 + 216x123 + 260x124 + 183x125 + 343x126 + 460x127 + 218x128 + 577x129 + 646x130 + 216x131 + 561x132 + 649x133 + 873x134 + 234x135 + 909x136 + 309x137 + 773x138 + 532x139 + 871x140 + 571x141 + 163x142 + 609x143 + 355x144 + 756x145 + 21x146 + 834x147 + 314x148 + 453x149 + 277x150 + 14x151 + 223x152 + 441x153 + 449x154 + 677x155 + 322x156 + 521x157 + 393x158 + 588x159 + 150x160 + 54x161 + 444x162 + 830x163 + 578x164 + 876x165 + 501x166 + 799x167 + 394x168 + 902x169 + 210x170 + 512x171 + 475x172 + 169x173 + 254x174 + 984x175 + 561x176 + 803x177 + 955x178 + 65x179 + 401x180 + 96x181 + 2x182 + 246x183 + 685x184 + 807x185 + 966x186 + 542x187 + 771x188 + 265x189 + 987x190 + 562x191 + 444x192 + 901x193 + 202x194 + 877x195 + 661x196 + 276x197 + 353x198 + 720x199 + 207x200 + 375x201 + 340x202 + 818x203 + 503x204 + 538x205 + 286x206 + 10x207 + 525x208 + 799x209 + 950x210 + 141x211 + 437x212 + 779x213 + 690x214 + 734x215 + 592x216 + 897x217 + 108x218 + 385x219 + 815x220 + 672x221 + 743x222 + 470x223 + 468x224 + 93x225 + 919x226 + 717x227 + 985x228 + 456x229 + 612x230 + 85x231 + 125x232 + 808x233 + 869x234 + 101x235 + 978x236 + 141x237 + 747x238 + 350x239 + 776x240 + 970x241 + 453x242 + 807x243 + 335x244 + 166x245 + 549x246 + 63x247 + 190x248 + 655x249 + 644x250 <=94103 
constr3: + 392x1 + 527x2 + 878x3 + 859x4 + 88x5 + 71x6 + 104x7 + 957x8 + 710x9 + 198x10 + 833x11 + 205x12 + 207x13 + 171x14 + 241x15 + 91x16 + 310x17 + 629x18 + 19x19 + 941x20 + 661x21 + 89x22 + 802x23 + 271x24 + 878x25 + 174x26 + 499x27 + 459x28 + 968x29 + 818x30 + 520x31 + 399x32 + 282x33 + 218x34 + 666x35 + 673x36 + 648x37 + 188x38 + 668x39 + 802x40 + 361x41 + 581x42 + 775x43 + 269x44 + 317x45 + 458x46 + 281x47 + 663x48 + 702x49 + 511x50 + 932x51 + 76x52 + 749x53 + 256x54 + 280x55 + 270x56 + 474x57 + 435x58 + 200x59 + 580x60 + 176x61 + 594x62 + 733x63 + 91x64 + 615x65 + 297x66 + 701x67 + 31x68 + 303x69 + 308x70 + 785x71 + 768x72 + 940x73 + 582x74 + 225x75 + 685x76 + 102x77 + 113x78 + 264x79 + 833x80 + 606x81 + 920x82 + 448x83 + 872x84 + 344x85 + 926x86 + 651x87 + 976x88 + 555x89 + 533x90 + 38x91 + 744x92 + 105x93 + 422x94 + 494x95 + 497x96 + 23x97 + 875x98 + 759x99 + 526x100 + 660x101 + 166x102 + 952x103 + 293x104 + 329x105 + 280x106 + 313x107 + 307x108 + 173x109 + 816x110 + 24x111 + 209x112 + 957x113 + 17x114 + 318x115 + 489x116 + 701x117 + 458x118 + 660x119 + 974x120 + 385x121 + 285x122 + 196x123 + 294x124 + 323x125 + 455x126 + 266x127 + 57x128 + 674x129 + 465x130 + 495x131 + 191x132 + 15x133 + 50x134 + 161x135 + 874x136 + 943x137 + 227x138 + 740x139 + 432x140 + 359x141 + 496x142 + 423x143 + 759x144 + 995x145 + 434x146 + 870x147 + 135x148 + 692x149 + 837x150 + 315x151 + 977x152 + 69x153 + 906x154 + 740x155 + 320x156 + 156x157 + 468x158 + 546x159 + 267x160 + 113x161 + 978x162 + 982x163 + 568x164 + 656x165 + 801x166 + 436x167 + 136x168 + 38x169 + 376x170 + 397x171 + 636x172 + 181x173 + 936x174 + 54x175 + 507x176 + 728x177 + 898x178 + 618x179 + 921x180 + 181x181 + 990x182 + 655x183 + 751x184 + 14x185 + 316x186 + 75x187 + 581x188 + 86x189 + 949x190 + 558x191 + 215x192 + 419x193 + 799x194 + 404x195 + 642x196 + 487x197 + 43x198 + 64x199 + 829x200 + 175x201 + 542x202 + 282x203 + 704x204 + 616x205 + 401x206 + 308x207 + 141x208 + 308x209 + 841x210 + 952x211 + 705x212 + 953x213 + 470x214 + 682x215 + 729x216 + 932x217 + 300x218 + 28x219 + 116x220 + 48x221 + 707x222 + 557x223 + 885x224 + 744x225 + 639x226 + 825x227 + 909x228 + 941x229 + 183x230 + 62x231 + 530x232 + 520x233 + 13x234 + 276x235 + 858x236 + 559x237 + 474x238 + 306x239 + 405x240 + 424x241 + 864x242 + 377x243 + 621x244 + 15x245 + 540x246 + 193x247 + 167x248 + 911x249 + 345x250 <=90925 
constr4: + 301x1 + 639x2 + 665x3 + 102x4 + 64x5 + 317x6 + 80x7 + 450x8 + 188x9 + 73x10 + 65x11 + 413x12 + 478x13 + 639x14 + 11x15 + 710x16 + 139x17 + 371x18 + 362x19 + 756x20 + 432x21 + 403x22 + 67x23 + 966x24 + 508x25 + 943x26 + 527x27 + 89x28 + 255x29 + 145x30 + 807x31 + 340x32 + 711x33 + 908x34 + 20x35 + 509x36 + 327x37 + 446x38 + 187x39 + 49x40 + 86x41 + 814x42 + 667x43 + 478x44 + 87x45 + 220x46 + 959x47 + 489x48 + 278x49 + 419x50 + 833x51 + 934x52 + 566x53 + 135x54 + 605x55 + 315x56 + 915x57 + 989x58 + 873x59 + 484x60 + 122x61 + 407x62 + 549x63 + 572x64 + 258x65 + 589x66 + 646x67 + 88x68 + 857x69 + 266x70 + 970x71 + 955x72 + 758x73 + 788x74 + 707x75 + 905x76 + 234x77 + 393x78 + 444x79 + 605x80 + 982x81 + 457x82 + 469x83 + 409x84 + 619x85 + 120x86 + 174x87 + 480x88 + 971x89 + 520x90 + 893x91 + 645x92 + 387x93 + 217x94 + 439x95 + 34x96 + 517x97 + 624x98 + 1x99 + 320x100 + 967x101 + 896x102 + 100x103 + 553x104 + 21x105 + 627x106 + 137x107 + 7x108 + 687x109 + 638x110 + 154x111 + 714x112 + 651x113 + 151x114 + 452x115 + 204x116 + 1000x117 + 312x118 + 982x119 + 965x120 + 239x121 + 809x122 + 347x123 + 509x124 + 602x125 + 271x126 + 15x127 + 581x128 + 713x129 + 166x130 + 763x131 + 468x132 + 161x133 + 815x134 + 89x135 + 698x136 + 875x137 + 706x138 + 294x139 + 647x140 + 782x141 + 795x142 + 314x143 + 177x144 + 332x145 + 604x146 + 424x147 + 55x148 + 381x149 + 717x150 + 78x151 + 673x152 + 621x153 + 566x154 + 452x155 + 867x156 + 582x157 + 320x158 + 956x159 + 5x160 + 486x161 + 575x162 + 766x163 + 44x164 + 742x165 + 329x166 + 753x167 + 111x168 + 432x169 + 611x170 + 736x171 + 705x172 + 350x173 + 63x174 + 522x175 + 985x176 + 722x177 + 968x178 + 712x179 + 555x180 + 161x181 + 937x182 + 581x183 + 676x184 + 206x185 + 480x186 + 879x187 + 224x188 + 176x189 + 478x190 + 247x191 + 267x192 + 51x193 + 956x194 + 65x195 + 649x196 + 512x197 + 868x198 + 516x199 + 447x200 + 683x201 + 901x202 + 17x203 + 382x204 + 720x205 + 468x206 + 380x207 + 67x208 + 861x209 + 66x210 + 332x211 + 775x212 + 541x213 + 698x214 + 682x215 + 983x216 + 658x217 + 519x218 + 220x219 + 939x220 + 728x221 + 216x222 + 406x223 + 263x224 + 41x225 + 387x226 + 941x227 + 131x228 + 532x229 + 690x230 + 571x231 + 530x232 + 269x233 + 879x234 + 304x235 + 893x236 + 251x237 + 161x238 + 95x239 + 214x240 + 972x241 + 468x242 + 525x243 + 876x244 + 217x245 + 858x246 + 880x247 + 465x248 + 56x249 + 555x250 <=91871 
constr5: + 291x1 + 852x2 + 309x3 + 829x4 + 563x5 + 751x6 + 504x7 + 693x8 + 56x9 + 425x10 + 365x11 + 177x12 + 716x13 + 353x14 + 710x15 + 291x16 + 758x17 + 239x18 + 32x19 + 117x20 + 484x21 + 458x22 + 856x23 + 716x24 + 217x25 + 265x26 + 612x27 + 791x28 + 508x29 + 699x30 + 361x31 + 972x32 + 828x33 + 124x34 + 792x35 + 511x36 + 917x37 + 198x38 + 296x39 + 138x40 + 300x41 + 715x42 + 369x43 + 306x44 + 57x45 + 308x46 + 637x47 + 159x48 + 457x49 + 971x50 + 415x51 + 442x52 + 593x53 + 928x54 + 729x55 + 100x56 + 490x57 + 671x58 + 951x59 + 306x60 + 671x61 + 428x62 + 413x63 + 130x64 + 24x65 + 467x66 + 545x67 + 276x68 + 436x69 + 465x70 + 456x71 + 497x72 + 784x73 + 970x74 + 329x75 + 413x76 + 305x77 + 953x78 + 99x79 + 948x80 + 475x81 + 194x82 + 784x83 + 830x84 + 616x85 + 456x86 + 454x87 + 346x88 + 415x89 + 605x90 + 418x91 + 267x92 + 386x93 + 28x94 + 931x95 + 133x96 + 757x97 + 840x98 + 663x99 + 734x100 + 232x101 + 818x102 + 904x103 + 220x104 + 772x105 + 245x106 + 365x107 + 659x108 + 404x109 + 251x110 + 488x111 + 99x112 + 267x113 + 795x114 + 18x115 + 338x116 + 511x117 + 41x118 + 9x119 + 927x120 + 752x121 + 595x122 + 532x123 + 898x124 + 900x125 + 812x126 + 748x127 + 525x128 + 133x129 + 291x130 + 811x131 + 619x132 + 953x133 + 457x134 + 442x135 + 570x136 + 984x137 + 845x138 + 324x139 + 562x140 + 979x141 + 863x142 + 612x143 + 794x144 + 281x145 + 911x146 + 958x147 + 847x148 + 384x149 + 315x150 + 480x151 + 291x152 + 181x153 + 490x154 + 470x155 + 551x156 + 837x157 + 491x158 + 880x159 + 361x160 + 176x161 + 117x162 + 845x163 + 492x164 + 784x165 + 981x166 + 212x167 + 947x168 + 596x169 + 857x170 + 551x171 + 539x172 + 885x173 + 87x174 + 390x175 + 426x176 + 885x177 + 765x178 + 548x179 + 363x180 + 570x181 + 847x182 + 371x183 + 399x184 + 375x185 + 153x186 + 512x187 + 634x188 + 125x189 + 482x190 + 455x191 + 139x192 + 596x193 + 933x194 + 421x195 + 42x196 + 284x197 + 926x198 + 543x199 + 30x200 + 241x201 + 690x202 + 422x203 + 294x204 + 585x205 + 387x206 + 158x207 + 131x208 + 903x209 + 365x210 + 387x211 + 255x212 + 14x213 + 372x214 + 299x215 + 113x216 + 389x217 + 1x218 + 362x219 + 451x220 + 996x221 + 297x222 + 176x223 + 98x224 + 330x225 + 604x226 + 690x227 + 547x228 + 316x229 + 229x230 + 643x231 + 709x232 + 702x233 + 535x234 + 808x235 + 426x236 + 385x237 + 394x238 + 62x239 + 21x240 + 848x241 + 968x242 + 180x243 + 715x244 + 266x245 + 258x246 + 296x247 + 578x248 + 39x249 + 233x250 <=92372 
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