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