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