maximize 
objective: + 694x1 + 668x2 + 755x3 + 826x4 + 568x5 + 989x6 + 530x7 + 604x8 + 946x9 + 904x10 + 456x11 + 899x12 + 847x13 + 636x14 + 593x15 + 791x16 + 824x17 + 676x18 + 602x19 + 1030x20 + 753x21 + 502x22 + 605x23 + 789x24 + 654x25 + 902x26 + 750x27 + 507x28 + 914x29 + 578x30 + 871x31 + 757x32 + 719x33 + 667x34 + 1046x35 + 863x36 + 610x37 + 1023x38 + 600x39 + 367x40 + 885x41 + 680x42 + 911x43 + 791x44 + 1021x45 + 556x46 + 768x47 + 511x48 + 465x49 + 667x50 + 840x51 + 779x52 + 454x53 + 728x54 + 554x55 + 581x56 + 825x57 + 559x58 + 631x59 + 992x60 + 472x61 + 633x62 + 834x63 + 580x64 + 680x65 + 574x66 + 805x67 + 706x68 + 661x69 + 1175x70 + 972x71 + 863x72 + 549x73 + 662x74 + 620x75 + 994x76 + 777x77 + 738x78 + 756x79 + 683x80 + 635x81 + 934x82 + 769x83 + 363x84 + 687x85 + 715x86 + 614x87 + 838x88 + 636x89 + 630x90 + 478x91 + 961x92 + 785x93 + 713x94 + 792x95 + 744x96 + 562x97 + 838x98 + 446x99 + 1055x100 
subject to 
constr1: + 300x1 + 312x2 + 576x3 + 457x4 + 753x5 + 964x6 + 561x7 + 826x8 + 136x9 + 369x10 + 372x11 + 510x12 + 34x13 + 871x14 + 708x15 + 446x16 + 821x17 + 126x18 + 646x19 + 838x20 + 986x21 + 180x22 + 758x23 + 448x24 + 883x25 + 993x26 + 19x27 + 285x28 + 213x29 + 738x30 + 897x31 + 43x32 + 82x33 + 199x34 + 777x35 + 956x36 + 539x37 + 589x38 + 243x39 + 140x40 + 232x41 + 259x42 + 599x43 + 297x44 + 367x45 + 781x46 + 406x47 + 536x48 + 317x49 + 729x50 + 788x51 + 844x52 + 848x53 + 846x54 + 105x55 + 837x56 + 960x57 + 485x58 + 36x59 + 881x60 + 585x61 + 327x62 + 143x63 + 846x64 + 114x65 + 981x66 + 776x67 + 3x68 + 306x69 + 996x70 + 293x71 + 761x72 + 264x73 + 401x74 + 677x75 + 645x76 + 911x77 + 118x78 + 318x79 + 979x80 + 235x81 + 271x82 + 874x83 + 617x84 + 719x85 + 384x86 + 201x87 + 257x88 + 201x89 + 115x90 + 277x91 + 980x92 + 860x93 + 146x94 + 200x95 + 398x96 + 604x97 + 97x98 + 301x99 + 686x100 <=25307 
constr2: + 727x1 + 393x2 + 192x3 + 689x4 + 360x5 + 259x6 + 55x7 + 428x8 + 243x9 + 859x10 + 701x11 + 926x12 + 895x13 + 584x14 + 115x15 + 927x16 + 191x17 + 508x18 + 117x19 + 891x20 + 231x21 + 656x22 + 518x23 + 52x24 + 918x25 + 990x26 + 299x27 + 955x28 + 752x29 + 307x30 + 807x31 + 684x32 + 313x33 + 226x34 + 836x35 + 828x36 + 104x37 + 154x38 + 908x39 + 412x40 + 313x41 + 843x42 + 459x43 + 275x44 + 841x45 + 50x46 + 749x47 + 364x48 + 392x49 + 562x50 + 807x51 + 437x52 + 56x53 + 903x54 + 334x55 + 394x56 + 711x57 + 48x58 + 17x59 + 285x60 + 142x61 + 620x62 + 783x63 + 807x64 + 343x65 + 578x66 + 768x67 + 594x68 + 1x69 + 885x70 + 446x71 + 422x72 + 307x73 + 846x74 + 607x75 + 128x76 + 770x77 + 608x78 + 745x79 + 186x80 + 290x81 + 593x82 + 868x83 + 493x84 + 678x85 + 197x86 + 566x87 + 127x88 + 496x89 + 914x90 + 810x91 + 364x92 + 887x93 + 132x94 + 213x95 + 685x96 + 243x97 + 390x98 + 878x99 + 611x100 <=25436 
constr3: + 10x1 + 573x2 + 138x3 + 178x4 + 320x5 + 813x6 + 810x7 + 102x8 + 601x9 + 975x10 + 335x11 + 935x12 + 694x13 + 49x14 + 247x15 + 476x16 + 784x17 + 668x18 + 550x19 + 33x20 + 367x21 + 116x22 + 781x23 + 680x24 + 714x25 + 954x26 + 345x27 + 79x28 + 669x29 + 616x30 + 931x31 + 247x32 + 779x33 + 121x34 + 419x35 + 993x36 + 216x37 + 87x38 + 76x39 + 22x40 + 709x41 + 121x42 + 550x43 + 285x44 + 715x45 + 547x46 + 838x47 + 475x48 + 750x49 + 996x50 + 117x51 + 953x52 + 494x53 + 581x54 + 147x55 + 392x56 + 343x57 + 446x58 + 690x59 + 574x60 + 419x61 + 304x62 + 882x63 + 78x64 + 180x65 + 450x66 + 287x67 + 1x68 + 932x69 + 949x70 + 365x71 + 686x72 + 392x73 + 638x74 + 383x75 + 266x76 + 769x77 + 334x78 + 578x79 + 784x80 + 640x81 + 876x82 + 900x83 + 87x84 + 116x85 + 173x86 + 540x87 + 174x88 + 182x89 + 593x90 + 488x91 + 112x92 + 831x93 + 437x94 + 257x95 + 192x96 + 6x97 + 567x98 + 239x99 + 467x100 <=23390 
constr4: + 243x1 + 542x2 + 212x3 + 103x4 + 402x5 + 61x6 + 89x7 + 503x8 + 112x9 + 131x10 + 354x11 + 748x12 + 743x13 + 324x14 + 723x15 + 763x16 + 242x17 + 621x18 + 935x19 + 905x20 + 327x21 + 90x22 + 781x23 + 766x24 + 311x25 + 399x26 + 233x27 + 116x28 + 967x29 + 193x30 + 731x31 + 479x32 + 228x33 + 250x34 + 802x35 + 793x36 + 177x37 + 550x38 + 958x39 + 212x40 + 72x41 + 521x42 + 168x43 + 383x44 + 498x45 + 605x46 + 746x47 + 365x48 + 790x49 + 356x50 + 957x51 + 976x52 + 562x53 + 954x54 + 335x55 + 432x56 + 341x57 + 511x58 + 402x59 + 124x60 + 537x61 + 439x62 + 18x63 + 788x64 + 41x65 + 554x66 + 198x67 + 484x68 + 615x69 + 746x70 + 4x71 + 737x72 + 50x73 + 257x74 + 666x75 + 913x76 + 336x77 + 302x78 + 552x79 + 173x80 + 682x81 + 747x82 + 646x83 + 453x84 + 896x85 + 752x86 + 183x87 + 599x88 + 240x89 + 493x90 + 699x91 + 694x92 + 339x93 + 361x94 + 621x95 + 668x96 + 674x97 + 870x98 + 113x99 + 880x100 <=24119 
constr5: + 298x1 + 841x2 + 276x3 + 15x4 + 748x5 + 562x6 + 840x7 + 610x8 + 844x9 + 784x10 + 294x11 + 290x12 + 676x13 + 257x14 + 618x15 + 910x16 + 256x17 + 68x18 + 389x19 + 649x20 + 97x21 + 231x22 + 477x23 + 52x24 + 685x25 + 872x26 + 788x27 + 54x28 + 653x29 + 549x30 + 371x31 + 429x32 + 36x33 + 577x34 + 317x35 + 804x36 + 944x37 + 988x38 + 99x39 + 418x40 + 827x41 + 970x42 + 387x43 + 182x44 + 606x45 + 591x46 + 904x47 + 669x48 + 26x49 + 39x50 + 208x51 + 23x52 + 142x53 + 16x54 + 663x55 + 396x56 + 112x57 + 363x58 + 799x59 + 706x60 + 115x61 + 343x62 + 212x63 + 251x64 + 20x65 + 252x66 + 936x67 + 992x68 + 253x69 + 328x70 + 731x71 + 25x72 + 782x73 + 260x74 + 441x75 + 904x76 + 375x77 + 548x78 + 649x79 + 488x80 + 510x81 + 584x82 + 1x83 + 520x84 + 609x85 + 605x86 + 139x87 + 903x88 + 74x89 + 83x90 + 429x91 + 975x92 + 501x93 + 637x94 + 451x95 + 514x96 + 435x97 + 410x98 + 205x99 + 829x100 <=23307 
constr6: + 596x1 + 470x2 + 904x3 + 327x4 + 662x5 + 679x6 + 630x7 + 871x8 + 960x9 + 632x10 + 181x11 + 336x12 + 237x13 + 176x14 + 783x15 + 70x16 + 873x17 + 320x18 + 359x19 + 726x20 + 253x21 + 759x22 + 718x23 + 575x24 + 786x25 + 286x26 + 89x27 + 594x28 + 151x29 + 146x30 + 155x31 + 154x32 + 963x33 + 772x34 + 897x35 + 731x36 + 338x37 + 731x38 + 394x39 + 629x40 + 639x41 + 516x42 + 403x43 + 997x44 + 189x45 + 302x46 + 676x47 + 424x48 + 542x49 + 257x50 + 963x51 + 223x52 + 480x53 + 440x54 + 204x55 + 112x56 + 322x57 + 778x58 + 5x59 + 538x60 + 498x61 + 645x62 + 155x63 + 631x64 + 420x65 + 229x66 + 407x67 + 855x68 + 138x69 + 238x70 + 366x71 + 776x72 + 302x73 + 271x74 + 868x75 + 624x76 + 272x77 + 3x78 + 222x79 + 462x80 + 600x81 + 839x82 + 937x83 + 267x84 + 347x85 + 957x86 + 453x87 + 716x88 + 766x89 + 770x90 + 425x91 + 444x92 + 955x93 + 801x94 + 765x95 + 52x96 + 102x97 + 766x98 + 474x99 + 754x100 <=25248 
constr7: + 846x1 + 275x2 + 746x3 + 274x4 + 604x5 + 602x6 + 7x7 + 415x8 + 845x9 + 102x10 + 533x11 + 119x12 + 872x13 + 962x14 + 911x15 + 170x16 + 62x17 + 926x18 + 762x19 + 177x20 + 308x21 + 550x22 + 755x23 + 79x24 + 994x25 + 369x26 + 345x27 + 336x28 + 217x29 + 713x30 + 322x31 + 299x32 + 934x33 + 999x34 + 230x35 + 209x36 + 577x37 + 452x38 + 438x39 + 779x40 + 188x41 + 976x42 + 451x43 + 229x44 + 948x45 + 387x46 + 630x47 + 756x48 + 362x49 + 748x50 + 458x51 + 112x52 + 518x53 + 645x54 + 979x55 + 490x56 + 7x57 + 579x58 + 750x59 + 693x60 + 277x61 + 30x62 + 518x63 + 732x64 + 563x65 + 588x66 + 10x67 + 494x68 + 789x69 + 862x70 + 815x71 + 100x72 + 806x73 + 16x74 + 78x75 + 982x76 + 262x77 + 577x78 + 21x79 + 57x80 + 597x81 + 375x82 + 599x83 + 498x84 + 731x85 + 911x86 + 267x87 + 167x88 + 843x89 + 751x90 + 565x91 + 225x92 + 402x93 + 916x94 + 279x95 + 107x96 + 348x97 + 2x98 + 541x99 + 938x100 <=24830 
constr8: + 113x1 + 575x2 + 747x3 + 970x4 + 657x5 + 702x6 + 782x7 + 860x8 + 85x9 + 397x10 + 589x11 + 313x12 + 113x13 + 310x14 + 39x15 + 669x16 + 891x17 + 445x18 + 897x19 + 804x20 + 36x21 + 221x22 + 173x23 + 398x24 + 481x25 + 667x26 + 932x27 + 921x28 + 361x29 + 752x30 + 775x31 + 867x32 + 27x33 + 968x34 + 953x35 + 724x36 + 623x37 + 227x38 + 429x39 + 237x40 + 993x41 + 878x42 + 254x43 + 276x44 + 709x45 + 305x46 + 362x47 + 554x48 + 246x49 + 206x50 + 262x51 + 378x52 + 580x53 + 111x54 + 688x55 + 498x56 + 777x57 + 284x58 + 222x59 + 879x60 + 826x61 + 135x62 + 698x63 + 810x64 + 317x65 + 352x66 + 802x67 + 212x68 + 39x69 + 639x70 + 913x71 + 619x72 + 867x73 + 453x74 + 47x75 + 138x76 + 105x77 + 432x78 + 417x79 + 673x80 + 116x81 + 323x82 + 937x83 + 73x84 + 154x85 + 90x86 + 252x87 + 406x88 + 90x89 + 398x90 + 5x91 + 195x92 + 727x93 + 461x94 + 20x95 + 47x96 + 838x97 + 207x98 + 6x99 + 185x100 <=23108 
constr9: + 929x1 + 232x2 + 91x3 + 564x4 + 425x5 + 489x6 + 418x7 + 370x8 + 710x9 + 549x10 + 316x11 + 906x12 + 126x13 + 627x14 + 75x15 + 746x16 + 894x17 + 384x18 + 505x19 + 899x20 + 524x21 + 578x22 + 17x23 + 294x24 + 432x25 + 133x26 + 254x27 + 58x28 + 519x29 + 182x30 + 692x31 + 907x32 + 5x33 + 624x34 + 386x35 + 225x36 + 229x37 + 986x38 + 157x39 + 118x40 + 386x41 + 61x42 + 667x43 + 725x44 + 275x45 + 814x46 + 244x47 + 67x48 + 89x49 + 464x50 + 353x51 + 807x52 + 559x53 + 559x54 + 641x55 + 576x56 + 534x57 + 797x58 + 103x59 + 843x60 + 358x61 + 788x62 + 637x63 + 385x64 + 204x65 + 447x66 + 415x67 + 418x68 + 606x69 + 649x70 + 472x71 + 268x72 + 455x73 + 858x74 + 341x75 + 498x76 + 563x77 + 517x78 + 891x79 + 381x80 + 785x81 + 123x82 + 426x83 + 91x84 + 444x85 + 246x86 + 374x87 + 185x88 + 312x89 + 421x90 + 608x91 + 66x92 + 429x93 + 778x94 + 193x95 + 837x96 + 381x97 + 884x98 + 130x99 + 247x100 <=22625 
constr10: + 492x1 + 581x2 + 916x3 + 686x4 + 692x5 + 452x6 + 475x7 + 881x8 + 598x9 + 304x10 + 346x11 + 8x12 + 952x13 + 937x14 + 924x15 + 71x16 + 266x17 + 406x18 + 127x19 + 705x20 + 502x21 + 221x22 + 769x23 + 678x24 + 338x25 + 999x26 + 896x27 + 453x28 + 79x29 + 904x30 + 675x31 + 944x32 + 895x33 + 519x34 + 457x35 + 746x36 + 257x37 + 833x38 + 701x39 + 426x40 + 292x41 + 606x42 + 583x43 + 12x44 + 709x45 + 32x46 + 241x47 + 123x48 + 185x49 + 279x50 + 158x51 + 232x52 + 296x53 + 734x54 + 82x55 + 297x56 + 303x57 + 771x58 + 393x59 + 403x60 + 604x61 + 26x62 + 225x63 + 101x64 + 128x65 + 670x66 + 175x67 + 498x68 + 839x69 + 548x70 + 915x71 + 276x72 + 166x73 + 791x74 + 154x75 + 433x76 + 936x77 + 787x78 + 799x79 + 287x80 + 433x81 + 506x82 + 137x83 + 70x84 + 39x85 + 280x86 + 842x87 + 594x88 + 379x89 + 511x90 + 213x91 + 597x92 + 108x93 + 18x94 + 453x95 + 902x96 + 574x97 + 107x98 + 333x99 + 500x100 <=23398 
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