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