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