maximize 
objective: + 981x1 + 850x2 + 949x3 + 634x4 + 846x5 + 780x6 + 567x7 + 586x8 + 973x9 + 660x10 + 831x11 + 567x12 + 433x13 + 592x14 + 882x15 + 732x16 + 630x17 + 472x18 + 671x19 + 731x20 + 910x21 + 769x22 + 817x23 + 465x24 + 854x25 + 858x26 + 838x27 + 576x28 + 642x29 + 895x30 + 771x31 + 947x32 + 696x33 + 511x34 + 681x35 + 518x36 + 776x37 + 682x38 + 617x39 + 1046x40 + 842x41 + 1013x42 + 435x43 + 709x44 + 578x45 + 964x46 + 739x47 + 821x48 + 682x49 + 625x50 + 680x51 + 698x52 + 866x53 + 796x54 + 916x55 + 571x56 + 473x57 + 468x58 + 639x59 + 608x60 + 934x61 + 772x62 + 692x63 + 653x64 + 1010x65 + 1069x66 + 585x67 + 849x68 + 903x69 + 920x70 + 895x71 + 835x72 + 701x73 + 1000x74 + 879x75 + 1075x76 + 527x77 + 921x78 + 790x79 + 869x80 + 991x81 + 524x82 + 441x83 + 906x84 + 756x85 + 780x86 + 710x87 + 840x88 + 601x89 + 781x90 + 792x91 + 755x92 + 690x93 + 469x94 + 801x95 + 653x96 + 905x97 + 928x98 + 620x99 + 906x100 
subject to 
constr1: + 831x1 + 622x2 + 275x3 + 332x4 + 220x5 + 590x6 + 144x7 + 735x8 + 765x9 + 978x10 + 131x11 + 819x12 + 254x13 + 169x14 + 770x15 + 258x16 + 886x17 + 12x18 + 301x19 + 699x20 + 293x21 + 234x22 + 267x23 + 26x24 + 681x25 + 370x26 + 280x27 + 434x28 + 165x29 + 450x30 + 601x31 + 667x32 + 232x33 + 851x34 + 661x35 + 532x36 + 369x37 + 80x38 + 915x39 + 623x40 + 436x41 + 922x42 + 19x43 + 895x44 + 582x45 + 838x46 + 558x47 + 530x48 + 272x49 + 297x50 + 469x51 + 702x52 + 621x53 + 24x54 + 323x55 + 45x56 + 58x57 + 410x58 + 49x59 + 960x60 + 835x61 + 962x62 + 133x63 + 357x64 + 840x65 + 950x66 + 393x67 + 32x68 + 337x69 + 793x70 + 236x71 + 891x72 + 839x73 + 305x74 + 924x75 + 301x76 + 206x77 + 399x78 + 935x79 + 699x80 + 492x81 + 361x82 + 100x83 + 898x84 + 755x85 + 474x86 + 740x87 + 136x88 + 246x89 + 372x90 + 647x91 + 245x92 + 76x93 + 875x94 + 288x95 + 356x96 + 791x97 + 257x98 + 616x99 + 361x100 <=23993 
constr2: + 964x1 + 953x2 + 467x3 + 338x4 + 512x5 + 348x6 + 189x7 + 678x8 + 351x9 + 101x10 + 443x11 + 583x12 + 524x13 + 125x14 + 545x15 + 150x16 + 343x17 + 125x18 + 127x19 + 778x20 + 162x21 + 376x22 + 242x23 + 184x24 + 842x25 + 444x26 + 939x27 + 618x28 + 61x29 + 508x30 + 890x31 + 256x32 + 8x33 + 494x34 + 624x35 + 126x36 + 526x37 + 909x38 + 39x39 + 946x40 + 928x41 + 903x42 + 587x43 + 428x44 + 111x45 + 444x46 + 37x47 + 604x48 + 794x49 + 843x50 + 515x51 + 581x52 + 799x53 + 548x54 + 881x55 + 419x56 + 4x57 + 941x58 + 757x59 + 613x60 + 467x61 + 606x62 + 118x63 + 963x64 + 919x65 + 907x66 + 290x67 + 774x68 + 793x69 + 548x70 + 114x71 + 234x72 + 305x73 + 390x74 + 670x75 + 540x76 + 69x77 + 271x78 + 455x79 + 843x80 + 898x81 + 508x82 + 737x83 + 208x84 + 222x85 + 883x86 + 493x87 + 333x88 + 658x89 + 655x90 + 680x91 + 247x92 + 824x93 + 391x94 + 621x95 + 171x96 + 136x97 + 997x98 + 82x99 + 394x100 <=24995 
constr3: + 529x1 + 224x2 + 397x3 + 644x4 + 538x5 + 857x6 + 261x7 + 117x8 + 822x9 + 797x10 + 25x11 + 426x12 + 905x13 + 87x14 + 889x15 + 987x16 + 566x17 + 306x18 + 886x19 + 749x20 + 820x21 + 193x22 + 370x23 + 478x24 + 860x25 + 336x26 + 598x27 + 544x28 + 483x29 + 590x30 + 808x31 + 689x32 + 23x33 + 65x34 + 521x35 + 489x36 + 603x37 + 920x38 + 656x39 + 881x40 + 563x41 + 310x42 + 153x43 + 123x44 + 54x45 + 260x46 + 562x47 + 765x48 + 39x49 + 611x50 + 283x51 + 469x52 + 962x53 + 716x54 + 291x55 + 628x56 + 71x57 + 848x58 + 363x59 + 26x60 + 544x61 + 294x62 + 307x63 + 261x64 + 401x65 + 832x66 + 230x67 + 361x68 + 468x69 + 516x70 + 183x71 + 750x72 + 858x73 + 803x74 + 823x75 + 748x76 + 202x77 + 332x78 + 614x79 + 56x80 + 921x81 + 62x82 + 717x83 + 572x84 + 245x85 + 863x86 + 869x87 + 375x88 + 257x89 + 735x90 + 106x91 + 465x92 + 55x93 + 268x94 + 220x95 + 228x96 + 97x97 + 988x98 + 684x99 + 756x100 <=24551 
constr4: + 254x1 + 828x2 + 665x3 + 933x4 + 277x5 + 436x6 + 973x7 + 23x8 + 963x9 + 318x10 + 627x11 + 194x12 + 797x13 + 322x14 + 940x15 + 577x16 + 51x17 + 131x18 + 558x19 + 760x20 + 594x21 + 975x22 + 435x23 + 221x24 + 441x25 + 457x26 + 379x27 + 144x28 + 614x29 + 166x30 + 922x31 + 450x32 + 72x33 + 593x34 + 423x35 + 998x36 + 299x37 + 767x38 + 345x39 + 410x40 + 643x41 + 323x42 + 753x43 + 645x44 + 89x45 + 455x46 + 511x47 + 445x48 + 918x49 + 263x50 + 79x51 + 111x52 + 27x53 + 245x54 + 72x55 + 398x56 + 116x57 + 355x58 + 416x59 + 615x60 + 296x61 + 629x62 + 328x63 + 427x64 + 418x65 + 98x66 + 808x67 + 642x68 + 637x69 + 759x70 + 868x71 + 119x72 + 697x73 + 234x74 + 105x75 + 695x76 + 295x77 + 694x78 + 944x79 + 185x80 + 606x81 + 555x82 + 647x83 + 956x84 + 339x85 + 555x86 + 615x87 + 308x88 + 650x89 + 477x90 + 458x91 + 379x92 + 256x93 + 41x94 + 704x95 + 646x96 + 548x97 + 880x98 + 670x99 + 383x100 <=24181 
constr5: + 377x1 + 305x2 + 581x3 + 332x4 + 573x5 + 187x6 + 291x7 + 993x8 + 446x9 + 206x10 + 324x11 + 475x12 + 329x13 + 88x14 + 511x15 + 111x16 + 386x17 + 152x18 + 545x19 + 470x20 + 834x21 + 884x22 + 129x23 + 994x24 + 748x25 + 307x26 + 496x27 + 45x28 + 103x29 + 562x30 + 119x31 + 102x32 + 145x33 + 471x34 + 173x35 + 442x36 + 639x37 + 175x38 + 487x39 + 780x40 + 182x41 + 24x42 + 390x43 + 508x44 + 688x45 + 493x46 + 879x47 + 752x48 + 864x49 + 917x50 + 989x51 + 918x52 + 613x53 + 195x54 + 855x55 + 149x56 + 262x57 + 427x58 + 497x59 + 535x60 + 481x61 + 17x62 + 763x63 + 271x64 + 171x65 + 953x66 + 212x67 + 585x68 + 487x69 + 438x70 + 60x71 + 654x72 + 215x73 + 651x74 + 292x75 + 684x76 + 580x77 + 419x78 + 990x79 + 415x80 + 6x81 + 897x82 + 188x83 + 122x84 + 689x85 + 271x86 + 18x87 + 124x88 + 965x89 + 568x90 + 915x91 + 771x92 + 236x93 + 204x94 + 476x95 + 258x96 + 993x97 + 918x98 + 609x99 + 337x100 <=23179 
constr6: + 862x1 + 231x2 + 947x3 + 344x4 + 26x5 + 456x6 + 759x7 + 379x8 + 748x9 + 833x10 + 886x11 + 228x12 + 114x13 + 309x14 + 798x15 + 68x16 + 152x17 + 298x18 + 267x19 + 23x20 + 489x21 + 370x22 + 533x23 + 619x24 + 607x25 + 331x26 + 392x27 + 950x28 + 683x29 + 862x30 + 230x31 + 322x32 + 731x33 + 666x34 + 44x35 + 402x36 + 238x37 + 278x38 + 471x39 + 945x40 + 928x41 + 720x42 + 29x43 + 447x44 + 102x45 + 536x46 + 819x47 + 946x48 + 81x49 + 12x50 + 282x51 + 614x52 + 843x53 + 802x54 + 856x55 + 685x56 + 58x57 + 159x58 + 911x59 + 437x60 + 687x61 + 290x62 + 744x63 + 68x64 + 749x65 + 336x66 + 510x67 + 204x68 + 243x69 + 53x70 + 915x71 + 478x72 + 544x73 + 847x74 + 219x75 + 384x76 + 649x77 + 595x78 + 666x79 + 694x80 + 708x81 + 164x82 + 238x83 + 953x84 + 105x85 + 303x86 + 195x87 + 251x88 + 741x89 + 231x90 + 395x91 + 326x92 + 223x93 + 801x94 + 778x95 + 615x96 + 31x97 + 152x98 + 539x99 + 790x100 <=23786 
constr7: + 273x1 + 422x2 + 996x3 + 282x4 + 477x5 + 303x6 + 985x7 + 246x8 + 811x9 + 973x10 + 868x11 + 918x12 + 257x13 + 290x14 + 576x15 + 224x16 + 661x17 + 482x18 + 48x19 + 411x20 + 497x21 + 876x22 + 770x23 + 352x24 + 881x25 + 932x26 + 298x27 + 747x28 + 374x29 + 42x30 + 584x31 + 488x32 + 632x33 + 192x34 + 34x35 + 637x36 + 293x37 + 423x38 + 815x39 + 835x40 + 180x41 + 790x42 + 832x43 + 276x44 + 104x45 + 479x46 + 463x47 + 971x48 + 198x49 + 578x50 + 485x51 + 398x52 + 853x53 + 741x54 + 461x55 + 381x56 + 23x57 + 154x58 + 153x59 + 919x60 + 499x61 + 487x62 + 64x63 + 289x64 + 929x65 + 572x66 + 692x67 + 334x68 + 250x69 + 631x70 + 301x71 + 773x72 + 653x73 + 799x74 + 616x75 + 862x76 + 850x77 + 370x78 + 869x79 + 330x80 + 780x81 + 999x82 + 531x83 + 492x84 + 561x85 + 491x86 + 851x87 + 331x88 + 616x89 + 572x90 + 839x91 + 101x92 + 351x93 + 287x94 + 425x95 + 11x96 + 610x97 + 937x98 + 515x99 + 71x100 <=26093 
constr8: + 291x1 + 832x2 + 458x3 + 814x4 + 733x5 + 224x6 + 154x7 + 749x8 + 782x9 + 620x10 + 256x11 + 29x12 + 239x13 + 858x14 + 785x15 + 413x16 + 525x17 + 573x18 + 893x19 + 20x20 + 933x21 + 457x22 + 963x23 + 4x24 + 97x25 + 953x26 + 916x27 + 525x28 + 197x29 + 64x30 + 695x31 + 591x32 + 584x33 + 17x34 + 871x35 + 532x36 + 228x37 + 919x38 + 262x39 + 753x40 + 644x41 + 668x42 + 816x43 + 923x44 + 247x45 + 131x46 + 264x47 + 626x48 + 641x49 + 219x50 + 35x51 + 86x52 + 316x53 + 18x54 + 318x55 + 779x56 + 521x57 + 621x58 + 976x59 + 902x60 + 745x61 + 432x62 + 303x63 + 77x64 + 218x65 + 195x66 + 316x67 + 169x68 + 250x69 + 911x70 + 870x71 + 130x72 + 332x73 + 275x74 + 543x75 + 462x76 + 549x77 + 728x78 + 864x79 + 801x80 + 725x81 + 750x82 + 685x83 + 531x84 + 415x85 + 93x86 + 272x87 + 324x88 + 167x89 + 908x90 + 78x91 + 968x92 + 918x93 + 154x94 + 292x95 + 691x96 + 967x97 + 925x98 + 904x99 + 251x100 <=25374 
constr9: + 287x1 + 389x2 + 88x3 + 416x4 + 734x5 + 216x6 + 387x7 + 916x8 + 192x9 + 732x10 + 824x11 + 587x12 + 282x13 + 198x14 + 818x15 + 945x16 + 485x17 + 229x18 + 840x19 + 509x20 + 268x21 + 749x22 + 726x23 + 442x24 + 685x25 + 741x26 + 262x27 + 103x28 + 369x29 + 784x30 + 940x31 + 667x32 + 827x33 + 715x34 + 604x35 + 819x36 + 427x37 + 51x38 + 868x39 + 687x40 + 64x41 + 620x42 + 569x43 + 375x44 + 39x45 + 682x46 + 139x47 + 281x48 + 318x49 + 600x50 + 687x51 + 184x52 + 975x53 + 97x54 + 152x55 + 171x56 + 84x57 + 409x58 + 157x59 + 658x60 + 807x61 + 435x62 + 760x63 + 665x64 + 967x65 + 649x66 + 524x67 + 827x68 + 906x69 + 661x70 + 468x71 + 533x72 + 125x73 + 810x74 + 867x75 + 535x76 + 876x77 + 106x78 + 847x79 + 851x80 + 546x81 + 318x82 + 357x83 + 403x84 + 895x85 + 223x86 + 851x87 + 828x88 + 229x89 + 7x90 + 336x91 + 981x92 + 425x93 + 254x94 + 732x95 + 389x96 + 874x97 + 118x98 + 830x99 + 599x100 <=26242 
constr10: + 891x1 + 173x2 + 697x3 + 39x4 + 639x5 + 118x6 + 670x7 + 642x8 + 665x9 + 926x10 + 944x11 + 559x12 + 105x13 + 128x14 + 505x15 + 503x16 + 94x17 + 647x18 + 584x19 + 910x20 + 303x21 + 550x22 + 40x23 + 134x24 + 55x25 + 474x26 + 183x27 + 503x28 + 20x29 + 986x30 + 387x31 + 809x32 + 22x33 + 268x34 + 796x35 + 150x36 + 711x37 + 527x38 + 505x39 + 16x40 + 431x41 + 848x42 + 156x43 + 901x44 + 772x45 + 709x46 + 437x47 + 724x48 + 556x49 + 978x50 + 607x51 + 807x52 + 794x53 + 759x54 + 156x55 + 158x56 + 218x57 + 342x58 + 473x59 + 335x60 + 949x61 + 750x62 + 170x63 + 104x64 + 163x65 + 713x66 + 804x67 + 936x68 + 212x69 + 421x70 + 549x71 + 184x72 + 188x73 + 661x74 + 939x75 + 733x76 + 626x77 + 677x78 + 102x79 + 355x80 + 487x81 + 72x82 + 207x83 + 736x84 + 567x85 + 217x86 + 149x87 + 605x88 + 353x89 + 891x90 + 764x91 + 37x92 + 45x93 + 841x94 + 572x95 + 339x96 + 867x97 + 221x98 + 490x99 + 526x100 <=24131 
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