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