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