maximize 
objective: + 656x1 + 912x2 + 753x3 + 829x4 + 840x5 + 607x6 + 834x7 + 926x8 + 954x9 + 705x10 + 727x11 + 859x12 + 656x13 + 700x14 + 874x15 + 788x16 + 940x17 + 748x18 + 749x19 + 1023x20 + 873x21 + 578x22 + 895x23 + 984x24 + 604x25 + 870x26 + 940x27 + 645x28 + 547x29 + 856x30 + 633x31 + 857x32 + 455x33 + 802x34 + 512x35 + 885x36 + 726x37 + 803x38 + 758x39 + 867x40 + 555x41 + 957x42 + 774x43 + 490x44 + 551x45 + 1016x46 + 627x47 + 675x48 + 529x49 + 886x50 + 545x51 + 608x52 + 712x53 + 835x54 + 329x55 + 411x56 + 474x57 + 789x58 + 931x59 + 778x60 + 759x61 + 671x62 + 319x63 + 584x64 + 668x65 + 655x66 + 820x67 + 538x68 + 676x69 + 529x70 + 756x71 + 932x72 + 1115x73 + 594x74 + 790x75 + 721x76 + 280x77 + 839x78 + 450x79 + 918x80 + 939x81 + 952x82 + 548x83 + 451x84 + 845x85 + 337x86 + 739x87 + 850x88 + 668x89 + 818x90 + 855x91 + 896x92 + 857x93 + 519x94 + 651x95 + 942x96 + 511x97 + 419x98 + 723x99 + 955x100 + 664x101 + 1047x102 + 794x103 + 543x104 + 580x105 + 541x106 + 936x107 + 550x108 + 922x109 + 807x110 + 1242x111 + 620x112 + 706x113 + 825x114 + 953x115 + 638x116 + 901x117 + 664x118 + 603x119 + 833x120 + 1120x121 + 1099x122 + 542x123 + 986x124 + 788x125 + 804x126 + 1066x127 + 771x128 + 934x129 + 840x130 + 668x131 + 1048x132 + 710x133 + 1230x134 + 675x135 + 962x136 + 618x137 + 1173x138 + 694x139 + 1335x140 + 1029x141 + 708x142 + 695x143 + 277x144 + 716x145 + 571x146 + 641x147 + 652x148 + 568x149 + 738x150 + 530x151 + 836x152 + 972x153 + 799x154 + 566x155 + 925x156 + 1004x157 + 714x158 + 612x159 + 665x160 + 446x161 + 970x162 + 487x163 + 816x164 + 817x165 + 1006x166 + 643x167 + 692x168 + 894x169 + 690x170 + 628x171 + 799x172 + 1186x173 + 1094x174 + 726x175 + 570x176 + 637x177 + 611x178 + 523x179 + 734x180 + 828x181 + 874x182 + 552x183 + 709x184 + 931x185 + 516x186 + 393x187 + 754x188 + 449x189 + 824x190 + 919x191 + 680x192 + 856x193 + 600x194 + 491x195 + 541x196 + 902x197 + 469x198 + 775x199 + 366x200 + 721x201 + 672x202 + 759x203 + 715x204 + 845x205 + 573x206 + 1053x207 + 567x208 + 253x209 + 675x210 + 1023x211 + 677x212 + 814x213 + 1230x214 + 695x215 + 724x216 + 722x217 + 712x218 + 898x219 + 955x220 + 534x221 + 780x222 + 746x223 + 763x224 + 510x225 + 851x226 + 943x227 + 669x228 + 785x229 + 1071x230 + 699x231 + 785x232 + 443x233 + 599x234 + 637x235 + 1024x236 + 198x237 + 537x238 + 992x239 + 301x240 + 623x241 + 598x242 + 781x243 + 606x244 + 861x245 + 632x246 + 385x247 + 618x248 + 1006x249 + 617x250 
subject to 
constr1: + 667x1 + 490x2 + 927x3 + 936x4 + 875x5 + 751x6 + 725x7 + 751x8 + 666x9 + 693x10 + 261x11 + 521x12 + 731x13 + 588x14 + 788x15 + 442x16 + 737x17 + 705x18 + 290x19 + 607x20 + 772x21 + 155x22 + 904x23 + 738x24 + 988x25 + 944x26 + 357x27 + 81x28 + 488x29 + 614x30 + 803x31 + 499x32 + 221x33 + 209x34 + 189x35 + 640x36 + 120x37 + 784x38 + 853x39 + 738x40 + 714x41 + 717x42 + 967x43 + 447x44 + 574x45 + 992x46 + 262x47 + 923x48 + 451x49 + 834x50 + 66x51 + 696x52 + 258x53 + 898x54 + 207x55 + 869x56 + 327x57 + 994x58 + 932x59 + 72x60 + 663x61 + 991x62 + 144x63 + 771x64 + 326x65 + 307x66 + 165x67 + 119x68 + 309x69 + 522x70 + 513x71 + 443x72 + 782x73 + 910x74 + 968x75 + 587x76 + 904x77 + 435x78 + 20x79 + 625x80 + 744x81 + 690x82 + 280x83 + 532x84 + 861x85 + 182x86 + 287x87 + 563x88 + 882x89 + 280x90 + 23x91 + 544x92 + 738x93 + 531x94 + 572x95 + 892x96 + 53x97 + 519x98 + 582x99 + 814x100 + 324x101 + 814x102 + 530x103 + 492x104 + 246x105 + 184x106 + 330x107 + 781x108 + 888x109 + 614x110 + 580x111 + 12x112 + 335x113 + 936x114 + 907x115 + 469x116 + 382x117 + 592x118 + 559x119 + 164x120 + 989x121 + 491x122 + 861x123 + 866x124 + 415x125 + 979x126 + 510x127 + 127x128 + 466x129 + 134x130 + 737x131 + 758x132 + 580x133 + 443x134 + 680x135 + 715x136 + 706x137 + 538x138 + 683x139 + 997x140 + 1000x141 + 625x142 + 271x143 + 219x144 + 864x145 + 485x146 + 491x147 + 681x148 + 619x149 + 343x150 + 320x151 + 991x152 + 673x153 + 330x154 + 943x155 + 838x156 + 704x157 + 782x158 + 264x159 + 18x160 + 317x161 + 991x162 + 117x163 + 805x164 + 101x165 + 594x166 + 547x167 + 385x168 + 683x169 + 684x170 + 388x171 + 27x172 + 784x173 + 962x174 + 604x175 + 664x176 + 195x177 + 336x178 + 538x179 + 241x180 + 286x181 + 355x182 + 282x183 + 574x184 + 948x185 + 590x186 + 725x187 + 780x188 + 451x189 + 253x190 + 15x191 + 318x192 + 814x193 + 946x194 + 244x195 + 708x196 + 680x197 + 618x198 + 898x199 + 54x200 + 615x201 + 423x202 + 300x203 + 791x204 + 622x205 + 60x206 + 972x207 + 434x208 + 113x209 + 506x210 + 814x211 + 277x212 + 326x213 + 645x214 + 733x215 + 184x216 + 752x217 + 310x218 + 230x219 + 908x220 + 42x221 + 943x222 + 830x223 + 755x224 + 318x225 + 176x226 + 900x227 + 507x228 + 251x229 + 36x230 + 614x231 + 714x232 + 168x233 + 570x234 + 308x235 + 801x236 + 204x237 + 284x238 + 343x239 + 128x240 + 625x241 + 26x242 + 352x243 + 813x244 + 59x245 + 468x246 + 144x247 + 68x248 + 940x249 + 850x250 <=33888 
constr2: + 443x1 + 565x2 + 469x3 + 732x4 + 419x5 + 801x6 + 716x7 + 872x8 + 902x9 + 906x10 + 984x11 + 535x12 + 222x13 + 101x14 + 461x15 + 262x16 + 796x17 + 161x18 + 288x19 + 332x20 + 405x21 + 92x22 + 890x23 + 249x24 + 216x25 + 697x26 + 109x27 + 713x28 + 332x29 + 684x30 + 128x31 + 587x32 + 148x33 + 617x34 + 258x35 + 973x36 + 375x37 + 600x38 + 744x39 + 779x40 + 257x41 + 201x42 + 190x43 + 203x44 + 596x45 + 927x46 + 767x47 + 882x48 + 644x49 + 102x50 + 940x51 + 676x52 + 653x53 + 340x54 + 294x55 + 78x56 + 197x57 + 905x58 + 405x59 + 899x60 + 761x61 + 998x62 + 316x63 + 448x64 + 856x65 + 359x66 + 315x67 + 649x68 + 633x69 + 112x70 + 666x71 + 424x72 + 542x73 + 744x74 + 949x75 + 297x76 + 22x77 + 880x78 + 116x79 + 134x80 + 763x81 + 914x82 + 600x83 + 115x84 + 768x85 + 169x86 + 677x87 + 665x88 + 352x89 + 469x90 + 482x91 + 787x92 + 542x93 + 419x94 + 729x95 + 378x96 + 344x97 + 142x98 + 542x99 + 449x100 + 83x101 + 432x102 + 362x103 + 120x104 + 61x105 + 783x106 + 717x107 + 472x108 + 204x109 + 624x110 + 926x111 + 507x112 + 562x113 + 780x114 + 706x115 + 154x116 + 773x117 + 316x118 + 29x119 + 715x120 + 232x121 + 317x122 + 411x123 + 232x124 + 900x125 + 100x126 + 510x127 + 408x128 + 652x129 + 448x130 + 221x131 + 692x132 + 419x133 + 938x134 + 241x135 + 962x136 + 381x137 + 926x138 + 951x139 + 857x140 + 888x141 + 262x142 + 836x143 + 505x144 + 945x145 + 707x146 + 75x147 + 695x148 + 342x149 + 491x150 + 104x151 + 251x152 + 191x153 + 201x154 + 339x155 + 27x156 + 707x157 + 167x158 + 795x159 + 819x160 + 315x161 + 580x162 + 399x163 + 99x164 + 289x165 + 213x166 + 93x167 + 598x168 + 335x169 + 69x170 + 250x171 + 907x172 + 768x173 + 716x174 + 174x175 + 950x176 + 79x177 + 65x178 + 292x179 + 813x180 + 793x181 + 687x182 + 805x183 + 546x184 + 539x185 + 232x186 + 15x187 + 131x188 + 178x189 + 493x190 + 640x191 + 674x192 + 903x193 + 969x194 + 269x195 + 93x196 + 687x197 + 585x198 + 936x199 + 229x200 + 19x201 + 771x202 + 981x203 + 319x204 + 188x205 + 273x206 + 724x207 + 685x208 + 165x209 + 580x210 + 84x211 + 746x212 + 326x213 + 800x214 + 956x215 + 423x216 + 620x217 + 884x218 + 960x219 + 904x220 + 482x221 + 622x222 + 253x223 + 125x224 + 477x225 + 872x226 + 253x227 + 498x228 + 715x229 + 589x230 + 473x231 + 70x232 + 257x233 + 186x234 + 586x235 + 420x236 + 302x237 + 36x238 + 958x239 + 99x240 + 899x241 + 341x242 + 411x243 + 902x244 + 487x245 + 238x246 + 141x247 + 258x248 + 276x249 + 220x250 <=30745 
constr3: + 303x1 + 411x2 + 363x3 + 378x4 + 370x5 + 37x6 + 832x7 + 674x8 + 689x9 + 539x10 + 429x11 + 739x12 + 865x13 + 354x14 + 672x15 + 288x16 + 881x17 + 171x18 + 212x19 + 783x20 + 805x21 + 371x22 + 704x23 + 493x24 + 609x25 + 89x26 + 2x27 + 153x28 + 96x29 + 444x30 + 377x31 + 663x32 + 475x33 + 579x34 + 980x35 + 793x36 + 880x37 + 898x38 + 558x39 + 117x40 + 144x41 + 607x42 + 695x43 + 289x44 + 422x45 + 936x46 + 849x47 + 183x48 + 680x49 + 771x50 + 135x51 + 32x52 + 343x53 + 226x54 + 37x55 + 74x56 + 855x57 + 52x58 + 943x59 + 137x60 + 782x61 + 461x62 + 523x63 + 231x64 + 980x65 + 41x66 + 838x67 + 875x68 + 590x69 + 907x70 + 744x71 + 234x72 + 562x73 + 263x74 + 791x75 + 472x76 + 218x77 + 849x78 + 403x79 + 565x80 + 641x81 + 516x82 + 398x83 + 48x84 + 646x85 + 642x86 + 386x87 + 717x88 + 324x89 + 399x90 + 800x91 + 526x92 + 541x93 + 500x94 + 580x95 + 298x96 + 394x97 + 60x98 + 857x99 + 608x100 + 300x101 + 120x102 + 206x103 + 489x104 + 191x105 + 2x106 + 413x107 + 193x108 + 476x109 + 516x110 + 984x111 + 724x112 + 26x113 + 407x114 + 978x115 + 536x116 + 242x117 + 451x118 + 198x119 + 878x120 + 567x121 + 977x122 + 171x123 + 632x124 + 15x125 + 609x126 + 442x127 + 65x128 + 133x129 + 836x130 + 837x131 + 951x132 + 730x133 + 842x134 + 327x135 + 402x136 + 120x137 + 953x138 + 67x139 + 938x140 + 644x141 + 74x142 + 966x143 + 74x144 + 637x145 + 75x146 + 499x147 + 710x148 + 41x149 + 964x150 + 954x151 + 677x152 + 674x153 + 730x154 + 537x155 + 510x156 + 691x157 + 853x158 + 502x159 + 397x160 + 382x161 + 970x162 + 689x163 + 610x164 + 289x165 + 928x166 + 452x167 + 853x168 + 971x169 + 411x170 + 975x171 + 564x172 + 554x173 + 746x174 + 989x175 + 88x176 + 346x177 + 89x178 + 697x179 + 995x180 + 948x181 + 813x182 + 630x183 + 754x184 + 109x185 + 307x186 + 25x187 + 658x188 + 50x189 + 79x190 + 879x191 + 444x192 + 932x193 + 230x194 + 742x195 + 728x196 + 375x197 + 250x198 + 189x199 + 314x200 + 442x201 + 609x202 + 402x203 + 207x204 + 566x205 + 540x206 + 191x207 + 134x208 + 327x209 + 184x210 + 955x211 + 791x212 + 324x213 + 415x214 + 2x215 + 181x216 + 334x217 + 755x218 + 876x219 + 315x220 + 258x221 + 152x222 + 726x223 + 719x224 + 415x225 + 551x226 + 435x227 + 960x228 + 774x229 + 769x230 + 409x231 + 385x232 + 604x233 + 410x234 + 563x235 + 979x236 + 193x237 + 713x238 + 970x239 + 172x240 + 134x241 + 497x242 + 770x243 + 474x244 + 680x245 + 201x246 + 37x247 + 318x248 + 423x249 + 523x250 <=31417 
constr4: + 978x1 + 464x2 + 941x3 + 791x4 + 227x5 + 630x6 + 999x7 + 37x8 + 322x9 + 172x10 + 493x11 + 925x12 + 249x13 + 258x14 + 529x15 + 614x16 + 787x17 + 968x18 + 634x19 + 840x20 + 526x21 + 755x22 + 853x23 + 331x24 + 286x25 + 164x26 + 984x27 + 923x28 + 272x29 + 653x30 + 518x31 + 762x32 + 867x33 + 531x34 + 410x35 + 196x36 + 294x37 + 641x38 + 924x39 + 193x40 + 137x41 + 970x42 + 996x43 + 12x44 + 109x45 + 949x46 + 130x47 + 190x48 + 282x49 + 702x50 + 545x51 + 50x52 + 485x53 + 25x54 + 110x55 + 158x56 + 526x57 + 189x58 + 196x59 + 351x60 + 202x61 + 33x62 + 69x63 + 257x64 + 422x65 + 450x66 + 665x67 + 120x68 + 334x69 + 344x70 + 271x71 + 458x72 + 960x73 + 404x74 + 667x75 + 809x76 + 116x77 + 601x78 + 693x79 + 505x80 + 904x81 + 757x82 + 806x83 + 254x84 + 805x85 + 254x86 + 672x87 + 619x88 + 395x89 + 85x90 + 661x91 + 570x92 + 357x93 + 132x94 + 364x95 + 959x96 + 940x97 + 366x98 + 162x99 + 867x100 + 788x101 + 923x102 + 654x103 + 673x104 + 753x105 + 32x106 + 883x107 + 410x108 + 663x109 + 720x110 + 740x111 + 864x112 + 852x113 + 381x114 + 681x115 + 381x116 + 175x117 + 540x118 + 308x119 + 753x120 + 676x121 + 436x122 + 713x123 + 686x124 + 527x125 + 517x126 + 993x127 + 756x128 + 828x129 + 400x130 + 277x131 + 523x132 + 592x133 + 922x134 + 67x135 + 309x136 + 122x137 + 623x138 + 635x139 + 927x140 + 710x141 + 633x142 + 398x143 + 434x144 + 743x145 + 30x146 + 427x147 + 142x148 + 778x149 + 874x150 + 160x151 + 769x152 + 571x153 + 962x154 + 842x155 + 586x156 + 1000x157 + 811x158 + 621x159 + 633x160 + 143x161 + 414x162 + 611x163 + 963x164 + 713x165 + 941x166 + 501x167 + 78x168 + 91x169 + 690x170 + 675x171 + 792x172 + 872x173 + 795x174 + 171x175 + 624x176 + 73x177 + 207x178 + 218x179 + 337x180 + 831x181 + 768x182 + 142x183 + 42x184 + 854x185 + 662x186 + 527x187 + 943x188 + 330x189 + 768x190 + 985x191 + 349x192 + 53x193 + 481x194 + 219x195 + 608x196 + 848x197 + 11x198 + 92x199 + 557x200 + 494x201 + 951x202 + 443x203 + 454x204 + 103x205 + 488x206 + 27x207 + 169x208 + 449x209 + 90x210 + 224x211 + 15x212 + 278x213 + 934x214 + 541x215 + 117x216 + 486x217 + 282x218 + 400x219 + 517x220 + 563x221 + 730x222 + 660x223 + 225x224 + 910x225 + 649x226 + 309x227 + 133x228 + 957x229 + 686x230 + 977x231 + 721x232 + 345x233 + 871x234 + 299x235 + 145x236 + 80x237 + 886x238 + 847x239 + 45x240 + 664x241 + 598x242 + 996x243 + 7x244 + 326x245 + 371x246 + 413x247 + 705x248 + 770x249 + 468x250 <=32247 
constr5: + 318x1 + 546x2 + 11x3 + 402x4 + 526x5 + 52x6 + 105x7 + 942x8 + 313x9 + 63x10 + 263x11 + 948x12 + 435x13 + 483x14 + 540x15 + 122x16 + 828x17 + 184x18 + 518x19 + 454x20 + 509x21 + 861x22 + 318x23 + 858x24 + 310x25 + 466x26 + 985x27 + 441x28 + 190x29 + 151x30 + 427x31 + 918x32 + 55x33 + 824x34 + 20x35 + 313x36 + 999x37 + 23x38 + 519x39 + 128x40 + 351x41 + 408x42 + 487x43 + 303x44 + 977x45 + 690x46 + 89x47 + 120x48 + 532x49 + 603x50 + 87x51 + 553x52 + 39x53 + 625x54 + 962x55 + 511x56 + 399x57 + 328x58 + 221x59 + 862x60 + 304x61 + 270x62 + 521x63 + 534x64 + 381x65 + 463x66 + 892x67 + 885x68 + 640x69 + 729x70 + 840x71 + 951x72 + 768x73 + 496x74 + 149x75 + 917x76 + 29x77 + 55x78 + 646x79 + 489x80 + 373x81 + 291x82 + 260x83 + 133x84 + 228x85 + 280x86 + 725x87 + 406x88 + 414x89 + 543x90 + 34x91 + 948x92 + 564x93 + 742x94 + 531x95 + 430x96 + 447x97 + 590x98 + 963x99 + 599x100 + 8x101 + 699x102 + 940x103 + 595x104 + 523x105 + 437x106 + 960x107 + 784x108 + 783x109 + 993x110 + 748x111 + 596x112 + 998x113 + 383x114 + 5x115 + 507x116 + 941x117 + 402x118 + 919x119 + 597x120 + 730x121 + 849x122 + 153x123 + 905x124 + 81x125 + 416x126 + 819x127 + 692x128 + 397x129 + 117x130 + 603x131 + 831x132 + 270x133 + 628x134 + 498x135 + 524x136 + 872x137 + 362x138 + 201x139 + 486x140 + 733x141 + 89x142 + 578x143 + 19x144 + 279x145 + 568x146 + 785x147 + 811x148 + 112x149 + 807x150 + 199x151 + 653x152 + 877x153 + 70x154 + 106x155 + 462x156 + 807x157 + 75x158 + 622x159 + 153x160 + 63x161 + 509x162 + 138x163 + 781x164 + 668x165 + 76x166 + 682x167 + 873x168 + 455x169 + 484x170 + 344x171 + 736x172 + 753x173 + 790x174 + 666x175 + 77x176 + 241x177 + 85x178 + 97x179 + 77x180 + 287x181 + 873x182 + 870x183 + 583x184 + 143x185 + 277x186 + 149x187 + 780x188 + 462x189 + 904x190 + 527x191 + 621x192 + 430x193 + 246x194 + 697x195 + 9x196 + 746x197 + 844x198 + 702x199 + 60x200 + 600x201 + 38x202 + 964x203 + 839x204 + 481x205 + 16x206 + 953x207 + 65x208 + 130x209 + 191x210 + 933x211 + 161x212 + 776x213 + 981x214 + 116x215 + 905x216 + 430x217 + 326x218 + 801x219 + 73x220 + 374x221 + 22x222 + 68x223 + 112x224 + 9x225 + 894x226 + 903x227 + 899x228 + 118x229 + 827x230 + 180x231 + 940x232 + 628x233 + 501x234 + 295x235 + 457x236 + 167x237 + 320x238 + 498x239 + 257x240 + 652x241 + 693x242 + 12x243 + 743x244 + 501x245 + 613x246 + 769x247 + 348x248 + 172x249 + 394x250 <=30246 
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