maximize 
objective: + 517x1 + 1032x2 + 592x3 + 748x4 + 1176x5 + 679x6 + 792x7 + 1150x8 + 617x9 + 961x10 + 678x11 + 753x12 + 550x13 + 732x14 + 645x15 + 701x16 + 825x17 + 821x18 + 717x19 + 959x20 + 928x21 + 838x22 + 544x23 + 841x24 + 397x25 + 903x26 + 535x27 + 1026x28 + 820x29 + 1091x30 + 483x31 + 872x32 + 524x33 + 1028x34 + 913x35 + 670x36 + 907x37 + 844x38 + 533x39 + 1009x40 + 1115x41 + 1070x42 + 1044x43 + 1054x44 + 1087x45 + 783x46 + 761x47 + 725x48 + 1103x49 + 658x50 + 789x51 + 892x52 + 1105x53 + 1022x54 + 684x55 + 539x56 + 1011x57 + 791x58 + 365x59 + 1088x60 + 1016x61 + 590x62 + 181x63 + 587x64 + 1056x65 + 1082x66 + 575x67 + 1006x68 + 769x69 + 506x70 + 581x71 + 877x72 + 699x73 + 811x74 + 812x75 + 616x76 + 469x77 + 946x78 + 1035x79 + 888x80 + 774x81 + 669x82 + 545x83 + 924x84 + 1061x85 + 519x86 + 857x87 + 832x88 + 795x89 + 669x90 + 1186x91 + 816x92 + 664x93 + 856x94 + 1094x95 + 564x96 + 673x97 + 607x98 + 851x99 + 754x100 + 1092x101 + 811x102 + 621x103 + 698x104 + 791x105 + 764x106 + 461x107 + 969x108 + 574x109 + 365x110 + 613x111 + 542x112 + 587x113 + 566x114 + 476x115 + 950x116 + 1024x117 + 653x118 + 664x119 + 668x120 + 757x121 + 725x122 + 885x123 + 1004x124 + 640x125 + 1008x126 + 971x127 + 706x128 + 835x129 + 1229x130 + 794x131 + 836x132 + 790x133 + 1025x134 + 324x135 + 1214x136 + 490x137 + 737x138 + 521x139 + 602x140 + 723x141 + 979x142 + 936x143 + 742x144 + 645x145 + 925x146 + 707x147 + 512x148 + 825x149 + 963x150 + 665x151 + 1127x152 + 622x153 + 604x154 + 964x155 + 1267x156 + 836x157 + 781x158 + 587x159 + 891x160 + 946x161 + 665x162 + 1008x163 + 681x164 + 977x165 + 830x166 + 981x167 + 395x168 + 366x169 + 509x170 + 490x171 + 550x172 + 949x173 + 793x174 + 777x175 + 681x176 + 493x177 + 527x178 + 1047x179 + 1013x180 + 457x181 + 410x182 + 675x183 + 1122x184 + 640x185 + 820x186 + 648x187 + 833x188 + 1085x189 + 821x190 + 449x191 + 795x192 + 762x193 + 529x194 + 968x195 + 654x196 + 359x197 + 705x198 + 566x199 + 784x200 + 90x201 + 427x202 + 289x203 + 957x204 + 908x205 + 466x206 + 605x207 + 444x208 + 829x209 + 745x210 + 745x211 + 291x212 + 474x213 + 693x214 + 1021x215 + 716x216 + 762x217 + 939x218 + 797x219 + 1069x220 + 544x221 + 817x222 + 895x223 + 375x224 + 627x225 + 372x226 + 736x227 + 540x228 + 736x229 + 627x230 + 612x231 + 405x232 + 801x233 + 1065x234 + 865x235 + 802x236 + 793x237 + 582x238 + 516x239 + 579x240 + 675x241 + 702x242 + 713x243 + 795x244 + 695x245 + 450x246 + 564x247 + 502x248 + 704x249 + 993x250 
subject to 
constr1: + 986x1 + 657x2 + 583x3 + 976x4 + 728x5 + 428x6 + 133x7 + 843x8 + 299x9 + 684x10 + 564x11 + 780x12 + 484x13 + 690x14 + 771x15 + 559x16 + 952x17 + 334x18 + 931x19 + 158x20 + 422x21 + 643x22 + 747x23 + 826x24 + 979x25 + 655x26 + 85x27 + 359x28 + 72x29 + 76x30 + 186x31 + 826x32 + 192x33 + 848x34 + 862x35 + 11x36 + 836x37 + 148x38 + 340x39 + 163x40 + 371x41 + 486x42 + 856x43 + 957x44 + 402x45 + 791x46 + 190x47 + 28x48 + 583x49 + 636x50 + 789x51 + 360x52 + 901x53 + 781x54 + 202x55 + 807x56 + 254x57 + 40x58 + 23x59 + 813x60 + 733x61 + 642x62 + 208x63 + 363x64 + 534x65 + 578x66 + 201x67 + 793x68 + 692x69 + 526x70 + 658x71 + 684x72 + 169x73 + 803x74 + 493x75 + 806x76 + 66x77 + 693x78 + 845x79 + 808x80 + 282x81 + 362x82 + 958x83 + 343x84 + 715x85 + 271x86 + 509x87 + 905x88 + 612x89 + 950x90 + 686x91 + 751x92 + 62x93 + 935x94 + 327x95 + 88x96 + 245x97 + 314x98 + 344x99 + 617x100 + 894x101 + 549x102 + 94x103 + 598x104 + 421x105 + 394x106 + 820x107 + 447x108 + 859x109 + 421x110 + 793x111 + 587x112 + 10x113 + 449x114 + 816x115 + 701x116 + 232x117 + 680x118 + 578x119 + 649x120 + 661x121 + 308x122 + 667x123 + 973x124 + 597x125 + 944x126 + 118x127 + 943x128 + 83x129 + 998x130 + 66x131 + 835x132 + 652x133 + 903x134 + 234x135 + 769x136 + 311x137 + 339x138 + 373x139 + 128x140 + 934x141 + 399x142 + 434x143 + 260x144 + 717x145 + 384x146 + 537x147 + 81x148 + 197x149 + 48x150 + 201x151 + 773x152 + 391x153 + 48x154 + 749x155 + 870x156 + 641x157 + 527x158 + 342x159 + 545x160 + 426x161 + 126x162 + 943x163 + 926x164 + 941x165 + 908x166 + 539x167 + 340x168 + 176x169 + 504x170 + 487x171 + 688x172 + 49x173 + 217x174 + 815x175 + 5x176 + 45x177 + 207x178 + 793x179 + 490x180 + 888x181 + 976x182 + 283x183 + 758x184 + 20x185 + 194x186 + 518x187 + 732x188 + 874x189 + 476x190 + 103x191 + 559x192 + 177x193 + 746x194 + 977x195 + 428x196 + 113x197 + 52x198 + 660x199 + 361x200 + 110x201 + 766x202 + 227x203 + 793x204 + 502x205 + 102x206 + 97x207 + 669x208 + 553x209 + 207x210 + 754x211 + 66x212 + 427x213 + 839x214 + 912x215 + 60x216 + 219x217 + 787x218 + 52x219 + 902x220 + 744x221 + 518x222 + 384x223 + 319x224 + 88x225 + 459x226 + 502x227 + 307x228 + 824x229 + 224x230 + 819x231 + 159x232 + 595x233 + 559x234 + 689x235 + 2x236 + 428x237 + 747x238 + 392x239 + 843x240 + 561x241 + 991x242 + 82x243 + 767x244 + 5x245 + 342x246 + 520x247 + 111x248 + 348x249 + 650x250 <=31793 
constr2: + 695x1 + 852x2 + 75x3 + 13x4 + 818x5 + 138x6 + 439x7 + 345x8 + 47x9 + 284x10 + 267x11 + 16x12 + 425x13 + 37x14 + 102x15 + 866x16 + 465x17 + 698x18 + 803x19 + 714x20 + 851x21 + 329x22 + 238x23 + 952x24 + 473x25 + 682x26 + 118x27 + 660x28 + 650x29 + 319x30 + 455x31 + 391x32 + 289x33 + 645x34 + 228x35 + 490x36 + 685x37 + 608x38 + 431x39 + 571x40 + 707x41 + 280x42 + 241x43 + 651x44 + 462x45 + 277x46 + 792x47 + 688x48 + 642x49 + 627x50 + 371x51 + 499x52 + 811x53 + 437x54 + 46x55 + 497x56 + 657x57 + 724x58 + 102x59 + 834x60 + 799x61 + 300x62 + 44x63 + 171x64 + 936x65 + 475x66 + 866x67 + 180x68 + 609x69 + 225x70 + 183x71 + 857x72 + 308x73 + 733x74 + 849x75 + 289x76 + 97x77 + 597x78 + 975x79 + 576x80 + 341x81 + 123x82 + 252x83 + 765x84 + 256x85 + 689x86 + 67x87 + 123x88 + 784x89 + 163x90 + 830x91 + 607x92 + 39x93 + 182x94 + 772x95 + 934x96 + 772x97 + 820x98 + 261x99 + 644x100 + 629x101 + 533x102 + 38x103 + 172x104 + 400x105 + 980x106 + 38x107 + 723x108 + 611x109 + 231x110 + 725x111 + 635x112 + 177x113 + 652x114 + 103x115 + 576x116 + 514x117 + 579x118 + 372x119 + 805x120 + 110x121 + 632x122 + 780x123 + 124x124 + 89x125 + 533x126 + 821x127 + 407x128 + 895x129 + 826x130 + 989x131 + 217x132 + 898x133 + 979x134 + 30x135 + 803x136 + 103x137 + 717x138 + 53x139 + 680x140 + 396x141 + 617x142 + 265x143 + 216x144 + 32x145 + 500x146 + 419x147 + 165x148 + 792x149 + 580x150 + 721x151 + 607x152 + 85x153 + 123x154 + 970x155 + 928x156 + 551x157 + 433x158 + 761x159 + 638x160 + 431x161 + 459x162 + 699x163 + 796x164 + 215x165 + 61x166 + 879x167 + 287x168 + 266x169 + 464x170 + 215x171 + 825x172 + 260x173 + 940x174 + 275x175 + 528x176 + 280x177 + 548x178 + 1000x179 + 931x180 + 251x181 + 141x182 + 794x183 + 610x184 + 955x185 + 452x186 + 791x187 + 499x188 + 670x189 + 402x190 + 847x191 + 924x192 + 773x193 + 48x194 + 341x195 + 516x196 + 29x197 + 946x198 + 759x199 + 15x200 + 1x201 + 333x202 + 149x203 + 685x204 + 890x205 + 360x206 + 123x207 + 490x208 + 561x209 + 573x210 + 718x211 + 211x212 + 90x213 + 684x214 + 728x215 + 445x216 + 929x217 + 795x218 + 635x219 + 486x220 + 809x221 + 471x222 + 96x223 + 112x224 + 576x225 + 281x226 + 477x227 + 377x228 + 596x229 + 314x230 + 536x231 + 92x232 + 148x233 + 332x234 + 86x235 + 724x236 + 87x237 + 478x238 + 401x239 + 110x240 + 781x241 + 173x242 + 517x243 + 204x244 + 694x245 + 378x246 + 650x247 + 761x248 + 14x249 + 688x250 <=30238 
constr3: + 271x1 + 168x2 + 974x3 + 114x4 + 138x5 + 603x6 + 225x7 + 902x8 + 202x9 + 84x10 + 660x11 + 284x12 + 528x13 + 477x14 + 346x15 + 525x16 + 794x17 + 343x18 + 298x19 + 940x20 + 854x21 + 413x22 + 338x23 + 541x24 + 182x25 + 815x26 + 327x27 + 599x28 + 71x29 + 757x30 + 716x31 + 795x32 + 1x33 + 530x34 + 286x35 + 313x36 + 599x37 + 812x38 + 136x39 + 320x40 + 684x41 + 972x42 + 772x43 + 258x44 + 977x45 + 146x46 + 732x47 + 872x48 + 881x49 + 574x50 + 852x51 + 531x52 + 449x53 + 510x54 + 896x55 + 997x56 + 799x57 + 347x58 + 133x59 + 699x60 + 961x61 + 186x62 + 32x63 + 300x64 + 971x65 + 419x66 + 48x67 + 262x68 + 790x69 + 707x70 + 989x71 + 997x72 + 699x73 + 546x74 + 133x75 + 538x76 + 347x77 + 324x78 + 170x79 + 389x80 + 259x81 + 384x82 + 189x83 + 850x84 + 609x85 + 226x86 + 617x87 + 917x88 + 762x89 + 504x90 + 367x91 + 6x92 + 512x93 + 815x94 + 997x95 + 586x96 + 628x97 + 155x98 + 374x99 + 359x100 + 479x101 + 577x102 + 191x103 + 294x104 + 792x105 + 13x106 + 591x107 + 245x108 + 20x109 + 90x110 + 324x111 + 219x112 + 681x113 + 141x114 + 933x115 + 403x116 + 913x117 + 472x118 + 459x119 + 341x120 + 302x121 + 695x122 + 470x123 + 592x124 + 834x125 + 964x126 + 137x127 + 327x128 + 260x129 + 691x130 + 557x131 + 286x132 + 354x133 + 421x134 + 183x135 + 858x136 + 345x137 + 678x138 + 873x139 + 636x140 + 373x141 + 5x142 + 353x143 + 868x144 + 970x145 + 382x146 + 283x147 + 973x148 + 926x149 + 945x150 + 575x151 + 365x152 + 724x153 + 960x154 + 458x155 + 969x156 + 497x157 + 738x158 + 709x159 + 322x160 + 460x161 + 379x162 + 776x163 + 161x164 + 559x165 + 864x166 + 669x167 + 3x168 + 584x169 + 316x170 + 588x171 + 13x172 + 399x173 + 484x174 + 914x175 + 663x176 + 485x177 + 578x178 + 624x179 + 784x180 + 137x181 + 124x182 + 684x183 + 445x184 + 402x185 + 505x186 + 994x187 + 928x188 + 524x189 + 793x190 + 769x191 + 194x192 + 890x193 + 274x194 + 85x195 + 313x196 + 927x197 + 778x198 + 312x199 + 96x200 + 36x201 + 103x202 + 224x203 + 353x204 + 617x205 + 656x206 + 926x207 + 291x208 + 197x209 + 834x210 + 915x211 + 36x212 + 491x213 + 273x214 + 467x215 + 164x216 + 18x217 + 709x218 + 159x219 + 703x220 + 91x221 + 568x222 + 868x223 + 465x224 + 56x225 + 64x226 + 885x227 + 350x228 + 513x229 + 49x230 + 345x231 + 633x232 + 302x233 + 848x234 + 380x235 + 912x236 + 699x237 + 504x238 + 806x239 + 570x240 + 375x241 + 653x242 + 302x243 + 440x244 + 851x245 + 209x246 + 172x247 + 164x248 + 91x249 + 113x250 <=31062 
constr4: + 377x1 + 269x2 + 366x3 + 519x4 + 823x5 + 709x6 + 997x7 + 606x8 + 528x9 + 784x10 + 293x11 + 655x12 + 496x13 + 469x14 + 52x15 + 63x16 + 841x17 + 618x18 + 5x19 + 492x20 + 2x21 + 370x22 + 596x23 + 779x24 + 39x25 + 918x26 + 73x27 + 763x28 + 471x29 + 980x30 + 677x31 + 663x32 + 719x33 + 41x34 + 205x35 + 191x36 + 410x37 + 863x38 + 361x39 + 923x40 + 941x41 + 943x42 + 931x43 + 820x44 + 452x45 + 518x46 + 264x47 + 658x48 + 735x49 + 911x50 + 120x51 + 941x52 + 690x53 + 460x54 + 45x55 + 285x56 + 494x57 + 364x58 + 397x59 + 856x60 + 371x61 + 203x62 + 208x63 + 239x64 + 906x65 + 949x66 + 385x67 + 839x68 + 740x69 + 760x70 + 564x71 + 976x72 + 701x73 + 291x74 + 315x75 + 87x76 + 702x77 + 586x78 + 521x79 + 948x80 + 69x81 + 207x82 + 779x83 + 883x84 + 845x85 + 433x86 + 209x87 + 946x88 + 221x89 + 116x90 + 824x91 + 119x92 + 609x93 + 323x94 + 884x95 + 352x96 + 234x97 + 895x98 + 905x99 + 343x100 + 886x101 + 286x102 + 167x103 + 588x104 + 32x105 + 108x106 + 254x107 + 784x108 + 766x109 + 75x110 + 175x111 + 178x112 + 268x113 + 898x114 + 245x115 + 204x116 + 404x117 + 239x118 + 880x119 + 707x120 + 114x121 + 556x122 + 273x123 + 809x124 + 648x125 + 418x126 + 746x127 + 218x128 + 719x129 + 760x130 + 684x131 + 64x132 + 416x133 + 690x134 + 728x135 + 823x136 + 269x137 + 810x138 + 11x139 + 256x140 + 355x141 + 975x142 + 954x143 + 766x144 + 100x145 + 816x146 + 865x147 + 43x148 + 102x149 + 191x150 + 922x151 + 911x152 + 950x153 + 509x154 + 583x155 + 893x156 + 522x157 + 393x158 + 673x159 + 454x160 + 184x161 + 865x162 + 869x163 + 682x164 + 929x165 + 580x166 + 185x167 + 74x168 + 165x169 + 861x170 + 306x171 + 399x172 + 982x173 + 640x174 + 354x175 + 760x176 + 981x177 + 305x178 + 44x179 + 853x180 + 405x181 + 425x182 + 808x183 + 839x184 + 152x185 + 240x186 + 52x187 + 196x188 + 452x189 + 281x190 + 313x191 + 75x192 + 102x193 + 808x194 + 521x195 + 660x196 + 59x197 + 156x198 + 241x199 + 437x200 + 48x201 + 397x202 + 11x203 + 659x204 + 655x205 + 12x206 + 480x207 + 143x208 + 974x209 + 453x210 + 39x211 + 108x212 + 38x213 + 205x214 + 544x215 + 402x216 + 25x217 + 59x218 + 968x219 + 21x220 + 233x221 + 936x222 + 458x223 + 498x224 + 128x225 + 398x226 + 161x227 + 246x228 + 627x229 + 978x230 + 208x231 + 711x232 + 198x233 + 601x234 + 526x235 + 271x236 + 646x237 + 396x238 + 507x239 + 67x240 + 24x241 + 19x242 + 99x243 + 64x244 + 996x245 + 155x246 + 212x247 + 449x248 + 753x249 + 719x250 <=30054 
constr5: + 233x1 + 760x2 + 383x3 + 879x4 + 900x5 + 610x6 + 496x7 + 883x8 + 998x9 + 705x10 + 260x11 + 198x12 + 471x13 + 24x14 + 470x15 + 563x16 + 332x17 + 480x18 + 490x19 + 688x20 + 915x21 + 853x22 + 418x23 + 45x24 + 159x25 + 296x26 + 533x27 + 955x28 + 963x29 + 995x30 + 167x31 + 412x32 + 281x33 + 822x34 + 919x35 + 382x36 + 808x37 + 164x38 + 83x39 + 791x40 + 695x41 + 388x42 + 612x43 + 328x44 + 948x45 + 744x46 + 369x47 + 113x48 + 971x49 + 88x50 + 220x51 + 144x52 + 720x53 + 453x54 + 862x55 + 9x56 + 379x57 + 628x58 + 635x59 + 949x60 + 21x61 + 688x62 + 213x63 + 146x64 + 158x65 + 630x66 + 889x67 + 685x68 + 885x69 + 79x70 + 420x71 + 858x72 + 604x73 + 128x74 + 532x75 + 8x76 + 169x77 + 873x78 + 814x79 + 597x80 + 605x81 + 215x82 + 363x83 + 380x84 + 850x85 + 753x86 + 474x87 + 137x88 + 303x89 + 205x90 + 851x91 + 768x92 + 451x93 + 881x94 + 481x95 + 65x96 + 442x97 + 697x98 + 837x99 + 12x100 + 139x101 + 443x102 + 377x103 + 28x104 + 533x105 + 380x106 + 203x107 + 397x108 + 197x109 + 808x110 + 302x111 + 797x112 + 617x113 + 228x114 + 248x115 + 604x116 + 697x117 + 812x118 + 414x119 + 627x120 + 467x121 + 187x122 + 160x123 + 942x124 + 619x125 + 325x126 + 675x127 + 593x128 + 324x129 + 550x130 + 570x131 + 787x132 + 954x133 + 49x134 + 11x135 + 989x136 + 211x137 + 544x138 + 235x139 + 857x140 + 704x141 + 655x142 + 513x143 + 243x144 + 847x145 + 47x146 + 395x147 + 848x148 + 566x149 + 619x150 + 332x151 + 656x152 + 328x153 + 820x154 + 872x155 + 822x156 + 199x157 + 173x158 + 380x159 + 130x160 + 989x161 + 502x162 + 160x163 + 490x164 + 250x165 + 553x166 + 490x167 + 405x168 + 588x169 + 109x170 + 802x171 + 35x172 + 899x173 + 382x174 + 471x175 + 669x176 + 288x177 + 377x178 + 660x179 + 808x180 + 528x181 + 264x182 + 682x183 + 609x184 + 564x185 + 834x186 + 260x187 + 655x188 + 702x189 + 512x190 + 132x191 + 747x192 + 539x193 + 648x194 + 641x195 + 193x196 + 251x197 + 545x198 + 93x199 + 915x200 + 74x201 + 115x202 + 808x203 + 706x204 + 596x205 + 428x206 + 383x207 + 324x208 + 154x209 + 241x210 + 90x211 + 468x212 + 959x213 + 307x214 + 568x215 + 380x216 + 777x217 + 509x218 + 859x219 + 747x220 + 712x221 + 63x222 + 739x223 + 334x224 + 72x225 + 404x226 + 379x227 + 328x228 + 558x229 + 252x230 + 517x231 + 137x232 + 460x233 + 617x234 + 959x235 + 240x236 + 381x237 + 329x238 + 266x239 + 896x240 + 887x241 + 912x242 + 766x243 + 708x244 + 379x245 + 475x246 + 512x247 + 306x248 + 22x249 + 444x250 <=31011 
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