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