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