maximize objective: + 698x1 + 737x2 + 661x3 + 615x4 + 552x5 + 669x6 + 924x7 + 1032x8 + 508x9 + 871x10 + 537x11 + 1073x12 + 705x13 + 1168x14 + 691x15 + 529x16 + 742x17 + 498x18 + 1085x19 + 635x20 + 850x21 + 854x22 + 913x23 + 689x24 + 496x25 + 828x26 + 743x27 + 588x28 + 888x29 + 973x30 + 673x31 + 482x32 + 933x33 + 971x34 + 572x35 + 734x36 + 963x37 + 723x38 + 933x39 + 601x40 + 668x41 + 796x42 + 945x43 + 736x44 + 777x45 + 781x46 + 763x47 + 1037x48 + 469x49 + 816x50 + 1053x51 + 780x52 + 713x53 + 799x54 + 825x55 + 490x56 + 858x57 + 673x58 + 919x59 + 993x60 + 662x61 + 877x62 + 823x63 + 555x64 + 646x65 + 676x66 + 941x67 + 815x68 + 730x69 + 772x70 + 750x71 + 995x72 + 770x73 + 609x74 + 528x75 + 836x76 + 597x77 + 839x78 + 529x79 + 894x80 + 700x81 + 939x82 + 842x83 + 902x84 + 973x85 + 718x86 + 686x87 + 726x88 + 437x89 + 864x90 + 907x91 + 497x92 + 934x93 + 984x94 + 711x95 + 598x96 + 842x97 + 706x98 + 901x99 + 667x100 + 584x101 + 437x102 + 663x103 + 845x104 + 653x105 + 941x106 + 947x107 + 903x108 + 819x109 + 1013x110 + 400x111 + 844x112 + 612x113 + 769x114 + 748x115 + 1016x116 + 520x117 + 803x118 + 812x119 + 737x120 + 446x121 + 500x122 + 627x123 + 871x124 + 464x125 + 666x126 + 728x127 + 945x128 + 628x129 + 382x130 + 664x131 + 832x132 + 804x133 + 892x134 + 785x135 + 698x136 + 947x137 + 811x138 + 567x139 + 968x140 + 703x141 + 794x142 + 1153x143 + 785x144 + 715x145 + 934x146 + 899x147 + 766x148 + 821x149 + 632x150 + 906x151 + 640x152 + 865x153 + 799x154 + 607x155 + 879x156 + 884x157 + 994x158 + 823x159 + 982x160 + 625x161 + 677x162 + 927x163 + 791x164 + 714x165 + 741x166 + 664x167 + 814x168 + 986x169 + 439x170 + 840x171 + 523x172 + 921x173 + 533x174 + 569x175 + 439x176 + 701x177 + 939x178 + 542x179 + 828x180 + 930x181 + 292x182 + 511x183 + 901x184 + 1096x185 + 641x186 + 857x187 + 640x188 + 769x189 + 863x190 + 454x191 + 924x192 + 799x193 + 458x194 + 1104x195 + 887x196 + 498x197 + 498x198 + 532x199 + 721x200 + 535x201 + 644x202 + 850x203 + 464x204 + 904x205 + 794x206 + 808x207 + 496x208 + 995x209 + 532x210 + 694x211 + 998x212 + 902x213 + 738x214 + 567x215 + 582x216 + 807x217 + 696x218 + 590x219 + 725x220 + 1037x221 + 470x222 + 925x223 + 520x224 + 998x225 + 857x226 + 847x227 + 857x228 + 978x229 + 628x230 + 969x231 + 755x232 + 830x233 + 396x234 + 699x235 + 744x236 + 917x237 + 612x238 + 787x239 + 1012x240 + 1034x241 + 792x242 + 1083x243 + 488x244 + 1142x245 + 520x246 + 1004x247 + 456x248 + 502x249 + 802x250 subject to constr1: + 962x1 + 803x2 + 72x3 + 33x4 + 561x5 + 51x6 + 322x7 + 394x8 + 169x9 + 419x10 + 806x11 + 270x12 + 521x13 + 954x14 + 542x15 + 195x16 + 933x17 + 610x18 + 633x19 + 809x20 + 885x21 + 963x22 + 821x23 + 965x24 + 293x25 + 953x26 + 139x27 + 834x28 + 954x29 + 972x30 + 101x31 + 491x32 + 642x33 + 451x34 + 999x35 + 19x36 + 80x37 + 1000x38 + 864x39 + 241x40 + 834x41 + 657x42 + 8x43 + 740x44 + 955x45 + 612x46 + 263x47 + 714x48 + 726x49 + 471x50 + 73x51 + 889x52 + 33x53 + 939x54 + 219x55 + 402x56 + 326x57 + 999x58 + 588x59 + 48x60 + 8x61 + 371x62 + 595x63 + 412x64 + 442x65 + 995x66 + 5x67 + 421x68 + 343x69 + 919x70 + 107x71 + 626x72 + 105x73 + 765x74 + 173x75 + 48x76 + 410x77 + 950x78 + 762x79 + 50x80 + 796x81 + 112x82 + 330x83 + 611x84 + 369x85 + 121x86 + 881x87 + 5x88 + 209x89 + 118x90 + 244x91 + 87x92 + 487x93 + 231x94 + 353x95 + 144x96 + 219x97 + 131x98 + 408x99 + 502x100 + 989x101 + 658x102 + 691x103 + 133x104 + 822x105 + 350x106 + 903x107 + 320x108 + 183x109 + 713x110 + 96x111 + 169x112 + 774x113 + 629x114 + 790x115 + 241x116 + 116x117 + 261x118 + 857x119 + 166x120 + 175x121 + 167x122 + 317x123 + 999x124 + 352x125 + 119x126 + 453x127 + 153x128 + 452x129 + 282x130 + 657x131 + 831x132 + 827x133 + 407x134 + 768x135 + 266x136 + 914x137 + 749x138 + 853x139 + 990x140 + 969x141 + 60x142 + 297x143 + 193x144 + 148x145 + 845x146 + 195x147 + 418x148 + 202x149 + 761x150 + 865x151 + 965x152 + 543x153 + 498x154 + 677x155 + 833x156 + 266x157 + 483x158 + 881x159 + 517x160 + 565x161 + 441x162 + 257x163 + 814x164 + 832x165 + 6x166 + 930x167 + 450x168 + 557x169 + 330x170 + 38x171 + 793x172 + 633x173 + 264x174 + 141x175 + 465x176 + 119x177 + 849x178 + 578x179 + 550x180 + 420x181 + 131x182 + 139x183 + 475x184 + 650x185 + 727x186 + 22x187 + 547x188 + 61x189 + 189x190 + 899x191 + 542x192 + 71x193 + 792x194 + 838x195 + 397x196 + 916x197 + 945x198 + 281x199 + 564x200 + 14x201 + 724x202 + 835x203 + 73x204 + 974x205 + 245x206 + 75x207 + 249x208 + 974x209 + 457x210 + 403x211 + 885x212 + 729x213 + 68x214 + 117x215 + 919x216 + 615x217 + 501x218 + 870x219 + 103x220 + 970x221 + 443x222 + 980x223 + 755x224 + 34x225 + 550x226 + 393x227 + 130x228 + 624x229 + 54x230 + 133x231 + 712x232 + 29x233 + 60x234 + 213x235 + 711x236 + 656x237 + 34x238 + 597x239 + 33x240 + 786x241 + 52x242 + 422x243 + 280x244 + 794x245 + 843x246 + 752x247 + 209x248 + 878x249 + 661x250 <=61066 constr2: + 406x1 + 68x2 + 624x3 + 102x4 + 341x5 + 605x6 + 765x7 + 964x8 + 738x9 + 104x10 + 668x11 + 582x12 + 6x13 + 918x14 + 435x15 + 730x16 + 498x17 + 193x18 + 48x19 + 313x20 + 874x21 + 761x22 + 642x23 + 211x24 + 51x25 + 821x26 + 910x27 + 145x28 + 668x29 + 249x30 + 128x31 + 151x32 + 103x33 + 314x34 + 128x35 + 438x36 + 636x37 + 458x38 + 896x39 + 10x40 + 49x41 + 780x42 + 695x43 + 656x44 + 931x45 + 662x46 + 79x47 + 854x48 + 611x49 + 545x50 + 686x51 + 640x52 + 817x53 + 762x54 + 950x55 + 309x56 + 994x57 + 510x58 + 541x59 + 542x60 + 1x61 + 328x62 + 605x63 + 570x64 + 327x65 + 786x66 + 913x67 + 298x68 + 266x69 + 908x70 + 844x71 + 696x72 + 630x73 + 855x74 + 521x75 + 517x76 + 382x77 + 345x78 + 593x79 + 351x80 + 600x81 + 630x82 + 969x83 + 223x84 + 852x85 + 355x86 + 135x87 + 988x88 + 851x89 + 114x90 + 88x91 + 945x92 + 863x93 + 492x94 + 868x95 + 87x96 + 271x97 + 498x98 + 652x99 + 715x100 + 143x101 + 2x102 + 808x103 + 989x104 + 841x105 + 938x106 + 827x107 + 53x108 + 341x109 + 589x110 + 163x111 + 870x112 + 569x113 + 616x114 + 769x115 + 615x116 + 306x117 + 316x118 + 173x119 + 846x120 + 46x121 + 241x122 + 815x123 + 220x124 + 342x125 + 711x126 + 725x127 + 134x128 + 487x129 + 308x130 + 880x131 + 296x132 + 83x133 + 476x134 + 773x135 + 194x136 + 706x137 + 636x138 + 764x139 + 32x140 + 2x141 + 708x142 + 754x143 + 90x144 + 750x145 + 512x146 + 591x147 + 16x148 + 554x149 + 573x150 + 55x151 + 284x152 + 363x153 + 804x154 + 689x155 + 804x156 + 966x157 + 104x158 + 537x159 + 870x160 + 655x161 + 607x162 + 69x163 + 603x164 + 950x165 + 986x166 + 274x167 + 38x168 + 768x169 + 164x170 + 116x171 + 869x172 + 531x173 + 701x174 + 120x175 + 420x176 + 503x177 + 396x178 + 874x179 + 42x180 + 413x181 + 46x182 + 93x183 + 965x184 + 713x185 + 553x186 + 614x187 + 556x188 + 543x189 + 783x190 + 215x191 + 720x192 + 511x193 + 395x194 + 628x195 + 770x196 + 280x197 + 181x198 + 863x199 + 819x200 + 5x201 + 813x202 + 836x203 + 557x204 + 74x205 + 24x206 + 564x207 + 68x208 + 476x209 + 886x210 + 691x211 + 652x212 + 676x213 + 808x214 + 384x215 + 282x216 + 66x217 + 546x218 + 591x219 + 674x220 + 321x221 + 84x222 + 687x223 + 140x224 + 919x225 + 440x226 + 828x227 + 581x228 + 888x229 + 91x230 + 413x231 + 559x232 + 679x233 + 404x234 + 44x235 + 807x236 + 517x237 + 822x238 + 943x239 + 970x240 + 981x241 + 437x242 + 49x243 + 455x244 + 109x245 + 154x246 + 39x247 + 891x248 + 517x249 + 910x250 <=63808 constr3: + 91x1 + 543x2 + 60x3 + 960x4 + 203x5 + 545x6 + 103x7 + 119x8 + 878x9 + 238x10 + 264x11 + 742x12 + 580x13 + 546x14 + 952x15 + 138x16 + 27x17 + 909x18 + 957x19 + 693x20 + 592x21 + 557x22 + 154x23 + 345x24 + 892x25 + 939x26 + 225x27 + 835x28 + 491x29 + 943x30 + 521x31 + 613x32 + 218x33 + 891x34 + 959x35 + 354x36 + 24x37 + 153x38 + 110x39 + 878x40 + 921x41 + 515x42 + 407x43 + 845x44 + 35x45 + 101x46 + 806x47 + 984x48 + 241x49 + 29x50 + 466x51 + 391x52 + 936x53 + 294x54 + 723x55 + 210x56 + 261x57 + 239x58 + 744x59 + 758x60 + 419x61 + 160x62 + 127x63 + 159x64 + 13x65 + 93x66 + 196x67 + 665x68 + 200x69 + 441x70 + 118x71 + 239x72 + 502x73 + 604x74 + 524x75 + 32x76 + 2x77 + 504x78 + 587x79 + 749x80 + 775x81 + 983x82 + 92x83 + 195x84 + 950x85 + 141x86 + 7x87 + 937x88 + 435x89 + 836x90 + 130x91 + 48x92 + 591x93 + 451x94 + 208x95 + 661x96 + 916x97 + 406x98 + 458x99 + 216x100 + 330x101 + 84x102 + 126x103 + 257x104 + 796x105 + 347x106 + 569x107 + 928x108 + 490x109 + 835x110 + 765x111 + 81x112 + 188x113 + 469x114 + 627x115 + 233x116 + 91x117 + 89x118 + 992x119 + 268x120 + 327x121 + 626x122 + 55x123 + 290x124 + 792x125 + 763x126 + 530x127 + 533x128 + 302x129 + 966x130 + 872x131 + 780x132 + 799x133 + 856x134 + 261x135 + 364x136 + 452x137 + 694x138 + 468x139 + 307x140 + 58x141 + 902x142 + 870x143 + 396x144 + 137x145 + 597x146 + 71x147 + 162x148 + 670x149 + 91x150 + 948x151 + 789x152 + 480x153 + 385x154 + 167x155 + 989x156 + 821x157 + 534x158 + 686x159 + 729x160 + 411x161 + 556x162 + 80x163 + 822x164 + 542x165 + 958x166 + 245x167 + 993x168 + 981x169 + 710x170 + 591x171 + 171x172 + 818x173 + 544x174 + 788x175 + 487x176 + 749x177 + 55x178 + 168x179 + 788x180 + 247x181 + 667x182 + 277x183 + 851x184 + 911x185 + 768x186 + 626x187 + 104x188 + 799x189 + 237x190 + 629x191 + 344x192 + 956x193 + 73x194 + 928x195 + 263x196 + 280x197 + 158x198 + 388x199 + 718x200 + 831x201 + 874x202 + 584x203 + 439x204 + 363x205 + 97x206 + 304x207 + 449x208 + 552x209 + 181x210 + 870x211 + 377x212 + 935x213 + 529x214 + 969x215 + 182x216 + 267x217 + 544x218 + 32x219 + 283x220 + 629x221 + 840x222 + 901x223 + 475x224 + 512x225 + 293x226 + 705x227 + 478x228 + 748x229 + 183x230 + 131x231 + 885x232 + 387x233 + 547x234 + 537x235 + 487x236 + 373x237 + 163x238 + 258x239 + 681x240 + 939x241 + 725x242 + 873x243 + 880x244 + 629x245 + 188x246 + 378x247 + 279x248 + 365x249 + 664x250 <=61739 constr4: + 729x1 + 398x2 + 1000x3 + 806x4 + 943x5 + 592x6 + 128x7 + 407x8 + 748x9 + 995x10 + 3x11 + 794x12 + 971x13 + 677x14 + 128x15 + 201x16 + 512x17 + 147x18 + 79x19 + 836x20 + 850x21 + 657x22 + 542x23 + 784x24 + 80x25 + 473x26 + 10x27 + 188x28 + 678x29 + 244x30 + 188x31 + 889x32 + 500x33 + 474x34 + 383x35 + 632x36 + 715x37 + 937x38 + 947x39 + 953x40 + 831x41 + 334x42 + 884x43 + 14x44 + 66x45 + 582x46 + 775x47 + 724x48 + 86x49 + 940x50 + 961x51 + 477x52 + 640x53 + 689x54 + 855x55 + 101x56 + 373x57 + 716x58 + 77x59 + 499x60 + 710x61 + 487x62 + 120x63 + 163x64 + 179x65 + 757x66 + 571x67 + 542x68 + 609x69 + 356x70 + 586x71 + 880x72 + 939x73 + 167x74 + 479x75 + 133x76 + 865x77 + 697x78 + 679x79 + 347x80 + 275x81 + 304x82 + 820x83 + 709x84 + 548x85 + 391x86 + 545x87 + 69x88 + 143x89 + 930x90 + 311x91 + 191x92 + 602x93 + 487x94 + 482x95 + 78x96 + 501x97 + 185x98 + 835x99 + 559x100 + 305x101 + 3x102 + 292x103 + 255x104 + 800x105 + 927x106 + 733x107 + 629x108 + 712x109 + 652x110 + 361x111 + 951x112 + 839x113 + 441x114 + 703x115 + 653x116 + 318x117 + 221x118 + 977x119 + 192x120 + 221x121 + 354x122 + 279x123 + 529x124 + 378x125 + 564x126 + 993x127 + 569x128 + 713x129 + 149x130 + 303x131 + 900x132 + 146x133 + 870x134 + 481x135 + 20x136 + 886x137 + 661x138 + 69x139 + 855x140 + 775x141 + 921x142 + 972x143 + 63x144 + 514x145 + 934x146 + 747x147 + 461x148 + 54x149 + 169x150 + 385x151 + 854x152 + 417x153 + 147x154 + 334x155 + 41x156 + 118x157 + 574x158 + 542x159 + 453x160 + 41x161 + 961x162 + 584x163 + 349x164 + 534x165 + 483x166 + 506x167 + 768x168 + 877x169 + 177x170 + 232x171 + 50x172 + 350x173 + 279x174 + 136x175 + 93x176 + 476x177 + 824x178 + 103x179 + 245x180 + 987x181 + 69x182 + 937x183 + 854x184 + 281x185 + 231x186 + 611x187 + 54x188 + 30x189 + 214x190 + 416x191 + 730x192 + 451x193 + 157x194 + 605x195 + 185x196 + 460x197 + 212x198 + 350x199 + 970x200 + 429x201 + 435x202 + 517x203 + 559x204 + 325x205 + 574x206 + 342x207 + 559x208 + 949x209 + 605x210 + 475x211 + 684x212 + 943x213 + 593x214 + 968x215 + 569x216 + 342x217 + 142x218 + 30x219 + 625x220 + 450x221 + 251x222 + 608x223 + 207x224 + 584x225 + 962x226 + 847x227 + 185x228 + 579x229 + 495x230 + 934x231 + 444x232 + 173x233 + 387x234 + 469x235 + 918x236 + 644x237 + 726x238 + 781x239 + 861x240 + 829x241 + 999x242 + 816x243 + 419x244 + 801x245 + 947x246 + 215x247 + 558x248 + 105x249 + 174x250 <=63679 constr5: + 528x1 + 537x2 + 770x3 + 524x4 + 741x5 + 645x6 + 593x7 + 519x8 + 37x9 + 621x10 + 69x11 + 846x12 + 577x13 + 724x14 + 487x15 + 370x16 + 951x17 + 462x18 + 683x19 + 496x20 + 278x21 + 817x22 + 755x23 + 109x24 + 166x25 + 354x26 + 872x27 + 180x28 + 348x29 + 495x30 + 280x31 + 545x32 + 896x33 + 144x34 + 510x35 + 180x36 + 840x37 + 916x38 + 372x39 + 428x40 + 992x41 + 796x42 + 769x43 + 848x44 + 768x45 + 386x46 + 954x47 + 942x48 + 611x49 + 24x50 + 874x51 + 947x52 + 592x53 + 353x54 + 345x55 + 263x56 + 347x57 + 192x58 + 990x59 + 413x60 + 442x61 + 930x62 + 92x63 + 158x64 + 639x65 + 292x66 + 13x67 + 432x68 + 632x69 + 467x70 + 26x71 + 281x72 + 775x73 + 512x74 + 342x75 + 390x76 + 162x77 + 960x78 + 366x79 + 889x80 + 882x81 + 932x82 + 8x83 + 446x84 + 884x85 + 277x86 + 422x87 + 13x88 + 434x89 + 598x90 + 649x91 + 301x92 + 735x93 + 831x94 + 437x95 + 605x96 + 348x97 + 21x98 + 521x99 + 337x100 + 477x101 + 235x102 + 867x103 + 286x104 + 2x105 + 830x106 + 581x107 + 198x108 + 351x109 + 548x110 + 562x111 + 914x112 + 979x113 + 10x114 + 703x115 + 971x116 + 713x117 + 47x118 + 89x119 + 831x120 + 584x121 + 268x122 + 402x123 + 876x124 + 99x125 + 976x126 + 259x127 + 702x128 + 631x129 + 477x130 + 329x131 + 24x132 + 672x133 + 196x134 + 951x135 + 411x136 + 610x137 + 313x138 + 335x139 + 538x140 + 792x141 + 670x142 + 520x143 + 642x144 + 671x145 + 881x146 + 469x147 + 34x148 + 112x149 + 229x150 + 356x151 + 110x152 + 976x153 + 393x154 + 930x155 + 706x156 + 878x157 + 859x158 + 406x159 + 953x160 + 649x161 + 226x162 + 628x163 + 156x164 + 912x165 + 509x166 + 78x167 + 545x168 + 247x169 + 783x170 + 578x171 + 817x172 + 644x173 + 728x174 + 494x175 + 687x176 + 741x177 + 666x178 + 412x179 + 985x180 + 208x181 + 40x182 + 509x183 + 232x184 + 799x185 + 662x186 + 271x187 + 432x188 + 49x189 + 784x190 + 6x191 + 551x192 + 114x193 + 404x194 + 668x195 + 5x196 + 294x197 + 447x198 + 256x199 + 263x200 + 184x201 + 97x202 + 647x203 + 907x204 + 468x205 + 768x206 + 717x207 + 587x208 + 62x209 + 444x210 + 690x211 + 482x212 + 65x213 + 575x214 + 45x215 + 735x216 + 335x217 + 331x218 + 290x219 + 533x220 + 756x221 + 9x222 + 395x223 + 606x224 + 985x225 + 877x226 + 823x227 + 379x228 + 385x229 + 930x230 + 701x231 + 365x232 + 941x233 + 71x234 + 470x235 + 360x236 + 223x237 + 182x238 + 630x239 + 333x240 + 985x241 + 633x242 + 897x243 + 19x244 + 452x245 + 43x246 + 437x247 + 147x248 + 880x249 + 79x250 <=62710 constr6: + 979x1 + 24x2 + 542x3 + 364x4 + 117x5 + 992x6 + 542x7 + 539x8 + 830x9 + 694x10 + 81x11 + 990x12 + 372x13 + 803x14 + 591x15 + 320x16 + 567x17 + 961x18 + 574x19 + 780x20 + 415x21 + 837x22 + 183x23 + 839x24 + 143x25 + 398x26 + 1000x27 + 836x28 + 131x29 + 146x30 + 513x31 + 387x32 + 154x33 + 763x34 + 887x35 + 330x36 + 227x37 + 196x38 + 618x39 + 247x40 + 250x41 + 671x42 + 519x43 + 306x44 + 743x45 + 754x46 + 453x47 + 189x48 + 586x49 + 868x50 + 816x51 + 712x52 + 465x53 + 235x54 + 879x55 + 934x56 + 205x57 + 491x58 + 510x59 + 922x60 + 320x61 + 869x62 + 330x63 + 767x64 + 991x65 + 678x66 + 672x67 + 802x68 + 991x69 + 235x70 + 292x71 + 656x72 + 769x73 + 565x74 + 467x75 + 439x76 + 189x77 + 848x78 + 703x79 + 54x80 + 999x81 + 779x82 + 414x83 + 315x84 + 916x85 + 119x86 + 545x87 + 360x88 + 915x89 + 776x90 + 485x91 + 452x92 + 636x93 + 445x94 + 284x95 + 691x96 + 794x97 + 767x98 + 712x99 + 21x100 + 648x101 + 739x102 + 197x103 + 919x104 + 668x105 + 8x106 + 860x107 + 828x108 + 133x109 + 639x110 + 766x111 + 786x112 + 406x113 + 997x114 + 999x115 + 36x116 + 880x117 + 466x118 + 742x119 + 747x120 + 233x121 + 735x122 + 294x123 + 155x124 + 455x125 + 617x126 + 806x127 + 430x128 + 691x129 + 104x130 + 456x131 + 875x132 + 645x133 + 102x134 + 284x135 + 452x136 + 51x137 + 936x138 + 34x139 + 795x140 + 441x141 + 366x142 + 618x143 + 754x144 + 463x145 + 594x146 + 603x147 + 436x148 + 909x149 + 11x150 + 509x151 + 759x152 + 480x153 + 222x154 + 8x155 + 943x156 + 665x157 + 889x158 + 880x159 + 217x160 + 402x161 + 63x162 + 55x163 + 364x164 + 712x165 + 99x166 + 521x167 + 167x168 + 918x169 + 821x170 + 262x171 + 74x172 + 183x173 + 261x174 + 481x175 + 358x176 + 722x177 + 19x178 + 963x179 + 491x180 + 835x181 + 410x182 + 743x183 + 326x184 + 798x185 + 631x186 + 331x187 + 71x188 + 594x189 + 917x190 + 812x191 + 851x192 + 542x193 + 862x194 + 758x195 + 903x196 + 247x197 + 34x198 + 893x199 + 239x200 + 93x201 + 744x202 + 215x203 + 209x204 + 713x205 + 940x206 + 206x207 + 493x208 + 326x209 + 254x210 + 446x211 + 521x212 + 698x213 + 7x214 + 587x215 + 638x216 + 691x217 + 961x218 + 672x219 + 212x220 + 10x221 + 582x222 + 383x223 + 326x224 + 785x225 + 789x226 + 52x227 + 789x228 + 163x229 + 59x230 + 472x231 + 109x232 + 528x233 + 855x234 + 966x235 + 466x236 + 285x237 + 780x238 + 351x239 + 552x240 + 13x241 + 357x242 + 821x243 + 261x244 + 978x245 + 370x246 + 970x247 + 848x248 + 25x249 + 749x250 <=65958 constr7: + 534x1 + 149x2 + 497x3 + 450x4 + 235x5 + 432x6 + 162x7 + 898x8 + 57x9 + 661x10 + 813x11 + 86x12 + 576x13 + 945x14 + 231x15 + 844x16 + 58x17 + 683x18 + 972x19 + 540x20 + 28x21 + 959x22 + 110x23 + 455x24 + 559x25 + 328x26 + 203x27 + 220x28 + 371x29 + 675x30 + 255x31 + 137x32 + 430x33 + 548x34 + 311x35 + 779x36 + 487x37 + 225x38 + 600x39 + 158x40 + 294x41 + 344x42 + 59x43 + 484x44 + 848x45 + 482x46 + 106x47 + 6x48 + 899x49 + 348x50 + 751x51 + 740x52 + 437x53 + 633x54 + 840x55 + 284x56 + 765x57 + 218x58 + 804x59 + 499x60 + 590x61 + 800x62 + 197x63 + 271x64 + 199x65 + 487x66 + 915x67 + 280x68 + 580x69 + 491x70 + 549x71 + 770x72 + 218x73 + 238x74 + 742x75 + 4x76 + 173x77 + 881x78 + 648x79 + 173x80 + 298x81 + 831x82 + 108x83 + 516x84 + 27x85 + 992x86 + 485x87 + 580x88 + 478x89 + 770x90 + 495x91 + 609x92 + 140x93 + 471x94 + 27x95 + 438x96 + 154x97 + 623x98 + 287x99 + 353x100 + 506x101 + 44x102 + 655x103 + 77x104 + 686x105 + 695x106 + 142x107 + 622x108 + 298x109 + 406x110 + 179x111 + 786x112 + 766x113 + 378x114 + 740x115 + 996x116 + 30x117 + 481x118 + 683x119 + 688x120 + 138x121 + 777x122 + 427x123 + 101x124 + 156x125 + 127x126 + 744x127 + 462x128 + 238x129 + 563x130 + 377x131 + 87x132 + 271x133 + 428x134 + 319x135 + 423x136 + 721x137 + 642x138 + 819x139 + 306x140 + 908x141 + 744x142 + 913x143 + 820x144 + 984x145 + 653x146 + 319x147 + 533x148 + 229x149 + 279x150 + 203x151 + 558x152 + 354x153 + 607x154 + 495x155 + 519x156 + 255x157 + 10x158 + 710x159 + 7x160 + 332x161 + 724x162 + 115x163 + 792x164 + 901x165 + 989x166 + 374x167 + 528x168 + 284x169 + 424x170 + 237x171 + 640x172 + 85x173 + 384x174 + 124x175 + 90x176 + 495x177 + 666x178 + 261x179 + 629x180 + 192x181 + 360x182 + 870x183 + 144x184 + 134x185 + 43x186 + 572x187 + 96x188 + 373x189 + 86x190 + 179x191 + 273x192 + 179x193 + 474x194 + 867x195 + 934x196 + 276x197 + 565x198 + 938x199 + 649x200 + 966x201 + 729x202 + 676x203 + 201x204 + 621x205 + 78x206 + 210x207 + 486x208 + 548x209 + 303x210 + 726x211 + 478x212 + 808x213 + 661x214 + 402x215 + 5x216 + 189x217 + 750x218 + 275x219 + 215x220 + 228x221 + 123x222 + 697x223 + 69x224 + 531x225 + 756x226 + 283x227 + 200x228 + 755x229 + 956x230 + 796x231 + 881x232 + 528x233 + 429x234 + 320x235 + 20x236 + 394x237 + 305x238 + 165x239 + 432x240 + 558x241 + 869x242 + 777x243 + 495x244 + 444x245 + 918x246 + 344x247 + 6x248 + 863x249 + 736x250 <=57479 constr8: + 890x1 + 251x2 + 558x3 + 82x4 + 934x5 + 738x6 + 701x7 + 932x8 + 681x9 + 966x10 + 18x11 + 532x12 + 788x13 + 391x14 + 665x15 + 739x16 + 97x17 + 281x18 + 535x19 + 578x20 + 107x21 + 726x22 + 574x23 + 11x24 + 296x25 + 784x26 + 789x27 + 826x28 + 600x29 + 385x30 + 668x31 + 192x32 + 986x33 + 502x34 + 419x35 + 259x36 + 155x37 + 232x38 + 240x39 + 239x40 + 430x41 + 832x42 + 762x43 + 387x44 + 114x45 + 421x46 + 473x47 + 523x48 + 446x49 + 392x50 + 489x51 + 137x52 + 213x53 + 706x54 + 347x55 + 563x56 + 66x57 + 138x58 + 850x59 + 882x60 + 434x61 + 616x62 + 518x63 + 655x64 + 108x65 + 488x66 + 882x67 + 910x68 + 521x69 + 39x70 + 565x71 + 800x72 + 34x73 + 783x74 + 3x75 + 882x76 + 334x77 + 979x78 + 449x79 + 527x80 + 249x81 + 217x82 + 723x83 + 21x84 + 788x85 + 778x86 + 261x87 + 930x88 + 150x89 + 35x90 + 884x91 + 846x92 + 702x93 + 545x94 + 26x95 + 845x96 + 238x97 + 647x98 + 571x99 + 786x100 + 710x101 + 487x102 + 563x103 + 613x104 + 813x105 + 794x106 + 3x107 + 408x108 + 368x109 + 983x110 + 24x111 + 141x112 + 361x113 + 541x114 + 18x115 + 768x116 + 494x117 + 192x118 + 869x119 + 939x120 + 286x121 + 181x122 + 930x123 + 437x124 + 852x125 + 326x126 + 674x127 + 290x128 + 105x129 + 109x130 + 895x131 + 440x132 + 603x133 + 209x134 + 219x135 + 791x136 + 759x137 + 529x138 + 117x139 + 550x140 + 960x141 + 355x142 + 799x143 + 102x144 + 149x145 + 602x146 + 176x147 + 640x148 + 588x149 + 963x150 + 658x151 + 292x152 + 489x153 + 967x154 + 348x155 + 176x156 + 460x157 + 951x158 + 413x159 + 469x160 + 413x161 + 224x162 + 813x163 + 152x164 + 832x165 + 443x166 + 220x167 + 630x168 + 72x169 + 108x170 + 942x171 + 996x172 + 982x173 + 85x174 + 5x175 + 561x176 + 655x177 + 330x178 + 781x179 + 933x180 + 918x181 + 252x182 + 517x183 + 574x184 + 982x185 + 937x186 + 283x187 + 311x188 + 693x189 + 946x190 + 60x191 + 207x192 + 610x193 + 34x194 + 70x195 + 465x196 + 461x197 + 431x198 + 422x199 + 769x200 + 768x201 + 35x202 + 864x203 + 90x204 + 897x205 + 543x206 + 579x207 + 552x208 + 429x209 + 108x210 + 968x211 + 208x212 + 924x213 + 985x214 + 733x215 + 249x216 + 198x217 + 628x218 + 894x219 + 889x220 + 777x221 + 449x222 + 135x223 + 975x224 + 584x225 + 730x226 + 657x227 + 957x228 + 610x229 + 324x230 + 314x231 + 729x232 + 231x233 + 110x234 + 123x235 + 743x236 + 763x237 + 865x238 + 88x239 + 217x240 + 768x241 + 8x242 + 657x243 + 521x244 + 942x245 + 164x246 + 763x247 + 660x248 + 82x249 + 30x250 <=63436 constr9: + 126x1 + 151x2 + 135x3 + 130x4 + 20x5 + 126x6 + 502x7 + 265x8 + 423x9 + 393x10 + 527x11 + 507x12 + 87x13 + 446x14 + 661x15 + 982x16 + 670x17 + 132x18 + 995x19 + 25x20 + 36x21 + 884x22 + 641x23 + 327x24 + 321x25 + 424x26 + 364x27 + 396x28 + 534x29 + 32x30 + 248x31 + 521x32 + 778x33 + 673x34 + 174x35 + 503x36 + 806x37 + 124x38 + 206x39 + 509x40 + 463x41 + 648x42 + 283x43 + 738x44 + 566x45 + 199x46 + 162x47 + 290x48 + 9x49 + 161x50 + 368x51 + 304x52 + 328x53 + 922x54 + 294x55 + 743x56 + 447x57 + 268x58 + 477x59 + 825x60 + 535x61 + 5x62 + 593x63 + 236x64 + 595x65 + 990x66 + 272x67 + 151x68 + 978x69 + 849x70 + 279x71 + 256x72 + 425x73 + 16x74 + 312x75 + 851x76 + 510x77 + 917x78 + 117x79 + 898x80 + 501x81 + 997x82 + 252x83 + 591x84 + 35x85 + 187x86 + 416x87 + 930x88 + 76x89 + 598x90 + 627x91 + 435x92 + 261x93 + 794x94 + 989x95 + 463x96 + 176x97 + 136x98 + 555x99 + 963x100 + 194x101 + 60x102 + 48x103 + 289x104 + 742x105 + 826x106 + 405x107 + 445x108 + 80x109 + 408x110 + 120x111 + 54x112 + 449x113 + 73x114 + 605x115 + 541x116 + 398x117 + 111x118 + 207x119 + 15x120 + 799x121 + 294x122 + 517x123 + 747x124 + 304x125 + 32x126 + 980x127 + 714x128 + 905x129 + 172x130 + 48x131 + 665x132 + 278x133 + 862x134 + 819x135 + 776x136 + 630x137 + 205x138 + 481x139 + 496x140 + 371x141 + 895x142 + 970x143 + 230x144 + 14x145 + 85x146 + 516x147 + 186x148 + 824x149 + 237x150 + 307x151 + 510x152 + 457x153 + 659x154 + 978x155 + 655x156 + 729x157 + 767x158 + 390x159 + 422x160 + 415x161 + 197x162 + 904x163 + 291x164 + 221x165 + 543x166 + 566x167 + 413x168 + 87x169 + 474x170 + 750x171 + 284x172 + 344x173 + 947x174 + 746x175 + 355x176 + 371x177 + 224x178 + 666x179 + 326x180 + 354x181 + 62x182 + 100x183 + 456x184 + 977x185 + 334x186 + 436x187 + 825x188 + 231x189 + 855x190 + 483x191 + 473x192 + 658x193 + 497x194 + 561x195 + 712x196 + 415x197 + 502x198 + 83x199 + 745x200 + 204x201 + 753x202 + 314x203 + 393x204 + 430x205 + 12x206 + 433x207 + 276x208 + 249x209 + 715x210 + 557x211 + 370x212 + 499x213 + 890x214 + 178x215 + 507x216 + 303x217 + 919x218 + 137x219 + 528x220 + 907x221 + 335x222 + 803x223 + 213x224 + 368x225 + 697x226 + 124x227 + 104x228 + 653x229 + 252x230 + 64x231 + 610x232 + 778x233 + 658x234 + 871x235 + 248x236 + 693x237 + 186x238 + 296x239 + 833x240 + 623x241 + 974x242 + 822x243 + 260x244 + 635x245 + 440x246 + 413x247 + 81x248 + 164x249 + 45x250 <=56381 constr10: + 995x1 + 572x2 + 788x3 + 128x4 + 566x5 + 673x6 + 836x7 + 845x8 + 521x9 + 715x10 + 430x11 + 953x12 + 487x13 + 466x14 + 467x15 + 300x16 + 475x17 + 576x18 + 598x19 + 212x20 + 805x21 + 482x22 + 557x23 + 520x24 + 453x25 + 318x26 + 75x27 + 850x28 + 581x29 + 745x30 + 839x31 + 305x32 + 440x33 + 374x34 + 74x35 + 265x36 + 732x37 + 573x38 + 131x39 + 556x40 + 272x41 + 97x42 + 875x43 + 413x44 + 230x45 + 992x46 + 943x47 + 592x48 + 8x49 + 945x50 + 80x51 + 179x52 + 409x53 + 975x54 + 132x55 + 66x56 + 266x57 + 631x58 + 531x59 + 829x60 + 505x61 + 291x62 + 625x63 + 627x64 + 801x65 + 884x66 + 134x67 + 427x68 + 237x69 + 322x70 + 575x71 + 711x72 + 489x73 + 411x74 + 51x75 + 551x76 + 990x77 + 324x78 + 125x79 + 406x80 + 244x81 + 459x82 + 940x83 + 590x84 + 532x85 + 145x86 + 980x87 + 588x88 + 437x89 + 128x90 + 650x91 + 276x92 + 915x93 + 663x94 + 137x95 + 899x96 + 534x97 + 896x98 + 200x99 + 174x100 + 760x101 + 318x102 + 576x103 + 150x104 + 180x105 + 120x106 + 422x107 + 704x108 + 367x109 + 287x110 + 789x111 + 645x112 + 16x113 + 598x114 + 913x115 + 830x116 + 343x117 + 886x118 + 747x119 + 326x120 + 38x121 + 39x122 + 712x123 + 893x124 + 586x125 + 566x126 + 776x127 + 504x128 + 384x129 + 273x130 + 511x131 + 946x132 + 191x133 + 347x134 + 325x135 + 744x136 + 177x137 + 760x138 + 853x139 + 783x140 + 473x141 + 623x142 + 728x143 + 942x144 + 284x145 + 611x146 + 600x147 + 395x148 + 448x149 + 944x150 + 636x151 + 551x152 + 661x153 + 206x154 + 470x155 + 873x156 + 197x157 + 87x158 + 189x159 + 859x160 + 989x161 + 183x162 + 867x163 + 62x164 + 624x165 + 184x166 + 30x167 + 630x168 + 672x169 + 403x170 + 680x171 + 117x172 + 628x173 + 838x174 + 981x175 + 497x176 + 600x177 + 585x178 + 608x179 + 429x180 + 736x181 + 822x182 + 396x183 + 496x184 + 562x185 + 235x186 + 3x187 + 447x188 + 477x189 + 305x190 + 113x191 + 875x192 + 350x193 + 866x194 + 541x195 + 259x196 + 437x197 + 757x198 + 220x199 + 208x200 + 681x201 + 497x202 + 566x203 + 450x204 + 432x205 + 51x206 + 445x207 + 701x208 + 876x209 + 680x210 + 873x211 + 955x212 + 767x213 + 944x214 + 797x215 + 960x216 + 820x217 + 112x218 + 399x219 + 265x220 + 827x221 + 454x222 + 66x223 + 498x224 + 523x225 + 171x226 + 972x227 + 81x228 + 444x229 + 987x230 + 903x231 + 605x232 + 348x233 + 27x234 + 415x235 + 334x236 + 621x237 + 374x238 + 263x239 + 515x240 + 616x241 + 128x242 + 804x243 + 878x244 + 844x245 + 655x246 + 927x247 + 705x248 + 645x249 + 356x250 <=64874 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