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