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