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