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