maximize 
objective: + 760x1 + 792x2 + 952x3 + 679x4 + 487x5 + 529x6 + 835x7 + 764x8 + 696x9 + 535x10 + 887x11 + 746x12 + 643x13 + 830x14 + 1117x15 + 409x16 + 538x17 + 797x18 + 582x19 + 1011x20 + 600x21 + 929x22 + 678x23 + 959x24 + 586x25 + 512x26 + 945x27 + 849x28 + 946x29 + 869x30 + 768x31 + 784x32 + 757x33 + 607x34 + 744x35 + 555x36 + 563x37 + 897x38 + 878x39 + 758x40 + 1067x41 + 936x42 + 359x43 + 490x44 + 558x45 + 790x46 + 852x47 + 887x48 + 636x49 + 497x50 + 726x51 + 1011x52 + 795x53 + 1075x54 + 559x55 + 805x56 + 748x57 + 562x58 + 500x59 + 290x60 + 745x61 + 826x62 + 796x63 + 910x64 + 598x65 + 775x66 + 430x67 + 601x68 + 1056x69 + 752x70 + 906x71 + 461x72 + 592x73 + 823x74 + 922x75 + 557x76 + 752x77 + 899x78 + 847x79 + 1053x80 + 564x81 + 887x82 + 1014x83 + 284x84 + 557x85 + 924x86 + 742x87 + 712x88 + 797x89 + 872x90 + 1041x91 + 1117x92 + 777x93 + 950x94 + 685x95 + 1063x96 + 533x97 + 833x98 + 649x99 + 694x100 + 769x101 + 731x102 + 414x103 + 587x104 + 822x105 + 851x106 + 863x107 + 444x108 + 1060x109 + 1083x110 + 780x111 + 542x112 + 805x113 + 890x114 + 1058x115 + 650x116 + 929x117 + 793x118 + 855x119 + 665x120 + 961x121 + 1028x122 + 410x123 + 500x124 + 907x125 + 732x126 + 1151x127 + 782x128 + 937x129 + 646x130 + 773x131 + 740x132 + 623x133 + 744x134 + 974x135 + 521x136 + 705x137 + 1040x138 + 1229x139 + 795x140 + 423x141 + 473x142 + 650x143 + 722x144 + 617x145 + 761x146 + 422x147 + 583x148 + 738x149 + 758x150 + 571x151 + 794x152 + 741x153 + 755x154 + 472x155 + 847x156 + 952x157 + 735x158 + 944x159 + 1012x160 + 780x161 + 700x162 + 1124x163 + 511x164 + 725x165 + 830x166 + 1085x167 + 523x168 + 662x169 + 708x170 + 856x171 + 397x172 + 710x173 + 814x174 + 896x175 + 733x176 + 867x177 + 528x178 + 741x179 + 558x180 + 818x181 + 808x182 + 482x183 + 884x184 + 1109x185 + 997x186 + 762x187 + 1148x188 + 761x189 + 784x190 + 1102x191 + 621x192 + 803x193 + 800x194 + 553x195 + 922x196 + 903x197 + 1136x198 + 978x199 + 985x200 + 712x201 + 262x202 + 590x203 + 716x204 + 713x205 + 658x206 + 503x207 + 868x208 + 980x209 + 933x210 + 1131x211 + 458x212 + 823x213 + 991x214 + 714x215 + 614x216 + 685x217 + 990x218 + 961x219 + 642x220 + 278x221 + 974x222 + 810x223 + 1059x224 + 676x225 + 1141x226 + 685x227 + 604x228 + 687x229 + 935x230 + 809x231 + 528x232 + 945x233 + 1235x234 + 624x235 + 803x236 + 510x237 + 566x238 + 824x239 + 695x240 + 1320x241 + 808x242 + 512x243 + 470x244 + 537x245 + 506x246 + 895x247 + 782x248 + 726x249 + 739x250 
subject to 
constr1: + 925x1 + 41x2 + 936x3 + 781x4 + 652x5 + 247x6 + 490x7 + 996x8 + 955x9 + 175x10 + 432x11 + 644x12 + 514x13 + 561x14 + 966x15 + 267x16 + 827x17 + 479x18 + 141x19 + 822x20 + 795x21 + 881x22 + 67x23 + 246x24 + 689x25 + 176x26 + 817x27 + 884x28 + 496x29 + 333x30 + 544x31 + 765x32 + 172x33 + 359x34 + 955x35 + 166x36 + 197x37 + 799x38 + 307x39 + 647x40 + 959x41 + 555x42 + 893x43 + 495x44 + 246x45 + 988x46 + 436x47 + 907x48 + 817x49 + 289x50 + 189x51 + 661x52 + 918x53 + 167x54 + 398x55 + 422x56 + 527x57 + 455x58 + 302x59 + 332x60 + 111x61 + 502x62 + 948x63 + 714x64 + 472x65 + 227x66 + 6x67 + 26x68 + 855x69 + 594x70 + 840x71 + 259x72 + 998x73 + 395x74 + 184x75 + 531x76 + 807x77 + 938x78 + 611x79 + 778x80 + 49x81 + 156x82 + 978x83 + 60x84 + 37x85 + 958x86 + 266x87 + 589x88 + 173x89 + 798x90 + 926x91 + 873x92 + 633x93 + 582x94 + 469x95 + 467x96 + 889x97 + 988x98 + 995x99 + 313x100 + 833x101 + 82x102 + 504x103 + 114x104 + 808x105 + 502x106 + 450x107 + 695x108 + 831x109 + 689x110 + 668x111 + 290x112 + 810x113 + 161x114 + 700x115 + 458x116 + 552x117 + 709x118 + 253x119 + 321x120 + 666x121 + 827x122 + 273x123 + 323x124 + 37x125 + 780x126 + 371x127 + 343x128 + 863x129 + 618x130 + 400x131 + 723x132 + 724x133 + 31x134 + 980x135 + 850x136 + 502x137 + 549x138 + 947x139 + 909x140 + 405x141 + 380x142 + 118x143 + 210x144 + 156x145 + 711x146 + 194x147 + 38x148 + 319x149 + 965x150 + 135x151 + 859x152 + 886x153 + 33x154 + 502x155 + 938x156 + 755x157 + 88x158 + 344x159 + 560x160 + 371x161 + 798x162 + 886x163 + 696x164 + 110x165 + 456x166 + 979x167 + 468x168 + 494x169 + 142x170 + 811x171 + 299x172 + 538x173 + 857x174 + 666x175 + 897x176 + 519x177 + 454x178 + 645x179 + 498x180 + 883x181 + 749x182 + 26x183 + 964x184 + 553x185 + 373x186 + 494x187 + 486x188 + 676x189 + 283x190 + 874x191 + 156x192 + 228x193 + 839x194 + 692x195 + 416x196 + 265x197 + 693x198 + 174x199 + 328x200 + 506x201 + 60x202 + 825x203 + 507x204 + 460x205 + 824x206 + 280x207 + 841x208 + 100x209 + 903x210 + 885x211 + 972x212 + 475x213 + 174x214 + 460x215 + 290x216 + 156x217 + 977x218 + 169x219 + 479x220 + 70x221 + 693x222 + 713x223 + 765x224 + 90x225 + 990x226 + 475x227 + 971x228 + 148x229 + 327x230 + 805x231 + 615x232 + 97x233 + 245x234 + 119x235 + 611x236 + 93x237 + 233x238 + 496x239 + 352x240 + 937x241 + 274x242 + 393x243 + 573x244 + 783x245 + 367x246 + 310x247 + 854x248 + 557x249 + 69x250 <=98957 
constr2: + 398x1 + 333x2 + 739x3 + 661x4 + 575x5 + 377x6 + 613x7 + 898x8 + 539x9 + 497x10 + 639x11 + 29x12 + 72x13 + 407x14 + 131x15 + 41x16 + 2x17 + 436x18 + 276x19 + 358x20 + 273x21 + 335x22 + 144x23 + 413x24 + 531x25 + 926x26 + 183x27 + 240x28 + 407x29 + 496x30 + 158x31 + 112x32 + 398x33 + 744x34 + 402x35 + 851x36 + 506x37 + 114x38 + 597x39 + 379x40 + 299x41 + 338x42 + 378x43 + 488x44 + 206x45 + 73x46 + 81x47 + 728x48 + 133x49 + 783x50 + 841x51 + 716x52 + 140x53 + 591x54 + 904x55 + 339x56 + 768x57 + 325x58 + 739x59 + 490x60 + 616x61 + 184x62 + 198x63 + 202x64 + 33x65 + 152x66 + 163x67 + 944x68 + 979x69 + 150x70 + 379x71 + 418x72 + 285x73 + 46x74 + 621x75 + 407x76 + 168x77 + 645x78 + 953x79 + 452x80 + 582x81 + 194x82 + 772x83 + 381x84 + 353x85 + 974x86 + 241x87 + 769x88 + 995x89 + 579x90 + 972x91 + 901x92 + 761x93 + 478x94 + 222x95 + 836x96 + 46x97 + 436x98 + 422x99 + 403x100 + 33x101 + 558x102 + 134x103 + 167x104 + 207x105 + 916x106 + 385x107 + 346x108 + 718x109 + 979x110 + 829x111 + 826x112 + 766x113 + 654x114 + 509x115 + 513x116 + 431x117 + 237x118 + 180x119 + 522x120 + 674x121 + 472x122 + 624x123 + 735x124 + 770x125 + 762x126 + 844x127 + 445x128 + 831x129 + 686x130 + 428x131 + 781x132 + 205x133 + 466x134 + 806x135 + 177x136 + 121x137 + 454x138 + 605x139 + 578x140 + 111x141 + 291x142 + 92x143 + 100x144 + 748x145 + 659x146 + 717x147 + 750x148 + 159x149 + 420x150 + 423x151 + 883x152 + 222x153 + 764x154 + 57x155 + 811x156 + 458x157 + 316x158 + 754x159 + 862x160 + 889x161 + 36x162 + 955x163 + 341x164 + 759x165 + 898x166 + 483x167 + 168x168 + 964x169 + 674x170 + 673x171 + 463x172 + 332x173 + 852x174 + 270x175 + 458x176 + 9x177 + 913x178 + 979x179 + 287x180 + 585x181 + 995x182 + 372x183 + 774x184 + 631x185 + 191x186 + 158x187 + 262x188 + 746x189 + 12x190 + 478x191 + 854x192 + 607x193 + 528x194 + 933x195 + 203x196 + 991x197 + 470x198 + 789x199 + 797x200 + 88x201 + 266x202 + 133x203 + 376x204 + 397x205 + 136x206 + 356x207 + 482x208 + 605x209 + 328x210 + 798x211 + 97x212 + 252x213 + 954x214 + 106x215 + 51x216 + 76x217 + 697x218 + 736x219 + 242x220 + 281x221 + 777x222 + 82x223 + 822x224 + 247x225 + 712x226 + 977x227 + 736x228 + 460x229 + 854x230 + 653x231 + 583x232 + 957x233 + 964x234 + 521x235 + 245x236 + 585x237 + 598x238 + 252x239 + 159x240 + 776x241 + 328x242 + 441x243 + 247x244 + 201x245 + 953x246 + 705x247 + 969x248 + 310x249 + 970x250 <=92395 
constr3: + 749x1 + 919x2 + 440x3 + 205x4 + 237x5 + 101x6 + 258x7 + 118x8 + 160x9 + 628x10 + 455x11 + 386x12 + 73x13 + 519x14 + 914x15 + 409x16 + 830x17 + 551x18 + 673x19 + 894x20 + 400x21 + 406x22 + 105x23 + 313x24 + 553x25 + 278x26 + 272x27 + 240x28 + 857x29 + 184x30 + 37x31 + 674x32 + 919x33 + 316x34 + 399x35 + 711x36 + 152x37 + 195x38 + 896x39 + 480x40 + 776x41 + 813x42 + 64x43 + 226x44 + 427x45 + 460x46 + 184x47 + 522x48 + 434x49 + 253x50 + 701x51 + 967x52 + 775x53 + 546x54 + 593x55 + 122x56 + 7x57 + 56x58 + 497x59 + 119x60 + 787x61 + 57x62 + 1000x63 + 448x64 + 116x65 + 169x66 + 62x67 + 302x68 + 641x69 + 241x70 + 600x71 + 47x72 + 275x73 + 318x74 + 870x75 + 126x76 + 322x77 + 734x78 + 407x79 + 661x80 + 471x81 + 936x82 + 973x83 + 659x84 + 729x85 + 832x86 + 584x87 + 109x88 + 132x89 + 461x90 + 475x91 + 790x92 + 325x93 + 811x94 + 432x95 + 910x96 + 670x97 + 303x98 + 596x99 + 116x100 + 522x101 + 846x102 + 691x103 + 507x104 + 559x105 + 412x106 + 418x107 + 197x108 + 279x109 + 766x110 + 30x111 + 699x112 + 228x113 + 663x114 + 752x115 + 864x116 + 919x117 + 922x118 + 837x119 + 833x120 + 175x121 + 692x122 + 303x123 + 44x124 + 609x125 + 143x126 + 605x127 + 651x128 + 365x129 + 557x130 + 202x131 + 343x132 + 522x133 + 715x134 + 65x135 + 60x136 + 758x137 + 689x138 + 820x139 + 913x140 + 48x141 + 451x142 + 990x143 + 948x144 + 218x145 + 50x146 + 639x147 + 375x148 + 535x149 + 104x150 + 993x151 + 829x152 + 72x153 + 965x154 + 36x155 + 35x156 + 78x157 + 612x158 + 742x159 + 470x160 + 671x161 + 92x162 + 808x163 + 72x164 + 137x165 + 23x166 + 337x167 + 578x168 + 152x169 + 757x170 + 915x171 + 337x172 + 527x173 + 318x174 + 495x175 + 464x176 + 871x177 + 498x178 + 193x179 + 41x180 + 379x181 + 905x182 + 36x183 + 379x184 + 519x185 + 281x186 + 67x187 + 737x188 + 780x189 + 714x190 + 412x191 + 681x192 + 518x193 + 315x194 + 605x195 + 984x196 + 935x197 + 579x198 + 700x199 + 213x200 + 11x201 + 7x202 + 576x203 + 892x204 + 379x205 + 63x206 + 241x207 + 47x208 + 845x209 + 726x210 + 471x211 + 372x212 + 322x213 + 181x214 + 901x215 + 737x216 + 61x217 + 959x218 + 748x219 + 256x220 + 532x221 + 114x222 + 831x223 + 802x224 + 984x225 + 955x226 + 818x227 + 349x228 + 789x229 + 590x230 + 994x231 + 557x232 + 992x233 + 919x234 + 403x235 + 828x236 + 644x237 + 548x238 + 963x239 + 937x240 + 947x241 + 935x242 + 329x243 + 169x244 + 540x245 + 29x246 + 101x247 + 600x248 + 769x249 + 336x250 <=92576 
constr4: + 927x1 + 518x2 + 524x3 + 876x4 + 327x5 + 330x6 + 911x7 + 755x8 + 631x9 + 800x10 + 713x11 + 737x12 + 938x13 + 714x14 + 280x15 + 454x16 + 259x17 + 55x18 + 594x19 + 807x20 + 350x21 + 886x22 + 745x23 + 948x24 + 351x25 + 360x26 + 513x27 + 408x28 + 796x29 + 177x30 + 866x31 + 531x32 + 483x33 + 349x34 + 486x35 + 230x36 + 643x37 + 738x38 + 290x39 + 11x40 + 796x41 + 793x42 + 189x43 + 794x44 + 365x45 + 996x46 + 674x47 + 892x48 + 273x49 + 6x50 + 181x51 + 272x52 + 433x53 + 854x54 + 423x55 + 534x56 + 616x57 + 1x58 + 329x59 + 447x60 + 25x61 + 650x62 + 802x63 + 448x64 + 793x65 + 627x66 + 985x67 + 579x68 + 404x69 + 472x70 + 802x71 + 572x72 + 24x73 + 448x74 + 608x75 + 12x76 + 59x77 + 690x78 + 198x79 + 295x80 + 605x81 + 778x82 + 590x83 + 78x84 + 125x85 + 8x86 + 925x87 + 84x88 + 773x89 + 436x90 + 381x91 + 209x92 + 477x93 + 412x94 + 177x95 + 80x96 + 33x97 + 361x98 + 357x99 + 488x100 + 809x101 + 957x102 + 117x103 + 301x104 + 292x105 + 405x106 + 898x107 + 501x108 + 843x109 + 294x110 + 101x111 + 746x112 + 375x113 + 289x114 + 611x115 + 457x116 + 522x117 + 798x118 + 116x119 + 703x120 + 894x121 + 905x122 + 364x123 + 926x124 + 720x125 + 599x126 + 813x127 + 899x128 + 802x129 + 151x130 + 851x131 + 928x132 + 779x133 + 361x134 + 829x135 + 615x136 + 607x137 + 968x138 + 524x139 + 309x140 + 494x141 + 815x142 + 549x143 + 178x144 + 502x145 + 588x146 + 110x147 + 114x148 + 296x149 + 574x150 + 315x151 + 350x152 + 386x153 + 776x154 + 582x155 + 695x156 + 434x157 + 555x158 + 992x159 + 695x160 + 37x161 + 958x162 + 945x163 + 568x164 + 42x165 + 60x166 + 681x167 + 945x168 + 706x169 + 33x170 + 324x171 + 189x172 + 900x173 + 468x174 + 632x175 + 473x176 + 867x177 + 11x178 + 255x179 + 385x180 + 998x181 + 506x182 + 530x183 + 1x184 + 850x185 + 937x186 + 875x187 + 852x188 + 946x189 + 136x190 + 680x191 + 47x192 + 634x193 + 564x194 + 265x195 + 178x196 + 742x197 + 638x198 + 945x199 + 812x200 + 125x201 + 320x202 + 444x203 + 220x204 + 61x205 + 215x206 + 429x207 + 135x208 + 917x209 + 326x210 + 52x211 + 308x212 + 133x213 + 896x214 + 689x215 + 881x216 + 686x217 + 476x218 + 155x219 + 828x220 + 233x221 + 870x222 + 767x223 + 313x224 + 288x225 + 650x226 + 434x227 + 230x228 + 670x229 + 959x230 + 277x231 + 215x232 + 360x233 + 908x234 + 563x235 + 722x236 + 160x237 + 686x238 + 940x239 + 147x240 + 829x241 + 357x242 + 582x243 + 789x244 + 245x245 + 330x246 + 944x247 + 69x248 + 557x249 + 232x250 <=96199 
constr5: + 175x1 + 759x2 + 614x3 + 797x4 + 364x5 + 637x6 + 656x7 + 952x8 + 684x9 + 131x10 + 963x11 + 327x12 + 558x13 + 11x14 + 938x15 + 7x16 + 737x17 + 648x18 + 190x19 + 562x20 + 621x21 + 813x22 + 507x23 + 520x24 + 462x25 + 668x26 + 597x27 + 598x28 + 904x29 + 894x30 + 88x31 + 479x32 + 758x33 + 182x34 + 826x35 + 701x36 + 272x37 + 715x38 + 194x39 + 101x40 + 87x41 + 921x42 + 173x43 + 254x44 + 586x45 + 767x46 + 652x47 + 416x48 + 791x49 + 350x50 + 95x51 + 196x52 + 616x53 + 990x54 + 423x55 + 127x56 + 147x57 + 720x58 + 30x59 + 5x60 + 864x61 + 467x62 + 471x63 + 544x64 + 264x65 + 800x66 + 717x67 + 38x68 + 977x69 + 796x70 + 85x71 + 787x72 + 252x73 + 809x74 + 731x75 + 532x76 + 619x77 + 139x78 + 22x79 + 990x80 + 923x81 + 883x82 + 162x83 + 218x84 + 990x85 + 13x86 + 8x87 + 546x88 + 933x89 + 586x90 + 264x91 + 760x92 + 39x93 + 989x94 + 90x95 + 882x96 + 661x97 + 485x98 + 551x99 + 543x100 + 425x101 + 376x102 + 10x103 + 361x104 + 626x105 + 170x106 + 182x107 + 392x108 + 136x109 + 568x110 + 367x111 + 19x112 + 335x113 + 935x114 + 328x115 + 933x116 + 334x117 + 843x118 + 959x119 + 504x120 + 420x121 + 609x122 + 434x123 + 117x124 + 104x125 + 139x126 + 664x127 + 775x128 + 221x129 + 743x130 + 935x131 + 394x132 + 479x133 + 270x134 + 985x135 + 695x136 + 192x137 + 781x138 + 950x139 + 44x140 + 537x141 + 45x142 + 736x143 + 309x144 + 602x145 + 131x146 + 408x147 + 389x148 + 320x149 + 383x150 + 772x151 + 627x152 + 513x153 + 301x154 + 557x155 + 541x156 + 952x157 + 917x158 + 338x159 + 397x160 + 288x161 + 547x162 + 126x163 + 278x164 + 995x165 + 846x166 + 914x167 + 324x168 + 544x169 + 121x170 + 874x171 + 438x172 + 143x173 + 43x174 + 441x175 + 333x176 + 604x177 + 726x178 + 100x179 + 146x180 + 916x181 + 162x182 + 134x183 + 593x184 + 722x185 + 807x186 + 761x187 + 936x188 + 632x189 + 340x190 + 823x191 + 445x192 + 511x193 + 971x194 + 260x195 + 554x196 + 749x197 + 953x198 + 572x199 + 610x200 + 346x201 + 302x202 + 907x203 + 736x204 + 264x205 + 657x206 + 825x207 + 388x208 + 293x209 + 681x210 + 978x211 + 436x212 + 474x213 + 955x214 + 70x215 + 444x216 + 97x217 + 438x218 + 821x219 + 718x220 + 185x221 + 512x222 + 328x223 + 816x224 + 145x225 + 326x226 + 120x227 + 631x228 + 438x229 + 294x230 + 928x231 + 271x232 + 564x233 + 837x234 + 881x235 + 72x236 + 134x237 + 464x238 + 425x239 + 360x240 + 694x241 + 587x242 + 266x243 + 235x244 + 571x245 + 322x246 + 260x247 + 810x248 + 757x249 + 211x250 <=94103 
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