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