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