maximize 
objective: + 895x1 + 794x2 + 758x3 + 938x4 + 555x5 + 870x6 + 310x7 + 574x8 + 636x9 + 975x10 + 591x11 + 808x12 + 654x13 + 1049x14 + 972x15 + 1041x16 + 885x17 + 1031x18 + 992x19 + 664x20 + 586x21 + 631x22 + 889x23 + 412x24 + 804x25 + 880x26 + 681x27 + 738x28 + 991x29 + 915x30 + 356x31 + 958x32 + 1131x33 + 615x34 + 331x35 + 789x36 + 365x37 + 627x38 + 939x39 + 571x40 + 871x41 + 520x42 + 696x43 + 642x44 + 776x45 + 947x46 + 803x47 + 535x48 + 832x49 + 748x50 + 888x51 + 909x52 + 924x53 + 846x54 + 825x55 + 1224x56 + 577x57 + 924x58 + 837x59 + 644x60 + 887x61 + 830x62 + 1123x63 + 639x64 + 812x65 + 680x66 + 997x67 + 994x68 + 844x69 + 861x70 + 450x71 + 1022x72 + 558x73 + 743x74 + 285x75 + 795x76 + 1005x77 + 772x78 + 820x79 + 588x80 + 850x81 + 960x82 + 762x83 + 719x84 + 969x85 + 711x86 + 504x87 + 587x88 + 489x89 + 1049x90 + 496x91 + 799x92 + 580x93 + 397x94 + 539x95 + 844x96 + 496x97 + 697x98 + 741x99 + 1141x100 + 863x101 + 684x102 + 507x103 + 559x104 + 718x105 + 1072x106 + 634x107 + 988x108 + 838x109 + 653x110 + 668x111 + 619x112 + 920x113 + 620x114 + 1111x115 + 722x116 + 576x117 + 906x118 + 693x119 + 806x120 + 549x121 + 507x122 + 775x123 + 738x124 + 987x125 + 854x126 + 950x127 + 458x128 + 494x129 + 952x130 + 653x131 + 402x132 + 876x133 + 1051x134 + 661x135 + 1094x136 + 748x137 + 1161x138 + 572x139 + 352x140 + 648x141 + 590x142 + 417x143 + 780x144 + 541x145 + 777x146 + 852x147 + 414x148 + 841x149 + 924x150 + 437x151 + 979x152 + 720x153 + 764x154 + 754x155 + 829x156 + 917x157 + 463x158 + 716x159 + 854x160 + 712x161 + 477x162 + 415x163 + 869x164 + 581x165 + 694x166 + 581x167 + 807x168 + 596x169 + 783x170 + 864x171 + 533x172 + 352x173 + 967x174 + 646x175 + 589x176 + 898x177 + 695x178 + 611x179 + 1195x180 + 558x181 + 738x182 + 784x183 + 598x184 + 684x185 + 733x186 + 632x187 + 697x188 + 756x189 + 848x190 + 331x191 + 883x192 + 850x193 + 556x194 + 748x195 + 616x196 + 579x197 + 1062x198 + 1004x199 + 669x200 + 804x201 + 973x202 + 545x203 + 570x204 + 619x205 + 681x206 + 790x207 + 928x208 + 994x209 + 791x210 + 676x211 + 768x212 + 800x213 + 726x214 + 701x215 + 890x216 + 940x217 + 1088x218 + 915x219 + 816x220 + 486x221 + 735x222 + 720x223 + 563x224 + 641x225 + 828x226 + 604x227 + 770x228 + 877x229 + 868x230 + 467x231 + 786x232 + 548x233 + 467x234 + 215x235 + 695x236 + 843x237 + 526x238 + 778x239 + 783x240 + 1025x241 + 646x242 + 544x243 + 843x244 + 982x245 + 693x246 + 468x247 + 731x248 + 610x249 + 813x250 
subject to 
constr1: + 764x1 + 736x2 + 44x3 + 826x4 + 208x5 + 711x6 + 406x7 + 228x8 + 494x9 + 739x10 + 323x11 + 612x12 + 853x13 + 721x14 + 634x15 + 191x16 + 211x17 + 659x18 + 397x19 + 241x20 + 941x21 + 237x22 + 564x23 + 391x24 + 615x25 + 176x26 + 811x27 + 577x28 + 899x29 + 617x30 + 260x31 + 731x32 + 994x33 + 223x34 + 109x35 + 13x36 + 35x37 + 254x38 + 848x39 + 48x40 + 886x41 + 254x42 + 68x43 + 647x44 + 112x45 + 874x46 + 446x47 + 255x48 + 716x49 + 498x50 + 711x51 + 607x52 + 822x53 + 40x54 + 772x55 + 605x56 + 30x57 + 946x58 + 281x59 + 734x60 + 398x61 + 716x62 + 883x63 + 875x64 + 405x65 + 875x66 + 663x67 + 628x68 + 743x69 + 354x70 + 277x71 + 741x72 + 26x73 + 108x74 + 100x75 + 764x76 + 537x77 + 30x78 + 61x79 + 78x80 + 335x81 + 114x82 + 799x83 + 108x84 + 946x85 + 571x86 + 477x87 + 457x88 + 789x89 + 611x90 + 305x91 + 655x92 + 772x93 + 38x94 + 23x95 + 167x96 + 245x97 + 709x98 + 226x99 + 405x100 + 499x101 + 586x102 + 719x103 + 293x104 + 297x105 + 550x106 + 483x107 + 921x108 + 25x109 + 132x110 + 725x111 + 701x112 + 698x113 + 795x114 + 771x115 + 272x116 + 211x117 + 950x118 + 565x119 + 459x120 + 810x121 + 308x122 + 388x123 + 638x124 + 491x125 + 614x126 + 713x127 + 863x128 + 66x129 + 748x130 + 37x131 + 362x132 + 927x133 + 542x134 + 156x135 + 511x136 + 923x137 + 764x138 + 928x139 + 823x140 + 158x141 + 836x142 + 486x143 + 596x144 + 279x145 + 694x146 + 155x147 + 835x148 + 504x149 + 241x150 + 653x151 + 714x152 + 855x153 + 500x154 + 681x155 + 793x156 + 21x157 + 564x158 + 248x159 + 811x160 + 724x161 + 345x162 + 145x163 + 489x164 + 643x165 + 831x166 + 604x167 + 795x168 + 969x169 + 101x170 + 492x171 + 918x172 + 210x173 + 655x174 + 426x175 + 523x176 + 853x177 + 667x178 + 360x179 + 973x180 + 865x181 + 133x182 + 389x183 + 456x184 + 291x185 + 124x186 + 450x187 + 906x188 + 977x189 + 257x190 + 190x191 + 987x192 + 916x193 + 555x194 + 549x195 + 684x196 + 879x197 + 916x198 + 577x199 + 673x200 + 33x201 + 777x202 + 414x203 + 93x204 + 677x205 + 884x206 + 47x207 + 370x208 + 36x209 + 969x210 + 906x211 + 142x212 + 23x213 + 562x214 + 684x215 + 972x216 + 718x217 + 515x218 + 604x219 + 735x220 + 663x221 + 613x222 + 824x223 + 423x224 + 408x225 + 371x226 + 827x227 + 657x228 + 860x229 + 742x230 + 385x231 + 496x232 + 325x233 + 481x234 + 47x235 + 750x236 + 973x237 + 299x238 + 958x239 + 617x240 + 980x241 + 792x242 + 193x243 + 5x244 + 929x245 + 15x246 + 411x247 + 445x248 + 649x249 + 409x250 <=98064 
constr2: + 938x1 + 553x2 + 144x3 + 103x4 + 241x5 + 47x6 + 274x7 + 880x8 + 201x9 + 793x10 + 264x11 + 804x12 + 533x13 + 746x14 + 588x15 + 764x16 + 623x17 + 496x18 + 971x19 + 533x20 + 190x21 + 104x22 + 446x23 + 193x24 + 804x25 + 436x26 + 454x27 + 996x28 + 777x29 + 653x30 + 362x31 + 711x32 + 122x33 + 305x34 + 99x35 + 983x36 + 487x37 + 610x38 + 193x39 + 410x40 + 311x41 + 989x42 + 693x43 + 151x44 + 324x45 + 725x46 + 638x47 + 650x48 + 486x49 + 683x50 + 232x51 + 466x52 + 344x53 + 262x54 + 728x55 + 699x56 + 132x57 + 818x58 + 464x59 + 98x60 + 184x61 + 194x62 + 979x63 + 492x64 + 477x65 + 981x66 + 199x67 + 526x68 + 411x69 + 994x70 + 382x71 + 154x72 + 375x73 + 811x74 + 202x75 + 614x76 + 559x77 + 867x78 + 899x79 + 260x80 + 395x81 + 870x82 + 3x83 + 297x84 + 980x85 + 653x86 + 732x87 + 703x88 + 521x89 + 974x90 + 207x91 + 624x92 + 62x93 + 798x94 + 155x95 + 993x96 + 667x97 + 478x98 + 806x99 + 555x100 + 357x101 + 902x102 + 127x103 + 240x104 + 791x105 + 876x106 + 536x107 + 809x108 + 302x109 + 194x110 + 564x111 + 186x112 + 759x113 + 827x114 + 756x115 + 242x116 + 225x117 + 892x118 + 665x119 + 300x120 + 659x121 + 242x122 + 921x123 + 503x124 + 875x125 + 551x126 + 690x127 + 389x128 + 539x129 + 972x130 + 735x131 + 446x132 + 164x133 + 397x134 + 790x135 + 194x136 + 72x137 + 704x138 + 125x139 + 137x140 + 881x141 + 323x142 + 200x143 + 651x144 + 794x145 + 600x146 + 883x147 + 302x148 + 169x149 + 722x150 + 39x151 + 218x152 + 113x153 + 396x154 + 999x155 + 142x156 + 281x157 + 598x158 + 616x159 + 953x160 + 286x161 + 79x162 + 187x163 + 360x164 + 937x165 + 905x166 + 569x167 + 483x168 + 609x169 + 863x170 + 395x171 + 318x172 + 351x173 + 231x174 + 143x175 + 815x176 + 435x177 + 679x178 + 233x179 + 28x180 + 162x181 + 17x182 + 207x183 + 122x184 + 100x185 + 726x186 + 826x187 + 502x188 + 502x189 + 980x190 + 110x191 + 196x192 + 748x193 + 159x194 + 656x195 + 241x196 + 44x197 + 440x198 + 970x199 + 200x200 + 675x201 + 593x202 + 153x203 + 550x204 + 569x205 + 484x206 + 337x207 + 471x208 + 963x209 + 294x210 + 572x211 + 293x212 + 588x213 + 935x214 + 591x215 + 844x216 + 947x217 + 958x218 + 705x219 + 862x220 + 27x221 + 327x222 + 114x223 + 495x224 + 644x225 + 316x226 + 256x227 + 816x228 + 349x229 + 612x230 + 801x231 + 148x232 + 190x233 + 877x234 + 199x235 + 892x236 + 350x237 + 779x238 + 30x239 + 346x240 + 2x241 + 118x242 + 430x243 + 680x244 + 792x245 + 301x246 + 153x247 + 847x248 + 167x249 + 333x250 <=92911 
constr3: + 628x1 + 750x2 + 767x3 + 864x4 + 182x5 + 929x6 + 344x7 + 93x8 + 322x9 + 365x10 + 979x11 + 923x12 + 476x13 + 988x14 + 954x15 + 677x16 + 485x17 + 645x18 + 312x19 + 636x20 + 774x21 + 105x22 + 896x23 + 336x24 + 950x25 + 629x26 + 686x27 + 996x28 + 228x29 + 299x30 + 616x31 + 532x32 + 812x33 + 15x34 + 507x35 + 175x36 + 401x37 + 442x38 + 325x39 + 780x40 + 878x41 + 185x42 + 94x43 + 934x44 + 717x45 + 858x46 + 110x47 + 696x48 + 955x49 + 667x50 + 797x51 + 935x52 + 498x53 + 275x54 + 28x55 + 874x56 + 269x57 + 597x58 + 142x59 + 26x60 + 688x61 + 769x62 + 262x63 + 513x64 + 623x65 + 753x66 + 455x67 + 204x68 + 699x69 + 683x70 + 950x71 + 408x72 + 404x73 + 659x74 + 48x75 + 566x76 + 546x77 + 758x78 + 755x79 + 78x80 + 706x81 + 598x82 + 181x83 + 148x84 + 129x85 + 89x86 + 502x87 + 565x88 + 209x89 + 824x90 + 63x91 + 760x92 + 710x93 + 456x94 + 488x95 + 909x96 + 191x97 + 146x98 + 619x99 + 951x100 + 845x101 + 699x102 + 225x103 + 216x104 + 69x105 + 651x106 + 759x107 + 97x108 + 829x109 + 390x110 + 560x111 + 246x112 + 57x113 + 861x114 + 338x115 + 643x116 + 203x117 + 410x118 + 232x119 + 57x120 + 52x121 + 101x122 + 850x123 + 622x124 + 76x125 + 264x126 + 559x127 + 96x128 + 259x129 + 397x130 + 734x131 + 80x132 + 373x133 + 707x134 + 39x135 + 886x136 + 496x137 + 347x138 + 412x139 + 168x140 + 733x141 + 325x142 + 846x143 + 530x144 + 16x145 + 200x146 + 402x147 + 76x148 + 328x149 + 806x150 + 544x151 + 670x152 + 228x153 + 4x154 + 935x155 + 932x156 + 876x157 + 498x158 + 850x159 + 194x160 + 331x161 + 487x162 + 569x163 + 310x164 + 197x165 + 322x166 + 391x167 + 912x168 + 461x169 + 712x170 + 383x171 + 243x172 + 267x173 + 600x174 + 581x175 + 72x176 + 279x177 + 840x178 + 5x179 + 998x180 + 184x181 + 710x182 + 415x183 + 932x184 + 931x185 + 894x186 + 477x187 + 834x188 + 269x189 + 398x190 + 155x191 + 763x192 + 831x193 + 186x194 + 387x195 + 491x196 + 996x197 + 865x198 + 466x199 + 696x200 + 268x201 + 268x202 + 383x203 + 914x204 + 741x205 + 122x206 + 613x207 + 385x208 + 766x209 + 861x210 + 277x211 + 787x212 + 756x213 + 25x214 + 933x215 + 419x216 + 736x217 + 914x218 + 902x219 + 368x220 + 719x221 + 67x222 + 144x223 + 643x224 + 103x225 + 582x226 + 717x227 + 62x228 + 826x229 + 519x230 + 24x231 + 612x232 + 69x233 + 782x234 + 85x235 + 365x236 + 541x237 + 264x238 + 901x239 + 566x240 + 550x241 + 589x242 + 144x243 + 946x244 + 867x245 + 520x246 + 65x247 + 379x248 + 444x249 + 760x250 <=94091 
constr4: + 895x1 + 862x2 + 298x3 + 81x4 + 65x5 + 114x6 + 252x7 + 778x8 + 583x9 + 54x10 + 280x11 + 636x12 + 9x13 + 317x14 + 544x15 + 879x16 + 656x17 + 139x18 + 658x19 + 732x20 + 54x21 + 381x22 + 157x23 + 138x24 + 263x25 + 802x26 + 877x27 + 666x28 + 428x29 + 35x30 + 309x31 + 681x32 + 411x33 + 540x34 + 615x35 + 881x36 + 120x37 + 431x38 + 765x39 + 662x40 + 41x41 + 629x42 + 252x43 + 41x44 + 172x45 + 908x46 + 526x47 + 662x48 + 834x49 + 606x50 + 84x51 + 238x52 + 560x53 + 807x54 + 109x55 + 708x56 + 553x57 + 813x58 + 986x59 + 800x60 + 517x61 + 357x62 + 277x63 + 405x64 + 896x65 + 218x66 + 348x67 + 842x68 + 851x69 + 828x70 + 354x71 + 675x72 + 874x73 + 769x74 + 16x75 + 421x76 + 986x77 + 455x78 + 534x79 + 788x80 + 545x81 + 261x82 + 419x83 + 357x84 + 554x85 + 332x86 + 541x87 + 210x88 + 199x89 + 257x90 + 2x91 + 729x92 + 174x93 + 56x94 + 443x95 + 283x96 + 63x97 + 535x98 + 19x99 + 509x100 + 450x101 + 280x102 + 651x103 + 40x104 + 899x105 + 820x106 + 611x107 + 865x108 + 499x109 + 7x110 + 80x111 + 232x112 + 517x113 + 192x114 + 872x115 + 65x116 + 285x117 + 420x118 + 350x119 + 413x120 + 113x121 + 312x122 + 501x123 + 125x124 + 957x125 + 515x126 + 431x127 + 147x128 + 119x129 + 797x130 + 219x131 + 361x132 + 991x133 + 738x134 + 48x135 + 766x136 + 428x137 + 716x138 + 149x139 + 164x140 + 406x141 + 588x142 + 60x143 + 451x144 + 208x145 + 846x146 + 881x147 + 43x148 + 113x149 + 511x150 + 118x151 + 868x152 + 7x153 + 440x154 + 132x155 + 365x156 + 698x157 + 400x158 + 249x159 + 614x160 + 305x161 + 594x162 + 77x163 + 974x164 + 192x165 + 596x166 + 786x167 + 180x168 + 36x169 + 522x170 + 350x171 + 279x172 + 52x173 + 734x174 + 362x175 + 524x176 + 872x177 + 265x178 + 800x179 + 602x180 + 350x181 + 485x182 + 583x183 + 607x184 + 320x185 + 770x186 + 150x187 + 224x188 + 719x189 + 581x190 + 362x191 + 387x192 + 357x193 + 416x194 + 559x195 + 397x196 + 350x197 + 524x198 + 400x199 + 91x200 + 796x201 + 895x202 + 239x203 + 265x204 + 893x205 + 653x206 + 563x207 + 475x208 + 493x209 + 847x210 + 748x211 + 991x212 + 115x213 + 502x214 + 472x215 + 751x216 + 525x217 + 486x218 + 347x219 + 111x220 + 146x221 + 908x222 + 688x223 + 419x224 + 275x225 + 805x226 + 475x227 + 78x228 + 480x229 + 635x230 + 274x231 + 626x232 + 44x233 + 81x234 + 142x235 + 186x236 + 32x237 + 65x238 + 389x239 + 953x240 + 785x241 + 586x242 + 149x243 + 857x244 + 713x245 + 162x246 + 433x247 + 739x248 + 821x249 + 901x250 <=85625 
constr5: + 355x1 + 905x2 + 524x3 + 435x4 + 69x5 + 981x6 + 18x7 + 203x8 + 935x9 + 632x10 + 639x11 + 18x12 + 320x13 + 1x14 + 380x15 + 689x16 + 229x17 + 971x18 + 686x19 + 897x20 + 98x21 + 317x22 + 794x23 + 832x24 + 572x25 + 17x26 + 559x27 + 41x28 + 570x29 + 956x30 + 210x31 + 917x32 + 879x33 + 351x34 + 276x35 + 731x36 + 104x37 + 826x38 + 883x39 + 640x40 + 125x41 + 75x42 + 603x43 + 271x44 + 602x45 + 377x46 + 899x47 + 151x48 + 739x49 + 180x50 + 719x51 + 823x52 + 562x53 + 784x54 + 761x55 + 762x56 + 815x57 + 454x58 + 950x59 + 459x60 + 675x61 + 409x62 + 882x63 + 31x64 + 157x65 + 128x66 + 939x67 + 572x68 + 9x69 + 329x70 + 126x71 + 973x72 + 533x73 + 592x74 + 956x75 + 435x76 + 641x77 + 769x78 + 730x79 + 795x80 + 448x81 + 612x82 + 875x83 + 490x84 + 875x85 + 817x86 + 189x87 + 216x88 + 56x89 + 320x90 + 830x91 + 479x92 + 997x93 + 122x94 + 365x95 + 99x96 + 807x97 + 853x98 + 233x99 + 942x100 + 993x101 + 578x102 + 498x103 + 186x104 + 717x105 + 302x106 + 233x107 + 526x108 + 411x109 + 978x110 + 960x111 + 541x112 + 973x113 + 163x114 + 545x115 + 753x116 + 358x117 + 433x118 + 383x119 + 323x120 + 542x121 + 936x122 + 255x123 + 839x124 + 471x125 + 368x126 + 381x127 + 104x128 + 212x129 + 5x130 + 685x131 + 105x132 + 950x133 + 750x134 + 320x135 + 856x136 + 614x137 + 957x138 + 779x139 + 72x140 + 42x141 + 51x142 + 246x143 + 365x144 + 536x145 + 202x146 + 466x147 + 214x148 + 716x149 + 199x150 + 375x151 + 337x152 + 57x153 + 485x154 + 928x155 + 785x156 + 721x157 + 43x158 + 216x159 + 88x160 + 364x161 + 768x162 + 545x163 + 229x164 + 698x165 + 36x166 + 336x167 + 917x168 + 393x169 + 246x170 + 889x171 + 41x172 + 653x173 + 125x174 + 972x175 + 906x176 + 899x177 + 192x178 + 557x179 + 911x180 + 412x181 + 700x182 + 693x183 + 875x184 + 994x185 + 392x186 + 434x187 + 311x188 + 827x189 + 986x190 + 350x191 + 218x192 + 792x193 + 727x194 + 98x195 + 530x196 + 44x197 + 181x198 + 625x199 + 898x200 + 365x201 + 257x202 + 205x203 + 145x204 + 53x205 + 351x206 + 18x207 + 862x208 + 357x209 + 837x210 + 315x211 + 934x212 + 830x213 + 303x214 + 128x215 + 377x216 + 511x217 + 176x218 + 237x219 + 79x220 + 325x221 + 893x222 + 65x223 + 254x224 + 630x225 + 633x226 + 355x227 + 128x228 + 948x229 + 712x230 + 228x231 + 919x232 + 378x233 + 13x234 + 245x235 + 304x236 + 736x237 + 666x238 + 527x239 + 56x240 + 350x241 + 706x242 + 420x243 + 41x244 + 506x245 + 696x246 + 273x247 + 178x248 + 914x249 + 598x250 <=92854 
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