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