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