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