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