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