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