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