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