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