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