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