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