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