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