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