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