maximize 
objective: + 748x1 + 565x2 + 1021x3 + 953x4 + 321x5 + 615x6 + 882x7 + 633x8 + 728x9 + 885x10 + 835x11 + 706x12 + 563x13 + 934x14 + 595x15 + 744x16 + 498x17 + 748x18 + 731x19 + 882x20 + 685x21 + 661x22 + 439x23 + 678x24 + 656x25 + 905x26 + 819x27 + 1156x28 + 478x29 + 754x30 + 855x31 + 793x32 + 458x33 + 1101x34 + 448x35 + 702x36 + 682x37 + 717x38 + 481x39 + 688x40 + 934x41 + 494x42 + 820x43 + 542x44 + 1029x45 + 600x46 + 1179x47 + 754x48 + 1157x49 + 752x50 + 973x51 + 989x52 + 703x53 + 870x54 + 754x55 + 542x56 + 880x57 + 801x58 + 909x59 + 779x60 + 570x61 + 956x62 + 541x63 + 752x64 + 726x65 + 325x66 + 808x67 + 991x68 + 603x69 + 484x70 + 489x71 + 876x72 + 440x73 + 864x74 + 677x75 + 857x76 + 842x77 + 628x78 + 959x79 + 844x80 + 1270x81 + 614x82 + 325x83 + 565x84 + 959x85 + 786x86 + 672x87 + 391x88 + 1165x89 + 680x90 + 685x91 + 736x92 + 398x93 + 733x94 + 705x95 + 937x96 + 834x97 + 789x98 + 613x99 + 1037x100 + 579x101 + 882x102 + 775x103 + 692x104 + 695x105 + 1079x106 + 904x107 + 1046x108 + 910x109 + 888x110 + 484x111 + 506x112 + 897x113 + 888x114 + 1067x115 + 1065x116 + 505x117 + 923x118 + 843x119 + 699x120 + 986x121 + 964x122 + 736x123 + 859x124 + 794x125 + 884x126 + 639x127 + 778x128 + 740x129 + 780x130 + 448x131 + 790x132 + 463x133 + 679x134 + 878x135 + 905x136 + 922x137 + 778x138 + 953x139 + 936x140 + 783x141 + 1131x142 + 682x143 + 905x144 + 873x145 + 753x146 + 586x147 + 965x148 + 571x149 + 644x150 + 1029x151 + 309x152 + 600x153 + 533x154 + 467x155 + 887x156 + 509x157 + 776x158 + 963x159 + 515x160 + 947x161 + 827x162 + 794x163 + 534x164 + 291x165 + 599x166 + 790x167 + 922x168 + 705x169 + 737x170 + 913x171 + 838x172 + 690x173 + 892x174 + 713x175 + 849x176 + 612x177 + 792x178 + 894x179 + 593x180 + 499x181 + 646x182 + 860x183 + 837x184 + 633x185 + 545x186 + 750x187 + 813x188 + 480x189 + 520x190 + 756x191 + 623x192 + 572x193 + 797x194 + 621x195 + 490x196 + 402x197 + 897x198 + 769x199 + 768x200 + 572x201 + 495x202 + 546x203 + 513x204 + 947x205 + 1020x206 + 708x207 + 975x208 + 543x209 + 948x210 + 1045x211 + 718x212 + 745x213 + 467x214 + 894x215 + 490x216 + 927x217 + 1123x218 + 563x219 + 492x220 + 891x221 + 645x222 + 588x223 + 623x224 + 567x225 + 841x226 + 583x227 + 545x228 + 667x229 + 610x230 + 521x231 + 719x232 + 707x233 + 737x234 + 1201x235 + 631x236 + 355x237 + 575x238 + 773x239 + 607x240 + 541x241 + 700x242 + 748x243 + 758x244 + 845x245 + 1215x246 + 1004x247 + 666x248 + 837x249 + 775x250 
subject to 
constr1: + 360x1 + 223x2 + 357x3 + 557x4 + 353x5 + 539x6 + 827x7 + 90x8 + 536x9 + 487x10 + 755x11 + 190x12 + 221x13 + 649x14 + 461x15 + 101x16 + 244x17 + 495x18 + 921x19 + 809x20 + 882x21 + 558x22 + 120x23 + 840x24 + 807x25 + 766x26 + 779x27 + 632x28 + 496x29 + 145x30 + 636x31 + 467x32 + 122x33 + 543x34 + 175x35 + 11x36 + 222x37 + 771x38 + 46x39 + 51x40 + 736x41 + 323x42 + 319x43 + 883x44 + 749x45 + 922x46 + 638x47 + 521x48 + 983x49 + 301x50 + 210x51 + 136x52 + 658x53 + 752x54 + 752x55 + 42x56 + 340x57 + 942x58 + 577x59 + 780x60 + 143x61 + 530x62 + 477x63 + 238x64 + 829x65 + 305x66 + 493x67 + 511x68 + 336x69 + 692x70 + 26x71 + 611x72 + 183x73 + 886x74 + 814x75 + 924x76 + 71x77 + 393x78 + 93x79 + 177x80 + 128x81 + 289x82 + 763x83 + 257x84 + 859x85 + 837x86 + 653x87 + 246x88 + 820x89 + 106x90 + 863x91 + 273x92 + 147x93 + 638x94 + 424x95 + 849x96 + 170x97 + 164x98 + 711x99 + 955x100 + 109x101 + 557x102 + 405x103 + 953x104 + 621x105 + 912x106 + 727x107 + 586x108 + 716x109 + 535x110 + 146x111 + 693x112 + 518x113 + 850x114 + 573x115 + 789x116 + 163x117 + 312x118 + 860x119 + 699x120 + 759x121 + 345x122 + 99x123 + 255x124 + 917x125 + 100x126 + 45x127 + 140x128 + 135x129 + 713x130 + 879x131 + 214x132 + 183x133 + 102x134 + 623x135 + 84x136 + 331x137 + 842x138 + 36x139 + 814x140 + 666x141 + 835x142 + 380x143 + 589x144 + 833x145 + 8x146 + 744x147 + 860x148 + 404x149 + 758x150 + 912x151 + 475x152 + 741x153 + 147x154 + 397x155 + 541x156 + 478x157 + 564x158 + 403x159 + 543x160 + 558x161 + 711x162 + 923x163 + 440x164 + 421x165 + 920x166 + 81x167 + 374x168 + 663x169 + 980x170 + 523x171 + 830x172 + 291x173 + 334x174 + 876x175 + 744x176 + 753x177 + 724x178 + 795x179 + 343x180 + 405x181 + 705x182 + 375x183 + 700x184 + 422x185 + 402x186 + 519x187 + 693x188 + 381x189 + 927x190 + 595x191 + 617x192 + 806x193 + 551x194 + 419x195 + 688x196 + 304x197 + 82x198 + 979x199 + 549x200 + 579x201 + 796x202 + 620x203 + 67x204 + 486x205 + 623x206 + 210x207 + 632x208 + 102x209 + 894x210 + 823x211 + 548x212 + 679x213 + 305x214 + 314x215 + 935x216 + 994x217 + 699x218 + 102x219 + 14x220 + 562x221 + 709x222 + 212x223 + 980x224 + 87x225 + 328x226 + 289x227 + 528x228 + 838x229 + 517x230 + 13x231 + 162x232 + 806x233 + 469x234 + 409x235 + 165x236 + 531x237 + 311x238 + 989x239 + 780x240 + 241x241 + 277x242 + 108x243 + 300x244 + 120x245 + 957x246 + 520x247 + 29x248 + 258x249 + 496x250 <=63063 
constr2: + 901x1 + 783x2 + 645x3 + 141x4 + 111x5 + 142x6 + 681x7 + 539x8 + 635x9 + 38x10 + 416x11 + 864x12 + 839x13 + 662x14 + 449x15 + 804x16 + 848x17 + 508x18 + 931x19 + 557x20 + 318x21 + 379x22 + 601x23 + 569x24 + 41x25 + 863x26 + 154x27 + 845x28 + 587x29 + 724x30 + 85x31 + 720x32 + 547x33 + 722x34 + 15x35 + 775x36 + 644x37 + 441x38 + 172x39 + 78x40 + 906x41 + 204x42 + 423x43 + 83x44 + 216x45 + 551x46 + 610x47 + 779x48 + 777x49 + 456x50 + 876x51 + 537x52 + 565x53 + 215x54 + 454x55 + 171x56 + 663x57 + 244x58 + 124x59 + 474x60 + 601x61 + 589x62 + 651x63 + 164x64 + 855x65 + 61x66 + 438x67 + 715x68 + 427x69 + 803x70 + 985x71 + 780x72 + 197x73 + 56x74 + 394x75 + 224x76 + 560x77 + 230x78 + 539x79 + 306x80 + 918x81 + 113x82 + 16x83 + 516x84 + 593x85 + 126x86 + 608x87 + 578x88 + 358x89 + 965x90 + 294x91 + 363x92 + 146x93 + 552x94 + 436x95 + 555x96 + 449x97 + 777x98 + 908x99 + 82x100 + 339x101 + 822x102 + 615x103 + 107x104 + 253x105 + 531x106 + 89x107 + 812x108 + 625x109 + 923x110 + 19x111 + 160x112 + 869x113 + 22x114 + 918x115 + 237x116 + 531x117 + 617x118 + 712x119 + 990x120 + 694x121 + 681x122 + 384x123 + 817x124 + 71x125 + 901x126 + 297x127 + 790x128 + 907x129 + 751x130 + 104x131 + 548x132 + 757x133 + 840x134 + 862x135 + 995x136 + 394x137 + 846x138 + 725x139 + 161x140 + 121x141 + 446x142 + 138x143 + 821x144 + 111x145 + 705x146 + 606x147 + 533x148 + 771x149 + 249x150 + 716x151 + 8x152 + 350x153 + 632x154 + 570x155 + 459x156 + 488x157 + 748x158 + 88x159 + 164x160 + 147x161 + 909x162 + 395x163 + 568x164 + 89x165 + 402x166 + 598x167 + 477x168 + 660x169 + 191x170 + 436x171 + 902x172 + 25x173 + 743x174 + 824x175 + 938x176 + 771x177 + 729x178 + 328x179 + 251x180 + 201x181 + 940x182 + 950x183 + 168x184 + 351x185 + 193x186 + 485x187 + 162x188 + 5x189 + 101x190 + 43x191 + 142x192 + 738x193 + 620x194 + 371x195 + 382x196 + 702x197 + 340x198 + 767x199 + 520x200 + 898x201 + 199x202 + 48x203 + 220x204 + 112x205 + 582x206 + 845x207 + 558x208 + 858x209 + 29x210 + 485x211 + 24x212 + 972x213 + 971x214 + 741x215 + 405x216 + 672x217 + 790x218 + 912x219 + 117x220 + 493x221 + 24x222 + 929x223 + 123x224 + 591x225 + 996x226 + 777x227 + 15x228 + 533x229 + 615x230 + 386x231 + 564x232 + 373x233 + 14x234 + 840x235 + 546x236 + 351x237 + 859x238 + 738x239 + 130x240 + 492x241 + 359x242 + 932x243 + 803x244 + 501x245 + 982x246 + 25x247 + 55x248 + 635x249 + 517x250 <=62335 
constr3: + 627x1 + 532x2 + 857x3 + 477x4 + 354x5 + 371x6 + 571x7 + 125x8 + 350x9 + 579x10 + 710x11 + 777x12 + 309x13 + 611x14 + 461x15 + 988x16 + 316x17 + 865x18 + 510x19 + 830x20 + 414x21 + 37x22 + 208x23 + 141x24 + 748x25 + 21x26 + 699x27 + 437x28 + 42x29 + 623x30 + 438x31 + 984x32 + 326x33 + 936x34 + 193x35 + 708x36 + 999x37 + 391x38 + 350x39 + 535x40 + 977x41 + 896x42 + 696x43 + 739x44 + 698x45 + 434x46 + 721x47 + 449x48 + 900x49 + 480x50 + 621x51 + 806x52 + 321x53 + 600x54 + 656x55 + 313x56 + 936x57 + 965x58 + 744x59 + 696x60 + 873x61 + 548x62 + 161x63 + 773x64 + 161x65 + 872x66 + 933x67 + 629x68 + 78x69 + 14x70 + 320x71 + 802x72 + 2x73 + 648x74 + 148x75 + 237x76 + 248x77 + 603x78 + 522x79 + 469x80 + 936x81 + 175x82 + 211x83 + 229x84 + 979x85 + 234x86 + 362x87 + 17x88 + 949x89 + 171x90 + 305x91 + 407x92 + 668x93 + 438x94 + 302x95 + 142x96 + 973x97 + 437x98 + 468x99 + 743x100 + 953x101 + 545x102 + 912x103 + 405x104 + 994x105 + 995x106 + 754x107 + 670x108 + 32x109 + 229x110 + 183x111 + 327x112 + 761x113 + 591x114 + 537x115 + 898x116 + 748x117 + 827x118 + 734x119 + 142x120 + 164x121 + 728x122 + 857x123 + 882x124 + 349x125 + 766x126 + 699x127 + 393x128 + 56x129 + 974x130 + 222x131 + 380x132 + 447x133 + 687x134 + 743x135 + 338x136 + 439x137 + 952x138 + 697x139 + 960x140 + 424x141 + 985x142 + 370x143 + 281x144 + 630x145 + 616x146 + 655x147 + 204x148 + 525x149 + 668x150 + 829x151 + 248x152 + 182x153 + 739x154 + 62x155 + 489x156 + 211x157 + 708x158 + 840x159 + 39x160 + 628x161 + 684x162 + 581x163 + 226x164 + 64x165 + 313x166 + 77x167 + 336x168 + 283x169 + 16x170 + 963x171 + 690x172 + 338x173 + 246x174 + 625x175 + 330x176 + 255x177 + 153x178 + 116x179 + 901x180 + 580x181 + 444x182 + 351x183 + 712x184 + 290x185 + 165x186 + 153x187 + 491x188 + 623x189 + 607x190 + 863x191 + 32x192 + 128x193 + 246x194 + 263x195 + 331x196 + 308x197 + 694x198 + 521x199 + 807x200 + 389x201 + 1x202 + 725x203 + 268x204 + 829x205 + 325x206 + 141x207 + 681x208 + 268x209 + 730x210 + 969x211 + 331x212 + 955x213 + 12x214 + 580x215 + 44x216 + 464x217 + 909x218 + 90x219 + 210x220 + 487x221 + 207x222 + 14x223 + 836x224 + 917x225 + 660x226 + 413x227 + 101x228 + 756x229 + 270x230 + 332x231 + 206x232 + 613x233 + 510x234 + 730x235 + 461x236 + 417x237 + 165x238 + 989x239 + 288x240 + 293x241 + 820x242 + 526x243 + 663x244 + 761x245 + 931x246 + 979x247 + 805x248 + 904x249 + 499x250 <=63934 
constr4: + 328x1 + 93x2 + 781x3 + 421x4 + 421x5 + 891x6 + 345x7 + 479x8 + 510x9 + 769x10 + 591x11 + 418x12 + 646x13 + 127x14 + 195x15 + 157x16 + 448x17 + 399x18 + 302x19 + 879x20 + 890x21 + 309x22 + 107x23 + 982x24 + 130x25 + 498x26 + 487x27 + 858x28 + 125x29 + 995x30 + 194x31 + 944x32 + 356x33 + 411x34 + 856x35 + 560x36 + 862x37 + 845x38 + 150x39 + 270x40 + 228x41 + 696x42 + 300x43 + 146x44 + 478x45 + 744x46 + 904x47 + 646x48 + 848x49 + 32x50 + 684x51 + 745x52 + 908x53 + 650x54 + 941x55 + 328x56 + 86x57 + 186x58 + 619x59 + 152x60 + 242x61 + 358x62 + 679x63 + 340x64 + 926x65 + 102x66 + 296x67 + 873x68 + 991x69 + 90x70 + 59x71 + 618x72 + 805x73 + 832x74 + 678x75 + 628x76 + 493x77 + 370x78 + 354x79 + 698x80 + 930x81 + 442x82 + 372x83 + 214x84 + 522x85 + 421x86 + 483x87 + 219x88 + 730x89 + 512x90 + 255x91 + 342x92 + 666x93 + 77x94 + 621x95 + 262x96 + 518x97 + 388x98 + 829x99 + 775x100 + 345x101 + 226x102 + 952x103 + 195x104 + 673x105 + 490x106 + 122x107 + 979x108 + 3x109 + 830x110 + 691x111 + 280x112 + 189x113 + 299x114 + 941x115 + 668x116 + 326x117 + 479x118 + 877x119 + 567x120 + 429x121 + 316x122 + 562x123 + 354x124 + 380x125 + 850x126 + 974x127 + 374x128 + 875x129 + 622x130 + 487x131 + 315x132 + 339x133 + 597x134 + 701x135 + 687x136 + 833x137 + 38x138 + 33x139 + 476x140 + 127x141 + 690x142 + 442x143 + 448x144 + 154x145 + 868x146 + 111x147 + 587x148 + 557x149 + 657x150 + 419x151 + 371x152 + 512x153 + 566x154 + 780x155 + 287x156 + 248x157 + 348x158 + 377x159 + 125x160 + 541x161 + 748x162 + 839x163 + 476x164 + 271x165 + 754x166 + 98x167 + 568x168 + 245x169 + 276x170 + 724x171 + 33x172 + 706x173 + 727x174 + 895x175 + 811x176 + 313x177 + 542x178 + 602x179 + 460x180 + 338x181 + 993x182 + 398x183 + 575x184 + 875x185 + 54x186 + 685x187 + 403x188 + 16x189 + 451x190 + 463x191 + 210x192 + 22x193 + 303x194 + 292x195 + 178x196 + 82x197 + 763x198 + 392x199 + 862x200 + 669x201 + 292x202 + 738x203 + 730x204 + 924x205 + 925x206 + 723x207 + 457x208 + 953x209 + 535x210 + 510x211 + 102x212 + 435x213 + 272x214 + 788x215 + 516x216 + 606x217 + 932x218 + 661x219 + 366x220 + 306x221 + 782x222 + 478x223 + 182x224 + 316x225 + 485x226 + 862x227 + 438x228 + 831x229 + 359x230 + 750x231 + 376x232 + 592x233 + 534x234 + 763x235 + 350x236 + 77x237 + 780x238 + 52x239 + 560x240 + 859x241 + 424x242 + 468x243 + 33x244 + 961x245 + 254x246 + 951x247 + 241x248 + 824x249 + 480x250 <=62947 
constr5: + 165x1 + 777x2 + 623x3 + 943x4 + 200x5 + 72x6 + 992x7 + 247x8 + 565x9 + 511x10 + 988x11 + 325x12 + 564x13 + 702x14 + 767x15 + 346x16 + 23x17 + 541x18 + 644x19 + 996x20 + 4x21 + 315x22 + 311x23 + 145x24 + 947x25 + 711x26 + 676x27 + 907x28 + 542x29 + 351x30 + 450x31 + 802x32 + 420x33 + 635x34 + 118x35 + 740x36 + 556x37 + 232x38 + 346x39 + 973x40 + 793x41 + 286x42 + 602x43 + 583x44 + 914x45 + 217x46 + 978x47 + 359x48 + 46x49 + 656x50 + 450x51 + 485x52 + 82x53 + 463x54 + 852x55 + 226x56 + 955x57 + 685x58 + 987x59 + 711x60 + 834x61 + 301x62 + 595x63 + 129x64 + 794x65 + 108x66 + 57x67 + 727x68 + 162x69 + 799x70 + 401x71 + 871x72 + 243x73 + 282x74 + 673x75 + 867x76 + 568x77 + 848x78 + 969x79 + 335x80 + 969x81 + 678x82 + 198x83 + 439x84 + 782x85 + 767x86 + 59x87 + 555x88 + 876x89 + 749x90 + 183x91 + 818x92 + 89x93 + 723x94 + 173x95 + 983x96 + 423x97 + 533x98 + 117x99 + 662x100 + 858x101 + 693x102 + 982x103 + 741x104 + 913x105 + 260x106 + 776x107 + 354x108 + 751x109 + 76x110 + 515x111 + 929x112 + 231x113 + 528x114 + 241x115 + 490x116 + 521x117 + 72x118 + 700x119 + 612x120 + 630x121 + 326x122 + 432x123 + 428x124 + 725x125 + 410x126 + 590x127 + 315x128 + 283x129 + 646x130 + 93x131 + 50x132 + 405x133 + 848x134 + 640x135 + 743x136 + 645x137 + 307x138 + 904x139 + 661x140 + 374x141 + 628x142 + 192x143 + 316x144 + 575x145 + 293x146 + 347x147 + 478x148 + 169x149 + 476x150 + 646x151 + 237x152 + 441x153 + 241x154 + 13x155 + 644x156 + 148x157 + 330x158 + 750x159 + 132x160 + 423x161 + 350x162 + 887x163 + 139x164 + 17x165 + 59x166 + 729x167 + 396x168 + 350x169 + 751x170 + 161x171 + 682x172 + 36x173 + 553x174 + 2x175 + 570x176 + 820x177 + 694x178 + 324x179 + 986x180 + 288x181 + 91x182 + 194x183 + 861x184 + 142x185 + 485x186 + 855x187 + 852x188 + 920x189 + 73x190 + 591x191 + 804x192 + 193x193 + 717x194 + 52x195 + 618x196 + 368x197 + 827x198 + 559x199 + 814x200 + 244x201 + 785x202 + 298x203 + 522x204 + 796x205 + 682x206 + 279x207 + 889x208 + 387x209 + 154x210 + 467x211 + 880x212 + 125x213 + 652x214 + 672x215 + 46x216 + 868x217 + 755x218 + 302x219 + 643x220 + 593x221 + 482x222 + 543x223 + 57x224 + 787x225 + 756x226 + 556x227 + 149x228 + 49x229 + 746x230 + 706x231 + 700x232 + 384x233 + 769x234 + 948x235 + 261x236 + 163x237 + 632x238 + 552x239 + 763x240 + 237x241 + 730x242 + 649x243 + 159x244 + 152x245 + 839x246 + 208x247 + 639x248 + 59x249 + 842x250 <=63692 
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