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