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