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