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