maximize 
objective: + 828x1 + 847x2 + 661x3 + 821x4 + 991x5 + 474x6 + 801x7 + 706x8 + 543x9 + 607x10 + 849x11 + 802x12 + 722x13 + 563x14 + 904x15 + 565x16 + 1084x17 + 805x18 + 837x19 + 481x20 + 612x21 + 622x22 + 689x23 + 948x24 + 865x25 + 827x26 + 745x27 + 828x28 + 931x29 + 649x30 + 732x31 + 752x32 + 749x33 + 806x34 + 707x35 + 615x36 + 602x37 + 841x38 + 1060x39 + 881x40 + 584x41 + 788x42 + 530x43 + 688x44 + 985x45 + 863x46 + 666x47 + 986x48 + 889x49 + 701x50 + 614x51 + 893x52 + 587x53 + 709x54 + 669x55 + 627x56 + 657x57 + 662x58 + 854x59 + 739x60 + 737x61 + 562x62 + 877x63 + 542x64 + 860x65 + 793x66 + 833x67 + 1088x68 + 1123x69 + 496x70 + 888x71 + 567x72 + 662x73 + 561x74 + 561x75 + 732x76 + 816x77 + 888x78 + 633x79 + 680x80 + 1148x81 + 772x82 + 890x83 + 532x84 + 609x85 + 658x86 + 824x87 + 900x88 + 646x89 + 710x90 + 914x91 + 678x92 + 674x93 + 643x94 + 459x95 + 515x96 + 446x97 + 941x98 + 814x99 + 575x100 
subject to 
constr1: + 812x1 + 823x2 + 11x3 + 101x4 + 635x5 + 908x6 + 472x7 + 614x8 + 501x9 + 804x10 + 187x11 + 987x12 + 82x13 + 74x14 + 336x15 + 512x16 + 572x17 + 818x18 + 599x19 + 792x20 + 926x21 + 660x22 + 270x23 + 465x24 + 296x25 + 12x26 + 373x27 + 787x28 + 4x29 + 674x30 + 509x31 + 423x32 + 326x33 + 361x34 + 664x35 + 527x36 + 813x37 + 914x38 + 534x39 + 441x40 + 19x41 + 758x42 + 110x43 + 475x44 + 758x45 + 934x46 + 439x47 + 646x48 + 220x49 + 627x50 + 969x51 + 299x52 + 993x53 + 148x54 + 742x55 + 22x56 + 392x57 + 979x58 + 311x59 + 156x60 + 619x61 + 143x62 + 424x63 + 645x64 + 202x65 + 751x66 + 500x67 + 570x68 + 421x69 + 587x70 + 87x71 + 285x72 + 234x73 + 58x74 + 189x75 + 667x76 + 949x77 + 818x78 + 325x79 + 978x80 + 843x81 + 340x82 + 149x83 + 411x84 + 365x85 + 636x86 + 164x87 + 206x88 + 749x89 + 729x90 + 306x91 + 792x92 + 953x93 + 384x94 + 80x95 + 741x96 + 394x97 + 1000x98 + 70x99 + 869x100 <=25125 
constr2: + 692x1 + 326x2 + 865x3 + 632x4 + 579x5 + 751x6 + 793x7 + 929x8 + 425x9 + 303x10 + 531x11 + 933x12 + 234x13 + 84x14 + 131x15 + 408x16 + 852x17 + 913x18 + 288x19 + 419x20 + 23x21 + 507x22 + 477x23 + 623x24 + 272x25 + 750x26 + 411x27 + 895x28 + 229x29 + 53x30 + 503x31 + 273x32 + 8x33 + 852x34 + 868x35 + 564x36 + 860x37 + 749x38 + 865x39 + 143x40 + 337x41 + 516x42 + 161x43 + 989x44 + 951x45 + 619x46 + 717x47 + 705x48 + 716x49 + 861x50 + 593x51 + 883x52 + 406x53 + 195x54 + 129x55 + 480x56 + 687x57 + 912x58 + 921x59 + 420x60 + 803x61 + 485x62 + 111x63 + 839x64 + 515x65 + 436x66 + 593x67 + 215x68 + 959x69 + 437x70 + 998x71 + 395x72 + 597x73 + 905x74 + 814x75 + 755x76 + 932x77 + 642x78 + 425x79 + 536x80 + 911x81 + 375x82 + 592x83 + 719x84 + 162x85 + 609x86 + 445x87 + 709x88 + 838x89 + 791x90 + 539x91 + 218x92 + 589x93 + 345x94 + 549x95 + 365x96 + 740x97 + 598x98 + 32x99 + 387x100 <=28058 
constr3: + 523x1 + 62x2 + 968x3 + 286x4 + 502x5 + 399x6 + 587x7 + 199x8 + 648x9 + 249x10 + 352x11 + 268x12 + 612x13 + 904x14 + 293x15 + 872x16 + 396x17 + 500x18 + 186x19 + 629x20 + 982x21 + 626x22 + 529x23 + 554x24 + 593x25 + 544x26 + 123x27 + 396x28 + 971x29 + 947x30 + 977x31 + 702x32 + 576x33 + 113x34 + 591x35 + 856x36 + 570x37 + 246x38 + 840x39 + 113x40 + 875x41 + 167x42 + 241x43 + 317x44 + 148x45 + 143x46 + 967x47 + 644x48 + 515x49 + 252x50 + 64x51 + 768x52 + 901x53 + 441x54 + 883x55 + 516x56 + 897x57 + 163x58 + 782x59 + 916x60 + 113x61 + 571x62 + 179x63 + 145x64 + 679x65 + 637x66 + 170x67 + 121x68 + 779x69 + 244x70 + 197x71 + 417x72 + 534x73 + 364x74 + 717x75 + 538x76 + 301x77 + 877x78 + 384x79 + 932x80 + 767x81 + 186x82 + 903x83 + 165x84 + 997x85 + 509x86 + 320x87 + 88x88 + 420x89 + 985x90 + 825x91 + 421x92 + 828x93 + 412x94 + 191x95 + 524x96 + 998x97 + 691x98 + 50x99 + 609x100 <=25836 
constr4: + 24x1 + 980x2 + 777x3 + 855x4 + 775x5 + 137x6 + 52x7 + 301x8 + 81x9 + 905x10 + 342x11 + 992x12 + 168x13 + 254x14 + 638x15 + 534x16 + 661x17 + 726x18 + 129x19 + 541x20 + 618x21 + 658x22 + 962x23 + 847x24 + 470x25 + 897x26 + 525x27 + 775x28 + 703x29 + 426x30 + 758x31 + 520x32 + 425x33 + 51x34 + 965x35 + 66x36 + 360x37 + 789x38 + 862x39 + 876x40 + 183x41 + 347x42 + 369x43 + 440x44 + 878x45 + 110x46 + 854x47 + 865x48 + 973x49 + 931x50 + 790x51 + 581x52 + 556x53 + 535x54 + 786x55 + 410x56 + 542x57 + 535x58 + 492x59 + 426x60 + 873x61 + 466x62 + 704x63 + 102x64 + 790x65 + 611x66 + 176x67 + 980x68 + 656x69 + 184x70 + 714x71 + 353x72 + 455x73 + 36x74 + 26x75 + 948x76 + 58x77 + 45x78 + 15x79 + 591x80 + 470x81 + 820x82 + 351x83 + 199x84 + 600x85 + 599x86 + 1000x87 + 230x88 + 772x89 + 321x90 + 902x91 + 133x92 + 820x93 + 532x94 + 406x95 + 275x96 + 79x97 + 364x98 + 20x99 + 188x100 <=25946 
constr5: + 31x1 + 195x2 + 753x3 + 258x4 + 505x5 + 428x6 + 369x7 + 620x8 + 10x9 + 48x10 + 464x11 + 889x12 + 838x13 + 106x14 + 587x15 + 282x16 + 424x17 + 771x18 + 958x19 + 475x20 + 112x21 + 100x22 + 56x23 + 608x24 + 1000x25 + 584x26 + 32x27 + 935x28 + 245x29 + 797x30 + 439x31 + 105x32 + 230x33 + 790x34 + 2x35 + 792x36 + 325x37 + 993x38 + 718x39 + 848x40 + 272x41 + 209x42 + 194x43 + 677x44 + 527x45 + 284x46 + 770x47 + 8x48 + 307x49 + 138x50 + 890x51 + 753x52 + 899x53 + 970x54 + 525x55 + 691x56 + 406x57 + 444x58 + 864x59 + 722x60 + 695x61 + 414x62 + 569x63 + 973x64 + 299x65 + 640x66 + 135x67 + 971x68 + 132x69 + 686x70 + 888x71 + 384x72 + 291x73 + 856x74 + 309x75 + 316x76 + 368x77 + 403x78 + 206x79 + 983x80 + 297x81 + 421x82 + 676x83 + 879x84 + 460x85 + 579x86 + 139x87 + 813x88 + 564x89 + 107x90 + 132x91 + 19x92 + 989x93 + 272x94 + 116x95 + 694x96 + 824x97 + 817x98 + 238x99 + 251x100 <=24539 
constr6: + 365x1 + 848x2 + 960x3 + 107x4 + 516x5 + 180x6 + 328x7 + 910x8 + 417x9 + 526x10 + 693x11 + 105x12 + 819x13 + 275x14 + 310x15 + 951x16 + 811x17 + 590x18 + 995x19 + 536x20 + 916x21 + 730x22 + 341x23 + 652x24 + 911x25 + 746x26 + 742x27 + 462x28 + 996x29 + 562x30 + 975x31 + 529x32 + 616x33 + 770x34 + 278x35 + 723x36 + 1x37 + 77x38 + 348x39 + 771x40 + 186x41 + 37x42 + 296x43 + 396x44 + 831x45 + 292x46 + 662x47 + 735x48 + 888x49 + 755x50 + 916x51 + 243x52 + 365x53 + 411x54 + 714x55 + 956x56 + 933x57 + 693x58 + 143x59 + 363x60 + 847x61 + 514x62 + 196x63 + 747x64 + 933x65 + 593x66 + 681x67 + 63x68 + 876x69 + 540x70 + 649x71 + 491x72 + 876x73 + 337x74 + 574x75 + 10x76 + 135x77 + 929x78 + 20x79 + 745x80 + 851x81 + 307x82 + 759x83 + 909x84 + 727x85 + 646x86 + 588x87 + 706x88 + 984x89 + 824x90 + 745x91 + 78x92 + 409x93 + 482x94 + 323x95 + 754x96 + 52x97 + 943x98 + 42x99 + 14x100 <=28051 
constr7: + 35x1 + 800x2 + 622x3 + 334x4 + 837x5 + 145x6 + 121x7 + 617x8 + 66x9 + 114x10 + 250x11 + 771x12 + 548x13 + 565x14 + 644x15 + 408x16 + 819x17 + 330x18 + 411x19 + 423x20 + 143x21 + 332x22 + 538x23 + 112x24 + 627x25 + 977x26 + 964x27 + 677x28 + 702x29 + 300x30 + 961x31 + 130x32 + 288x33 + 722x34 + 540x35 + 540x36 + 951x37 + 662x38 + 255x39 + 858x40 + 568x41 + 869x42 + 398x43 + 743x44 + 516x45 + 866x46 + 187x47 + 898x48 + 831x49 + 527x50 + 278x51 + 372x52 + 250x53 + 728x54 + 706x55 + 863x56 + 907x57 + 375x58 + 73x59 + 854x60 + 226x61 + 622x62 + 69x63 + 17x64 + 907x65 + 569x66 + 91x67 + 629x68 + 481x69 + 175x70 + 560x71 + 357x72 + 657x73 + 461x74 + 624x75 + 867x76 + 746x77 + 97x78 + 499x79 + 205x80 + 725x81 + 238x82 + 166x83 + 23x84 + 297x85 + 308x86 + 235x87 + 556x88 + 339x89 + 221x90 + 784x91 + 596x92 + 728x93 + 192x94 + 727x95 + 644x96 + 74x97 + 542x98 + 771x99 + 561x100 <=24767 
constr8: + 379x1 + 525x2 + 653x3 + 170x4 + 117x5 + 247x6 + 970x7 + 328x8 + 150x9 + 394x10 + 957x11 + 975x12 + 836x13 + 862x14 + 699x15 + 57x16 + 964x17 + 921x18 + 835x19 + 7x20 + 242x21 + 994x22 + 810x23 + 423x24 + 1000x25 + 840x26 + 327x27 + 340x28 + 743x29 + 240x30 + 563x31 + 736x32 + 358x33 + 31x34 + 878x35 + 177x36 + 109x37 + 293x38 + 122x39 + 519x40 + 632x41 + 750x42 + 737x43 + 449x44 + 500x45 + 200x46 + 845x47 + 667x48 + 692x49 + 663x50 + 19x51 + 160x52 + 312x53 + 343x54 + 278x55 + 134x56 + 754x57 + 878x58 + 525x59 + 23x60 + 472x61 + 199x62 + 724x63 + 601x64 + 744x65 + 334x66 + 611x67 + 850x68 + 864x69 + 63x70 + 649x71 + 574x72 + 480x73 + 637x74 + 438x75 + 227x76 + 966x77 + 987x78 + 755x79 + 251x80 + 767x81 + 948x82 + 258x83 + 551x84 + 782x85 + 316x86 + 197x87 + 435x88 + 390x89 + 242x90 + 472x91 + 742x92 + 823x93 + 588x94 + 229x95 + 46x96 + 627x97 + 393x98 + 723x99 + 789x100 <=26048 
constr9: + 614x1 + 188x2 + 230x3 + 606x4 + 743x5 + 614x6 + 765x7 + 269x8 + 944x9 + 360x10 + 158x11 + 186x12 + 7x13 + 746x14 + 57x15 + 308x16 + 722x17 + 359x18 + 687x19 + 309x20 + 301x21 + 813x22 + 817x23 + 369x24 + 268x25 + 510x26 + 632x27 + 701x28 + 14x29 + 416x30 + 583x31 + 418x32 + 503x33 + 468x34 + 194x35 + 935x36 + 620x37 + 721x38 + 846x39 + 127x40 + 828x41 + 390x42 + 734x43 + 592x44 + 611x45 + 41x46 + 184x47 + 687x48 + 278x49 + 858x50 + 284x51 + 947x52 + 30x53 + 95x54 + 471x55 + 368x56 + 45x57 + 470x58 + 899x59 + 872x60 + 833x61 + 164x62 + 591x63 + 521x64 + 443x65 + 872x66 + 749x67 + 857x68 + 999x69 + 855x70 + 608x71 + 713x72 + 241x73 + 13x74 + 970x75 + 797x76 + 540x77 + 368x78 + 903x79 + 231x80 + 897x81 + 365x82 + 867x83 + 286x84 + 345x85 + 839x86 + 380x87 + 331x88 + 699x89 + 675x90 + 878x91 + 909x92 + 5x93 + 180x94 + 875x95 + 241x96 + 419x97 + 768x98 + 983x99 + 179x100 <=26101 
constr10: + 760x1 + 391x2 + 244x3 + 531x4 + 415x5 + 406x6 + 539x7 + 104x8 + 904x9 + 512x10 + 741x11 + 918x12 + 99x13 + 63x14 + 501x15 + 703x16 + 934x17 + 349x18 + 213x19 + 210x20 + 151x21 + 430x22 + 531x23 + 605x24 + 368x25 + 793x26 + 130x27 + 84x28 + 254x29 + 922x30 + 399x31 + 151x32 + 703x33 + 793x34 + 442x35 + 445x36 + 422x37 + 73x38 + 225x39 + 563x40 + 505x41 + 880x42 + 723x43 + 547x44 + 13x45 + 840x46 + 825x47 + 84x48 + 942x49 + 178x50 + 677x51 + 13x52 + 88x53 + 742x54 + 232x55 + 497x56 + 452x57 + 418x58 + 708x59 + 609x60 + 76x61 + 808x62 + 310x63 + 764x64 + 549x65 + 774x66 + 618x67 + 911x68 + 103x69 + 756x70 + 459x71 + 429x72 + 365x73 + 824x74 + 137x75 + 973x76 + 765x77 + 985x78 + 129x79 + 526x80 + 967x81 + 733x82 + 434x83 + 875x84 + 38x85 + 555x86 + 701x87 + 559x88 + 240x89 + 416x90 + 835x91 + 39x92 + 317x93 + 298x94 + 748x95 + 218x96 + 9x97 + 366x98 + 755x99 + 745x100 <=24552 
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