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