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