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