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