maximize objective: + 915x1 + 846x2 + 930x3 + 694x4 + 1017x5 + 732x6 + 866x7 + 775x8 + 885x9 + 957x10 + 1008x11 + 593x12 + 773x13 + 545x14 + 640x15 + 864x16 + 861x17 + 978x18 + 645x19 + 576x20 + 764x21 + 982x22 + 502x23 + 765x24 + 855x25 + 438x26 + 854x27 + 831x28 + 781x29 + 978x30 + 546x31 + 967x32 + 639x33 + 809x34 + 663x35 + 731x36 + 905x37 + 519x38 + 618x39 + 837x40 + 691x41 + 741x42 + 607x43 + 781x44 + 630x45 + 639x46 + 937x47 + 664x48 + 793x49 + 918x50 + 589x51 + 679x52 + 581x53 + 761x54 + 747x55 + 492x56 + 1046x57 + 918x58 + 582x59 + 585x60 + 929x61 + 584x62 + 784x63 + 884x64 + 642x65 + 955x66 + 880x67 + 573x68 + 978x69 + 752x70 + 724x71 + 902x72 + 684x73 + 773x74 + 639x75 + 755x76 + 570x77 + 732x78 + 839x79 + 878x80 + 841x81 + 896x82 + 739x83 + 913x84 + 691x85 + 944x86 + 773x87 + 601x88 + 558x89 + 877x90 + 545x91 + 680x92 + 506x93 + 582x94 + 644x95 + 662x96 + 520x97 + 511x98 + 717x99 + 836x100 subject to constr1: + 744x1 + 132x2 + 8x3 + 572x4 + 709x5 + 193x6 + 517x7 + 904x8 + 20x9 + 962x10 + 800x11 + 43x12 + 868x13 + 828x14 + 959x15 + 815x16 + 126x17 + 579x18 + 350x19 + 379x20 + 838x21 + 762x22 + 807x23 + 933x24 + 546x25 + 189x26 + 798x27 + 111x28 + 595x29 + 56x30 + 269x31 + 138x32 + 326x33 + 463x34 + 421x35 + 853x36 + 1x37 + 802x38 + 695x39 + 980x40 + 702x41 + 598x42 + 605x43 + 681x44 + 865x45 + 372x46 + 932x47 + 387x48 + 81x49 + 231x50 + 814x51 + 945x52 + 153x53 + 48x54 + 49x55 + 213x56 + 548x57 + 314x58 + 754x59 + 80x60 + 946x61 + 156x62 + 39x63 + 57x64 + 420x65 + 898x66 + 454x67 + 69x68 + 529x69 + 427x70 + 416x71 + 854x72 + 959x73 + 521x74 + 942x75 + 596x76 + 1000x77 + 706x78 + 735x79 + 267x80 + 642x81 + 792x82 + 735x83 + 10x84 + 324x85 + 427x86 + 920x87 + 855x88 + 609x89 + 897x90 + 252x91 + 522x92 + 287x93 + 827x94 + 890x95 + 201x96 + 444x97 + 688x98 + 116x99 + 285x100 <=13044 constr2: + 357x1 + 765x2 + 474x3 + 726x4 + 799x5 + 291x6 + 208x7 + 691x8 + 145x9 + 279x10 + 840x11 + 168x12 + 143x13 + 247x14 + 408x15 + 893x16 + 680x17 + 602x18 + 146x19 + 587x20 + 970x21 + 620x22 + 61x23 + 982x24 + 906x25 + 140x26 + 614x27 + 424x28 + 422x29 + 318x30 + 526x31 + 75x32 + 6x33 + 831x34 + 530x35 + 156x36 + 766x37 + 709x38 + 846x39 + 616x40 + 397x41 + 786x42 + 287x43 + 392x44 + 226x45 + 212x46 + 778x47 + 892x48 + 931x49 + 597x50 + 719x51 + 33x52 + 478x53 + 563x54 + 133x55 + 442x56 + 244x57 + 487x58 + 733x59 + 711x60 + 680x61 + 839x62 + 150x63 + 224x64 + 451x65 + 658x66 + 443x67 + 528x68 + 708x69 + 670x70 + 782x71 + 226x72 + 306x73 + 548x74 + 611x75 + 68x76 + 906x77 + 542x78 + 132x79 + 278x80 + 15x81 + 989x82 + 897x83 + 641x84 + 285x85 + 741x86 + 764x87 + 631x88 + 659x89 + 509x90 + 261x91 + 638x92 + 851x93 + 304x94 + 169x95 + 956x96 + 588x97 + 293x98 + 563x99 + 890x100 <=12851 constr3: + 850x1 + 775x2 + 985x3 + 120x4 + 882x5 + 60x6 + 845x7 + 220x8 + 735x9 + 421x10 + 712x11 + 762x12 + 323x13 + 602x14 + 662x15 + 986x16 + 383x17 + 802x18 + 201x19 + 789x20 + 273x21 + 166x22 + 246x23 + 141x24 + 640x25 + 635x26 + 578x27 + 7x28 + 769x29 + 641x30 + 43x31 + 809x32 + 951x33 + 23x34 + 374x35 + 108x36 + 516x37 + 210x38 + 516x39 + 696x40 + 802x41 + 506x42 + 332x43 + 874x44 + 703x45 + 579x46 + 566x47 + 470x48 + 532x49 + 635x50 + 733x51 + 60x52 + 357x53 + 200x54 + 234x55 + 516x56 + 590x57 + 920x58 + 15x59 + 857x60 + 802x61 + 85x62 + 763x63 + 287x64 + 307x65 + 583x66 + 215x67 + 508x68 + 896x69 + 367x70 + 185x71 + 472x72 + 569x73 + 852x74 + 456x75 + 508x76 + 388x77 + 80x78 + 587x79 + 620x80 + 637x81 + 688x82 + 599x83 + 636x84 + 639x85 + 373x86 + 31x87 + 115x88 + 549x89 + 414x90 + 769x91 + 426x92 + 183x93 + 562x94 + 402x95 + 611x96 + 358x97 + 22x98 + 185x99 + 81x100 <=12187 constr4: + 790x1 + 682x2 + 676x3 + 580x4 + 574x5 + 147x6 + 198x7 + 841x8 + 368x9 + 586x10 + 35x11 + 787x12 + 369x13 + 879x14 + 384x15 + 612x16 + 767x17 + 765x18 + 941x19 + 186x20 + 206x21 + 541x22 + 8x23 + 146x24 + 97x25 + 327x26 + 833x27 + 732x28 + 312x29 + 612x30 + 543x31 + 564x32 + 494x33 + 396x34 + 773x35 + 948x36 + 352x37 + 321x38 + 244x39 + 562x40 + 557x41 + 592x42 + 183x43 + 453x44 + 471x45 + 66x46 + 856x47 + 134x48 + 150x49 + 471x50 + 534x51 + 337x52 + 783x53 + 662x54 + 779x55 + 120x56 + 951x57 + 884x58 + 495x59 + 124x60 + 218x61 + 490x62 + 727x63 + 203x64 + 993x65 + 997x66 + 59x67 + 328x68 + 351x69 + 859x70 + 770x71 + 261x72 + 554x73 + 146x74 + 566x75 + 921x76 + 66x77 + 969x78 + 591x79 + 553x80 + 347x81 + 140x82 + 408x83 + 463x84 + 346x85 + 232x86 + 11x87 + 734x88 + 537x89 + 58x90 + 558x91 + 689x92 + 426x93 + 495x94 + 58x95 + 919x96 + 422x97 + 523x98 + 383x99 + 831x100 <=12246 constr5: + 19x1 + 259x2 + 226x3 + 43x4 + 415x5 + 313x6 + 521x7 + 622x8 + 503x9 + 243x10 + 348x11 + 892x12 + 837x13 + 970x14 + 124x15 + 894x16 + 566x17 + 715x18 + 512x19 + 579x20 + 407x21 + 688x22 + 452x23 + 389x24 + 898x25 + 100x26 + 968x27 + 448x28 + 141x29 + 800x30 + 89x31 + 931x32 + 412x33 + 880x34 + 242x35 + 756x36 + 652x37 + 477x38 + 808x39 + 813x40 + 279x41 + 945x42 + 536x43 + 225x44 + 327x45 + 644x46 + 41x47 + 245x48 + 347x49 + 905x50 + 506x51 + 222x52 + 33x53 + 399x54 + 105x55 + 542x56 + 593x57 + 712x58 + 768x59 + 126x60 + 198x61 + 204x62 + 480x63 + 459x64 + 659x65 + 251x66 + 867x67 + 456x68 + 698x69 + 269x70 + 291x71 + 879x72 + 427x73 + 834x74 + 371x75 + 295x76 + 510x77 + 464x78 + 17x79 + 259x80 + 505x81 + 63x82 + 24x83 + 441x84 + 576x85 + 134x86 + 711x87 + 62x88 + 384x89 + 908x90 + 187x91 + 641x92 + 97x93 + 126x94 + 965x95 + 302x96 + 423x97 + 835x98 + 724x99 + 639x100 <=11772 constr6: + 439x1 + 177x2 + 25x3 + 562x4 + 50x5 + 302x6 + 788x7 + 125x8 + 931x9 + 214x10 + 634x11 + 42x12 + 856x13 + 87x14 + 818x15 + 290x16 + 651x17 + 622x18 + 492x19 + 755x20 + 373x21 + 895x22 + 297x23 + 585x24 + 799x25 + 278x26 + 608x27 + 246x28 + 208x29 + 497x30 + 86x31 + 617x32 + 221x33 + 170x34 + 331x35 + 895x36 + 324x37 + 142x38 + 68x39 + 180x40 + 895x41 + 998x42 + 276x43 + 288x44 + 825x45 + 808x46 + 450x47 + 730x48 + 562x49 + 606x50 + 169x51 + 718x52 + 810x53 + 817x54 + 817x55 + 526x56 + 647x57 + 389x58 + 577x59 + 665x60 + 358x61 + 500x62 + 105x63 + 838x64 + 307x65 + 999x66 + 328x67 + 342x68 + 33x69 + 849x70 + 603x71 + 901x72 + 161x73 + 170x74 + 56x75 + 55x76 + 675x77 + 459x78 + 430x79 + 770x80 + 69x81 + 614x82 + 189x83 + 711x84 + 710x85 + 755x86 + 348x87 + 544x88 + 280x89 + 971x90 + 463x91 + 528x92 + 753x93 + 813x94 + 348x95 + 29x96 + 953x97 + 505x98 + 98x99 + 423x100 <=12074 constr7: + 194x1 + 552x2 + 432x3 + 702x4 + 873x5 + 399x6 + 886x7 + 453x8 + 670x9 + 672x10 + 847x11 + 88x12 + 620x13 + 495x14 + 33x15 + 782x16 + 929x17 + 653x18 + 138x19 + 926x20 + 421x21 + 86x22 + 658x23 + 164x24 + 882x25 + 499x26 + 729x27 + 360x28 + 800x29 + 543x30 + 751x31 + 786x32 + 501x33 + 314x34 + 13x35 + 512x36 + 935x37 + 679x38 + 870x39 + 27x40 + 218x41 + 781x42 + 205x43 + 109x44 + 584x45 + 880x46 + 445x47 + 875x48 + 163x49 + 926x50 + 315x51 + 938x52 + 83x53 + 353x54 + 588x55 + 491x56 + 1000x57 + 630x58 + 574x59 + 278x60 + 478x61 + 986x62 + 663x63 + 367x64 + 884x65 + 831x66 + 375x67 + 699x68 + 171x69 + 714x70 + 679x71 + 609x72 + 495x73 + 756x74 + 119x75 + 1x76 + 87x77 + 186x78 + 664x79 + 294x80 + 876x81 + 854x82 + 118x83 + 51x84 + 667x85 + 401x86 + 867x87 + 22x88 + 739x89 + 839x90 + 555x91 + 902x92 + 541x93 + 793x94 + 940x95 + 302x96 + 878x97 + 504x98 + 505x99 + 607x100 <=13582 constr8: + 558x1 + 294x2 + 714x3 + 391x4 + 286x5 + 733x6 + 86x7 + 372x8 + 643x9 + 844x10 + 196x11 + 631x12 + 909x13 + 654x14 + 668x15 + 16x16 + 798x17 + 416x18 + 912x19 + 933x20 + 35x21 + 765x22 + 993x23 + 866x24 + 996x25 + 404x26 + 716x27 + 479x28 + 323x29 + 133x30 + 425x31 + 324x32 + 599x33 + 766x34 + 871x35 + 693x36 + 677x37 + 15x38 + 785x39 + 110x40 + 987x41 + 839x42 + 39x43 + 910x44 + 637x45 + 941x46 + 268x47 + 491x48 + 19x49 + 598x50 + 402x51 + 920x52 + 360x53 + 145x54 + 856x55 + 240x56 + 307x57 + 348x58 + 623x59 + 986x60 + 668x61 + 917x62 + 648x63 + 914x64 + 950x65 + 487x66 + 845x67 + 427x68 + 830x69 + 843x70 + 706x71 + 775x72 + 543x73 + 474x74 + 993x75 + 210x76 + 508x77 + 35x78 + 799x79 + 178x80 + 866x81 + 234x82 + 515x83 + 807x84 + 795x85 + 418x86 + 992x87 + 378x88 + 627x89 + 168x90 + 327x91 + 430x92 + 895x93 + 224x94 + 726x95 + 417x96 + 187x97 + 836x98 + 61x99 + 329x100 <=13982 constr9: + 440x1 + 319x2 + 519x3 + 671x4 + 424x5 + 302x6 + 283x7 + 205x8 + 578x9 + 121x10 + 789x11 + 222x12 + 491x13 + 92x14 + 921x15 + 314x16 + 722x17 + 193x18 + 360x19 + 302x20 + 26x21 + 961x22 + 218x23 + 549x24 + 62x25 + 359x26 + 394x27 + 313x28 + 110x29 + 42x30 + 439x31 + 31x32 + 348x33 + 22x34 + 776x35 + 614x36 + 965x37 + 425x38 + 237x39 + 462x40 + 671x41 + 87x42 + 414x43 + 976x44 + 343x45 + 797x46 + 324x47 + 681x48 + 367x49 + 173x50 + 569x51 + 549x52 + 802x53 + 838x54 + 953x55 + 438x56 + 64x57 + 257x58 + 37x59 + 130x60 + 744x61 + 51x62 + 699x63 + 989x64 + 160x65 + 158x66 + 607x67 + 91x68 + 653x69 + 270x70 + 607x71 + 604x72 + 220x73 + 452x74 + 961x75 + 302x76 + 716x77 + 916x78 + 158x79 + 347x80 + 489x81 + 71x82 + 107x83 + 863x84 + 938x85 + 464x86 + 219x87 + 320x88 + 333x89 + 790x90 + 614x91 + 299x92 + 495x93 + 895x94 + 288x95 + 251x96 + 558x97 + 335x98 + 626x99 + 104x100 <=10964 constr10: + 202x1 + 739x2 + 480x3 + 385x4 + 959x5 + 904x6 + 135x7 + 41x8 + 436x9 + 410x10 + 653x11 + 506x12 + 457x13 + 461x14 + 109x15 + 733x16 + 106x17 + 54x18 + 433x19 + 709x20 + 909x21 + 999x22 + 503x23 + 534x24 + 765x25 + 389x26 + 151x27 + 760x28 + 293x29 + 97x30 + 721x31 + 860x32 + 12x33 + 56x34 + 369x35 + 147x36 + 698x37 + 68x38 + 984x39 + 473x40 + 710x41 + 718x42 + 233x43 + 13x44 + 173x45 + 90x46 + 56x47 + 621x48 + 202x49 + 608x50 + 275x51 + 243x52 + 369x53 + 556x54 + 958x55 + 985x56 + 641x57 + 365x58 + 263x59 + 750x60 + 725x61 + 158x62 + 734x63 + 310x64 + 937x65 + 766x66 + 890x67 + 827x68 + 548x69 + 735x70 + 203x71 + 158x72 + 970x73 + 833x74 + 660x75 + 315x76 + 383x77 + 100x78 + 612x79 + 664x80 + 275x81 + 143x82 + 457x83 + 459x84 + 896x85 + 604x86 + 883x87 + 550x88 + 364x89 + 976x90 + 97x91 + 348x92 + 982x93 + 395x94 + 383x95 + 384x96 + 523x97 + 892x98 + 314x99 + 258x100 <=12310 constr11: + 230x1 + 562x2 + 137x3 + 560x4 + 337x5 + 530x6 + 652x7 + 454x8 + 902x9 + 339x10 + 785x11 + 582x12 + 595x13 + 995x14 + 650x15 + 413x16 + 209x17 + 615x18 + 64x19 + 99x20 + 932x21 + 389x22 + 389x23 + 41x24 + 32x25 + 554x26 + 965x27 + 448x28 + 1000x29 + 778x30 + 250x31 + 558x32 + 998x33 + 444x34 + 242x35 + 959x36 + 617x37 + 137x38 + 193x39 + 828x40 + 618x41 + 288x42 + 230x43 + 695x44 + 124x45 + 514x46 + 327x47 + 594x48 + 638x49 + 70x50 + 859x51 + 250x52 + 499x53 + 557x54 + 907x55 + 143x56 + 684x57 + 618x58 + 495x59 + 152x60 + 290x61 + 321x62 + 34x63 + 976x64 + 950x65 + 605x66 + 621x67 + 539x68 + 612x69 + 999x70 + 765x71 + 663x72 + 723x73 + 594x74 + 716x75 + 674x76 + 277x77 + 607x78 + 223x79 + 544x80 + 279x81 + 312x82 + 348x83 + 289x84 + 440x85 + 519x86 + 610x87 + 556x88 + 281x89 + 436x90 + 798x91 + 582x92 + 304x93 + 433x94 + 498x95 + 656x96 + 253x97 + 510x98 + 491x99 + 996x100 <=12763 constr12: + 737x1 + 547x2 + 646x3 + 77x4 + 481x5 + 841x6 + 426x7 + 561x8 + 622x9 + 959x10 + 36x11 + 400x12 + 834x13 + 86x14 + 421x15 + 553x16 + 283x17 + 795x18 + 27x19 + 313x20 + 7x21 + 256x22 + 114x23 + 803x24 + 571x25 + 577x26 + 273x27 + 262x28 + 379x29 + 254x30 + 716x31 + 233x32 + 168x33 + 926x34 + 845x35 + 15x36 + 229x37 + 246x38 + 657x39 + 675x40 + 488x41 + 812x42 + 260x43 + 194x44 + 81x45 + 71x46 + 148x47 + 50x48 + 548x49 + 458x50 + 414x51 + 806x52 + 886x53 + 564x54 + 795x55 + 391x56 + 145x57 + 233x58 + 183x59 + 354x60 + 872x61 + 334x62 + 40x63 + 900x64 + 233x65 + 135x66 + 865x67 + 782x68 + 910x69 + 193x70 + 353x71 + 847x72 + 121x73 + 654x74 + 119x75 + 14x76 + 99x77 + 884x78 + 482x79 + 533x80 + 443x81 + 132x82 + 58x83 + 252x84 + 478x85 + 178x86 + 376x87 + 362x88 + 468x89 + 970x90 + 854x91 + 620x92 + 116x93 + 414x94 + 854x95 + 620x96 + 21x97 + 191x98 + 243x99 + 40x100 <=10698 constr13: + 235x1 + 769x2 + 338x3 + 47x4 + 923x5 + 828x6 + 639x7 + 76x8 + 40x9 + 771x10 + 950x11 + 728x12 + 329x13 + 991x14 + 976x15 + 225x16 + 648x17 + 618x18 + 970x19 + 708x20 + 203x21 + 835x22 + 940x23 + 804x24 + 800x25 + 860x26 + 663x27 + 456x28 + 466x29 + 893x30 + 11x31 + 510x32 + 759x33 + 926x34 + 779x35 + 290x36 + 53x37 + 158x38 + 802x39 + 187x40 + 896x41 + 383x42 + 33x43 + 108x44 + 557x45 + 230x46 + 216x47 + 894x48 + 403x49 + 339x50 + 336x51 + 933x52 + 470x53 + 197x54 + 58x55 + 242x56 + 683x57 + 674x58 + 850x59 + 522x60 + 34x61 + 825x62 + 465x63 + 576x64 + 103x65 + 321x66 + 29x67 + 31x68 + 823x69 + 21x70 + 624x71 + 517x72 + 195x73 + 838x74 + 323x75 + 585x76 + 167x77 + 590x78 + 321x79 + 323x80 + 751x81 + 894x82 + 884x83 + 749x84 + 309x85 + 975x86 + 88x87 + 701x88 + 597x89 + 488x90 + 448x91 + 832x92 + 108x93 + 892x94 + 396x95 + 678x96 + 964x97 + 241x98 + 320x99 + 239x100 <=12873 constr14: + 770x1 + 113x2 + 155x3 + 825x4 + 306x5 + 352x6 + 756x7 + 582x8 + 887x9 + 66x10 + 332x11 + 864x12 + 308x13 + 841x14 + 900x15 + 308x16 + 216x17 + 337x18 + 709x19 + 703x20 + 446x21 + 173x22 + 601x23 + 915x24 + 993x25 + 246x26 + 629x27 + 384x28 + 111x29 + 910x30 + 459x31 + 323x32 + 348x33 + 376x34 + 633x35 + 231x36 + 435x37 + 614x38 + 451x39 + 733x40 + 133x41 + 271x42 + 89x43 + 765x44 + 226x45 + 303x46 + 784x47 + 810x48 + 376x49 + 540x50 + 794x51 + 663x52 + 206x53 + 465x54 + 637x55 + 508x56 + 983x57 + 125x58 + 716x59 + 621x60 + 615x61 + 186x62 + 207x63 + 433x64 + 471x65 + 309x66 + 99x67 + 446x68 + 560x69 + 943x70 + 641x71 + 645x72 + 778x73 + 535x74 + 391x75 + 865x76 + 33x77 + 406x78 + 354x79 + 127x80 + 428x81 + 856x82 + 782x83 + 892x84 + 158x85 + 501x86 + 691x87 + 625x88 + 528x89 + 484x90 + 472x91 + 375x92 + 388x93 + 394x94 + 436x95 + 698x96 + 274x97 + 493x98 + 624x99 + 544x100 <=12511 constr15: + 801x1 + 828x2 + 438x3 + 670x4 + 612x5 + 506x6 + 72x7 + 598x8 + 258x9 + 374x10 + 768x11 + 106x12 + 700x13 + 572x14 + 843x15 + 456x16 + 188x17 + 121x18 + 84x19 + 187x20 + 298x21 + 664x22 + 514x23 + 757x24 + 646x25 + 728x26 + 361x27 + 990x28 + 277x29 + 458x30 + 9x31 + 955x32 + 508x33 + 924x34 + 601x35 + 367x36 + 189x37 + 383x38 + 457x39 + 987x40 + 804x41 + 135x42 + 602x43 + 109x44 + 976x45 + 64x46 + 407x47 + 617x48 + 954x49 + 563x50 + 16x51 + 626x52 + 887x53 + 188x54 + 649x55 + 7x56 + 214x57 + 547x58 + 383x59 + 853x60 + 992x61 + 356x62 + 782x63 + 168x64 + 178x65 + 287x66 + 3x67 + 506x68 + 676x69 + 846x70 + 909x71 + 951x72 + 879x73 + 19x74 + 314x75 + 702x76 + 729x77 + 957x78 + 402x79 + 928x80 + 719x81 + 470x82 + 566x83 + 350x84 + 343x85 + 965x86 + 487x87 + 420x88 + 914x89 + 148x90 + 14x91 + 343x92 + 852x93 + 818x94 + 39x95 + 336x96 + 612x97 + 678x98 + 396x99 + 901x100 <=12953 constr16: + 233x1 + 200x2 + 514x3 + 236x4 + 763x5 + 519x6 + 702x7 + 431x8 + 349x9 + 426x10 + 790x11 + 302x12 + 52x13 + 415x14 + 159x15 + 511x16 + 936x17 + 389x18 + 130x19 + 422x20 + 716x21 + 994x22 + 645x23 + 28x24 + 279x25 + 332x26 + 603x27 + 433x28 + 145x29 + 720x30 + 947x31 + 506x32 + 709x33 + 228x34 + 393x35 + 408x36 + 273x37 + 533x38 + 983x39 + 814x40 + 990x41 + 431x42 + 25x43 + 545x44 + 127x45 + 608x46 + 403x47 + 933x48 + 860x49 + 404x50 + 179x51 + 795x52 + 355x53 + 182x54 + 549x55 + 148x56 + 315x57 + 331x58 + 795x59 + 28x60 + 953x61 + 974x62 + 937x63 + 319x64 + 639x65 + 267x66 + 394x67 + 165x68 + 599x69 + 892x70 + 20x71 + 581x72 + 187x73 + 253x74 + 60x75 + 754x76 + 122x77 + 729x78 + 17x79 + 720x80 + 225x81 + 504x82 + 33x83 + 149x84 + 176x85 + 511x86 + 878x87 + 687x88 + 527x89 + 638x90 + 966x91 + 281x92 + 820x93 + 703x94 + 758x95 + 781x96 + 14x97 + 204x98 + 164x99 + 329x100 <=11775 constr17: + 239x1 + 61x2 + 790x3 + 738x4 + 700x5 + 652x6 + 878x7 + 689x8 + 588x9 + 553x10 + 602x11 + 183x12 + 369x13 + 436x14 + 285x15 + 450x16 + 57x17 + 878x18 + 968x19 + 605x20 + 868x21 + 790x22 + 198x23 + 248x24 + 531x25 + 500x26 + 217x27 + 309x28 + 748x29 + 711x30 + 312x31 + 14x32 + 224x33 + 976x34 + 149x35 + 198x36 + 977x37 + 243x38 + 192x39 + 398x40 + 381x41 + 328x42 + 406x43 + 612x44 + 851x45 + 30x46 + 863x47 + 27x48 + 719x49 + 186x50 + 194x51 + 605x52 + 280x53 + 642x54 + 137x55 + 809x56 + 244x57 + 428x58 + 3x59 + 61x60 + 745x61 + 477x62 + 13x63 + 762x64 + 194x65 + 667x66 + 65x67 + 921x68 + 155x69 + 890x70 + 746x71 + 593x72 + 661x73 + 167x74 + 788x75 + 270x76 + 616x77 + 134x78 + 118x79 + 800x80 + 955x81 + 435x82 + 885x83 + 833x84 + 861x85 + 602x86 + 855x87 + 436x88 + 657x89 + 488x90 + 148x91 + 174x92 + 59x93 + 510x94 + 869x95 + 638x96 + 326x97 + 872x98 + 457x99 + 308x100 <=12120 constr18: + 824x1 + 10x2 + 779x3 + 42x4 + 964x5 + 885x6 + 758x7 + 164x8 + 830x9 + 148x10 + 740x11 + 817x12 + 628x13 + 330x14 + 248x15 + 176x16 + 161x17 + 95x18 + 994x19 + 961x20 + 73x21 + 775x22 + 636x23 + 992x24 + 204x25 + 601x26 + 582x27 + 370x28 + 170x29 + 495x30 + 286x31 + 965x32 + 266x33 + 34x34 + 797x35 + 873x36 + 59x37 + 931x38 + 433x39 + 976x40 + 887x41 + 489x42 + 374x43 + 951x44 + 906x45 + 438x46 + 837x47 + 33x48 + 726x49 + 329x50 + 456x51 + 576x52 + 564x53 + 89x54 + 258x55 + 603x56 + 146x57 + 558x58 + 281x59 + 510x60 + 48x61 + 839x62 + 232x63 + 13x64 + 216x65 + 715x66 + 566x67 + 574x68 + 857x69 + 688x70 + 352x71 + 432x72 + 562x73 + 893x74 + 167x75 + 432x76 + 30x77 + 32x78 + 618x79 + 478x80 + 715x81 + 63x82 + 337x83 + 833x84 + 347x85 + 167x86 + 991x87 + 303x88 + 311x89 + 742x90 + 893x91 + 202x92 + 119x93 + 841x94 + 550x95 + 547x96 + 99x97 + 588x98 + 582x99 + 992x100 <=12512 constr19: + 574x1 + 709x2 + 161x3 + 934x4 + 391x5 + 343x6 + 829x7 + 317x8 + 78x9 + 783x10 + 439x11 + 93x12 + 817x13 + 377x14 + 303x15 + 339x16 + 868x17 + 840x18 + 922x19 + 132x20 + 507x21 + 64x22 + 611x23 + 950x24 + 615x25 + 675x26 + 145x27 + 105x28 + 25x29 + 205x30 + 142x31 + 337x32 + 730x33 + 177x34 + 389x35 + 392x36 + 294x37 + 143x38 + 265x39 + 325x40 + 204x41 + 300x42 + 262x43 + 903x44 + 102x45 + 832x46 + 512x47 + 600x48 + 953x49 + 949x50 + 789x51 + 106x52 + 836x53 + 988x54 + 123x55 + 386x56 + 840x57 + 616x58 + 336x59 + 734x60 + 332x61 + 439x62 + 270x63 + 104x64 + 149x65 + 980x66 + 212x67 + 927x68 + 183x69 + 150x70 + 179x71 + 466x72 + 95x73 + 590x74 + 693x75 + 213x76 + 100x77 + 539x78 + 621x79 + 711x80 + 497x81 + 893x82 + 437x83 + 448x84 + 251x85 + 459x86 + 844x87 + 198x88 + 635x89 + 638x90 + 253x91 + 458x92 + 507x93 + 178x94 + 254x95 + 220x96 + 32x97 + 407x98 + 917x99 + 636x100 <=11458 constr20: + 659x1 + 699x2 + 770x3 + 643x4 + 279x5 + 294x6 + 220x7 + 765x8 + 562x9 + 698x10 + 549x11 + 127x12 + 700x13 + 313x14 + 597x15 + 896x16 + 697x17 + 509x18 + 527x19 + 969x20 + 214x21 + 117x22 + 974x23 + 741x24 + 30x25 + 92x26 + 413x27 + 671x28 + 113x29 + 145x30 + 441x31 + 357x32 + 241x33 + 751x34 + 735x35 + 352x36 + 356x37 + 522x38 + 981x39 + 280x40 + 392x41 + 759x42 + 713x43 + 362x44 + 834x45 + 248x46 + 411x47 + 393x48 + 573x49 + 953x50 + 580x51 + 109x52 + 331x53 + 61x54 + 924x55 + 326x56 + 533x57 + 944x58 + 260x59 + 31x60 + 666x61 + 51x62 + 600x63 + 371x64 + 673x65 + 209x66 + 802x67 + 912x68 + 767x69 + 253x70 + 454x71 + 454x72 + 254x73 + 951x74 + 329x75 + 590x76 + 476x77 + 370x78 + 136x79 + 322x80 + 199x81 + 623x82 + 515x83 + 617x84 + 577x85 + 720x86 + 942x87 + 399x88 + 872x89 + 971x90 + 411x91 + 541x92 + 874x93 + 916x94 + 89x95 + 238x96 + 619x97 + 370x98 + 194x99 + 773x100 <=12709 constr21: + 486x1 + 165x2 + 303x3 + 495x4 + 429x5 + 60x6 + 805x7 + 812x8 + 808x9 + 56x10 + 140x11 + 349x12 + 351x13 + 672x14 + 267x15 + 388x16 + 80x17 + 203x18 + 981x19 + 350x20 + 824x21 + 736x22 + 137x23 + 962x24 + 386x25 + 165x26 + 485x27 + 958x28 + 199x29 + 473x30 + 632x31 + 974x32 + 331x33 + 570x34 + 770x35 + 283x36 + 956x37 + 421x38 + 116x39 + 853x40 + 320x41 + 82x42 + 974x43 + 344x44 + 494x45 + 267x46 + 109x47 + 608x48 + 345x49 + 256x50 + 105x51 + 621x52 + 387x53 + 812x54 + 47x55 + 716x56 + 760x57 + 157x58 + 12x59 + 739x60 + 990x61 + 846x62 + 100x63 + 914x64 + 421x65 + 949x66 + 45x67 + 210x68 + 794x69 + 619x70 + 199x71 + 431x72 + 803x73 + 854x74 + 768x75 + 157x76 + 314x77 + 129x78 + 504x79 + 123x80 + 874x81 + 862x82 + 561x83 + 554x84 + 251x85 + 865x86 + 245x87 + 52x88 + 558x89 + 421x90 + 5x91 + 69x92 + 255x93 + 602x94 + 845x95 + 586x96 + 716x97 + 717x98 + 129x99 + 644x100 <=11892 constr22: + 825x1 + 325x2 + 557x3 + 91x4 + 890x5 + 255x6 + 831x7 + 842x8 + 885x9 + 993x10 + 486x11 + 607x12 + 549x13 + 870x14 + 175x15 + 238x16 + 792x17 + 271x18 + 27x19 + 578x20 + 714x21 + 884x22 + 217x23 + 875x24 + 714x25 + 404x26 + 148x27 + 111x28 + 249x29 + 458x30 + 205x31 + 928x32 + 921x33 + 228x34 + 120x35 + 505x36 + 515x37 + 794x38 + 822x39 + 736x40 + 38x41 + 683x42 + 509x43 + 322x44 + 553x45 + 296x46 + 952x47 + 41x48 + 72x49 + 261x50 + 792x51 + 726x52 + 935x53 + 642x54 + 976x55 + 831x56 + 239x57 + 165x58 + 481x59 + 663x60 + 586x61 + 621x62 + 571x63 + 616x64 + 640x65 + 567x66 + 150x67 + 401x68 + 456x69 + 617x70 + 275x71 + 79x72 + 525x73 + 504x74 + 133x75 + 893x76 + 374x77 + 90x78 + 247x79 + 236x80 + 612x81 + 851x82 + 133x83 + 824x84 + 530x85 + 192x86 + 561x87 + 816x88 + 462x89 + 116x90 + 884x91 + 779x92 + 137x93 + 358x94 + 400x95 + 235x96 + 928x97 + 831x98 + 871x99 + 403x100 <=12829 constr23: + 792x1 + 108x2 + 911x3 + 391x4 + 19x5 + 848x6 + 880x7 + 536x8 + 341x9 + 606x10 + 826x11 + 837x12 + 389x13 + 538x14 + 905x15 + 24x16 + 884x17 + 965x18 + 62x19 + 685x20 + 399x21 + 42x22 + 124x23 + 659x24 + 917x25 + 756x26 + 287x27 + 824x28 + 23x29 + 827x30 + 773x31 + 727x32 + 443x33 + 514x34 + 793x35 + 401x36 + 950x37 + 354x38 + 996x39 + 363x40 + 620x41 + 596x42 + 570x43 + 141x44 + 66x45 + 441x46 + 765x47 + 606x48 + 918x49 + 330x50 + 516x51 + 808x52 + 59x53 + 742x54 + 2x55 + 23x56 + 710x57 + 999x58 + 166x59 + 865x60 + 15x61 + 683x62 + 142x63 + 181x64 + 865x65 + 483x66 + 98x67 + 811x68 + 368x69 + 982x70 + 297x71 + 774x72 + 381x73 + 515x74 + 471x75 + 348x76 + 459x77 + 393x78 + 561x79 + 138x80 + 158x81 + 750x82 + 310x83 + 223x84 + 601x85 + 33x86 + 277x87 + 719x88 + 140x89 + 512x90 + 622x91 + 580x92 + 520x93 + 8x94 + 226x95 + 164x96 + 122x97 + 136x98 + 186x99 + 69x100 <=11996 constr24: + 80x1 + 709x2 + 329x3 + 65x4 + 703x5 + 916x6 + 936x7 + 170x8 + 912x9 + 545x10 + 477x11 + 619x12 + 438x13 + 393x14 + 474x15 + 252x16 + 945x17 + 818x18 + 47x19 + 491x20 + 904x21 + 814x22 + 119x23 + 171x24 + 768x25 + 729x26 + 539x27 + 206x28 + 815x29 + 689x30 + 761x31 + 65x32 + 46x33 + 830x34 + 130x35 + 356x36 + 898x37 + 357x38 + 22x39 + 294x40 + 154x41 + 369x42 + 120x43 + 107x44 + 894x45 + 132x46 + 153x47 + 421x48 + 395x49 + 785x50 + 829x51 + 603x52 + 769x53 + 897x54 + 1000x55 + 812x56 + 520x57 + 327x58 + 623x59 + 658x60 + 382x61 + 60x62 + 174x63 + 430x64 + 451x65 + 657x66 + 773x67 + 895x68 + 654x69 + 729x70 + 129x71 + 154x72 + 599x73 + 586x74 + 435x75 + 249x76 + 268x77 + 167x78 + 907x79 + 467x80 + 712x81 + 103x82 + 714x83 + 751x84 + 38x85 + 387x86 + 258x87 + 888x88 + 153x89 + 761x90 + 983x91 + 999x92 + 105x93 + 339x94 + 658x95 + 308x96 + 165x97 + 288x98 + 593x99 + 522x100 <=12323 constr25: + 732x1 + 622x2 + 536x3 + 853x4 + 425x5 + 699x6 + 557x7 + 588x8 + 841x9 + 169x10 + 639x11 + 103x12 + 110x13 + 563x14 + 516x15 + 687x16 + 162x17 + 305x18 + 997x19 + 295x20 + 802x21 + 616x22 + 458x23 + 535x24 + 799x25 + 14x26 + 325x27 + 747x28 + 982x29 + 368x30 + 887x31 + 901x32 + 427x33 + 796x34 + 708x35 + 775x36 + 959x37 + 301x38 + 424x39 + 494x40 + 734x41 + 978x42 + 670x43 + 551x44 + 31x45 + 438x46 + 84x47 + 523x48 + 586x49 + 381x50 + 200x51 + 370x52 + 755x53 + 955x54 + 81x55 + 464x56 + 353x57 + 740x58 + 934x59 + 610x60 + 685x61 + 99x62 + 519x63 + 591x64 + 642x65 + 411x66 + 685x67 + 511x68 + 449x69 + 464x70 + 234x71 + 925x72 + 370x73 + 299x74 + 199x75 + 244x76 + 298x77 + 551x78 + 226x79 + 730x80 + 367x81 + 974x82 + 36x83 + 191x84 + 756x85 + 394x86 + 148x87 + 276x88 + 493x89 + 574x90 + 126x91 + 899x92 + 210x93 + 928x94 + 313x95 + 746x96 + 819x97 + 29x98 + 154x99 + 863x100 <=12896 constr26: + 136x1 + 578x2 + 379x3 + 202x4 + 245x5 + 75x6 + 772x7 + 54x8 + 495x9 + 510x10 + 549x11 + 606x12 + 866x13 + 613x14 + 481x15 + 583x16 + 774x17 + 102x18 + 755x19 + 353x20 + 253x21 + 275x22 + 884x23 + 892x24 + 485x25 + 624x26 + 124x27 + 573x28 + 470x29 + 679x30 + 220x31 + 141x32 + 178x33 + 589x34 + 357x35 + 238x36 + 463x37 + 579x38 + 883x39 + 669x40 + 591x41 + 244x42 + 926x43 + 341x44 + 514x45 + 529x46 + 695x47 + 810x48 + 160x49 + 263x50 + 189x51 + 672x52 + 504x53 + 467x54 + 378x55 + 615x56 + 823x57 + 738x58 + 305x59 + 943x60 + 481x61 + 491x62 + 331x63 + 867x64 + 193x65 + 689x66 + 854x67 + 839x68 + 897x69 + 322x70 + 69x71 + 145x72 + 776x73 + 697x74 + 189x75 + 185x76 + 815x77 + 819x78 + 717x79 + 880x80 + 793x81 + 611x82 + 75x83 + 569x84 + 422x85 + 711x86 + 886x87 + 994x88 + 758x89 + 607x90 + 239x91 + 785x92 + 974x93 + 296x94 + 583x95 + 535x96 + 484x97 + 157x98 + 823x99 + 870x100 <=13210 constr27: + 26x1 + 448x2 + 353x3 + 586x4 + 468x5 + 828x6 + 738x7 + 280x8 + 113x9 + 746x10 + 932x11 + 544x12 + 940x13 + 437x14 + 228x15 + 204x16 + 487x17 + 502x18 + 569x19 + 6x20 + 820x21 + 118x22 + 807x23 + 156x24 + 211x25 + 95x26 + 951x27 + 618x28 + 811x29 + 522x30 + 247x31 + 555x32 + 865x33 + 734x34 + 800x35 + 71x36 + 466x37 + 685x38 + 700x39 + 827x40 + 288x41 + 279x42 + 139x43 + 764x44 + 550x45 + 42x46 + 266x47 + 633x48 + 556x49 + 969x50 + 466x51 + 68x52 + 384x53 + 944x54 + 617x55 + 702x56 + 994x57 + 752x58 + 292x59 + 797x60 + 622x61 + 630x62 + 839x63 + 478x64 + 40x65 + 428x66 + 426x67 + 354x68 + 330x69 + 565x70 + 932x71 + 923x72 + 61x73 + 17x74 + 787x75 + 707x76 + 568x77 + 53x78 + 531x79 + 201x80 + 483x81 + 407x82 + 266x83 + 338x84 + 122x85 + 772x86 + 309x87 + 432x88 + 195x89 + 601x90 + 109x91 + 30x92 + 54x93 + 348x94 + 343x95 + 815x96 + 479x97 + 641x98 + 590x99 + 234x100 <=12014 constr28: + 4x1 + 83x2 + 625x3 + 718x4 + 223x5 + 960x6 + 668x7 + 820x8 + 859x9 + 571x10 + 399x11 + 681x12 + 270x13 + 280x14 + 769x15 + 185x16 + 91x17 + 378x18 + 554x19 + 179x20 + 756x21 + 612x22 + 19x23 + 718x24 + 698x25 + 90x26 + 999x27 + 102x28 + 644x29 + 957x30 + 533x31 + 182x32 + 425x33 + 872x34 + 628x35 + 29x36 + 870x37 + 813x38 + 222x39 + 457x40 + 742x41 + 558x42 + 976x43 + 372x44 + 148x45 + 989x46 + 423x47 + 953x48 + 801x49 + 251x50 + 985x51 + 669x52 + 463x53 + 689x54 + 286x55 + 469x56 + 601x57 + 56x58 + 78x59 + 235x60 + 145x61 + 56x62 + 143x63 + 184x64 + 215x65 + 347x66 + 893x67 + 192x68 + 706x69 + 911x70 + 768x71 + 17x72 + 688x73 + 222x74 + 396x75 + 465x76 + 261x77 + 334x78 + 555x79 + 266x80 + 222x81 + 502x82 + 34x83 + 687x84 + 402x85 + 367x86 + 286x87 + 403x88 + 966x89 + 230x90 + 813x91 + 934x92 + 588x93 + 92x94 + 956x95 + 662x96 + 920x97 + 12x98 + 564x99 + 207x100 <=12075 constr29: + 203x1 + 527x2 + 43x3 + 339x4 + 700x5 + 89x6 + 59x7 + 280x8 + 522x9 + 745x10 + 374x11 + 884x12 + 241x13 + 492x14 + 860x15 + 913x16 + 199x17 + 887x18 + 810x19 + 616x20 + 750x21 + 381x22 + 235x23 + 814x24 + 191x25 + 846x26 + 851x27 + 554x28 + 539x29 + 852x30 + 816x31 + 666x32 + 442x33 + 332x34 + 591x35 + 240x36 + 391x37 + 938x38 + 863x39 + 425x40 + 145x41 + 361x42 + 735x43 + 615x44 + 738x45 + 364x46 + 889x47 + 315x48 + 389x49 + 119x50 + 763x51 + 644x52 + 298x53 + 365x54 + 873x55 + 781x56 + 474x57 + 272x58 + 893x59 + 234x60 + 529x61 + 403x62 + 858x63 + 753x64 + 37x65 + 935x66 + 443x67 + 513x68 + 603x69 + 862x70 + 198x71 + 403x72 + 724x73 + 484x74 + 839x75 + 475x76 + 746x77 + 47x78 + 574x79 + 292x80 + 973x81 + 874x82 + 929x83 + 534x84 + 179x85 + 749x86 + 751x87 + 634x88 + 795x89 + 490x90 + 953x91 + 359x92 + 32x93 + 519x94 + 89x95 + 476x96 + 750x97 + 807x98 + 904x99 + 460x100 <=13686 constr30: + 398x1 + 744x2 + 489x3 + 544x4 + 386x5 + 50x6 + 302x7 + 687x8 + 519x9 + 556x10 + 102x11 + 302x12 + 325x13 + 590x14 + 739x15 + 544x16 + 416x17 + 957x18 + 157x19 + 532x20 + 819x21 + 787x22 + 625x23 + 26x24 + 650x25 + 75x26 + 247x27 + 739x28 + 804x29 + 893x30 + 230x31 + 290x32 + 994x33 + 245x34 + 887x35 + 302x36 + 331x37 + 931x38 + 620x39 + 221x40 + 235x41 + 619x42 + 919x43 + 624x44 + 663x45 + 411x46 + 738x47 + 673x48 + 953x49 + 662x50 + 642x51 + 461x52 + 51x53 + 619x54 + 307x55 + 537x56 + 669x57 + 724x58 + 26x59 + 37x60 + 336x61 + 767x62 + 556x63 + 491x64 + 62x65 + 815x66 + 577x67 + 959x68 + 831x69 + 400x70 + 936x71 + 20x72 + 525x73 + 821x74 + 506x75 + 970x76 + 970x77 + 881x78 + 118x79 + 896x80 + 958x81 + 87x82 + 23x83 + 763x84 + 762x85 + 75x86 + 583x87 + 709x88 + 299x89 + 676x90 + 386x91 + 460x92 + 248x93 + 176x94 + 363x95 + 295x96 + 499x97 + 454x98 + 7x99 + 689x100 <=12894 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 end