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