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