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