maximize objective: + 594x1 + 635x2 + 719x3 + 961x4 + 582x5 + 856x6 + 656x7 + 692x8 + 817x9 + 722x10 + 802x11 + 630x12 + 600x13 + 711x14 + 871x15 + 701x16 + 404x17 + 769x18 + 967x19 + 960x20 + 842x21 + 801x22 + 1086x23 + 681x24 + 559x25 + 498x26 + 692x27 + 823x28 + 689x29 + 707x30 + 1013x31 + 816x32 + 450x33 + 867x34 + 862x35 + 762x36 + 914x37 + 874x38 + 986x39 + 597x40 + 778x41 + 1048x42 + 662x43 + 854x44 + 590x45 + 1063x46 + 790x47 + 750x48 + 712x49 + 1063x50 + 633x51 + 488x52 + 918x53 + 437x54 + 836x55 + 874x56 + 988x57 + 723x58 + 900x59 + 537x60 + 814x61 + 897x62 + 778x63 + 766x64 + 492x65 + 690x66 + 685x67 + 630x68 + 533x69 + 687x70 + 947x71 + 572x72 + 927x73 + 643x74 + 691x75 + 647x76 + 800x77 + 821x78 + 940x79 + 553x80 + 755x81 + 1009x82 + 756x83 + 375x84 + 352x85 + 907x86 + 741x87 + 621x88 + 519x89 + 1067x90 + 683x91 + 516x92 + 798x93 + 776x94 + 924x95 + 545x96 + 644x97 + 876x98 + 893x99 + 797x100 subject to constr1: + 669x1 + 147x2 + 95x3 + 407x4 + 769x5 + 207x6 + 981x7 + 412x8 + 903x9 + 334x10 + 3x11 + 215x12 + 270x13 + 86x14 + 476x15 + 168x16 + 345x17 + 252x18 + 465x19 + 457x20 + 82x21 + 372x22 + 440x23 + 760x24 + 581x25 + 84x26 + 60x27 + 474x28 + 896x29 + 968x30 + 955x31 + 319x32 + 67x33 + 403x34 + 233x35 + 311x36 + 139x37 + 362x38 + 839x39 + 984x40 + 86x41 + 361x42 + 156x43 + 844x44 + 702x45 + 473x46 + 975x47 + 45x48 + 782x49 + 928x50 + 113x51 + 392x52 + 566x53 + 767x54 + 214x55 + 746x56 + 694x57 + 289x58 + 565x59 + 485x60 + 28x61 + 817x62 + 348x63 + 233x64 + 437x65 + 193x66 + 21x67 + 683x68 + 445x69 + 626x70 + 294x71 + 861x72 + 208x73 + 918x74 + 835x75 + 219x76 + 732x77 + 223x78 + 564x79 + 258x80 + 36x81 + 669x82 + 126x83 + 862x84 + 373x85 + 170x86 + 98x87 + 434x88 + 174x89 + 886x90 + 680x91 + 133x92 + 338x93 + 825x94 + 242x95 + 118x96 + 389x97 + 140x98 + 145x99 + 209x100 <=32372 constr2: + 136x1 + 958x2 + 383x3 + 525x4 + 549x5 + 327x6 + 505x7 + 715x8 + 465x9 + 967x10 + 114x11 + 646x12 + 868x13 + 836x14 + 319x15 + 739x16 + 377x17 + 85x18 + 767x19 + 831x20 + 302x21 + 778x22 + 847x23 + 363x24 + 275x25 + 247x26 + 687x27 + 32x28 + 530x29 + 804x30 + 245x31 + 714x32 + 811x33 + 943x34 + 413x35 + 47x36 + 157x37 + 76x38 + 277x39 + 916x40 + 995x41 + 817x42 + 154x43 + 643x44 + 572x45 + 652x46 + 389x47 + 406x48 + 441x49 + 569x50 + 387x51 + 75x52 + 196x53 + 37x54 + 616x55 + 165x56 + 742x57 + 124x58 + 529x59 + 550x60 + 613x61 + 378x62 + 75x63 + 838x64 + 758x65 + 644x66 + 646x67 + 858x68 + 224x69 + 588x70 + 681x71 + 149x72 + 804x73 + 742x74 + 548x75 + 272x76 + 286x77 + 814x78 + 376x79 + 689x80 + 581x81 + 997x82 + 623x83 + 124x84 + 514x85 + 672x86 + 419x87 + 436x88 + 867x89 + 47x90 + 344x91 + 144x92 + 692x93 + 990x94 + 265x95 + 661x96 + 489x97 + 677x98 + 451x99 + 215x100 <=38120 constr3: + 175x1 + 152x2 + 587x3 + 184x4 + 363x5 + 421x6 + 888x7 + 220x8 + 985x9 + 113x10 + 736x11 + 922x12 + 502x13 + 226x14 + 707x15 + 299x16 + 55x17 + 786x18 + 338x19 + 352x20 + 930x21 + 625x22 + 510x23 + 645x24 + 361x25 + 167x26 + 560x27 + 471x28 + 437x29 + 211x30 + 83x31 + 735x32 + 576x33 + 526x34 + 747x35 + 67x36 + 297x37 + 159x38 + 261x39 + 929x40 + 413x41 + 582x42 + 36x43 + 115x44 + 898x45 + 199x46 + 62x47 + 281x48 + 84x49 + 492x50 + 331x51 + 529x52 + 203x53 + 249x54 + 361x55 + 711x56 + 818x57 + 373x58 + 351x59 + 68x60 + 25x61 + 429x62 + 672x63 + 160x64 + 533x65 + 105x66 + 563x67 + 752x68 + 988x69 + 971x70 + 788x71 + 269x72 + 691x73 + 348x74 + 260x75 + 322x76 + 851x77 + 645x78 + 378x79 + 340x80 + 543x81 + 997x82 + 470x83 + 863x84 + 111x85 + 631x86 + 265x87 + 356x88 + 570x89 + 473x90 + 679x91 + 692x92 + 292x93 + 68x94 + 767x95 + 59x96 + 221x97 + 447x98 + 313x99 + 5x100 <=33282 constr4: + 438x1 + 730x2 + 84x3 + 938x4 + 473x5 + 11x6 + 738x7 + 41x8 + 432x9 + 307x10 + 140x11 + 341x12 + 146x13 + 213x14 + 245x15 + 386x16 + 532x17 + 268x18 + 88x19 + 725x20 + 422x21 + 730x22 + 464x23 + 327x24 + 809x25 + 183x26 + 723x27 + 360x28 + 888x29 + 512x30 + 926x31 + 267x32 + 406x33 + 787x34 + 263x35 + 222x36 + 489x37 + 268x38 + 444x39 + 974x40 + 401x41 + 713x42 + 799x43 + 44x44 + 140x45 + 917x46 + 486x47 + 945x48 + 572x49 + 903x50 + 956x51 + 19x52 + 559x53 + 344x54 + 737x55 + 469x56 + 525x57 + 543x58 + 154x59 + 583x60 + 623x61 + 965x62 + 673x63 + 187x64 + 572x65 + 815x66 + 467x67 + 770x68 + 74x69 + 54x70 + 235x71 + 338x72 + 206x73 + 480x74 + 601x75 + 265x76 + 917x77 + 589x78 + 210x79 + 62x80 + 254x81 + 369x82 + 262x83 + 564x84 + 166x85 + 916x86 + 412x87 + 517x88 + 617x89 + 771x90 + 637x91 + 144x92 + 280x93 + 333x94 + 11x95 + 691x96 + 304x97 + 37x98 + 336x99 + 823x100 <=34572 constr5: + 332x1 + 170x2 + 614x3 + 789x4 + 984x5 + 703x6 + 291x7 + 180x8 + 637x9 + 643x10 + 776x11 + 768x12 + 291x13 + 513x14 + 661x15 + 281x16 + 33x17 + 982x18 + 583x19 + 153x20 + 950x21 + 276x22 + 548x23 + 979x24 + 861x25 + 848x26 + 972x27 + 148x28 + 426x29 + 925x30 + 776x31 + 515x32 + 208x33 + 583x34 + 967x35 + 263x36 + 326x37 + 567x38 + 572x39 + 325x40 + 300x41 + 594x42 + 425x43 + 302x44 + 849x45 + 968x46 + 538x47 + 218x48 + 26x49 + 709x50 + 154x51 + 32x52 + 843x53 + 713x54 + 758x55 + 456x56 + 365x57 + 911x58 + 771x59 + 902x60 + 451x61 + 272x62 + 417x63 + 271x64 + 716x65 + 198x66 + 20x67 + 369x68 + 512x69 + 503x70 + 485x71 + 596x72 + 979x73 + 423x74 + 45x75 + 114x76 + 322x77 + 917x78 + 541x79 + 248x80 + 81x81 + 201x82 + 214x83 + 249x84 + 304x85 + 58x86 + 404x87 + 231x88 + 168x89 + 786x90 + 970x91 + 809x92 + 346x93 + 421x94 + 691x95 + 411x96 + 714x97 + 550x98 + 453x99 + 456x100 <=37627 constr6: + 510x1 + 264x2 + 262x3 + 713x4 + 49x5 + 517x6 + 172x7 + 162x8 + 485x9 + 328x10 + 118x11 + 833x12 + 668x13 + 963x14 + 731x15 + 414x16 + 29x17 + 840x18 + 886x19 + 624x20 + 415x21 + 439x22 + 774x23 + 165x24 + 767x25 + 965x26 + 528x27 + 847x28 + 361x29 + 647x30 + 756x31 + 391x32 + 280x33 + 617x34 + 935x35 + 523x36 + 726x37 + 889x38 + 685x39 + 384x40 + 106x41 + 722x42 + 676x43 + 565x44 + 636x45 + 202x46 + 553x47 + 341x48 + 402x49 + 834x50 + 563x51 + 10x52 + 624x53 + 9x54 + 42x55 + 242x56 + 826x57 + 815x58 + 350x59 + 315x60 + 121x61 + 826x62 + 599x63 + 941x64 + 166x65 + 883x66 + 31x67 + 700x68 + 530x69 + 261x70 + 881x71 + 386x72 + 641x73 + 867x74 + 656x75 + 398x76 + 370x77 + 222x78 + 871x79 + 591x80 + 800x81 + 905x82 + 133x83 + 127x84 + 85x85 + 261x86 + 508x87 + 824x88 + 787x89 + 668x90 + 77x91 + 679x92 + 530x93 + 662x94 + 534x95 + 922x96 + 737x97 + 933x98 + 343x99 + 579x100 <=39398 constr7: + 53x1 + 753x2 + 167x3 + 825x4 + 235x5 + 386x6 + 993x7 + 107x8 + 557x9 + 32x10 + 62x11 + 165x12 + 981x13 + 396x14 + 713x15 + 70x16 + 461x17 + 438x18 + 253x19 + 134x20 + 443x21 + 235x22 + 431x23 + 163x24 + 501x25 + 132x26 + 459x27 + 590x28 + 16x29 + 655x30 + 623x31 + 247x32 + 728x33 + 652x34 + 601x35 + 798x36 + 718x37 + 383x38 + 889x39 + 60x40 + 261x41 + 576x42 + 846x43 + 341x44 + 931x45 + 740x46 + 762x47 + 526x48 + 184x49 + 105x50 + 773x51 + 374x52 + 200x53 + 548x54 + 90x55 + 814x56 + 177x57 + 75x58 + 452x59 + 176x60 + 947x61 + 722x62 + 958x63 + 226x64 + 289x65 + 414x66 + 117x67 + 607x68 + 380x69 + 514x70 + 38x71 + 753x72 + 778x73 + 429x74 + 126x75 + 72x76 + 857x77 + 152x78 + 694x79 + 545x80 + 526x81 + 72x82 + 211x83 + 23x84 + 692x85 + 656x86 + 535x87 + 578x88 + 845x89 + 804x90 + 937x91 + 658x92 + 930x93 + 893x94 + 629x95 + 626x96 + 546x97 + 128x98 + 763x99 + 605x100 <=35498 constr8: + 964x1 + 989x2 + 936x3 + 41x4 + 85x5 + 567x6 + 383x7 + 590x8 + 352x9 + 96x10 + 422x11 + 533x12 + 832x13 + 779x14 + 56x15 + 464x16 + 6x17 + 927x18 + 973x19 + 686x20 + 563x21 + 262x22 + 988x23 + 987x24 + 53x25 + 641x26 + 716x27 + 616x28 + 378x29 + 585x30 + 5x31 + 280x32 + 134x33 + 797x34 + 273x35 + 606x36 + 388x37 + 671x38 + 513x39 + 799x40 + 998x41 + 893x42 + 425x43 + 723x44 + 517x45 + 833x46 + 212x47 + 363x48 + 919x49 + 975x50 + 878x51 + 265x52 + 763x53 + 330x54 + 323x55 + 554x56 + 397x57 + 293x58 + 794x59 + 29x60 + 970x61 + 209x62 + 185x63 + 400x64 + 10x65 + 484x66 + 535x67 + 254x68 + 273x69 + 820x70 + 292x71 + 115x72 + 301x73 + 343x74 + 377x75 + 475x76 + 69x77 + 242x78 + 926x79 + 822x80 + 661x81 + 739x82 + 984x83 + 37x84 + 643x85 + 519x86 + 239x87 + 264x88 + 657x89 + 426x90 + 168x91 + 215x92 + 112x93 + 898x94 + 223x95 + 709x96 + 937x97 + 610x98 + 475x99 + 851x100 <=38167 constr9: + 91x1 + 727x2 + 607x3 + 698x4 + 988x5 + 565x6 + 515x7 + 742x8 + 48x9 + 719x10 + 631x11 + 691x12 + 618x13 + 936x14 + 291x15 + 80x16 + 245x17 + 45x18 + 751x19 + 998x20 + 289x21 + 167x22 + 942x23 + 727x24 + 134x25 + 873x26 + 761x27 + 391x28 + 642x29 + 286x30 + 572x31 + 923x32 + 802x33 + 575x34 + 763x35 + 612x36 + 707x37 + 695x38 + 506x39 + 66x40 + 86x41 + 607x42 + 335x43 + 560x44 + 164x45 + 304x46 + 296x47 + 299x48 + 447x49 + 757x50 + 684x51 + 610x52 + 901x53 + 964x54 + 483x55 + 637x56 + 435x57 + 832x58 + 245x59 + 677x60 + 845x61 + 408x62 + 107x63 + 288x64 + 439x65 + 645x66 + 407x67 + 968x68 + 794x69 + 189x70 + 884x71 + 352x72 + 351x73 + 651x74 + 997x75 + 462x76 + 365x77 + 131x78 + 759x79 + 495x80 + 667x81 + 438x82 + 46x83 + 165x84 + 93x85 + 514x86 + 352x87 + 681x88 + 23x89 + 870x90 + 308x91 + 937x92 + 954x93 + 425x94 + 552x95 + 424x96 + 104x97 + 456x98 + 604x99 + 88x100 <=38985 constr10: + 809x1 + 753x2 + 842x3 + 864x4 + 620x5 + 298x6 + 386x7 + 173x8 + 205x9 + 792x10 + 704x11 + 754x12 + 393x13 + 273x14 + 421x15 + 472x16 + 618x17 + 296x18 + 677x19 + 883x20 + 674x21 + 252x22 + 925x23 + 586x24 + 65x25 + 32x26 + 946x27 + 868x28 + 671x29 + 392x30 + 530x31 + 267x32 + 1x33 + 944x34 + 372x35 + 226x36 + 972x37 + 396x38 + 454x39 + 445x40 + 890x41 + 607x42 + 114x43 + 597x44 + 487x45 + 613x46 + 344x47 + 545x48 + 682x49 + 111x50 + 82x51 + 163x52 + 772x53 + 409x54 + 257x55 + 479x56 + 731x57 + 781x58 + 827x59 + 284x60 + 155x61 + 6x62 + 9x63 + 240x64 + 537x65 + 36x66 + 729x67 + 118x68 + 95x69 + 426x70 + 265x71 + 542x72 + 318x73 + 521x74 + 310x75 + 64x76 + 47x77 + 979x78 + 160x79 + 913x80 + 951x81 + 542x82 + 454x83 + 33x84 + 6x85 + 406x86 + 272x87 + 218x88 + 422x89 + 705x90 + 456x91 + 160x92 + 340x93 + 17x94 + 976x95 + 25x96 + 577x97 + 621x98 + 434x99 + 348x100 <=34094 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