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