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