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