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