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