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