{"size": 190538, "ext": "rktd", "max_stars_repo_path": "data/7.8.0.5/tetris-2020-08-26.rktd", "max_stars_repo_name": "bennn/g-pldi-2022", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "data/7.8.0.5/tetris-2020-08-26.rktd", "max_issues_repo_name": "bennn/g-pldi-2022", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "data/7.8.0.5/tetris-2020-08-26.rktd", "max_forks_repo_name": "bennn/g-pldi-2022", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 370.6964980545, "max_line_length": 379, "alphanum_fraction": 0.6801950267}
#lang gtp-measure/output/typed-untyped
("000000000" ("cpu time: 823 real time: 825 gc time: 4" "cpu time: 830 real time: 831 gc time: 4" "cpu time: 826 real time: 827 gc time: 3" "cpu time: 830 real time: 826 gc time: 3" "cpu time: 844 real time: 842 gc time: 6" "cpu time: 830 real time: 828 gc time: 4" "cpu time: 827 real time: 827 gc time: 3" "cpu time: 823 real time: 824 gc time: 4"))
("000000001" ("cpu time: 893 real time: 889 gc time: 43" "cpu time: 887 real time: 888 gc time: 37" "cpu time: 887 real time: 885 gc time: 40" "cpu time: 890 real time: 886 gc time: 40" "cpu time: 897 real time: 895 gc time: 47" "cpu time: 890 real time: 889 gc time: 40" "cpu time: 884 real time: 885 gc time: 40" "cpu time: 893 real time: 892 gc time: 43"))
("000000010" ("cpu time: 873 real time: 870 gc time: 40" "cpu time: 876 real time: 875 gc time: 40" "cpu time: 870 real time: 872 gc time: 40" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 877 real time: 876 gc time: 37" "cpu time: 873 real time: 872 gc time: 40"))
("000000011" ("cpu time: 900 real time: 898 gc time: 40" "cpu time: 887 real time: 887 gc time: 40" "cpu time: 887 real time: 885 gc time: 40" "cpu time: 893 real time: 888 gc time: 40" "cpu time: 894 real time: 893 gc time: 43" "cpu time: 890 real time: 889 gc time: 40" "cpu time: 887 real time: 887 gc time: 40" "cpu time: 890 real time: 892 gc time: 37"))
("000000100" ("cpu time: 883 real time: 882 gc time: 50" "cpu time: 887 real time: 882 gc time: 43" "cpu time: 870 real time: 871 gc time: 43" "cpu time: 874 real time: 871 gc time: 43" "cpu time: 893 real time: 893 gc time: 43" "cpu time: 877 real time: 873 gc time: 40" "cpu time: 884 real time: 881 gc time: 40" "cpu time: 873 real time: 872 gc time: 44"))
("000000101" ("cpu time: 906 real time: 907 gc time: 50" "cpu time: 897 real time: 896 gc time: 43" "cpu time: 896 real time: 899 gc time: 40" "cpu time: 906 real time: 906 gc time: 40" "cpu time: 900 real time: 897 gc time: 43" "cpu time: 900 real time: 900 gc time: 44" "cpu time: 907 real time: 907 gc time: 50" "cpu time: 906 real time: 908 gc time: 40"))
("000000110" ("cpu time: 896 real time: 897 gc time: 44" "cpu time: 887 real time: 884 gc time: 40" "cpu time: 896 real time: 897 gc time: 50" "cpu time: 893 real time: 892 gc time: 40" "cpu time: 890 real time: 890 gc time: 43" "cpu time: 890 real time: 887 gc time: 43" "cpu time: 890 real time: 889 gc time: 40" "cpu time: 890 real time: 891 gc time: 43"))
("000000111" ("cpu time: 903 real time: 900 gc time: 44" "cpu time: 904 real time: 902 gc time: 43" "cpu time: 910 real time: 911 gc time: 43" "cpu time: 907 real time: 905 gc time: 50" "cpu time: 907 real time: 903 gc time: 40" "cpu time: 900 real time: 900 gc time: 43" "cpu time: 906 real time: 907 gc time: 44" "cpu time: 896 real time: 900 gc time: 40"))
("000001000" ("cpu time: 943 real time: 942 gc time: 40" "cpu time: 930 real time: 929 gc time: 37" "cpu time: 927 real time: 925 gc time: 40" "cpu time: 927 real time: 926 gc time: 43" "cpu time: 927 real time: 924 gc time: 40" "cpu time: 933 real time: 934 gc time: 46" "cpu time: 927 real time: 927 gc time: 40" "cpu time: 934 real time: 929 gc time: 40"))
("000001001" ("cpu time: 943 real time: 944 gc time: 40" "cpu time: 943 real time: 942 gc time: 40" "cpu time: 950 real time: 946 gc time: 47" "cpu time: 946 real time: 944 gc time: 40" "cpu time: 946 real time: 943 gc time: 44" "cpu time: 943 real time: 942 gc time: 40" "cpu time: 953 real time: 949 gc time: 47" "cpu time: 946 real time: 943 gc time: 40"))
("000001010" ("cpu time: 937 real time: 938 gc time: 40" "cpu time: 950 real time: 948 gc time: 43" "cpu time: 950 real time: 947 gc time: 40" "cpu time: 950 real time: 953 gc time: 50" "cpu time: 940 real time: 939 gc time: 44" "cpu time: 937 real time: 934 gc time: 40" "cpu time: 937 real time: 938 gc time: 40" "cpu time: 933 real time: 935 gc time: 40"))
("000001011" ("cpu time: 950 real time: 948 gc time: 40" "cpu time: 946 real time: 945 gc time: 36" "cpu time: 947 real time: 948 gc time: 44" "cpu time: 950 real time: 947 gc time: 40" "cpu time: 947 real time: 944 gc time: 40" "cpu time: 957 real time: 955 gc time: 40" "cpu time: 947 real time: 945 gc time: 40" "cpu time: 947 real time: 946 gc time: 40"))
("000001100" ("cpu time: 940 real time: 939 gc time: 43" "cpu time: 944 real time: 939 gc time: 44" "cpu time: 967 real time: 965 gc time: 43" "cpu time: 943 real time: 942 gc time: 43" "cpu time: 936 real time: 940 gc time: 40" "cpu time: 946 real time: 947 gc time: 43" "cpu time: 940 real time: 939 gc time: 44" "cpu time: 940 real time: 938 gc time: 40"))
("000001101" ("cpu time: 970 real time: 970 gc time: 40" "cpu time: 953 real time: 953 gc time: 40" "cpu time: 967 real time: 968 gc time: 40" "cpu time: 953 real time: 955 gc time: 43" "cpu time: 956 real time: 956 gc time: 44" "cpu time: 960 real time: 958 gc time: 40" "cpu time: 960 real time: 960 gc time: 43" "cpu time: 974 real time: 972 gc time: 44"))
("000001110" ("cpu time: 963 real time: 961 gc time: 43" "cpu time: 950 real time: 950 gc time: 44" "cpu time: 957 real time: 956 gc time: 43" "cpu time: 957 real time: 958 gc time: 43" "cpu time: 953 real time: 953 gc time: 43" "cpu time: 953 real time: 952 gc time: 47" "cpu time: 963 real time: 961 gc time: 47" "cpu time: 970 real time: 967 gc time: 43"))
("000001111" ("cpu time: 1000 real time: 999 gc time: 40" "cpu time: 956 real time: 957 gc time: 40" "cpu time: 956 real time: 958 gc time: 40" "cpu time: 960 real time: 958 gc time: 43" "cpu time: 970 real time: 967 gc time: 53" "cpu time: 957 real time: 957 gc time: 40" "cpu time: 960 real time: 957 gc time: 43" "cpu time: 960 real time: 959 gc time: 46"))
("000010000" ("cpu time: 5063 real time: 5061 gc time: 63" "cpu time: 5094 real time: 5092 gc time: 61" "cpu time: 5080 real time: 5077 gc time: 60" "cpu time: 5066 real time: 5067 gc time: 63" "cpu time: 5070 real time: 5068 gc time: 63" "cpu time: 5057 real time: 5056 gc time: 63" "cpu time: 5093 real time: 5094 gc time: 63" "cpu time: 5100 real time: 5099 gc time: 66"))
("000010001" ("cpu time: 5040 real time: 5043 gc time: 40" "cpu time: 5050 real time: 5050 gc time: 44" "cpu time: 5134 real time: 5134 gc time: 40" "cpu time: 5090 real time: 5089 gc time: 40" "cpu time: 5047 real time: 5045 gc time: 52" "cpu time: 5047 real time: 5047 gc time: 40" "cpu time: 5173 real time: 5174 gc time: 40" "cpu time: 5073 real time: 5074 gc time: 40"))
("000010010" ("cpu time: 5123 real time: 5124 gc time: 40" "cpu time: 5113 real time: 5111 gc time: 44" "cpu time: 5107 real time: 5109 gc time: 40" "cpu time: 5167 real time: 5166 gc time: 43" "cpu time: 5110 real time: 5108 gc time: 40" "cpu time: 5050 real time: 5051 gc time: 40" "cpu time: 5120 real time: 5119 gc time: 40" "cpu time: 5143 real time: 5144 gc time: 40"))
("000010011" ("cpu time: 5103 real time: 5103 gc time: 40" "cpu time: 5110 real time: 5110 gc time: 40" "cpu time: 5060 real time: 5058 gc time: 50" "cpu time: 5100 real time: 5095 gc time: 43" "cpu time: 5070 real time: 5068 gc time: 40" "cpu time: 5090 real time: 5089 gc time: 37" "cpu time: 5067 real time: 5064 gc time: 40" "cpu time: 5113 real time: 5110 gc time: 40"))
("000010100" ("cpu time: 5090 real time: 5091 gc time: 43" "cpu time: 5154 real time: 5153 gc time: 40" "cpu time: 5274 real time: 5271 gc time: 44" "cpu time: 5040 real time: 5038 gc time: 40" "cpu time: 5124 real time: 5123 gc time: 47" "cpu time: 5050 real time: 5050 gc time: 40" "cpu time: 5120 real time: 5119 gc time: 43" "cpu time: 5116 real time: 5117 gc time: 40"))
("000010101" ("cpu time: 5053 real time: 5052 gc time: 43" "cpu time: 5033 real time: 5033 gc time: 44" "cpu time: 5030 real time: 5029 gc time: 40" "cpu time: 5024 real time: 5019 gc time: 43" "cpu time: 5090 real time: 5087 gc time: 47" "cpu time: 5047 real time: 5047 gc time: 40" "cpu time: 5040 real time: 5041 gc time: 44" "cpu time: 5124 real time: 5123 gc time: 44"))
("000010110" ("cpu time: 5050 real time: 5050 gc time: 40" "cpu time: 5003 real time: 5002 gc time: 43" "cpu time: 5117 real time: 5115 gc time: 43" "cpu time: 5050 real time: 5050 gc time: 40" "cpu time: 5327 real time: 5325 gc time: 44" "cpu time: 5100 real time: 5097 gc time: 43" "cpu time: 5040 real time: 5038 gc time: 44" "cpu time: 5020 real time: 5019 gc time: 40"))
("000010111" ("cpu time: 5153 real time: 5152 gc time: 43" "cpu time: 5117 real time: 5118 gc time: 44" "cpu time: 5010 real time: 5010 gc time: 40" "cpu time: 5173 real time: 5171 gc time: 44" "cpu time: 5006 real time: 5007 gc time: 44" "cpu time: 5033 real time: 5034 gc time: 40" "cpu time: 5037 real time: 5035 gc time: 43" "cpu time: 5057 real time: 5057 gc time: 43"))
("000011000" ("cpu time: 5117 real time: 5114 gc time: 47" "cpu time: 5113 real time: 5114 gc time: 40" "cpu time: 5130 real time: 5129 gc time: 43" "cpu time: 5110 real time: 5111 gc time: 40" "cpu time: 5177 real time: 5178 gc time: 36" "cpu time: 5110 real time: 5105 gc time: 40" "cpu time: 9696 real time: 9693 gc time: 40" "cpu time: 5230 real time: 5228 gc time: 44"))
("000011001" ("cpu time: 5090 real time: 5088 gc time: 40" "cpu time: 5107 real time: 5106 gc time: 40" "cpu time: 5093 real time: 5091 gc time: 40" "cpu time: 5100 real time: 5102 gc time: 43" "cpu time: 5090 real time: 5086 gc time: 40" "cpu time: 5077 real time: 5078 gc time: 40" "cpu time: 5080 real time: 5080 gc time: 37" "cpu time: 5087 real time: 5089 gc time: 40"))
("000011010" ("cpu time: 5150 real time: 5147 gc time: 40" "cpu time: 5234 real time: 5233 gc time: 40" "cpu time: 5130 real time: 5128 gc time: 40" "cpu time: 5140 real time: 5139 gc time: 40" "cpu time: 5140 real time: 5137 gc time: 43" "cpu time: 5150 real time: 5147 gc time: 37" "cpu time: 5224 real time: 5223 gc time: 40" "cpu time: 5130 real time: 5130 gc time: 43"))
("000011011" ("cpu time: 5157 real time: 5156 gc time: 40" "cpu time: 5104 real time: 5102 gc time: 37" "cpu time: 5107 real time: 5104 gc time: 40" "cpu time: 5327 real time: 5327 gc time: 40" "cpu time: 5136 real time: 5136 gc time: 40" "cpu time: 5130 real time: 5129 gc time: 40" "cpu time: 5154 real time: 5150 gc time: 44" "cpu time: 5170 real time: 5168 gc time: 43"))
("000011100" ("cpu time: 5120 real time: 5120 gc time: 40" "cpu time: 5110 real time: 5110 gc time: 43" "cpu time: 5137 real time: 5137 gc time: 44" "cpu time: 5253 real time: 5248 gc time: 43" "cpu time: 5150 real time: 5148 gc time: 44" "cpu time: 5137 real time: 5137 gc time: 43" "cpu time: 5130 real time: 5129 gc time: 46" "cpu time: 5087 real time: 5088 gc time: 43"))
("000011101" ("cpu time: 5110 real time: 5110 gc time: 44" "cpu time: 5070 real time: 5068 gc time: 43" "cpu time: 5087 real time: 5083 gc time: 43" "cpu time: 5113 real time: 5113 gc time: 40" "cpu time: 5160 real time: 5159 gc time: 43" "cpu time: 5143 real time: 5142 gc time: 40" "cpu time: 5100 real time: 5100 gc time: 44" "cpu time: 5070 real time: 5067 gc time: 43"))
("000011110" ("cpu time: 5080 real time: 5077 gc time: 44" "cpu time: 5084 real time: 5081 gc time: 43" "cpu time: 5056 real time: 5053 gc time: 46" "cpu time: 5110 real time: 5111 gc time: 40" "cpu time: 5063 real time: 5066 gc time: 40" "cpu time: 5144 real time: 5138 gc time: 43" "cpu time: 5116 real time: 5119 gc time: 40" "cpu time: 5203 real time: 5201 gc time: 43"))
("000011111" ("cpu time: 5103 real time: 5105 gc time: 43" "cpu time: 5127 real time: 5127 gc time: 43" "cpu time: 5050 real time: 5048 gc time: 40" "cpu time: 5177 real time: 5175 gc time: 40" "cpu time: 5063 real time: 5062 gc time: 47" "cpu time: 5073 real time: 5071 gc time: 43" "cpu time: 5067 real time: 5065 gc time: 40" "cpu time: 5100 real time: 5101 gc time: 40"))
("000100000" ("cpu time: 883 real time: 881 gc time: 60" "cpu time: 883 real time: 885 gc time: 60" "cpu time: 904 real time: 901 gc time: 60" "cpu time: 880 real time: 881 gc time: 56" "cpu time: 890 real time: 889 gc time: 64" "cpu time: 880 real time: 880 gc time: 60" "cpu time: 886 real time: 885 gc time: 56" "cpu time: 883 real time: 882 gc time: 63"))
("000100001" ("cpu time: 893 real time: 893 gc time: 47" "cpu time: 887 real time: 884 gc time: 44" "cpu time: 887 real time: 885 gc time: 43" "cpu time: 890 real time: 887 gc time: 40" "cpu time: 884 real time: 884 gc time: 40" "cpu time: 896 real time: 896 gc time: 40" "cpu time: 907 real time: 904 gc time: 44" "cpu time: 890 real time: 887 gc time: 40"))
("000100010" ("cpu time: 884 real time: 883 gc time: 50" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 897 real time: 893 gc time: 44" "cpu time: 894 real time: 893 gc time: 50" "cpu time: 883 real time: 882 gc time: 50" "cpu time: 880 real time: 880 gc time: 46"))
("000100011" ("cpu time: 897 real time: 895 gc time: 44" "cpu time: 897 real time: 895 gc time: 40" "cpu time: 887 real time: 889 gc time: 40" "cpu time: 900 real time: 899 gc time: 50" "cpu time: 890 real time: 891 gc time: 40" "cpu time: 890 real time: 890 gc time: 40" "cpu time: 890 real time: 889 gc time: 40" "cpu time: 890 real time: 892 gc time: 40"))
("000100100" ("cpu time: 877 real time: 874 gc time: 37" "cpu time: 883 real time: 882 gc time: 40" "cpu time: 876 real time: 877 gc time: 44" "cpu time: 883 real time: 884 gc time: 54" "cpu time: 900 real time: 901 gc time: 46" "cpu time: 893 real time: 891 gc time: 43" "cpu time: 890 real time: 891 gc time: 40" "cpu time: 877 real time: 877 gc time: 40"))
("000100101" ("cpu time: 887 real time: 889 gc time: 40" "cpu time: 897 real time: 893 gc time: 40" "cpu time: 900 real time: 901 gc time: 40" "cpu time: 893 real time: 894 gc time: 40" "cpu time: 894 real time: 894 gc time: 43" "cpu time: 900 real time: 897 gc time: 43" "cpu time: 890 real time: 890 gc time: 40" "cpu time: 897 real time: 895 gc time: 43"))
("000100110" ("cpu time: 887 real time: 888 gc time: 40" "cpu time: 913 real time: 909 gc time: 40" "cpu time: 890 real time: 891 gc time: 44" "cpu time: 887 real time: 889 gc time: 40" "cpu time: 886 real time: 888 gc time: 44" "cpu time: 893 real time: 892 gc time: 40" "cpu time: 893 real time: 893 gc time: 44" "cpu time: 894 real time: 894 gc time: 43"))
("000100111" ("cpu time: 900 real time: 900 gc time: 44" "cpu time: 897 real time: 896 gc time: 47" "cpu time: 910 real time: 907 gc time: 44" "cpu time: 906 real time: 905 gc time: 40" "cpu time: 907 real time: 908 gc time: 50" "cpu time: 903 real time: 901 gc time: 43" "cpu time: 897 real time: 898 gc time: 40" "cpu time: 900 real time: 900 gc time: 43"))
("000101000" ("cpu time: 927 real time: 926 gc time: 40" "cpu time: 926 real time: 925 gc time: 40" "cpu time: 930 real time: 928 gc time: 40" "cpu time: 943 real time: 944 gc time: 40" "cpu time: 923 real time: 923 gc time: 40" "cpu time: 930 real time: 931 gc time: 40" "cpu time: 937 real time: 932 gc time: 46" "cpu time: 1026 real time: 1028 gc time: 40"))
("000101001" ("cpu time: 940 real time: 937 gc time: 40" "cpu time: 957 real time: 954 gc time: 40" "cpu time: 957 real time: 955 gc time: 40" "cpu time: 940 real time: 940 gc time: 40" "cpu time: 944 real time: 943 gc time: 40" "cpu time: 940 real time: 942 gc time: 40" "cpu time: 950 real time: 948 gc time: 46" "cpu time: 940 real time: 940 gc time: 40"))
("000101010" ("cpu time: 940 real time: 938 gc time: 40" "cpu time: 940 real time: 936 gc time: 40" "cpu time: 947 real time: 946 gc time: 54" "cpu time: 940 real time: 937 gc time: 40" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 937 real time: 938 gc time: 40" "cpu time: 937 real time: 936 gc time: 44" "cpu time: 1027 real time: 1027 gc time: 40"))
("000101011" ("cpu time: 950 real time: 948 gc time: 40" "cpu time: 950 real time: 948 gc time: 40" "cpu time: 957 real time: 956 gc time: 47" "cpu time: 953 real time: 949 gc time: 40" "cpu time: 947 real time: 946 gc time: 40" "cpu time: 957 real time: 955 gc time: 40" "cpu time: 950 real time: 949 gc time: 40" "cpu time: 963 real time: 965 gc time: 40"))
("000101100" ("cpu time: 940 real time: 941 gc time: 43" "cpu time: 947 real time: 945 gc time: 44" "cpu time: 940 real time: 937 gc time: 43" "cpu time: 944 real time: 940 gc time: 44" "cpu time: 954 real time: 950 gc time: 40" "cpu time: 940 real time: 940 gc time: 40" "cpu time: 946 real time: 945 gc time: 40" "cpu time: 943 real time: 944 gc time: 47"))
("000101101" ("cpu time: 950 real time: 949 gc time: 40" "cpu time: 950 real time: 952 gc time: 40" "cpu time: 957 real time: 952 gc time: 40" "cpu time: 970 real time: 967 gc time: 43" "cpu time: 953 real time: 951 gc time: 44" "cpu time: 947 real time: 946 gc time: 40" "cpu time: 957 real time: 954 gc time: 49" "cpu time: 963 real time: 964 gc time: 43"))
("000101110" ("cpu time: 950 real time: 949 gc time: 40" "cpu time: 970 real time: 970 gc time: 43" "cpu time: 957 real time: 956 gc time: 43" "cpu time: 960 real time: 956 gc time: 46" "cpu time: 954 real time: 953 gc time: 43" "cpu time: 950 real time: 949 gc time: 40" "cpu time: 964 real time: 961 gc time: 44" "cpu time: 970 real time: 973 gc time: 40"))
("000101111" ("cpu time: 967 real time: 966 gc time: 50" "cpu time: 960 real time: 958 gc time: 43" "cpu time: 963 real time: 962 gc time: 43" "cpu time: 957 real time: 956 gc time: 43" "cpu time: 993 real time: 991 gc time: 43" "cpu time: 953 real time: 954 gc time: 43" "cpu time: 957 real time: 958 gc time: 43" "cpu time: 957 real time: 955 gc time: 40"))
("000110000" ("cpu time: 5110 real time: 5109 gc time: 67" "cpu time: 5063 real time: 5061 gc time: 60" "cpu time: 5086 real time: 5083 gc time: 63" "cpu time: 5083 real time: 5082 gc time: 63" "cpu time: 5080 real time: 5079 gc time: 63" "cpu time: 5117 real time: 5110 gc time: 57" "cpu time: 5063 real time: 5062 gc time: 60" "cpu time: 5057 real time: 5058 gc time: 56"))
("000110001" ("cpu time: 5044 real time: 5043 gc time: 40" "cpu time: 5057 real time: 5053 gc time: 40" "cpu time: 5994 real time: 5992 gc time: 40" "cpu time: 5024 real time: 5023 gc time: 37" "cpu time: 5194 real time: 5193 gc time: 47" "cpu time: 5064 real time: 5058 gc time: 44" "cpu time: 5020 real time: 5022 gc time: 44" "cpu time: 5100 real time: 5100 gc time: 40"))
("000110010" ("cpu time: 5110 real time: 5107 gc time: 44" "cpu time: 5060 real time: 5060 gc time: 40" "cpu time: 5060 real time: 5058 gc time: 40" "cpu time: 5070 real time: 5071 gc time: 40" "cpu time: 5070 real time: 5069 gc time: 40" "cpu time: 5067 real time: 5067 gc time: 40" "cpu time: 5150 real time: 5146 gc time: 50" "cpu time: 5054 real time: 5055 gc time: 40"))
("000110011" ("cpu time: 5060 real time: 5059 gc time: 40" "cpu time: 5087 real time: 5086 gc time: 37" "cpu time: 5097 real time: 5093 gc time: 43" "cpu time: 5073 real time: 5071 gc time: 43" "cpu time: 5170 real time: 5169 gc time: 40" "cpu time: 5094 real time: 5093 gc time: 36" "cpu time: 5100 real time: 5097 gc time: 40" "cpu time: 5060 real time: 5057 gc time: 40"))
("000110100" ("cpu time: 5303 real time: 5302 gc time: 43" "cpu time: 5027 real time: 5029 gc time: 43" "cpu time: 5026 real time: 5028 gc time: 44" "cpu time: 5020 real time: 5023 gc time: 40" "cpu time: 5097 real time: 5096 gc time: 44" "cpu time: 5223 real time: 5223 gc time: 43" "cpu time: 5110 real time: 5111 gc time: 40" "cpu time: 5273 real time: 5272 gc time: 43"))
("000110101" ("cpu time: 5037 real time: 5036 gc time: 40" "cpu time: 5080 real time: 5079 gc time: 40" "cpu time: 5057 real time: 5058 gc time: 50" "cpu time: 5047 real time: 5048 gc time: 40" "cpu time: 5080 real time: 5079 gc time: 40" "cpu time: 5047 real time: 5048 gc time: 43" "cpu time: 5000 real time: 4999 gc time: 44" "cpu time: 5044 real time: 5041 gc time: 44"))
("000110110" ("cpu time: 5013 real time: 5013 gc time: 43" "cpu time: 5043 real time: 5043 gc time: 40" "cpu time: 5010 real time: 5009 gc time: 43" "cpu time: 5026 real time: 5026 gc time: 43" "cpu time: 5126 real time: 5124 gc time: 43" "cpu time: 5030 real time: 5032 gc time: 40" "cpu time: 5020 real time: 5019 gc time: 40" "cpu time: 5023 real time: 5022 gc time: 43"))
("000110111" ("cpu time: 5014 real time: 5013 gc time: 48" "cpu time: 5023 real time: 5023 gc time: 44" "cpu time: 5040 real time: 5041 gc time: 44" "cpu time: 5067 real time: 5066 gc time: 40" "cpu time: 5030 real time: 5028 gc time: 43" "cpu time: 5010 real time: 5011 gc time: 40" "cpu time: 5020 real time: 5021 gc time: 43" "cpu time: 5036 real time: 5038 gc time: 40"))
("000111000" ("cpu time: 5190 real time: 5186 gc time: 40" "cpu time: 5100 real time: 5099 gc time: 40" "cpu time: 9560 real time: 9557 gc time: 40" "cpu time: 5210 real time: 5210 gc time: 37" "cpu time: 5323 real time: 5323 gc time: 40" "cpu time: 5123 real time: 5120 gc time: 43" "cpu time: 5126 real time: 5126 gc time: 40" "cpu time: 5153 real time: 5153 gc time: 40"))
("000111001" ("cpu time: 5170 real time: 5167 gc time: 43" "cpu time: 5097 real time: 5098 gc time: 40" "cpu time: 5084 real time: 5080 gc time: 40" "cpu time: 5090 real time: 5088 gc time: 40" "cpu time: 5117 real time: 5117 gc time: 40" "cpu time: 5200 real time: 5202 gc time: 43" "cpu time: 5093 real time: 5092 gc time: 44" "cpu time: 5146 real time: 5146 gc time: 46"))
("000111010" ("cpu time: 5180 real time: 5178 gc time: 40" "cpu time: 5140 real time: 5139 gc time: 44" "cpu time: 5153 real time: 5151 gc time: 40" "cpu time: 5147 real time: 5145 gc time: 40" "cpu time: 5124 real time: 5125 gc time: 40" "cpu time: 5120 real time: 5121 gc time: 40" "cpu time: 5180 real time: 5181 gc time: 40" "cpu time: 5110 real time: 5111 gc time: 44"))
("000111011" ("cpu time: 5373 real time: 5371 gc time: 40" "cpu time: 5140 real time: 5138 gc time: 40" "cpu time: 5100 real time: 5100 gc time: 43" "cpu time: 5100 real time: 5097 gc time: 40" "cpu time: 5100 real time: 5098 gc time: 44" "cpu time: 5097 real time: 5096 gc time: 40" "cpu time: 5133 real time: 5129 gc time: 44" "cpu time: 5180 real time: 5179 gc time: 43"))
("000111100" ("cpu time: 5086 real time: 5089 gc time: 47" "cpu time: 5103 real time: 5101 gc time: 43" "cpu time: 5120 real time: 5123 gc time: 40" "cpu time: 5100 real time: 5098 gc time: 44" "cpu time: 5116 real time: 5118 gc time: 40" "cpu time: 5273 real time: 5273 gc time: 43" "cpu time: 5097 real time: 5096 gc time: 43" "cpu time: 5156 real time: 5156 gc time: 44"))
("000111101" ("cpu time: 5196 real time: 5198 gc time: 40" "cpu time: 5083 real time: 5082 gc time: 47" "cpu time: 5153 real time: 5154 gc time: 43" "cpu time: 5183 real time: 5184 gc time: 43" "cpu time: 5114 real time: 5115 gc time: 40" "cpu time: 5200 real time: 5198 gc time: 40" "cpu time: 5103 real time: 5105 gc time: 40" "cpu time: 5230 real time: 5229 gc time: 43"))
("000111110" ("cpu time: 5224 real time: 5222 gc time: 43" "cpu time: 5200 real time: 5201 gc time: 48" "cpu time: 5090 real time: 5087 gc time: 40" "cpu time: 5184 real time: 5183 gc time: 40" "cpu time: 5087 real time: 5086 gc time: 49" "cpu time: 5114 real time: 5111 gc time: 43" "cpu time: 5067 real time: 5064 gc time: 43" "cpu time: 5277 real time: 5274 gc time: 43"))
("000111111" ("cpu time: 5283 real time: 5283 gc time: 44" "cpu time: 5050 real time: 5050 gc time: 43" "cpu time: 5073 real time: 5070 gc time: 43" "cpu time: 5093 real time: 5095 gc time: 43" "cpu time: 5127 real time: 5126 gc time: 40" "cpu time: 5163 real time: 5159 gc time: 43" "cpu time: 5153 real time: 5150 gc time: 44" "cpu time: 5086 real time: 5085 gc time: 43"))
("001000000" ("cpu time: 5470 real time: 5467 gc time: 46" "cpu time: 5513 real time: 5511 gc time: 50" "cpu time: 5467 real time: 5464 gc time: 68" "cpu time: 5487 real time: 5482 gc time: 43" "cpu time: 5474 real time: 5466 gc time: 50" "cpu time: 5480 real time: 5478 gc time: 47" "cpu time: 5460 real time: 5455 gc time: 63" "cpu time: 5486 real time: 5484 gc time: 43"))
("001000001" ("cpu time: 5604 real time: 5600 gc time: 55" "cpu time: 5550 real time: 5549 gc time: 57" "cpu time: 5620 real time: 5615 gc time: 58" "cpu time: 5620 real time: 5617 gc time: 48" "cpu time: 5583 real time: 5578 gc time: 49" "cpu time: 5643 real time: 5638 gc time: 67" "cpu time: 5550 real time: 5545 gc time: 50" "cpu time: 5583 real time: 5582 gc time: 55"))
("001000010" ("cpu time: 5474 real time: 5472 gc time: 60" "cpu time: 5597 real time: 5593 gc time: 49" "cpu time: 5500 real time: 5498 gc time: 50" "cpu time: 5490 real time: 5486 gc time: 61" "cpu time: 5656 real time: 5654 gc time: 52" "cpu time: 5547 real time: 5545 gc time: 46" "cpu time: 5550 real time: 5542 gc time: 48" "cpu time: 5526 real time: 5522 gc time: 61"))
("001000011" ("cpu time: 5694 real time: 5691 gc time: 46" "cpu time: 5543 real time: 5540 gc time: 57" "cpu time: 5600 real time: 5599 gc time: 43" "cpu time: 5583 real time: 5579 gc time: 52" "cpu time: 5583 real time: 5578 gc time: 47" "cpu time: 5584 real time: 5582 gc time: 67" "cpu time: 5586 real time: 5586 gc time: 52" "cpu time: 5643 real time: 5641 gc time: 68"))
("001000100" ("cpu time: 5513 real time: 5509 gc time: 65" "cpu time: 5473 real time: 5467 gc time: 58" "cpu time: 5483 real time: 5481 gc time: 50" "cpu time: 5543 real time: 5542 gc time: 53" "cpu time: 5480 real time: 5475 gc time: 58" "cpu time: 5533 real time: 5530 gc time: 44" "cpu time: 5467 real time: 5464 gc time: 53" "cpu time: 5527 real time: 5520 gc time: 50"))
("001000101" ("cpu time: 5587 real time: 5581 gc time: 59" "cpu time: 5617 real time: 5615 gc time: 52" "cpu time: 5553 real time: 5552 gc time: 44" "cpu time: 5587 real time: 5584 gc time: 55" "cpu time: 5550 real time: 5546 gc time: 47" "cpu time: 5673 real time: 5669 gc time: 58" "cpu time: 5556 real time: 5553 gc time: 44" "cpu time: 5704 real time: 5695 gc time: 50"))
("001000110" ("cpu time: 5523 real time: 5521 gc time: 53" "cpu time: 5523 real time: 5521 gc time: 43" "cpu time: 5540 real time: 5537 gc time: 44" "cpu time: 5520 real time: 5514 gc time: 51" "cpu time: 5526 real time: 5523 gc time: 47" "cpu time: 5526 real time: 5522 gc time: 47" "cpu time: 5540 real time: 5537 gc time: 58" "cpu time: 5627 real time: 5621 gc time: 55"))
("001000111" ("cpu time: 5563 real time: 5562 gc time: 46" "cpu time: 5577 real time: 5575 gc time: 53" "cpu time: 5563 real time: 5556 gc time: 67" "cpu time: 5583 real time: 5581 gc time: 56" "cpu time: 5593 real time: 5589 gc time: 60" "cpu time: 5554 real time: 5553 gc time: 65" "cpu time: 5623 real time: 5622 gc time: 46" "cpu time: 5553 real time: 5553 gc time: 53"))
("001001000" ("cpu time: 5324 real time: 5316 gc time: 52" "cpu time: 5340 real time: 5339 gc time: 69" "cpu time: 5397 real time: 5394 gc time: 77" "cpu time: 5437 real time: 5433 gc time: 37" "cpu time: 5347 real time: 5344 gc time: 83" "cpu time: 5326 real time: 5324 gc time: 57" "cpu time: 5360 real time: 5357 gc time: 53" "cpu time: 5344 real time: 5342 gc time: 63"))
("001001001" ("cpu time: 5390 real time: 5386 gc time: 63" "cpu time: 5590 real time: 5586 gc time: 53" "cpu time: 5414 real time: 5410 gc time: 53" "cpu time: 5397 real time: 5397 gc time: 50" "cpu time: 5380 real time: 5374 gc time: 48" "cpu time: 5367 real time: 5366 gc time: 43" "cpu time: 5440 real time: 5441 gc time: 40" "cpu time: 5570 real time: 5569 gc time: 47"))
("001001010" ("cpu time: 5307 real time: 5304 gc time: 47" "cpu time: 5297 real time: 5295 gc time: 58" "cpu time: 5453 real time: 5450 gc time: 53" "cpu time: 5387 real time: 5384 gc time: 57" "cpu time: 5347 real time: 5345 gc time: 44" "cpu time: 5330 real time: 5326 gc time: 46" "cpu time: 5420 real time: 5417 gc time: 60" "cpu time: 5410 real time: 5406 gc time: 60"))
("001001011" ("cpu time: 5453 real time: 5449 gc time: 43" "cpu time: 5387 real time: 5383 gc time: 50" "cpu time: 5380 real time: 5377 gc time: 56" "cpu time: 5397 real time: 5391 gc time: 56" "cpu time: 5363 real time: 5361 gc time: 46" "cpu time: 5523 real time: 5521 gc time: 40" "cpu time: 5383 real time: 5382 gc time: 51" "cpu time: 5466 real time: 5463 gc time: 47"))
("001001100" ("cpu time: 5337 real time: 5332 gc time: 53" "cpu time: 5293 real time: 5290 gc time: 43" "cpu time: 5314 real time: 5313 gc time: 53" "cpu time: 5317 real time: 5314 gc time: 57" "cpu time: 5310 real time: 5306 gc time: 63" "cpu time: 5287 real time: 5284 gc time: 56" "cpu time: 5310 real time: 5304 gc time: 61" "cpu time: 5333 real time: 5331 gc time: 50"))
("001001101" ("cpu time: 5380 real time: 5377 gc time: 57" "cpu time: 5407 real time: 5405 gc time: 53" "cpu time: 5363 real time: 5361 gc time: 57" "cpu time: 5360 real time: 5354 gc time: 50" "cpu time: 5360 real time: 5358 gc time: 58" "cpu time: 5330 real time: 5328 gc time: 40" "cpu time: 5343 real time: 5341 gc time: 48" "cpu time: 5390 real time: 5386 gc time: 62"))
("001001110" ("cpu time: 5337 real time: 5328 gc time: 46" "cpu time: 5334 real time: 5333 gc time: 64" "cpu time: 5427 real time: 5421 gc time: 46" "cpu time: 5343 real time: 5338 gc time: 46" "cpu time: 5326 real time: 5323 gc time: 48" "cpu time: 5357 real time: 5355 gc time: 43" "cpu time: 6313 real time: 6311 gc time: 52" "cpu time: 5476 real time: 5473 gc time: 47"))
("001001111" ("cpu time: 5387 real time: 5383 gc time: 43" "cpu time: 5380 real time: 5375 gc time: 40" "cpu time: 5383 real time: 5381 gc time: 43" "cpu time: 5373 real time: 5369 gc time: 54" "cpu time: 5374 real time: 5370 gc time: 62" "cpu time: 5466 real time: 5462 gc time: 70" "cpu time: 5403 real time: 5401 gc time: 50" "cpu time: 5420 real time: 5416 gc time: 46"))
("001010000" ("cpu time: 9567 real time: 9566 gc time: 66" "cpu time: 9787 real time: 9786 gc time: 40" "cpu time: 9407 real time: 9406 gc time: 40" "cpu time: 9380 real time: 9379 gc time: 63" "cpu time: 9370 real time: 9369 gc time: 77" "cpu time: 9390 real time: 9390 gc time: 46" "cpu time: 9400 real time: 9399 gc time: 63" "cpu time: 9573 real time: 9570 gc time: 77"))
("001010001" ("cpu time: 9424 real time: 9422 gc time: 47" "cpu time: 9387 real time: 9386 gc time: 44" "cpu time: 9587 real time: 9586 gc time: 63" "cpu time: 10686 real time: 10686 gc time: 46" "cpu time: 9590 real time: 9588 gc time: 63" "cpu time: 9460 real time: 9459 gc time: 55" "cpu time: 9420 real time: 9418 gc time: 40" "cpu time: 9470 real time: 9471 gc time: 37"))
("001010010" ("cpu time: 9410 real time: 9408 gc time: 59" "cpu time: 9403 real time: 9403 gc time: 46" "cpu time: 9443 real time: 9441 gc time: 57" "cpu time: 9524 real time: 9523 gc time: 65" "cpu time: 9517 real time: 9517 gc time: 64" "cpu time: 9514 real time: 9512 gc time: 48" "cpu time: 9537 real time: 9534 gc time: 53" "cpu time: 9420 real time: 9419 gc time: 44"))
("001010011" ("cpu time: 9753 real time: 9754 gc time: 53" "cpu time: 9450 real time: 9447 gc time: 54" "cpu time: 9473 real time: 9472 gc time: 36" "cpu time: 9423 real time: 9425 gc time: 57" "cpu time: 9530 real time: 9527 gc time: 53" "cpu time: 9443 real time: 9444 gc time: 66" "cpu time: 9477 real time: 9474 gc time: 46" "cpu time: 9486 real time: 9484 gc time: 60"))
("001010100" ("cpu time: 9403 real time: 9401 gc time: 53" "cpu time: 9293 real time: 9292 gc time: 40" "cpu time: 9286 real time: 9286 gc time: 56" "cpu time: 10334 real time: 10332 gc time: 53" "cpu time: 9296 real time: 9295 gc time: 56" "cpu time: 9327 real time: 9322 gc time: 47" "cpu time: 10327 real time: 10325 gc time: 50" "cpu time: 9337 real time: 9336 gc time: 58"))
("001010101" ("cpu time: 9456 real time: 9454 gc time: 54" "cpu time: 9470 real time: 9468 gc time: 58" "cpu time: 9443 real time: 9439 gc time: 60" "cpu time: 9510 real time: 9509 gc time: 40" "cpu time: 9630 real time: 9628 gc time: 60" "cpu time: 9503 real time: 9500 gc time: 50" "cpu time: 9487 real time: 9485 gc time: 47" "cpu time: 9423 real time: 9420 gc time: 43"))
("001010110" ("cpu time: 9700 real time: 9698 gc time: 40" "cpu time: 9357 real time: 9352 gc time: 53" "cpu time: 9577 real time: 9576 gc time: 43" "cpu time: 9346 real time: 9343 gc time: 49" "cpu time: 9443 real time: 9443 gc time: 40" "cpu time: 9473 real time: 9470 gc time: 50" "cpu time: 9404 real time: 9403 gc time: 43" "cpu time: 9633 real time: 9632 gc time: 59"))
("001010111" ("cpu time: 9467 real time: 9465 gc time: 61" "cpu time: 9373 real time: 9373 gc time: 62" "cpu time: 11240 real time: 11241 gc time: 50" "cpu time: 9376 real time: 9372 gc time: 58" "cpu time: 9387 real time: 9386 gc time: 53" "cpu time: 10174 real time: 10171 gc time: 50" "cpu time: 9390 real time: 9387 gc time: 47" "cpu time: 9410 real time: 9406 gc time: 51"))
("001011000" ("cpu time: 9263 real time: 9264 gc time: 40" "cpu time: 9250 real time: 9246 gc time: 46" "cpu time: 9307 real time: 9303 gc time: 49" "cpu time: 9223 real time: 9222 gc time: 40" "cpu time: 9364 real time: 9363 gc time: 50" "cpu time: 9407 real time: 9405 gc time: 51" "cpu time: 9247 real time: 9248 gc time: 56" "cpu time: 9260 real time: 9258 gc time: 56"))
("001011001" ("cpu time: 9300 real time: 9300 gc time: 40" "cpu time: 9337 real time: 9336 gc time: 64" "cpu time: 9384 real time: 9379 gc time: 46" "cpu time: 9353 real time: 9354 gc time: 127" "cpu time: 9334 real time: 9334 gc time: 40" "cpu time: 9320 real time: 9318 gc time: 56" "cpu time: 9450 real time: 9447 gc time: 69" "cpu time: 9323 real time: 9320 gc time: 40"))
("001011010" ("cpu time: 9407 real time: 9404 gc time: 48" "cpu time: 9343 real time: 9342 gc time: 66" "cpu time: 9287 real time: 9286 gc time: 50" "cpu time: 9410 real time: 9409 gc time: 40" "cpu time: 9330 real time: 9327 gc time: 46" "cpu time: 9243 real time: 9242 gc time: 57" "cpu time: 9273 real time: 9272 gc time: 57" "cpu time: 9567 real time: 9565 gc time: 56"))
("001011011" ("cpu time: 9327 real time: 9324 gc time: 47" "cpu time: 9284 real time: 9280 gc time: 58" "cpu time: 9320 real time: 9320 gc time: 40" "cpu time: 9373 real time: 9372 gc time: 54" "cpu time: 9423 real time: 9421 gc time: 44" "cpu time: 9340 real time: 9340 gc time: 49" "cpu time: 9333 real time: 9329 gc time: 57" "cpu time: 14693 real time: 14692 gc time: 55"))
("001011100" ("cpu time: 9153 real time: 9147 gc time: 44" "cpu time: 9600 real time: 9596 gc time: 40" "cpu time: 9220 real time: 9217 gc time: 50" "cpu time: 9193 real time: 9190 gc time: 43" "cpu time: 9140 real time: 9141 gc time: 60" "cpu time: 9150 real time: 9149 gc time: 44" "cpu time: 9127 real time: 9125 gc time: 66" "cpu time: 9167 real time: 9169 gc time: 58"))
("001011101" ("cpu time: 9253 real time: 9251 gc time: 43" "cpu time: 9180 real time: 9182 gc time: 46" "cpu time: 11083 real time: 11083 gc time: 66" "cpu time: 9254 real time: 9250 gc time: 53" "cpu time: 9153 real time: 9152 gc time: 47" "cpu time: 9226 real time: 9221 gc time: 59" "cpu time: 9186 real time: 9183 gc time: 43" "cpu time: 9247 real time: 9248 gc time: 50"))
("001011110" ("cpu time: 9243 real time: 9242 gc time: 43" "cpu time: 9313 real time: 9311 gc time: 52" "cpu time: 9364 real time: 9365 gc time: 40" "cpu time: 9233 real time: 9234 gc time: 43" "cpu time: 9223 real time: 9223 gc time: 64" "cpu time: 9347 real time: 9343 gc time: 61" "cpu time: 9423 real time: 9422 gc time: 47" "cpu time: 9400 real time: 9394 gc time: 50"))
("001011111" ("cpu time: 9203 real time: 9202 gc time: 47" "cpu time: 9237 real time: 9237 gc time: 50" "cpu time: 9233 real time: 9233 gc time: 50" "cpu time: 9224 real time: 9220 gc time: 53" "cpu time: 9424 real time: 9422 gc time: 50" "cpu time: 9400 real time: 9399 gc time: 48" "cpu time: 9220 real time: 9217 gc time: 67" "cpu time: 9230 real time: 9230 gc time: 56"))
("001100000" ("cpu time: 5777 real time: 5772 gc time: 67" "cpu time: 5470 real time: 5467 gc time: 41" "cpu time: 5513 real time: 5510 gc time: 63" "cpu time: 5510 real time: 5505 gc time: 43" "cpu time: 5450 real time: 5446 gc time: 46" "cpu time: 5543 real time: 5539 gc time: 50" "cpu time: 5687 real time: 5681 gc time: 53" "cpu time: 5503 real time: 5501 gc time: 66"))
("001100001" ("cpu time: 5560 real time: 5556 gc time: 55" "cpu time: 5574 real time: 5573 gc time: 55" "cpu time: 5590 real time: 5586 gc time: 58" "cpu time: 5534 real time: 5530 gc time: 54" "cpu time: 5543 real time: 5543 gc time: 60" "cpu time: 5607 real time: 5608 gc time: 50" "cpu time: 5550 real time: 5548 gc time: 72" "cpu time: 5614 real time: 5612 gc time: 63"))
("001100010" ("cpu time: 5473 real time: 5471 gc time: 47" "cpu time: 5500 real time: 5497 gc time: 46" "cpu time: 5423 real time: 5424 gc time: 54" "cpu time: 5557 real time: 5555 gc time: 43" "cpu time: 5460 real time: 5456 gc time: 51" "cpu time: 5464 real time: 5458 gc time: 47" "cpu time: 5496 real time: 5494 gc time: 43" "cpu time: 5473 real time: 5469 gc time: 62"))
("001100011" ("cpu time: 5834 real time: 5829 gc time: 50" "cpu time: 5540 real time: 5536 gc time: 40" "cpu time: 5650 real time: 5648 gc time: 47" "cpu time: 5520 real time: 5518 gc time: 54" "cpu time: 5567 real time: 5563 gc time: 43" "cpu time: 5576 real time: 5575 gc time: 57" "cpu time: 5577 real time: 5576 gc time: 50" "cpu time: 5596 real time: 5593 gc time: 47"))
("001100100" ("cpu time: 5503 real time: 5500 gc time: 70" "cpu time: 5474 real time: 5468 gc time: 53" "cpu time: 5520 real time: 5517 gc time: 46" "cpu time: 5530 real time: 5530 gc time: 59" "cpu time: 5490 real time: 5487 gc time: 47" "cpu time: 5500 real time: 5495 gc time: 46" "cpu time: 5473 real time: 5467 gc time: 58" "cpu time: 5547 real time: 5544 gc time: 64"))
("001100101" ("cpu time: 5543 real time: 5538 gc time: 58" "cpu time: 5600 real time: 5592 gc time: 57" "cpu time: 5534 real time: 5527 gc time: 53" "cpu time: 5543 real time: 5542 gc time: 64" "cpu time: 5563 real time: 5555 gc time: 49" "cpu time: 5553 real time: 5550 gc time: 63" "cpu time: 5573 real time: 5571 gc time: 67" "cpu time: 5527 real time: 5525 gc time: 44"))
("001100110" ("cpu time: 5533 real time: 5528 gc time: 67" "cpu time: 5510 real time: 5507 gc time: 44" "cpu time: 5513 real time: 5511 gc time: 59" "cpu time: 5530 real time: 5526 gc time: 52" "cpu time: 5654 real time: 5651 gc time: 50" "cpu time: 5486 real time: 5483 gc time: 52" "cpu time: 5553 real time: 5550 gc time: 74" "cpu time: 5500 real time: 5497 gc time: 54"))
("001100111" ("cpu time: 5623 real time: 5620 gc time: 64" "cpu time: 5593 real time: 5589 gc time: 53" "cpu time: 5613 real time: 5608 gc time: 55" "cpu time: 5597 real time: 5591 gc time: 46" "cpu time: 5606 real time: 5604 gc time: 44" "cpu time: 5550 real time: 5545 gc time: 43" "cpu time: 5626 real time: 5622 gc time: 48" "cpu time: 5560 real time: 5555 gc time: 46"))
("001101000" ("cpu time: 5280 real time: 5277 gc time: 70" "cpu time: 5343 real time: 5340 gc time: 76" "cpu time: 5430 real time: 5429 gc time: 56" "cpu time: 5403 real time: 5402 gc time: 60" "cpu time: 5437 real time: 5433 gc time: 56" "cpu time: 5393 real time: 5390 gc time: 43" "cpu time: 5300 real time: 5298 gc time: 60" "cpu time: 5293 real time: 5292 gc time: 50"))
("001101001" ("cpu time: 5330 real time: 5326 gc time: 63" "cpu time: 5417 real time: 5414 gc time: 53" "cpu time: 5440 real time: 5437 gc time: 61" "cpu time: 5367 real time: 5361 gc time: 47" "cpu time: 5373 real time: 5367 gc time: 61" "cpu time: 5350 real time: 5344 gc time: 54" "cpu time: 5374 real time: 5370 gc time: 53" "cpu time: 5413 real time: 5411 gc time: 51"))
("001101010" ("cpu time: 5287 real time: 5282 gc time: 57" "cpu time: 5283 real time: 5280 gc time: 64" "cpu time: 5286 real time: 5285 gc time: 60" "cpu time: 5243 real time: 5237 gc time: 47" "cpu time: 5314 real time: 5312 gc time: 68" "cpu time: 5287 real time: 5282 gc time: 50" "cpu time: 5297 real time: 5296 gc time: 40" "cpu time: 5257 real time: 5254 gc time: 47"))
("001101011" ("cpu time: 5370 real time: 5367 gc time: 44" "cpu time: 5490 real time: 5484 gc time: 63" "cpu time: 5370 real time: 5368 gc time: 44" "cpu time: 5447 real time: 5444 gc time: 52" "cpu time: 5500 real time: 5494 gc time: 55" "cpu time: 5394 real time: 5390 gc time: 46" "cpu time: 5434 real time: 5431 gc time: 49" "cpu time: 5494 real time: 5493 gc time: 57"))
("001101100" ("cpu time: 5407 real time: 5402 gc time: 46" "cpu time: 5326 real time: 5326 gc time: 52" "cpu time: 5307 real time: 5302 gc time: 60" "cpu time: 5326 real time: 5321 gc time: 53" "cpu time: 5293 real time: 5290 gc time: 51" "cpu time: 5363 real time: 5361 gc time: 79" "cpu time: 5343 real time: 5341 gc time: 58" "cpu time: 5320 real time: 5317 gc time: 54"))
("001101101" ("cpu time: 5400 real time: 5398 gc time: 56" "cpu time: 5356 real time: 5350 gc time: 44" "cpu time: 5410 real time: 5407 gc time: 56" "cpu time: 5397 real time: 5389 gc time: 43" "cpu time: 5367 real time: 5360 gc time: 53" "cpu time: 5417 real time: 5416 gc time: 47" "cpu time: 5486 real time: 5483 gc time: 55" "cpu time: 5397 real time: 5394 gc time: 46"))
("001101110" ("cpu time: 5394 real time: 5391 gc time: 46" "cpu time: 5343 real time: 5339 gc time: 57" "cpu time: 5323 real time: 5319 gc time: 55" "cpu time: 5323 real time: 5321 gc time: 58" "cpu time: 5313 real time: 5313 gc time: 40" "cpu time: 5323 real time: 5320 gc time: 48" "cpu time: 5310 real time: 5310 gc time: 68" "cpu time: 5343 real time: 5338 gc time: 46"))
("001101111" ("cpu time: 5383 real time: 5378 gc time: 48" "cpu time: 5390 real time: 5388 gc time: 56" "cpu time: 5440 real time: 5440 gc time: 53" "cpu time: 5416 real time: 5413 gc time: 44" "cpu time: 5383 real time: 5381 gc time: 60" "cpu time: 5387 real time: 5383 gc time: 56" "cpu time: 5440 real time: 5438 gc time: 49" "cpu time: 5447 real time: 5444 gc time: 50"))
("001110000" ("cpu time: 9417 real time: 9417 gc time: 62" "cpu time: 9454 real time: 9451 gc time: 70" "cpu time: 9384 real time: 9381 gc time: 56" "cpu time: 9377 real time: 9372 gc time: 47" "cpu time: 9400 real time: 9397 gc time: 51" "cpu time: 9356 real time: 9353 gc time: 56" "cpu time: 9393 real time: 9392 gc time: 59" "cpu time: 9366 real time: 9367 gc time: 56"))
("001110001" ("cpu time: 9457 real time: 9453 gc time: 46" "cpu time: 9414 real time: 9411 gc time: 40" "cpu time: 9413 real time: 9409 gc time: 56" "cpu time: 9444 real time: 9441 gc time: 50" "cpu time: 9447 real time: 9445 gc time: 54" "cpu time: 9386 real time: 9384 gc time: 43" "cpu time: 9504 real time: 9498 gc time: 51" "cpu time: 9490 real time: 9487 gc time: 61"))
("001110010" ("cpu time: 9400 real time: 9400 gc time: 66" "cpu time: 9440 real time: 9438 gc time: 47" "cpu time: 9446 real time: 9446 gc time: 54" "cpu time: 9400 real time: 9396 gc time: 50" "cpu time: 9464 real time: 9460 gc time: 59" "cpu time: 9393 real time: 9391 gc time: 53" "cpu time: 9400 real time: 9398 gc time: 53" "cpu time: 9427 real time: 9427 gc time: 50"))
("001110011" ("cpu time: 9610 real time: 9608 gc time: 54" "cpu time: 9484 real time: 9483 gc time: 53" "cpu time: 9463 real time: 9463 gc time: 48" "cpu time: 9480 real time: 9481 gc time: 51" "cpu time: 9440 real time: 9438 gc time: 44" "cpu time: 9440 real time: 9441 gc time: 56" "cpu time: 9520 real time: 9517 gc time: 60" "cpu time: 9480 real time: 9477 gc time: 43"))
("001110100" ("cpu time: 9373 real time: 9369 gc time: 51" "cpu time: 9440 real time: 9441 gc time: 53" "cpu time: 9416 real time: 9413 gc time: 49" "cpu time: 9356 real time: 9355 gc time: 44" "cpu time: 9310 real time: 9306 gc time: 46" "cpu time: 9307 real time: 9305 gc time: 47" "cpu time: 9340 real time: 9337 gc time: 53" "cpu time: 9340 real time: 9336 gc time: 50"))
("001110101" ("cpu time: 9380 real time: 9377 gc time: 54" "cpu time: 9383 real time: 9384 gc time: 62" "cpu time: 9410 real time: 9409 gc time: 43" "cpu time: 9466 real time: 9463 gc time: 44" "cpu time: 9457 real time: 9457 gc time: 54" "cpu time: 9433 real time: 9428 gc time: 52" "cpu time: 9377 real time: 9376 gc time: 48" "cpu time: 13156 real time: 13156 gc time: 53"))
("001110110" ("cpu time: 9340 real time: 9339 gc time: 56" "cpu time: 9323 real time: 9319 gc time: 65" "cpu time: 9393 real time: 9393 gc time: 53" "cpu time: 9353 real time: 9351 gc time: 43" "cpu time: 9350 real time: 9345 gc time: 47" "cpu time: 9336 real time: 9333 gc time: 62" "cpu time: 9390 real time: 9389 gc time: 67" "cpu time: 9450 real time: 9447 gc time: 52"))
("001110111" ("cpu time: 9517 real time: 9515 gc time: 60" "cpu time: 9413 real time: 9411 gc time: 46" "cpu time: 9577 real time: 9576 gc time: 46" "cpu time: 9353 real time: 9351 gc time: 56" "cpu time: 9530 real time: 9530 gc time: 63" "cpu time: 9370 real time: 9368 gc time: 66" "cpu time: 9517 real time: 9514 gc time: 61" "cpu time: 9453 real time: 9451 gc time: 50"))
("001111000" ("cpu time: 9290 real time: 9289 gc time: 50" "cpu time: 9200 real time: 9198 gc time: 47" "cpu time: 9230 real time: 9229 gc time: 57" "cpu time: 9320 real time: 9317 gc time: 43" "cpu time: 9340 real time: 9338 gc time: 40" "cpu time: 9464 real time: 9464 gc time: 57" "cpu time: 9196 real time: 9198 gc time: 43" "cpu time: 9337 real time: 9336 gc time: 52"))
("001111001" ("cpu time: 9236 real time: 9234 gc time: 50" "cpu time: 9280 real time: 9280 gc time: 54" "cpu time: 9423 real time: 9417 gc time: 40" "cpu time: 9303 real time: 9300 gc time: 47" "cpu time: 9234 real time: 9233 gc time: 66" "cpu time: 9283 real time: 9283 gc time: 43" "cpu time: 9257 real time: 9254 gc time: 50" "cpu time: 9340 real time: 9337 gc time: 48"))
("001111010" ("cpu time: 9367 real time: 9367 gc time: 60" "cpu time: 9277 real time: 9276 gc time: 68" "cpu time: 9217 real time: 9216 gc time: 53" "cpu time: 9257 real time: 9254 gc time: 50" "cpu time: 9233 real time: 9234 gc time: 60" "cpu time: 9330 real time: 9330 gc time: 52" "cpu time: 9247 real time: 9245 gc time: 56" "cpu time: 9423 real time: 9419 gc time: 66"))
("001111011" ("cpu time: 9260 real time: 9257 gc time: 60" "cpu time: 9284 real time: 9282 gc time: 57" "cpu time: 9390 real time: 9390 gc time: 63" "cpu time: 9334 real time: 9333 gc time: 53" "cpu time: 9334 real time: 9331 gc time: 55" "cpu time: 9304 real time: 9301 gc time: 43" "cpu time: 9287 real time: 9282 gc time: 53" "cpu time: 9367 real time: 9367 gc time: 70"))
("001111100" ("cpu time: 9463 real time: 9463 gc time: 79" "cpu time: 9110 real time: 9111 gc time: 50" "cpu time: 9116 real time: 9110 gc time: 43" "cpu time: 9280 real time: 9280 gc time: 56" "cpu time: 9247 real time: 9247 gc time: 49" "cpu time: 9113 real time: 9111 gc time: 50" "cpu time: 9116 real time: 9117 gc time: 43" "cpu time: 9210 real time: 9207 gc time: 62"))
("001111101" ("cpu time: 9176 real time: 9178 gc time: 66" "cpu time: 9196 real time: 9196 gc time: 40" "cpu time: 9210 real time: 9208 gc time: 50" "cpu time: 9236 real time: 9233 gc time: 52" "cpu time: 9390 real time: 9388 gc time: 67" "cpu time: 9200 real time: 9196 gc time: 57" "cpu time: 9187 real time: 9183 gc time: 87" "cpu time: 9213 real time: 9213 gc time: 53"))
("001111110" ("cpu time: 9166 real time: 9163 gc time: 50" "cpu time: 9154 real time: 9152 gc time: 43" "cpu time: 9280 real time: 9275 gc time: 47" "cpu time: 9266 real time: 9265 gc time: 56" "cpu time: 9373 real time: 9370 gc time: 44" "cpu time: 9167 real time: 9164 gc time: 50" "cpu time: 9146 real time: 9147 gc time: 40" "cpu time: 9313 real time: 9312 gc time: 57"))
("001111111" ("cpu time: 9216 real time: 9213 gc time: 49" "cpu time: 9236 real time: 9237 gc time: 68" "cpu time: 9267 real time: 9267 gc time: 51" "cpu time: 9253 real time: 9256 gc time: 46" "cpu time: 9246 real time: 9246 gc time: 47" "cpu time: 9267 real time: 9264 gc time: 62" "cpu time: 9254 real time: 9253 gc time: 57" "cpu time: 9247 real time: 9245 gc time: 40"))
("010000000" ("cpu time: 6397 real time: 6397 gc time: 54" "cpu time: 6380 real time: 6377 gc time: 54" "cpu time: 6333 real time: 6333 gc time: 47" "cpu time: 6320 real time: 6320 gc time: 46" "cpu time: 6426 real time: 6423 gc time: 72" "cpu time: 6337 real time: 6332 gc time: 40" "cpu time: 6467 real time: 6466 gc time: 40" "cpu time: 6466 real time: 6465 gc time: 49"))
("010000001" ("cpu time: 6460 real time: 6456 gc time: 43" "cpu time: 6393 real time: 6393 gc time: 44" "cpu time: 6407 real time: 6406 gc time: 50" "cpu time: 6387 real time: 6386 gc time: 43" "cpu time: 6626 real time: 6629 gc time: 44" "cpu time: 6424 real time: 6420 gc time: 47" "cpu time: 6470 real time: 6468 gc time: 47" "cpu time: 6440 real time: 6437 gc time: 40"))
("010000010" ("cpu time: 6443 real time: 6442 gc time: 60" "cpu time: 6297 real time: 6293 gc time: 40" "cpu time: 6337 real time: 6331 gc time: 49" "cpu time: 6330 real time: 6332 gc time: 40" "cpu time: 6336 real time: 6332 gc time: 40" "cpu time: 6337 real time: 6331 gc time: 53" "cpu time: 6370 real time: 6367 gc time: 54" "cpu time: 6337 real time: 6337 gc time: 50"))
("010000011" ("cpu time: 6340 real time: 6338 gc time: 59" "cpu time: 6383 real time: 6382 gc time: 40" "cpu time: 6290 real time: 6290 gc time: 47" "cpu time: 6347 real time: 6347 gc time: 43" "cpu time: 6317 real time: 6315 gc time: 43" "cpu time: 6320 real time: 6317 gc time: 46" "cpu time: 6370 real time: 6365 gc time: 54" "cpu time: 6360 real time: 6361 gc time: 36"))
("010000100" ("cpu time: 6423 real time: 6422 gc time: 59" "cpu time: 6437 real time: 6435 gc time: 64" "cpu time: 6463 real time: 6461 gc time: 58" "cpu time: 6417 real time: 6413 gc time: 46" "cpu time: 6470 real time: 6467 gc time: 44" "cpu time: 6423 real time: 6418 gc time: 52" "cpu time: 6416 real time: 6415 gc time: 43" "cpu time: 6420 real time: 6417 gc time: 49"))
("010000101" ("cpu time: 6553 real time: 6551 gc time: 43" "cpu time: 6434 real time: 6433 gc time: 44" "cpu time: 6450 real time: 6451 gc time: 53" "cpu time: 7534 real time: 7533 gc time: 40" "cpu time: 6477 real time: 6476 gc time: 50" "cpu time: 6520 real time: 6521 gc time: 50" "cpu time: 6810 real time: 6806 gc time: 43" "cpu time: 6537 real time: 6536 gc time: 61"))
("010000110" ("cpu time: 6343 real time: 6340 gc time: 43" "cpu time: 6367 real time: 6364 gc time: 44" "cpu time: 6364 real time: 6359 gc time: 47" "cpu time: 6273 real time: 6270 gc time: 44" "cpu time: 6304 real time: 6302 gc time: 50" "cpu time: 6280 real time: 6276 gc time: 46" "cpu time: 6470 real time: 6466 gc time: 50" "cpu time: 6367 real time: 6365 gc time: 43"))
("010000111" ("cpu time: 6343 real time: 6340 gc time: 43" "cpu time: 6300 real time: 6296 gc time: 56" "cpu time: 6453 real time: 6453 gc time: 46" "cpu time: 6453 real time: 6453 gc time: 73" "cpu time: 6317 real time: 6313 gc time: 68" "cpu time: 6333 real time: 6335 gc time: 50" "cpu time: 6347 real time: 6345 gc time: 53" "cpu time: 6387 real time: 6385 gc time: 55"))
("010001000" ("cpu time: 6483 real time: 6483 gc time: 37" "cpu time: 6437 real time: 6435 gc time: 40" "cpu time: 6400 real time: 6399 gc time: 46" "cpu time: 6640 real time: 6636 gc time: 44" "cpu time: 6403 real time: 6402 gc time: 40" "cpu time: 6467 real time: 6466 gc time: 40" "cpu time: 6413 real time: 6410 gc time: 40" "cpu time: 6413 real time: 6408 gc time: 40"))
("010001001" ("cpu time: 6486 real time: 6485 gc time: 44" "cpu time: 6503 real time: 6498 gc time: 53" "cpu time: 6703 real time: 6699 gc time: 49" "cpu time: 6520 real time: 6517 gc time: 64" "cpu time: 6467 real time: 6465 gc time: 46" "cpu time: 6490 real time: 6487 gc time: 56" "cpu time: 6647 real time: 6647 gc time: 54" "cpu time: 6516 real time: 6513 gc time: 47"))
("010001010" ("cpu time: 6520 real time: 6520 gc time: 42" "cpu time: 6383 real time: 6377 gc time: 40" "cpu time: 6434 real time: 6432 gc time: 48" "cpu time: 6444 real time: 6442 gc time: 41" "cpu time: 6390 real time: 6389 gc time: 47" "cpu time: 6407 real time: 6405 gc time: 40" "cpu time: 6447 real time: 6445 gc time: 43" "cpu time: 6414 real time: 6413 gc time: 40"))
("010001011" ("cpu time: 6353 real time: 6352 gc time: 40" "cpu time: 6520 real time: 6518 gc time: 65" "cpu time: 6344 real time: 6343 gc time: 56" "cpu time: 6587 real time: 6586 gc time: 53" "cpu time: 6377 real time: 6373 gc time: 66" "cpu time: 6400 real time: 6400 gc time: 50" "cpu time: 6553 real time: 6552 gc time: 49" "cpu time: 6377 real time: 6374 gc time: 56"))
("010001100" ("cpu time: 6487 real time: 6482 gc time: 75" "cpu time: 6550 real time: 6547 gc time: 43" "cpu time: 6490 real time: 6487 gc time: 50" "cpu time: 6500 real time: 6499 gc time: 50" "cpu time: 6577 real time: 6575 gc time: 53" "cpu time: 6480 real time: 6474 gc time: 54" "cpu time: 6543 real time: 6543 gc time: 54" "cpu time: 6567 real time: 6567 gc time: 40"))
("010001101" ("cpu time: 6597 real time: 6592 gc time: 46" "cpu time: 6550 real time: 6548 gc time: 56" "cpu time: 6507 real time: 6507 gc time: 47" "cpu time: 6533 real time: 6532 gc time: 40" "cpu time: 6510 real time: 6510 gc time: 53" "cpu time: 6550 real time: 6544 gc time: 46" "cpu time: 6554 real time: 6553 gc time: 40" "cpu time: 6587 real time: 6589 gc time: 54"))
("010001110" ("cpu time: 6550 real time: 6547 gc time: 50" "cpu time: 8480 real time: 8479 gc time: 72" "cpu time: 6373 real time: 6369 gc time: 56" "cpu time: 6476 real time: 6472 gc time: 43" "cpu time: 6443 real time: 6440 gc time: 49" "cpu time: 8613 real time: 8614 gc time: 47" "cpu time: 6377 real time: 6377 gc time: 43" "cpu time: 6446 real time: 6445 gc time: 47"))
("010001111" ("cpu time: 6440 real time: 6436 gc time: 46" "cpu time: 6380 real time: 6378 gc time: 43" "cpu time: 6453 real time: 6449 gc time: 43" "cpu time: 6527 real time: 6524 gc time: 60" "cpu time: 6357 real time: 6353 gc time: 43" "cpu time: 6424 real time: 6423 gc time: 43" "cpu time: 6447 real time: 6444 gc time: 44" "cpu time: 6417 real time: 6416 gc time: 44"))
("010010000" ("cpu time: 4373 real time: 4374 gc time: 40" "cpu time: 4393 real time: 4392 gc time: 40" "cpu time: 4370 real time: 4369 gc time: 44" "cpu time: 4383 real time: 4380 gc time: 40" "cpu time: 4383 real time: 4382 gc time: 40" "cpu time: 4390 real time: 4390 gc time: 43" "cpu time: 4380 real time: 4381 gc time: 40" "cpu time: 4410 real time: 4410 gc time: 40"))
("010010001" ("cpu time: 4374 real time: 4371 gc time: 40" "cpu time: 4374 real time: 4372 gc time: 40" "cpu time: 4390 real time: 4392 gc time: 40" "cpu time: 4377 real time: 4374 gc time: 40" "cpu time: 4370 real time: 4369 gc time: 40" "cpu time: 4366 real time: 4366 gc time: 40" "cpu time: 4390 real time: 4387 gc time: 43" "cpu time: 4370 real time: 4367 gc time: 40"))
("010010010" ("cpu time: 4324 real time: 4325 gc time: 40" "cpu time: 4336 real time: 4335 gc time: 40" "cpu time: 4344 real time: 4346 gc time: 37" "cpu time: 4333 real time: 4334 gc time: 43" "cpu time: 4390 real time: 4389 gc time: 40" "cpu time: 4347 real time: 4346 gc time: 40" "cpu time: 4323 real time: 4322 gc time: 40" "cpu time: 4336 real time: 4335 gc time: 40"))
("010010011" ("cpu time: 4374 real time: 4372 gc time: 40" "cpu time: 4360 real time: 4357 gc time: 40" "cpu time: 4340 real time: 4338 gc time: 43" "cpu time: 4357 real time: 4355 gc time: 44" "cpu time: 4363 real time: 4361 gc time: 40" "cpu time: 4350 real time: 4350 gc time: 40" "cpu time: 4354 real time: 4355 gc time: 40" "cpu time: 4350 real time: 4351 gc time: 40"))
("010010100" ("cpu time: 4340 real time: 4338 gc time: 43" "cpu time: 4363 real time: 4361 gc time: 40" "cpu time: 4330 real time: 4332 gc time: 40" "cpu time: 4354 real time: 4351 gc time: 43" "cpu time: 4317 real time: 4317 gc time: 43" "cpu time: 4344 real time: 4341 gc time: 46" "cpu time: 4347 real time: 4349 gc time: 43" "cpu time: 4380 real time: 4381 gc time: 40"))
("010010101" ("cpu time: 4303 real time: 4304 gc time: 44" "cpu time: 4303 real time: 4303 gc time: 43" "cpu time: 4293 real time: 4293 gc time: 40" "cpu time: 4284 real time: 4283 gc time: 40" "cpu time: 4317 real time: 4316 gc time: 43" "cpu time: 4330 real time: 4328 gc time: 43" "cpu time: 4297 real time: 4295 gc time: 44" "cpu time: 4293 real time: 4292 gc time: 40"))
("010010110" ("cpu time: 3284 real time: 3284 gc time: 44" "cpu time: 3320 real time: 3318 gc time: 40" "cpu time: 3313 real time: 3309 gc time: 44" "cpu time: 3266 real time: 3268 gc time: 44" "cpu time: 3273 real time: 3273 gc time: 47" "cpu time: 3320 real time: 3316 gc time: 46" "cpu time: 3373 real time: 3374 gc time: 40" "cpu time: 3323 real time: 3323 gc time: 43"))
("010010111" ("cpu time: 3250 real time: 3252 gc time: 43" "cpu time: 3260 real time: 3259 gc time: 43" "cpu time: 3280 real time: 3280 gc time: 40" "cpu time: 3263 real time: 3264 gc time: 40" "cpu time: 3253 real time: 3256 gc time: 40" "cpu time: 3270 real time: 3269 gc time: 43" "cpu time: 3283 real time: 3282 gc time: 40" "cpu time: 3336 real time: 3338 gc time: 40"))
("010011000" ("cpu time: 4464 real time: 4462 gc time: 40" "cpu time: 4453 real time: 4448 gc time: 46" "cpu time: 4527 real time: 4525 gc time: 47" "cpu time: 4460 real time: 4461 gc time: 43" "cpu time: 4433 real time: 4433 gc time: 40" "cpu time: 4444 real time: 4443 gc time: 40" "cpu time: 4450 real time: 4445 gc time: 40" "cpu time: 4456 real time: 4456 gc time: 43"))
("010011001" ("cpu time: 4443 real time: 4442 gc time: 40" "cpu time: 4470 real time: 4472 gc time: 44" "cpu time: 4434 real time: 4434 gc time: 43" "cpu time: 4433 real time: 4431 gc time: 40" "cpu time: 4430 real time: 4434 gc time: 37" "cpu time: 4454 real time: 4452 gc time: 43" "cpu time: 4437 real time: 4436 gc time: 37" "cpu time: 4420 real time: 4421 gc time: 43"))
("010011010" ("cpu time: 4620 real time: 4622 gc time: 40" "cpu time: 4377 real time: 4376 gc time: 40" "cpu time: 4493 real time: 4490 gc time: 40" "cpu time: 4507 real time: 4506 gc time: 40" "cpu time: 4390 real time: 4386 gc time: 43" "cpu time: 4387 real time: 4384 gc time: 47" "cpu time: 4390 real time: 4391 gc time: 40" "cpu time: 4397 real time: 4394 gc time: 40"))
("010011011" ("cpu time: 4420 real time: 4422 gc time: 40" "cpu time: 4430 real time: 4428 gc time: 40" "cpu time: 4434 real time: 4433 gc time: 50" "cpu time: 4437 real time: 4437 gc time: 40" "cpu time: 4413 real time: 4412 gc time: 40" "cpu time: 4437 real time: 4436 gc time: 43" "cpu time: 4440 real time: 4439 gc time: 43" "cpu time: 4437 real time: 4437 gc time: 40"))
("010011100" ("cpu time: 4393 real time: 4394 gc time: 44" "cpu time: 4403 real time: 4404 gc time: 44" "cpu time: 4380 real time: 4380 gc time: 40" "cpu time: 4390 real time: 4391 gc time: 40" "cpu time: 4410 real time: 4410 gc time: 43" "cpu time: 4410 real time: 4410 gc time: 43" "cpu time: 4406 real time: 4407 gc time: 44" "cpu time: 4444 real time: 4445 gc time: 44"))
("010011101" ("cpu time: 4350 real time: 4346 gc time: 44" "cpu time: 4383 real time: 4382 gc time: 43" "cpu time: 4333 real time: 4335 gc time: 40" "cpu time: 4356 real time: 4355 gc time: 43" "cpu time: 4430 real time: 4429 gc time: 43" "cpu time: 4336 real time: 4332 gc time: 43" "cpu time: 4360 real time: 4359 gc time: 40" "cpu time: 4390 real time: 4390 gc time: 40"))
("010011110" ("cpu time: 3497 real time: 3493 gc time: 44" "cpu time: 3350 real time: 3352 gc time: 43" "cpu time: 3336 real time: 3335 gc time: 43" "cpu time: 4614 real time: 4614 gc time: 43" "cpu time: 3363 real time: 3364 gc time: 50" "cpu time: 3333 real time: 3333 gc time: 43" "cpu time: 3350 real time: 3348 gc time: 43" "cpu time: 3330 real time: 3331 gc time: 43"))
("010011111" ("cpu time: 3323 real time: 3318 gc time: 47" "cpu time: 3320 real time: 3322 gc time: 43" "cpu time: 3310 real time: 3308 gc time: 43" "cpu time: 3300 real time: 3302 gc time: 43" "cpu time: 3317 real time: 3319 gc time: 43" "cpu time: 3310 real time: 3310 gc time: 40" "cpu time: 3324 real time: 3321 gc time: 40" "cpu time: 3330 real time: 3328 gc time: 40"))
("010100000" ("cpu time: 6457 real time: 6456 gc time: 44" "cpu time: 6330 real time: 6328 gc time: 49" "cpu time: 6343 real time: 6341 gc time: 44" "cpu time: 6360 real time: 6355 gc time: 56" "cpu time: 6350 real time: 6350 gc time: 63" "cpu time: 6400 real time: 6398 gc time: 50" "cpu time: 6334 real time: 6332 gc time: 43" "cpu time: 6330 real time: 6329 gc time: 40"))
("010100001" ("cpu time: 6430 real time: 6428 gc time: 50" "cpu time: 6556 real time: 6554 gc time: 56" "cpu time: 6403 real time: 6402 gc time: 46" "cpu time: 6463 real time: 6460 gc time: 40" "cpu time: 6397 real time: 6393 gc time: 50" "cpu time: 6430 real time: 6426 gc time: 43" "cpu time: 6424 real time: 6422 gc time: 49" "cpu time: 6673 real time: 6675 gc time: 57"))
("010100010" ("cpu time: 6304 real time: 6301 gc time: 57" "cpu time: 6290 real time: 6289 gc time: 47" "cpu time: 6323 real time: 6320 gc time: 56" "cpu time: 6404 real time: 6401 gc time: 46" "cpu time: 6330 real time: 6328 gc time: 53" "cpu time: 6340 real time: 6338 gc time: 58" "cpu time: 6356 real time: 6355 gc time: 52" "cpu time: 6323 real time: 6322 gc time: 63"))
("010100011" ("cpu time: 6276 real time: 6275 gc time: 40" "cpu time: 6350 real time: 6347 gc time: 57" "cpu time: 6334 real time: 6332 gc time: 50" "cpu time: 6323 real time: 6319 gc time: 40" "cpu time: 6303 real time: 6301 gc time: 40" "cpu time: 6327 real time: 6326 gc time: 43" "cpu time: 6293 real time: 6291 gc time: 46" "cpu time: 6563 real time: 6559 gc time: 53"))
("010100100" ("cpu time: 6317 real time: 6315 gc time: 43" "cpu time: 6330 real time: 6327 gc time: 43" "cpu time: 6353 real time: 6355 gc time: 61" "cpu time: 6354 real time: 6352 gc time: 57" "cpu time: 6307 real time: 6307 gc time: 52" "cpu time: 6343 real time: 6342 gc time: 54" "cpu time: 6320 real time: 6319 gc time: 57" "cpu time: 6317 real time: 6315 gc time: 40"))
("010100101" ("cpu time: 6457 real time: 6458 gc time: 43" "cpu time: 6467 real time: 6463 gc time: 50" "cpu time: 6446 real time: 6443 gc time: 43" "cpu time: 6470 real time: 6470 gc time: 44" "cpu time: 6513 real time: 6510 gc time: 53" "cpu time: 6457 real time: 6458 gc time: 63" "cpu time: 6483 real time: 6481 gc time: 64" "cpu time: 6473 real time: 6472 gc time: 40"))
("010100110" ("cpu time: 6323 real time: 6324 gc time: 56" "cpu time: 6630 real time: 6629 gc time: 43" "cpu time: 6326 real time: 6323 gc time: 43" "cpu time: 6370 real time: 6366 gc time: 53" "cpu time: 6420 real time: 6419 gc time: 51" "cpu time: 6314 real time: 6314 gc time: 58" "cpu time: 6250 real time: 6251 gc time: 43" "cpu time: 6430 real time: 6428 gc time: 47"))
("010100111" ("cpu time: 6324 real time: 6323 gc time: 60" "cpu time: 6480 real time: 6476 gc time: 53" "cpu time: 6346 real time: 6342 gc time: 43" "cpu time: 6387 real time: 6384 gc time: 60" "cpu time: 6317 real time: 6316 gc time: 56" "cpu time: 6260 real time: 6259 gc time: 52" "cpu time: 6316 real time: 6311 gc time: 53" "cpu time: 6397 real time: 6393 gc time: 47"))
("010101000" ("cpu time: 6457 real time: 6455 gc time: 60" "cpu time: 6410 real time: 6408 gc time: 44" "cpu time: 6417 real time: 6412 gc time: 40" "cpu time: 6420 real time: 6418 gc time: 40" "cpu time: 6417 real time: 6413 gc time: 56" "cpu time: 6456 real time: 6453 gc time: 53" "cpu time: 6403 real time: 6404 gc time: 36" "cpu time: 6397 real time: 6395 gc time: 56"))
("010101001" ("cpu time: 6460 real time: 6456 gc time: 50" "cpu time: 6477 real time: 6472 gc time: 46" "cpu time: 6477 real time: 6472 gc time: 53" "cpu time: 6527 real time: 6523 gc time: 40" "cpu time: 6566 real time: 6564 gc time: 47" "cpu time: 6494 real time: 6492 gc time: 40" "cpu time: 6480 real time: 6480 gc time: 49" "cpu time: 6486 real time: 6484 gc time: 43"))
("010101010" ("cpu time: 6380 real time: 6377 gc time: 40" "cpu time: 6397 real time: 6394 gc time: 50" "cpu time: 6434 real time: 6433 gc time: 40" "cpu time: 6406 real time: 6404 gc time: 40" "cpu time: 6440 real time: 6439 gc time: 40" "cpu time: 6410 real time: 6409 gc time: 43" "cpu time: 6473 real time: 6470 gc time: 43" "cpu time: 6424 real time: 6425 gc time: 47"))
("010101011" ("cpu time: 6373 real time: 6369 gc time: 40" "cpu time: 6447 real time: 6444 gc time: 57" "cpu time: 6420 real time: 6421 gc time: 56" "cpu time: 6353 real time: 6350 gc time: 49" "cpu time: 6383 real time: 6378 gc time: 43" "cpu time: 6460 real time: 6456 gc time: 48" "cpu time: 6390 real time: 6389 gc time: 47" "cpu time: 6410 real time: 6409 gc time: 59"))
("010101100" ("cpu time: 6437 real time: 6435 gc time: 47" "cpu time: 6394 real time: 6389 gc time: 50" "cpu time: 6383 real time: 6383 gc time: 53" "cpu time: 6417 real time: 6416 gc time: 43" "cpu time: 6460 real time: 6460 gc time: 47" "cpu time: 6414 real time: 6415 gc time: 51" "cpu time: 6400 real time: 6396 gc time: 67" "cpu time: 6404 real time: 6402 gc time: 50"))
("010101101" ("cpu time: 6597 real time: 6597 gc time: 53" "cpu time: 6524 real time: 6522 gc time: 46" "cpu time: 6543 real time: 6546 gc time: 43" "cpu time: 6546 real time: 6545 gc time: 58" "cpu time: 6534 real time: 6534 gc time: 50" "cpu time: 6497 real time: 6494 gc time: 43" "cpu time: 6580 real time: 6582 gc time: 54" "cpu time: 6616 real time: 6616 gc time: 43"))
("010101110" ("cpu time: 6473 real time: 6474 gc time: 50" "cpu time: 6480 real time: 6476 gc time: 43" "cpu time: 6524 real time: 6520 gc time: 54" "cpu time: 6373 real time: 6370 gc time: 60" "cpu time: 6417 real time: 6414 gc time: 52" "cpu time: 6520 real time: 6521 gc time: 50" "cpu time: 6380 real time: 6380 gc time: 53" "cpu time: 6370 real time: 6369 gc time: 60"))
("010101111" ("cpu time: 6400 real time: 6399 gc time: 44" "cpu time: 6450 real time: 6447 gc time: 53" "cpu time: 6370 real time: 6369 gc time: 43" "cpu time: 6410 real time: 6410 gc time: 47" "cpu time: 6423 real time: 6425 gc time: 43" "cpu time: 6477 real time: 6475 gc time: 44" "cpu time: 6640 real time: 6641 gc time: 56" "cpu time: 6480 real time: 6480 gc time: 43"))
("010110000" ("cpu time: 4407 real time: 4405 gc time: 50" "cpu time: 4373 real time: 4370 gc time: 43" "cpu time: 4400 real time: 4398 gc time: 44" "cpu time: 4377 real time: 4374 gc time: 43" "cpu time: 4400 real time: 4400 gc time: 43" "cpu time: 4387 real time: 4383 gc time: 40" "cpu time: 4460 real time: 4459 gc time: 51" "cpu time: 4387 real time: 4388 gc time: 40"))
("010110001" ("cpu time: 4403 real time: 4403 gc time: 40" "cpu time: 4440 real time: 4441 gc time: 43" "cpu time: 4397 real time: 4393 gc time: 44" "cpu time: 4497 real time: 4497 gc time: 40" "cpu time: 4377 real time: 4374 gc time: 40" "cpu time: 4384 real time: 4382 gc time: 40" "cpu time: 4370 real time: 4369 gc time: 43" "cpu time: 4370 real time: 4368 gc time: 40"))
("010110010" ("cpu time: 4406 real time: 4405 gc time: 40" "cpu time: 4343 real time: 4340 gc time: 40" "cpu time: 4323 real time: 4325 gc time: 43" "cpu time: 4333 real time: 4331 gc time: 40" "cpu time: 4327 real time: 4331 gc time: 40" "cpu time: 4343 real time: 4340 gc time: 40" "cpu time: 4323 real time: 4323 gc time: 40" "cpu time: 4330 real time: 4328 gc time: 40"))
("010110011" ("cpu time: 4357 real time: 4358 gc time: 40" "cpu time: 4340 real time: 4341 gc time: 40" "cpu time: 4344 real time: 4342 gc time: 40" "cpu time: 4334 real time: 4335 gc time: 40" "cpu time: 4377 real time: 4371 gc time: 43" "cpu time: 4344 real time: 4343 gc time: 40" "cpu time: 4520 real time: 4515 gc time: 43" "cpu time: 4357 real time: 4357 gc time: 40"))
("010110100" ("cpu time: 4330 real time: 4329 gc time: 43" "cpu time: 4333 real time: 4333 gc time: 43" "cpu time: 4334 real time: 4331 gc time: 40" "cpu time: 4330 real time: 4332 gc time: 43" "cpu time: 4336 real time: 4336 gc time: 40" "cpu time: 4354 real time: 4354 gc time: 43" "cpu time: 4537 real time: 4535 gc time: 40" "cpu time: 4340 real time: 4341 gc time: 40"))
("010110101" ("cpu time: 4334 real time: 4330 gc time: 40" "cpu time: 4330 real time: 4329 gc time: 40" "cpu time: 4316 real time: 4314 gc time: 43" "cpu time: 4320 real time: 4318 gc time: 44" "cpu time: 4320 real time: 4318 gc time: 44" "cpu time: 4327 real time: 4325 gc time: 40" "cpu time: 4357 real time: 4354 gc time: 43" "cpu time: 4333 real time: 4330 gc time: 44"))
("010110110" ("cpu time: 3296 real time: 3299 gc time: 44" "cpu time: 3376 real time: 3374 gc time: 43" "cpu time: 3277 real time: 3278 gc time: 46" "cpu time: 3313 real time: 3313 gc time: 43" "cpu time: 4513 real time: 4513 gc time: 44" "cpu time: 3280 real time: 3278 gc time: 44" "cpu time: 3263 real time: 3264 gc time: 40" "cpu time: 3284 real time: 3283 gc time: 40"))
("010110111" ("cpu time: 3303 real time: 3304 gc time: 40" "cpu time: 3350 real time: 3349 gc time: 43" "cpu time: 3407 real time: 3405 gc time: 44" "cpu time: 3280 real time: 3283 gc time: 40" "cpu time: 3307 real time: 3305 gc time: 43" "cpu time: 3293 real time: 3291 gc time: 40" "cpu time: 3290 real time: 3286 gc time: 43" "cpu time: 3326 real time: 3325 gc time: 43"))
("010111000" ("cpu time: 4480 real time: 4480 gc time: 40" "cpu time: 4563 real time: 4563 gc time: 40" "cpu time: 4457 real time: 4456 gc time: 40" "cpu time: 4460 real time: 4457 gc time: 40" "cpu time: 4437 real time: 4438 gc time: 40" "cpu time: 4440 real time: 4437 gc time: 40" "cpu time: 4447 real time: 4446 gc time: 43" "cpu time: 4450 real time: 4448 gc time: 40"))
("010111001" ("cpu time: 4420 real time: 4421 gc time: 40" "cpu time: 4440 real time: 4440 gc time: 43" "cpu time: 4484 real time: 4483 gc time: 40" "cpu time: 4440 real time: 4440 gc time: 36" "cpu time: 4430 real time: 4429 gc time: 53" "cpu time: 4427 real time: 4426 gc time: 40" "cpu time: 4470 real time: 4471 gc time: 40" "cpu time: 4420 real time: 4421 gc time: 40"))
("010111010" ("cpu time: 4387 real time: 4384 gc time: 40" "cpu time: 4404 real time: 4402 gc time: 47" "cpu time: 4417 real time: 4416 gc time: 40" "cpu time: 4387 real time: 4387 gc time: 40" "cpu time: 4413 real time: 4411 gc time: 40" "cpu time: 4397 real time: 4397 gc time: 40" "cpu time: 4386 real time: 4388 gc time: 40" "cpu time: 4433 real time: 4435 gc time: 44"))
("010111011" ("cpu time: 4427 real time: 4426 gc time: 40" "cpu time: 4406 real time: 4405 gc time: 40" "cpu time: 4470 real time: 4468 gc time: 40" "cpu time: 4437 real time: 4435 gc time: 44" "cpu time: 4510 real time: 4509 gc time: 37" "cpu time: 4404 real time: 4404 gc time: 44" "cpu time: 4453 real time: 4453 gc time: 40" "cpu time: 4430 real time: 4427 gc time: 40"))
("010111100" ("cpu time: 4406 real time: 4406 gc time: 44" "cpu time: 4397 real time: 4395 gc time: 40" "cpu time: 4400 real time: 4399 gc time: 43" "cpu time: 4437 real time: 4438 gc time: 40" "cpu time: 4413 real time: 4414 gc time: 44" "cpu time: 4396 real time: 4394 gc time: 43" "cpu time: 4404 real time: 4403 gc time: 47" "cpu time: 4390 real time: 4390 gc time: 43"))
("010111101" ("cpu time: 4357 real time: 4355 gc time: 44" "cpu time: 4397 real time: 4396 gc time: 46" "cpu time: 4400 real time: 4395 gc time: 43" "cpu time: 4380 real time: 4380 gc time: 43" "cpu time: 4397 real time: 4397 gc time: 50" "cpu time: 4366 real time: 4365 gc time: 43" "cpu time: 4370 real time: 4367 gc time: 36" "cpu time: 4370 real time: 4371 gc time: 43"))
("010111110" ("cpu time: 3347 real time: 3345 gc time: 40" "cpu time: 3377 real time: 3376 gc time: 43" "cpu time: 3347 real time: 3347 gc time: 43" "cpu time: 3350 real time: 3349 gc time: 43" "cpu time: 3326 real time: 3329 gc time: 44" "cpu time: 3373 real time: 3374 gc time: 43" "cpu time: 3350 real time: 3350 gc time: 43" "cpu time: 3353 real time: 3355 gc time: 40"))
("010111111" ("cpu time: 3344 real time: 3344 gc time: 40" "cpu time: 3333 real time: 3336 gc time: 40" "cpu time: 3337 real time: 3336 gc time: 44" "cpu time: 3460 real time: 3459 gc time: 43" "cpu time: 3363 real time: 3363 gc time: 40" "cpu time: 3330 real time: 3330 gc time: 40" "cpu time: 3357 real time: 3358 gc time: 43" "cpu time: 3433 real time: 3432 gc time: 43"))
("011000000" ("cpu time: 4076 real time: 4071 gc time: 49" "cpu time: 4107 real time: 4103 gc time: 50" "cpu time: 4060 real time: 4059 gc time: 57" "cpu time: 4090 real time: 4087 gc time: 40" "cpu time: 4096 real time: 4099 gc time: 37" "cpu time: 4123 real time: 4120 gc time: 49" "cpu time: 4080 real time: 4076 gc time: 43" "cpu time: 4107 real time: 4102 gc time: 61"))
("011000001" ("cpu time: 4077 real time: 4076 gc time: 60" "cpu time: 4103 real time: 4099 gc time: 50" "cpu time: 4096 real time: 4095 gc time: 49" "cpu time: 4090 real time: 4086 gc time: 50" "cpu time: 4136 real time: 4130 gc time: 40" "cpu time: 4207 real time: 4204 gc time: 62" "cpu time: 4093 real time: 4089 gc time: 53" "cpu time: 4147 real time: 4145 gc time: 60"))
("011000010" ("cpu time: 4070 real time: 4068 gc time: 57" "cpu time: 4143 real time: 4139 gc time: 62" "cpu time: 4130 real time: 4131 gc time: 50" "cpu time: 4087 real time: 4084 gc time: 40" "cpu time: 4127 real time: 4125 gc time: 53" "cpu time: 4093 real time: 4092 gc time: 57" "cpu time: 4080 real time: 4079 gc time: 47" "cpu time: 4090 real time: 4088 gc time: 50"))
("011000011" ("cpu time: 4114 real time: 4109 gc time: 52" "cpu time: 4087 real time: 4085 gc time: 54" "cpu time: 4130 real time: 4127 gc time: 44" "cpu time: 4120 real time: 4117 gc time: 43" "cpu time: 4100 real time: 4100 gc time: 43" "cpu time: 4204 real time: 4200 gc time: 46" "cpu time: 4134 real time: 4130 gc time: 47" "cpu time: 4090 real time: 4085 gc time: 50"))
("011000100" ("cpu time: 4200 real time: 4196 gc time: 46" "cpu time: 4106 real time: 4105 gc time: 51" "cpu time: 4160 real time: 4154 gc time: 46" "cpu time: 4087 real time: 4084 gc time: 47" "cpu time: 4117 real time: 4114 gc time: 55" "cpu time: 4130 real time: 4128 gc time: 44" "cpu time: 4127 real time: 4125 gc time: 44" "cpu time: 4170 real time: 4166 gc time: 54"))
("011000101" ("cpu time: 4157 real time: 4156 gc time: 40" "cpu time: 4103 real time: 4101 gc time: 74" "cpu time: 4137 real time: 4134 gc time: 65" "cpu time: 4167 real time: 4163 gc time: 43" "cpu time: 4170 real time: 4168 gc time: 56" "cpu time: 4120 real time: 4115 gc time: 43" "cpu time: 4110 real time: 4111 gc time: 47" "cpu time: 4133 real time: 4133 gc time: 54"))
("011000110" ("cpu time: 4107 real time: 4105 gc time: 61" "cpu time: 4070 real time: 4066 gc time: 58" "cpu time: 4090 real time: 4087 gc time: 43" "cpu time: 4080 real time: 4078 gc time: 50" "cpu time: 4074 real time: 4071 gc time: 60" "cpu time: 4083 real time: 4082 gc time: 57" "cpu time: 4096 real time: 4092 gc time: 59" "cpu time: 4076 real time: 4073 gc time: 64"))
("011000111" ("cpu time: 4080 real time: 4075 gc time: 61" "cpu time: 4140 real time: 4137 gc time: 44" "cpu time: 4113 real time: 4112 gc time: 50" "cpu time: 4103 real time: 4098 gc time: 40" "cpu time: 4073 real time: 4073 gc time: 50" "cpu time: 4080 real time: 4078 gc time: 44" "cpu time: 4080 real time: 4075 gc time: 54" "cpu time: 4103 real time: 4100 gc time: 49"))
("011001000" ("cpu time: 4024 real time: 4023 gc time: 53" "cpu time: 4000 real time: 3997 gc time: 50" "cpu time: 3907 real time: 3904 gc time: 58" "cpu time: 3930 real time: 3926 gc time: 43" "cpu time: 3910 real time: 3906 gc time: 61" "cpu time: 3907 real time: 3904 gc time: 65" "cpu time: 3923 real time: 3919 gc time: 47" "cpu time: 3907 real time: 3907 gc time: 43"))
("011001001" ("cpu time: 3950 real time: 3947 gc time: 65" "cpu time: 3927 real time: 3926 gc time: 59" "cpu time: 3936 real time: 3934 gc time: 37" "cpu time: 3903 real time: 3901 gc time: 51" "cpu time: 3920 real time: 3917 gc time: 59" "cpu time: 3936 real time: 3933 gc time: 53" "cpu time: 3917 real time: 3915 gc time: 53" "cpu time: 3910 real time: 3905 gc time: 57"))
("011001010" ("cpu time: 3934 real time: 3933 gc time: 46" "cpu time: 3937 real time: 3931 gc time: 43" "cpu time: 3913 real time: 3909 gc time: 50" "cpu time: 3983 real time: 3979 gc time: 46" "cpu time: 3903 real time: 3901 gc time: 47" "cpu time: 3894 real time: 3891 gc time: 50" "cpu time: 3887 real time: 3887 gc time: 40" "cpu time: 3960 real time: 3959 gc time: 44"))
("011001011" ("cpu time: 3913 real time: 3911 gc time: 49" "cpu time: 3943 real time: 3937 gc time: 44" "cpu time: 3890 real time: 3888 gc time: 40" "cpu time: 3927 real time: 3924 gc time: 46" "cpu time: 3927 real time: 3924 gc time: 40" "cpu time: 4000 real time: 3995 gc time: 43" "cpu time: 3917 real time: 3915 gc time: 51" "cpu time: 3920 real time: 3918 gc time: 60"))
("011001100" ("cpu time: 3940 real time: 3937 gc time: 54" "cpu time: 3963 real time: 3961 gc time: 58" "cpu time: 3940 real time: 3934 gc time: 44" "cpu time: 3936 real time: 3936 gc time: 46" "cpu time: 3930 real time: 3928 gc time: 52" "cpu time: 3917 real time: 3910 gc time: 53" "cpu time: 3990 real time: 3986 gc time: 50" "cpu time: 3950 real time: 3950 gc time: 40"))
("011001101" ("cpu time: 4023 real time: 4020 gc time: 47" "cpu time: 3970 real time: 3967 gc time: 56" "cpu time: 3936 real time: 3936 gc time: 43" "cpu time: 6723 real time: 6721 gc time: 43" "cpu time: 3920 real time: 3917 gc time: 55" "cpu time: 4030 real time: 4027 gc time: 43" "cpu time: 3960 real time: 3959 gc time: 46" "cpu time: 3940 real time: 3938 gc time: 62"))
("011001110" ("cpu time: 3897 real time: 3894 gc time: 53" "cpu time: 3890 real time: 3887 gc time: 51" "cpu time: 4136 real time: 4139 gc time: 40" "cpu time: 3944 real time: 3940 gc time: 64" "cpu time: 3910 real time: 3908 gc time: 43" "cpu time: 3910 real time: 3905 gc time: 53" "cpu time: 3913 real time: 3906 gc time: 44" "cpu time: 3936 real time: 3932 gc time: 53"))
("011001111" ("cpu time: 3907 real time: 3904 gc time: 51" "cpu time: 3917 real time: 3914 gc time: 43" "cpu time: 3906 real time: 3902 gc time: 47" "cpu time: 3890 real time: 3887 gc time: 47" "cpu time: 3883 real time: 3880 gc time: 55" "cpu time: 3917 real time: 3915 gc time: 40" "cpu time: 3887 real time: 3882 gc time: 52" "cpu time: 3907 real time: 3902 gc time: 57"))
("011010000" ("cpu time: 950 real time: 949 gc time: 43" "cpu time: 947 real time: 948 gc time: 47" "cpu time: 940 real time: 939 gc time: 44" "cpu time: 933 real time: 936 gc time: 40" "cpu time: 937 real time: 937 gc time: 40" "cpu time: 940 real time: 938 gc time: 40" "cpu time: 947 real time: 947 gc time: 47" "cpu time: 933 real time: 936 gc time: 37"))
("011010001" ("cpu time: 953 real time: 953 gc time: 40" "cpu time: 947 real time: 943 gc time: 47" "cpu time: 937 real time: 935 gc time: 40" "cpu time: 980 real time: 979 gc time: 40" "cpu time: 934 real time: 935 gc time: 40" "cpu time: 937 real time: 936 gc time: 40" "cpu time: 944 real time: 941 gc time: 40" "cpu time: 936 real time: 935 gc time: 44"))
("011010010" ("cpu time: 947 real time: 945 gc time: 40" "cpu time: 936 real time: 935 gc time: 40" "cpu time: 937 real time: 936 gc time: 44" "cpu time: 936 real time: 935 gc time: 40" "cpu time: 940 real time: 941 gc time: 47" "cpu time: 933 real time: 934 gc time: 40" "cpu time: 950 real time: 949 gc time: 43" "cpu time: 937 real time: 934 gc time: 44"))
("011010011" ("cpu time: 970 real time: 972 gc time: 40" "cpu time: 924 real time: 925 gc time: 37" "cpu time: 930 real time: 926 gc time: 40" "cpu time: 947 real time: 946 gc time: 50" "cpu time: 927 real time: 926 gc time: 43" "cpu time: 926 real time: 928 gc time: 40" "cpu time: 934 real time: 933 gc time: 50" "cpu time: 930 real time: 927 gc time: 43"))
("011010100" ("cpu time: 930 real time: 933 gc time: 43" "cpu time: 937 real time: 937 gc time: 44" "cpu time: 930 real time: 933 gc time: 43" "cpu time: 937 real time: 938 gc time: 46" "cpu time: 930 real time: 930 gc time: 40" "cpu time: 943 real time: 943 gc time: 50" "cpu time: 937 real time: 933 gc time: 43" "cpu time: 937 real time: 932 gc time: 44"))
("011010101" ("cpu time: 963 real time: 963 gc time: 43" "cpu time: 963 real time: 963 gc time: 43" "cpu time: 963 real time: 960 gc time: 43" "cpu time: 983 real time: 981 gc time: 50" "cpu time: 960 real time: 960 gc time: 40" "cpu time: 963 real time: 962 gc time: 40" "cpu time: 963 real time: 960 gc time: 43" "cpu time: 957 real time: 957 gc time: 40"))
("011010110" ("cpu time: 933 real time: 930 gc time: 40" "cpu time: 933 real time: 932 gc time: 44" "cpu time: 930 real time: 929 gc time: 43" "cpu time: 937 real time: 933 gc time: 43" "cpu time: 934 real time: 929 gc time: 44" "cpu time: 934 real time: 929 gc time: 40" "cpu time: 933 real time: 934 gc time: 43" "cpu time: 933 real time: 932 gc time: 43"))
("011010111" ("cpu time: 930 real time: 929 gc time: 43" "cpu time: 924 real time: 922 gc time: 43" "cpu time: 927 real time: 923 gc time: 43" "cpu time: 926 real time: 925 gc time: 40" "cpu time: 923 real time: 921 gc time: 44" "cpu time: 924 real time: 925 gc time: 43" "cpu time: 930 real time: 932 gc time: 40" "cpu time: 920 real time: 921 gc time: 43"))
("011011000" ("cpu time: 797 real time: 799 gc time: 47" "cpu time: 797 real time: 795 gc time: 37" "cpu time: 797 real time: 797 gc time: 37" "cpu time: 800 real time: 797 gc time: 40" "cpu time: 807 real time: 806 gc time: 50" "cpu time: 796 real time: 797 gc time: 40" "cpu time: 813 real time: 810 gc time: 40" "cpu time: 796 real time: 796 gc time: 40"))
("011011001" ("cpu time: 800 real time: 800 gc time: 50" "cpu time: 794 real time: 792 gc time: 43" "cpu time: 800 real time: 797 gc time: 50" "cpu time: 793 real time: 793 gc time: 43" "cpu time: 790 real time: 792 gc time: 40" "cpu time: 793 real time: 792 gc time: 40" "cpu time: 796 real time: 794 gc time: 40" "cpu time: 794 real time: 794 gc time: 40"))
("011011010" ("cpu time: 797 real time: 797 gc time: 40" "cpu time: 793 real time: 796 gc time: 40" "cpu time: 803 real time: 801 gc time: 40" "cpu time: 837 real time: 835 gc time: 40" "cpu time: 800 real time: 797 gc time: 40" "cpu time: 807 real time: 804 gc time: 50" "cpu time: 797 real time: 794 gc time: 40" "cpu time: 793 real time: 794 gc time: 40"))
("011011011" ("cpu time: 777 real time: 777 gc time: 40" "cpu time: 776 real time: 777 gc time: 40" "cpu time: 780 real time: 779 gc time: 40" "cpu time: 820 real time: 819 gc time: 43" "cpu time: 787 real time: 786 gc time: 40" "cpu time: 790 real time: 788 gc time: 40" "cpu time: 784 real time: 784 gc time: 50" "cpu time: 780 real time: 777 gc time: 43"))
("011011100" ("cpu time: 800 real time: 798 gc time: 44" "cpu time: 794 real time: 793 gc time: 43" "cpu time: 796 real time: 794 gc time: 44" "cpu time: 803 real time: 799 gc time: 47" "cpu time: 796 real time: 797 gc time: 40" "cpu time: 810 real time: 808 gc time: 54" "cpu time: 793 real time: 793 gc time: 43" "cpu time: 794 real time: 794 gc time: 43"))
("011011101" ("cpu time: 816 real time: 815 gc time: 40" "cpu time: 817 real time: 814 gc time: 40" "cpu time: 817 real time: 816 gc time: 43" "cpu time: 813 real time: 813 gc time: 44" "cpu time: 820 real time: 816 gc time: 44" "cpu time: 816 real time: 818 gc time: 40" "cpu time: 843 real time: 844 gc time: 40" "cpu time: 814 real time: 815 gc time: 40"))
("011011110" ("cpu time: 790 real time: 790 gc time: 40" "cpu time: 794 real time: 790 gc time: 40" "cpu time: 793 real time: 792 gc time: 44" "cpu time: 790 real time: 790 gc time: 43" "cpu time: 793 real time: 792 gc time: 44" "cpu time: 793 real time: 792 gc time: 43" "cpu time: 794 real time: 791 gc time: 43" "cpu time: 796 real time: 799 gc time: 47"))
("011011111" ("cpu time: 773 real time: 771 gc time: 44" "cpu time: 770 real time: 769 gc time: 40" "cpu time: 773 real time: 770 gc time: 43" "cpu time: 774 real time: 773 gc time: 43" "cpu time: 773 real time: 769 gc time: 40" "cpu time: 770 real time: 770 gc time: 40" "cpu time: 783 real time: 782 gc time: 53" "cpu time: 770 real time: 770 gc time: 44"))
("011100000" ("cpu time: 4120 real time: 4116 gc time: 60" "cpu time: 4130 real time: 4126 gc time: 44" "cpu time: 4106 real time: 4103 gc time: 40" "cpu time: 4117 real time: 4109 gc time: 46" "cpu time: 4120 real time: 4118 gc time: 53" "cpu time: 4106 real time: 4104 gc time: 47" "cpu time: 4117 real time: 4111 gc time: 40" "cpu time: 4096 real time: 4094 gc time: 59"))
("011100001" ("cpu time: 4117 real time: 4116 gc time: 46" "cpu time: 4127 real time: 4120 gc time: 52" "cpu time: 4074 real time: 4072 gc time: 49" "cpu time: 4097 real time: 4094 gc time: 60" "cpu time: 4117 real time: 4115 gc time: 40" "cpu time: 4120 real time: 4117 gc time: 44" "cpu time: 4130 real time: 4126 gc time: 54" "cpu time: 4134 real time: 4131 gc time: 40"))
("011100010" ("cpu time: 4073 real time: 4073 gc time: 53" "cpu time: 4103 real time: 4098 gc time: 55" "cpu time: 4096 real time: 4093 gc time: 40" "cpu time: 4080 real time: 4075 gc time: 44" "cpu time: 4080 real time: 4077 gc time: 43" "cpu time: 4100 real time: 4095 gc time: 43" "cpu time: 4077 real time: 4075 gc time: 52" "cpu time: 4106 real time: 4102 gc time: 43"))
("011100011" ("cpu time: 4116 real time: 4112 gc time: 43" "cpu time: 4284 real time: 4280 gc time: 49" "cpu time: 4107 real time: 4106 gc time: 43" "cpu time: 4100 real time: 4092 gc time: 43" "cpu time: 4090 real time: 4086 gc time: 47" "cpu time: 4114 real time: 4110 gc time: 40" "cpu time: 4100 real time: 4096 gc time: 44" "cpu time: 4306 real time: 4304 gc time: 43"))
("011100100" ("cpu time: 4134 real time: 4131 gc time: 40" "cpu time: 4223 real time: 4219 gc time: 44" "cpu time: 4053 real time: 4049 gc time: 56" "cpu time: 4070 real time: 4067 gc time: 46" "cpu time: 4083 real time: 4080 gc time: 49" "cpu time: 4110 real time: 4106 gc time: 54" "cpu time: 4063 real time: 4062 gc time: 47" "cpu time: 4140 real time: 4138 gc time: 65"))
("011100101" ("cpu time: 4187 real time: 4185 gc time: 50" "cpu time: 4170 real time: 4166 gc time: 44" "cpu time: 4180 real time: 4176 gc time: 47" "cpu time: 4193 real time: 4188 gc time: 47" "cpu time: 4160 real time: 4160 gc time: 47" "cpu time: 6954 real time: 6950 gc time: 47" "cpu time: 4117 real time: 4113 gc time: 43" "cpu time: 4120 real time: 4116 gc time: 44"))
("011100110" ("cpu time: 6040 real time: 6038 gc time: 43" "cpu time: 4083 real time: 4082 gc time: 48" "cpu time: 4120 real time: 4115 gc time: 58" "cpu time: 4100 real time: 4099 gc time: 47" "cpu time: 4086 real time: 4084 gc time: 47" "cpu time: 4103 real time: 4102 gc time: 43" "cpu time: 4093 real time: 4093 gc time: 51" "cpu time: 4090 real time: 4090 gc time: 44"))
("011100111" ("cpu time: 4080 real time: 4074 gc time: 48" "cpu time: 4106 real time: 4109 gc time: 53" "cpu time: 4066 real time: 4066 gc time: 43" "cpu time: 4100 real time: 4097 gc time: 56" "cpu time: 4124 real time: 4122 gc time: 46" "cpu time: 4090 real time: 4088 gc time: 51" "cpu time: 4090 real time: 4089 gc time: 43" "cpu time: 4120 real time: 4116 gc time: 47"))
("011101000" ("cpu time: 3937 real time: 3933 gc time: 55" "cpu time: 3966 real time: 3964 gc time: 53" "cpu time: 3927 real time: 3923 gc time: 59" "cpu time: 3947 real time: 3942 gc time: 51" "cpu time: 3943 real time: 3942 gc time: 40" "cpu time: 4020 real time: 4019 gc time: 53" "cpu time: 4147 real time: 4145 gc time: 52" "cpu time: 3950 real time: 3946 gc time: 54"))
("011101001" ("cpu time: 4000 real time: 3999 gc time: 40" "cpu time: 3917 real time: 3915 gc time: 40" "cpu time: 4014 real time: 4008 gc time: 40" "cpu time: 3974 real time: 3969 gc time: 51" "cpu time: 3933 real time: 3928 gc time: 54" "cpu time: 3940 real time: 3935 gc time: 46" "cpu time: 3920 real time: 3913 gc time: 65" "cpu time: 3934 real time: 3928 gc time: 49"))
("011101010" ("cpu time: 3910 real time: 3909 gc time: 40" "cpu time: 3913 real time: 3908 gc time: 44" "cpu time: 3904 real time: 3898 gc time: 43" "cpu time: 3930 real time: 3927 gc time: 55" "cpu time: 3937 real time: 3933 gc time: 52" "cpu time: 3990 real time: 3985 gc time: 46" "cpu time: 3933 real time: 3932 gc time: 40" "cpu time: 3934 real time: 3930 gc time: 40"))
("011101011" ("cpu time: 3930 real time: 3923 gc time: 53" "cpu time: 3910 real time: 3907 gc time: 53" "cpu time: 3910 real time: 3909 gc time: 40" "cpu time: 3947 real time: 3945 gc time: 40" "cpu time: 3933 real time: 3931 gc time: 46" "cpu time: 3957 real time: 3951 gc time: 40" "cpu time: 3904 real time: 3902 gc time: 44" "cpu time: 3926 real time: 3922 gc time: 66"))
("011101100" ("cpu time: 3934 real time: 3929 gc time: 43" "cpu time: 3914 real time: 3909 gc time: 46" "cpu time: 3920 real time: 3919 gc time: 50" "cpu time: 3907 real time: 3905 gc time: 68" "cpu time: 3897 real time: 3891 gc time: 43" "cpu time: 3920 real time: 3918 gc time: 54" "cpu time: 3903 real time: 3901 gc time: 40" "cpu time: 3916 real time: 3913 gc time: 50"))
("011101101" ("cpu time: 3940 real time: 3938 gc time: 52" "cpu time: 3973 real time: 3971 gc time: 54" "cpu time: 3990 real time: 3984 gc time: 46" "cpu time: 3930 real time: 3925 gc time: 44" "cpu time: 3946 real time: 3943 gc time: 50" "cpu time: 3964 real time: 3958 gc time: 40" "cpu time: 3944 real time: 3941 gc time: 44" "cpu time: 3993 real time: 3993 gc time: 57"))
("011101110" ("cpu time: 3926 real time: 3925 gc time: 57" "cpu time: 3890 real time: 3887 gc time: 44" "cpu time: 4020 real time: 4016 gc time: 54" "cpu time: 3940 real time: 3933 gc time: 49" "cpu time: 3913 real time: 3912 gc time: 52" "cpu time: 3930 real time: 3926 gc time: 43" "cpu time: 3930 real time: 3927 gc time: 52" "cpu time: 3930 real time: 3926 gc time: 49"))
("011101111" ("cpu time: 3907 real time: 3903 gc time: 43" "cpu time: 3943 real time: 3941 gc time: 43" "cpu time: 3910 real time: 3908 gc time: 56" "cpu time: 3886 real time: 3886 gc time: 43" "cpu time: 3903 real time: 3902 gc time: 49" "cpu time: 3906 real time: 3899 gc time: 43" "cpu time: 3936 real time: 3931 gc time: 43" "cpu time: 3917 real time: 3913 gc time: 51"))
("011110000" ("cpu time: 944 real time: 939 gc time: 43" "cpu time: 940 real time: 939 gc time: 44" "cpu time: 950 real time: 947 gc time: 40" "cpu time: 940 real time: 940 gc time: 40" "cpu time: 947 real time: 944 gc time: 44" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 950 real time: 947 gc time: 40" "cpu time: 940 real time: 940 gc time: 40"))
("011110001" ("cpu time: 936 real time: 936 gc time: 40" "cpu time: 933 real time: 934 gc time: 40" "cpu time: 936 real time: 936 gc time: 40" "cpu time: 937 real time: 936 gc time: 40" "cpu time: 940 real time: 935 gc time: 40" "cpu time: 937 real time: 936 gc time: 40" "cpu time: 933 real time: 939 gc time: 40" "cpu time: 937 real time: 936 gc time: 40"))
("011110010" ("cpu time: 940 real time: 938 gc time: 40" "cpu time: 937 real time: 935 gc time: 40" "cpu time: 950 real time: 947 gc time: 40" "cpu time: 947 real time: 945 gc time: 40" "cpu time: 937 real time: 936 gc time: 40" "cpu time: 937 real time: 935 gc time: 40" "cpu time: 936 real time: 935 gc time: 40" "cpu time: 950 real time: 946 gc time: 47"))
("011110011" ("cpu time: 933 real time: 933 gc time: 40" "cpu time: 936 real time: 934 gc time: 40" "cpu time: 930 real time: 928 gc time: 40" "cpu time: 930 real time: 931 gc time: 43" "cpu time: 930 real time: 930 gc time: 40" "cpu time: 930 real time: 928 gc time: 40" "cpu time: 953 real time: 951 gc time: 50" "cpu time: 927 real time: 928 gc time: 40"))
("011110100" ("cpu time: 943 real time: 941 gc time: 50" "cpu time: 930 real time: 930 gc time: 40" "cpu time: 933 real time: 930 gc time: 40" "cpu time: 934 real time: 932 gc time: 44" "cpu time: 930 real time: 929 gc time: 40" "cpu time: 927 real time: 930 gc time: 43" "cpu time: 930 real time: 931 gc time: 40" "cpu time: 934 real time: 932 gc time: 44"))
("011110101" ("cpu time: 947 real time: 945 gc time: 43" "cpu time: 937 real time: 938 gc time: 50" "cpu time: 946 real time: 949 gc time: 44" "cpu time: 933 real time: 934 gc time: 44" "cpu time: 937 real time: 937 gc time: 54" "cpu time: 977 real time: 976 gc time: 40" "cpu time: 937 real time: 936 gc time: 50" "cpu time: 943 real time: 943 gc time: 54"))
("011110110" ("cpu time: 930 real time: 930 gc time: 48" "cpu time: 933 real time: 930 gc time: 40" "cpu time: 930 real time: 931 gc time: 40" "cpu time: 927 real time: 930 gc time: 40" "cpu time: 930 real time: 930 gc time: 44" "cpu time: 930 real time: 929 gc time: 44" "cpu time: 936 real time: 937 gc time: 43" "cpu time: 934 real time: 934 gc time: 40"))
("011110111" ("cpu time: 920 real time: 919 gc time: 40" "cpu time: 924 real time: 923 gc time: 40" "cpu time: 924 real time: 923 gc time: 43" "cpu time: 933 real time: 929 gc time: 50" "cpu time: 917 real time: 917 gc time: 40" "cpu time: 920 real time: 919 gc time: 43" "cpu time: 923 real time: 919 gc time: 43" "cpu time: 920 real time: 918 gc time: 43"))
("011111000" ("cpu time: 796 real time: 798 gc time: 40" "cpu time: 800 real time: 797 gc time: 40" "cpu time: 807 real time: 804 gc time: 40" "cpu time: 797 real time: 797 gc time: 44" "cpu time: 797 real time: 797 gc time: 40" "cpu time: 796 real time: 798 gc time: 40" "cpu time: 797 real time: 797 gc time: 37" "cpu time: 797 real time: 798 gc time: 40"))
("011111001" ("cpu time: 790 real time: 790 gc time: 36" "cpu time: 790 real time: 791 gc time: 40" "cpu time: 790 real time: 791 gc time: 40" "cpu time: 790 real time: 789 gc time: 43" "cpu time: 837 real time: 833 gc time: 40" "cpu time: 793 real time: 791 gc time: 40" "cpu time: 793 real time: 792 gc time: 40" "cpu time: 800 real time: 798 gc time: 46"))
("011111010" ("cpu time: 800 real time: 797 gc time: 40" "cpu time: 797 real time: 796 gc time: 40" "cpu time: 796 real time: 797 gc time: 47" "cpu time: 797 real time: 796 gc time: 43" "cpu time: 797 real time: 796 gc time: 40" "cpu time: 800 real time: 797 gc time: 40" "cpu time: 797 real time: 796 gc time: 40" "cpu time: 800 real time: 796 gc time: 40"))
("011111011" ("cpu time: 780 real time: 780 gc time: 40" "cpu time: 784 real time: 780 gc time: 43" "cpu time: 827 real time: 829 gc time: 40" "cpu time: 783 real time: 783 gc time: 50" "cpu time: 783 real time: 780 gc time: 40" "cpu time: 780 real time: 780 gc time: 40" "cpu time: 780 real time: 781 gc time: 40" "cpu time: 783 real time: 780 gc time: 40"))
("011111100" ("cpu time: 806 real time: 807 gc time: 43" "cpu time: 790 real time: 790 gc time: 43" "cpu time: 800 real time: 800 gc time: 50" "cpu time: 794 real time: 791 gc time: 43" "cpu time: 790 real time: 791 gc time: 40" "cpu time: 793 real time: 793 gc time: 43" "cpu time: 790 real time: 791 gc time: 43" "cpu time: 790 real time: 790 gc time: 43"))
("011111101" ("cpu time: 783 real time: 785 gc time: 43" "cpu time: 793 real time: 791 gc time: 40" "cpu time: 783 real time: 784 gc time: 40" "cpu time: 790 real time: 790 gc time: 40" "cpu time: 783 real time: 784 gc time: 43" "cpu time: 790 real time: 788 gc time: 40" "cpu time: 783 real time: 783 gc time: 40" "cpu time: 790 real time: 791 gc time: 54"))
("011111110" ("cpu time: 794 real time: 791 gc time: 43" "cpu time: 793 real time: 793 gc time: 44" "cpu time: 796 real time: 796 gc time: 44" "cpu time: 797 real time: 799 gc time: 50" "cpu time: 793 real time: 792 gc time: 47" "cpu time: 867 real time: 868 gc time: 43" "cpu time: 790 real time: 790 gc time: 40" "cpu time: 830 real time: 831 gc time: 44"))
("011111111" ("cpu time: 783 real time: 784 gc time: 43" "cpu time: 773 real time: 770 gc time: 43" "cpu time: 770 real time: 772 gc time: 40" "cpu time: 766 real time: 769 gc time: 40" "cpu time: 817 real time: 816 gc time: 47" "cpu time: 770 real time: 772 gc time: 40" "cpu time: 770 real time: 771 gc time: 40" "cpu time: 780 real time: 779 gc time: 50"))
("100000000" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 873 real time: 872 gc time: 50" "cpu time: 880 real time: 877 gc time: 40" "cpu time: 867 real time: 864 gc time: 40" "cpu time: 863 real time: 863 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 867 real time: 865 gc time: 40" "cpu time: 863 real time: 865 gc time: 40"))
("100000001" ("cpu time: 883 real time: 882 gc time: 40" "cpu time: 907 real time: 907 gc time: 47" "cpu time: 887 real time: 884 gc time: 43" "cpu time: 884 real time: 884 gc time: 40" "cpu time: 883 real time: 884 gc time: 40" "cpu time: 886 real time: 887 gc time: 40" "cpu time: 887 real time: 885 gc time: 43" "cpu time: 903 real time: 903 gc time: 40"))
("100000010" ("cpu time: 880 real time: 878 gc time: 43" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 883 real time: 884 gc time: 40" "cpu time: 883 real time: 882 gc time: 43" "cpu time: 883 real time: 883 gc time: 40" "cpu time: 927 real time: 928 gc time: 40" "cpu time: 880 real time: 876 gc time: 43" "cpu time: 880 real time: 878 gc time: 44"))
("100000011" ("cpu time: 896 real time: 893 gc time: 40" "cpu time: 890 real time: 890 gc time: 40" "cpu time: 900 real time: 897 gc time: 40" "cpu time: 893 real time: 895 gc time: 50" "cpu time: 897 real time: 894 gc time: 50" "cpu time: 907 real time: 905 gc time: 40" "cpu time: 890 real time: 893 gc time: 40" "cpu time: 886 real time: 888 gc time: 43"))
("100000100" ("cpu time: 876 real time: 875 gc time: 40" "cpu time: 877 real time: 874 gc time: 40" "cpu time: 870 real time: 872 gc time: 40" "cpu time: 877 real time: 873 gc time: 43" "cpu time: 876 real time: 877 gc time: 44" "cpu time: 876 real time: 875 gc time: 40" "cpu time: 877 real time: 874 gc time: 43" "cpu time: 884 real time: 884 gc time: 53"))
("100000101" ("cpu time: 893 real time: 895 gc time: 44" "cpu time: 894 real time: 893 gc time: 44" "cpu time: 893 real time: 894 gc time: 43" "cpu time: 893 real time: 893 gc time: 40" "cpu time: 917 real time: 910 gc time: 47" "cpu time: 890 real time: 893 gc time: 44" "cpu time: 893 real time: 893 gc time: 40" "cpu time: 897 real time: 894 gc time: 44"))
("100000110" ("cpu time: 887 real time: 885 gc time: 40" "cpu time: 900 real time: 896 gc time: 44" "cpu time: 893 real time: 895 gc time: 44" "cpu time: 893 real time: 893 gc time: 44" "cpu time: 897 real time: 897 gc time: 53" "cpu time: 907 real time: 904 gc time: 43" "cpu time: 890 real time: 893 gc time: 43" "cpu time: 894 real time: 893 gc time: 40"))
("100000111" ("cpu time: 910 real time: 905 gc time: 50" "cpu time: 896 real time: 899 gc time: 44" "cpu time: 896 real time: 897 gc time: 40" "cpu time: 920 real time: 916 gc time: 43" "cpu time: 900 real time: 897 gc time: 40" "cpu time: 910 real time: 910 gc time: 50" "cpu time: 904 real time: 898 gc time: 43" "cpu time: 900 real time: 898 gc time: 44"))
("100001000" ("cpu time: 933 real time: 933 gc time: 43" "cpu time: 946 real time: 947 gc time: 43" "cpu time: 936 real time: 934 gc time: 40" "cpu time: 937 real time: 936 gc time: 40" "cpu time: 934 real time: 931 gc time: 43" "cpu time: 933 real time: 931 gc time: 44" "cpu time: 936 real time: 932 gc time: 40" "cpu time: 940 real time: 940 gc time: 50"))
("100001001" ("cpu time: 940 real time: 939 gc time: 40" "cpu time: 940 real time: 938 gc time: 40" "cpu time: 947 real time: 945 gc time: 40" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 950 real time: 949 gc time: 50" "cpu time: 940 real time: 938 gc time: 40" "cpu time: 947 real time: 942 gc time: 40" "cpu time: 936 real time: 938 gc time: 40"))
("100001010" ("cpu time: 940 real time: 939 gc time: 37" "cpu time: 953 real time: 951 gc time: 47" "cpu time: 943 real time: 942 gc time: 40" "cpu time: 953 real time: 952 gc time: 40" "cpu time: 943 real time: 943 gc time: 40" "cpu time: 943 real time: 941 gc time: 40" "cpu time: 937 real time: 939 gc time: 37" "cpu time: 940 real time: 941 gc time: 40"))
("100001011" ("cpu time: 944 real time: 941 gc time: 40" "cpu time: 940 real time: 942 gc time: 40" "cpu time: 957 real time: 956 gc time: 47" "cpu time: 940 real time: 941 gc time: 40" "cpu time: 960 real time: 958 gc time: 47" "cpu time: 954 real time: 952 gc time: 47" "cpu time: 957 real time: 959 gc time: 40" "cpu time: 940 real time: 942 gc time: 43"))
("100001100" ("cpu time: 940 real time: 938 gc time: 43" "cpu time: 943 real time: 940 gc time: 43" "cpu time: 937 real time: 937 gc time: 40" "cpu time: 950 real time: 948 gc time: 43" "cpu time: 943 real time: 942 gc time: 43" "cpu time: 943 real time: 944 gc time: 43" "cpu time: 936 real time: 938 gc time: 40" "cpu time: 937 real time: 936 gc time: 40"))
("100001101" ("cpu time: 957 real time: 954 gc time: 50" "cpu time: 950 real time: 949 gc time: 44" "cpu time: 946 real time: 948 gc time: 44" "cpu time: 960 real time: 956 gc time: 50" "cpu time: 946 real time: 947 gc time: 40" "cpu time: 957 real time: 955 gc time: 44" "cpu time: 963 real time: 959 gc time: 53" "cpu time: 953 real time: 952 gc time: 46"))
("100001110" ("cpu time: 950 real time: 951 gc time: 43" "cpu time: 953 real time: 952 gc time: 43" "cpu time: 1023 real time: 1025 gc time: 43" "cpu time: 976 real time: 977 gc time: 43" "cpu time: 953 real time: 953 gc time: 43" "cpu time: 963 real time: 958 gc time: 47" "cpu time: 953 real time: 954 gc time: 43" "cpu time: 963 real time: 964 gc time: 50"))
("100001111" ("cpu time: 970 real time: 968 gc time: 53" "cpu time: 974 real time: 972 gc time: 44" "cpu time: 964 real time: 962 gc time: 44" "cpu time: 963 real time: 961 gc time: 43" "cpu time: 956 real time: 953 gc time: 40" "cpu time: 960 real time: 957 gc time: 44" "cpu time: 973 real time: 973 gc time: 50" "cpu time: 970 real time: 968 gc time: 44"))
("100010000" ("cpu time: 5067 real time: 5069 gc time: 43" "cpu time: 5383 real time: 5383 gc time: 40" "cpu time: 5063 real time: 5065 gc time: 40" "cpu time: 5260 real time: 5258 gc time: 40" "cpu time: 5037 real time: 5038 gc time: 40" "cpu time: 5143 real time: 5145 gc time: 40" "cpu time: 5330 real time: 5329 gc time: 40" "cpu time: 5197 real time: 5197 gc time: 43"))
("100010001" ("cpu time: 5113 real time: 5109 gc time: 40" "cpu time: 5053 real time: 5054 gc time: 40" "cpu time: 5047 real time: 5044 gc time: 43" "cpu time: 5054 real time: 5053 gc time: 40" "cpu time: 5060 real time: 5058 gc time: 44" "cpu time: 5063 real time: 5061 gc time: 43" "cpu time: 5060 real time: 5060 gc time: 40" "cpu time: 5123 real time: 5124 gc time: 40"))
("100010010" ("cpu time: 5057 real time: 5057 gc time: 43" "cpu time: 5086 real time: 5085 gc time: 40" "cpu time: 5117 real time: 5117 gc time: 40" "cpu time: 5114 real time: 5114 gc time: 40" "cpu time: 5107 real time: 5105 gc time: 40" "cpu time: 5083 real time: 5081 gc time: 44" "cpu time: 5053 real time: 5051 gc time: 40" "cpu time: 5050 real time: 5048 gc time: 40"))
("100010011" ("cpu time: 5140 real time: 5136 gc time: 40" "cpu time: 5060 real time: 5056 gc time: 40" "cpu time: 5186 real time: 5183 gc time: 43" "cpu time: 5030 real time: 5030 gc time: 37" "cpu time: 5087 real time: 5084 gc time: 44" "cpu time: 5057 real time: 5057 gc time: 40" "cpu time: 5113 real time: 5113 gc time: 40" "cpu time: 5090 real time: 5087 gc time: 43"))
("100010100" ("cpu time: 5140 real time: 5140 gc time: 43" "cpu time: 5086 real time: 5087 gc time: 40" "cpu time: 5077 real time: 5074 gc time: 43" "cpu time: 5517 real time: 5516 gc time: 43" "cpu time: 5126 real time: 5128 gc time: 43" "cpu time: 5177 real time: 5175 gc time: 43" "cpu time: 5046 real time: 5052 gc time: 43" "cpu time: 5120 real time: 5121 gc time: 40"))
("100010101" ("cpu time: 5083 real time: 5081 gc time: 43" "cpu time: 5026 real time: 5027 gc time: 40" "cpu time: 5020 real time: 5018 gc time: 43" "cpu time: 5074 real time: 5072 gc time: 46" "cpu time: 5053 real time: 5052 gc time: 40" "cpu time: 5024 real time: 5024 gc time: 40" "cpu time: 5086 real time: 5087 gc time: 40" "cpu time: 5044 real time: 5042 gc time: 40"))
("100010110" ("cpu time: 5003 real time: 5001 gc time: 43" "cpu time: 5110 real time: 5109 gc time: 44" "cpu time: 5154 real time: 5154 gc time: 40" "cpu time: 5010 real time: 5008 gc time: 40" "cpu time: 4996 real time: 4997 gc time: 40" "cpu time: 5050 real time: 5045 gc time: 47" "cpu time: 4993 real time: 4993 gc time: 44" "cpu time: 5024 real time: 5021 gc time: 43"))
("100010111" ("cpu time: 5003 real time: 5006 gc time: 43" "cpu time: 5047 real time: 5046 gc time: 40" "cpu time: 5020 real time: 5020 gc time: 44" "cpu time: 5004 real time: 5003 gc time: 44" "cpu time: 5030 real time: 5026 gc time: 40" "cpu time: 5036 real time: 5037 gc time: 43" "cpu time: 5016 real time: 5015 gc time: 40" "cpu time: 5106 real time: 5107 gc time: 44"))
("100011000" ("cpu time: 5093 real time: 5092 gc time: 37" "cpu time: 5097 real time: 5098 gc time: 41" "cpu time: 5140 real time: 5141 gc time: 43" "cpu time: 5103 real time: 5104 gc time: 37" "cpu time: 5093 real time: 5092 gc time: 40" "cpu time: 5130 real time: 5127 gc time: 40" "cpu time: 5426 real time: 5427 gc time: 40" "cpu time: 5113 real time: 5112 gc time: 40"))
("100011001" ("cpu time: 5100 real time: 5097 gc time: 43" "cpu time: 5090 real time: 5085 gc time: 40" "cpu time: 5087 real time: 5084 gc time: 40" "cpu time: 5133 real time: 5130 gc time: 40" "cpu time: 5113 real time: 5113 gc time: 40" "cpu time: 5383 real time: 5381 gc time: 53" "cpu time: 5136 real time: 5137 gc time: 40" "cpu time: 5093 real time: 5093 gc time: 40"))
("100011010" ("cpu time: 5207 real time: 5203 gc time: 40" "cpu time: 5093 real time: 5091 gc time: 40" "cpu time: 5127 real time: 5126 gc time: 40" "cpu time: 5124 real time: 5123 gc time: 40" "cpu time: 5240 real time: 5239 gc time: 40" "cpu time: 5140 real time: 5137 gc time: 41" "cpu time: 5167 real time: 5165 gc time: 43" "cpu time: 5110 real time: 5109 gc time: 40"))
("100011011" ("cpu time: 5103 real time: 5102 gc time: 50" "cpu time: 5127 real time: 5125 gc time: 43" "cpu time: 5180 real time: 5177 gc time: 40" "cpu time: 5103 real time: 5104 gc time: 40" "cpu time: 5100 real time: 5099 gc time: 40" "cpu time: 5093 real time: 5090 gc time: 40" "cpu time: 5100 real time: 5100 gc time: 44" "cpu time: 5127 real time: 5126 gc time: 40"))
("100011100" ("cpu time: 5124 real time: 5122 gc time: 43" "cpu time: 5130 real time: 5129 gc time: 44" "cpu time: 5110 real time: 5111 gc time: 40" "cpu time: 5200 real time: 5197 gc time: 43" "cpu time: 5113 real time: 5114 gc time: 40" "cpu time: 5167 real time: 5165 gc time: 44" "cpu time: 5096 real time: 5097 gc time: 40" "cpu time: 5107 real time: 5106 gc time: 40"))
("100011101" ("cpu time: 5097 real time: 5094 gc time: 43" "cpu time: 5084 real time: 5085 gc time: 40" "cpu time: 5073 real time: 5071 gc time: 40" "cpu time: 5187 real time: 5187 gc time: 40" "cpu time: 5154 real time: 5156 gc time: 40" "cpu time: 5233 real time: 5232 gc time: 40" "cpu time: 5083 real time: 5081 gc time: 43" "cpu time: 5080 real time: 5079 gc time: 40"))
("100011110" ("cpu time: 5077 real time: 5078 gc time: 40" "cpu time: 5067 real time: 5069 gc time: 40" "cpu time: 5256 real time: 5253 gc time: 43" "cpu time: 5067 real time: 5066 gc time: 47" "cpu time: 5080 real time: 5080 gc time: 44" "cpu time: 5056 real time: 5056 gc time: 43" "cpu time: 5144 real time: 5141 gc time: 43" "cpu time: 5076 real time: 5073 gc time: 40"))
("100011111" ("cpu time: 5130 real time: 5128 gc time: 44" "cpu time: 5087 real time: 5086 gc time: 44" "cpu time: 5050 real time: 5048 gc time: 40" "cpu time: 5080 real time: 5082 gc time: 40" "cpu time: 5074 real time: 5073 gc time: 44" "cpu time: 5100 real time: 5098 gc time: 43" "cpu time: 5113 real time: 5110 gc time: 46" "cpu time: 5044 real time: 5045 gc time: 40"))
("100100000" ("cpu time: 867 real time: 868 gc time: 40" "cpu time: 890 real time: 888 gc time: 50" "cpu time: 870 real time: 872 gc time: 47" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 867 real time: 864 gc time: 40" "cpu time: 867 real time: 869 gc time: 43"))
("100100001" ("cpu time: 890 real time: 889 gc time: 43" "cpu time: 890 real time: 888 gc time: 40" "cpu time: 886 real time: 885 gc time: 44" "cpu time: 894 real time: 889 gc time: 40" "cpu time: 914 real time: 912 gc time: 47" "cpu time: 890 real time: 887 gc time: 43" "cpu time: 887 real time: 887 gc time: 40" "cpu time: 890 real time: 889 gc time: 40"))
("100100010" ("cpu time: 884 real time: 881 gc time: 40" "cpu time: 874 real time: 875 gc time: 40" "cpu time: 880 real time: 880 gc time: 46" "cpu time: 897 real time: 892 gc time: 40" "cpu time: 894 real time: 896 gc time: 47" "cpu time: 876 real time: 877 gc time: 40" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 883 real time: 880 gc time: 40"))
("100100011" ("cpu time: 900 real time: 900 gc time: 47" "cpu time: 904 real time: 902 gc time: 40" "cpu time: 890 real time: 893 gc time: 47" "cpu time: 890 real time: 889 gc time: 43" "cpu time: 897 real time: 895 gc time: 44" "cpu time: 893 real time: 891 gc time: 43" "cpu time: 907 real time: 908 gc time: 44" "cpu time: 897 real time: 893 gc time: 44"))
("100100100" ("cpu time: 877 real time: 876 gc time: 40" "cpu time: 880 real time: 877 gc time: 40" "cpu time: 887 real time: 885 gc time: 44" "cpu time: 880 real time: 881 gc time: 43" "cpu time: 884 real time: 880 gc time: 44" "cpu time: 876 real time: 876 gc time: 40" "cpu time: 894 real time: 892 gc time: 40" "cpu time: 883 real time: 879 gc time: 40"))
("100100101" ("cpu time: 910 real time: 908 gc time: 40" "cpu time: 920 real time: 917 gc time: 43" "cpu time: 920 real time: 920 gc time: 50" "cpu time: 890 real time: 892 gc time: 40" "cpu time: 897 real time: 897 gc time: 44" "cpu time: 896 real time: 893 gc time: 43" "cpu time: 896 real time: 893 gc time: 40" "cpu time: 897 real time: 893 gc time: 44"))
("100100110" ("cpu time: 890 real time: 890 gc time: 43" "cpu time: 890 real time: 891 gc time: 43" "cpu time: 893 real time: 892 gc time: 44" "cpu time: 906 real time: 904 gc time: 43" "cpu time: 890 real time: 889 gc time: 43" "cpu time: 903 real time: 903 gc time: 50" "cpu time: 890 real time: 890 gc time: 43" "cpu time: 890 real time: 890 gc time: 40"))
("100100111" ("cpu time: 903 real time: 900 gc time: 40" "cpu time: 907 real time: 908 gc time: 43" "cpu time: 900 real time: 897 gc time: 44" "cpu time: 900 real time: 901 gc time: 40" "cpu time: 906 real time: 904 gc time: 43" "cpu time: 900 real time: 899 gc time: 43" "cpu time: 913 real time: 911 gc time: 53" "cpu time: 900 real time: 900 gc time: 40"))
("100101000" ("cpu time: 943 real time: 938 gc time: 43" "cpu time: 927 real time: 928 gc time: 40" "cpu time: 926 real time: 926 gc time: 40" "cpu time: 927 real time: 927 gc time: 40" "cpu time: 980 real time: 980 gc time: 40" "cpu time: 930 real time: 929 gc time: 40" "cpu time: 927 real time: 925 gc time: 40" "cpu time: 927 real time: 927 gc time: 40"))
("100101001" ("cpu time: 950 real time: 946 gc time: 44" "cpu time: 947 real time: 948 gc time: 44" "cpu time: 950 real time: 948 gc time: 44" "cpu time: 960 real time: 958 gc time: 50" "cpu time: 960 real time: 957 gc time: 46" "cpu time: 946 real time: 947 gc time: 43" "cpu time: 946 real time: 944 gc time: 40" "cpu time: 950 real time: 948 gc time: 43"))
("100101010" ("cpu time: 940 real time: 938 gc time: 40" "cpu time: 944 real time: 945 gc time: 41" "cpu time: 963 real time: 965 gc time: 46" "cpu time: 940 real time: 938 gc time: 40" "cpu time: 944 real time: 944 gc time: 40" "cpu time: 956 real time: 956 gc time: 40" "cpu time: 940 real time: 938 gc time: 40" "cpu time: 950 real time: 949 gc time: 40"))
("100101011" ("cpu time: 950 real time: 948 gc time: 40" "cpu time: 950 real time: 951 gc time: 40" "cpu time: 950 real time: 949 gc time: 40" "cpu time: 950 real time: 950 gc time: 40" "cpu time: 950 real time: 949 gc time: 40" "cpu time: 950 real time: 947 gc time: 40" "cpu time: 954 real time: 951 gc time: 40" "cpu time: 953 real time: 950 gc time: 47"))
("100101100" ("cpu time: 947 real time: 946 gc time: 44" "cpu time: 944 real time: 941 gc time: 48" "cpu time: 953 real time: 949 gc time: 46" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 940 real time: 941 gc time: 43" "cpu time: 950 real time: 947 gc time: 50" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 957 real time: 955 gc time: 40"))
("100101101" ("cpu time: 953 real time: 951 gc time: 46" "cpu time: 964 real time: 963 gc time: 44" "cpu time: 953 real time: 951 gc time: 43" "cpu time: 947 real time: 946 gc time: 43" "cpu time: 974 real time: 972 gc time: 43" "cpu time: 950 real time: 949 gc time: 43" "cpu time: 963 real time: 959 gc time: 43" "cpu time: 950 real time: 949 gc time: 40"))
("100101110" ("cpu time: 970 real time: 969 gc time: 44" "cpu time: 963 real time: 964 gc time: 50" "cpu time: 953 real time: 952 gc time: 40" "cpu time: 987 real time: 983 gc time: 40" "cpu time: 950 real time: 950 gc time: 43" "cpu time: 980 real time: 978 gc time: 44" "cpu time: 953 real time: 952 gc time: 44" "cpu time: 950 real time: 950 gc time: 43"))
("100101111" ("cpu time: 956 real time: 955 gc time: 43" "cpu time: 950 real time: 952 gc time: 44" "cpu time: 956 real time: 955 gc time: 43" "cpu time: 973 real time: 970 gc time: 43" "cpu time: 953 real time: 954 gc time: 40" "cpu time: 957 real time: 955 gc time: 44" "cpu time: 960 real time: 958 gc time: 40" "cpu time: 963 real time: 964 gc time: 43"))
("100110000" ("cpu time: 5080 real time: 5080 gc time: 40" "cpu time: 5090 real time: 5089 gc time: 40" "cpu time: 5020 real time: 5019 gc time: 40" "cpu time: 5056 real time: 5054 gc time: 44" "cpu time: 5020 real time: 5022 gc time: 40" "cpu time: 5010 real time: 5013 gc time: 40" "cpu time: 5043 real time: 5040 gc time: 44" "cpu time: 5070 real time: 5068 gc time: 40"))
("100110001" ("cpu time: 5117 real time: 5117 gc time: 40" "cpu time: 5060 real time: 5057 gc time: 40" "cpu time: 5030 real time: 5028 gc time: 40" "cpu time: 5074 real time: 5072 gc time: 43" "cpu time: 5086 real time: 5083 gc time: 40" "cpu time: 5020 real time: 5019 gc time: 43" "cpu time: 5050 real time: 5047 gc time: 40" "cpu time: 5170 real time: 5169 gc time: 44"))
("100110010" ("cpu time: 5093 real time: 5091 gc time: 43" "cpu time: 5113 real time: 5112 gc time: 40" "cpu time: 5067 real time: 5067 gc time: 40" "cpu time: 5134 real time: 5135 gc time: 43" "cpu time: 5064 real time: 5062 gc time: 40" "cpu time: 5347 real time: 5346 gc time: 43" "cpu time: 5054 real time: 5053 gc time: 44" "cpu time: 5083 real time: 5081 gc time: 40"))
("100110011" ("cpu time: 5137 real time: 5136 gc time: 44" "cpu time: 5050 real time: 5053 gc time: 40" "cpu time: 5103 real time: 5100 gc time: 40" "cpu time: 5127 real time: 5127 gc time: 40" "cpu time: 5077 real time: 5075 gc time: 43" "cpu time: 5137 real time: 5134 gc time: 40" "cpu time: 5066 real time: 5061 gc time: 46" "cpu time: 5167 real time: 5164 gc time: 36"))
("100110100" ("cpu time: 5026 real time: 5023 gc time: 44" "cpu time: 5027 real time: 5023 gc time: 43" "cpu time: 5057 real time: 5055 gc time: 40" "cpu time: 5053 real time: 5053 gc time: 40" "cpu time: 5057 real time: 5056 gc time: 40" "cpu time: 5073 real time: 5073 gc time: 43" "cpu time: 5037 real time: 5037 gc time: 44" "cpu time: 5024 real time: 5022 gc time: 40"))
("100110101" ("cpu time: 5043 real time: 5040 gc time: 40" "cpu time: 5064 real time: 5058 gc time: 43" "cpu time: 5130 real time: 5126 gc time: 40" "cpu time: 5033 real time: 5033 gc time: 43" "cpu time: 5040 real time: 5038 gc time: 44" "cpu time: 5036 real time: 5037 gc time: 40" "cpu time: 5140 real time: 5138 gc time: 40" "cpu time: 5087 real time: 5086 gc time: 43"))
("100110110" ("cpu time: 5013 real time: 5016 gc time: 43" "cpu time: 5037 real time: 5034 gc time: 40" "cpu time: 5023 real time: 5023 gc time: 43" "cpu time: 5060 real time: 5059 gc time: 43" "cpu time: 5023 real time: 5020 gc time: 44" "cpu time: 5074 real time: 5070 gc time: 47" "cpu time: 5010 real time: 5007 gc time: 43" "cpu time: 5040 real time: 5039 gc time: 46"))
("100110111" ("cpu time: 5003 real time: 5004 gc time: 40" "cpu time: 5004 real time: 5003 gc time: 44" "cpu time: 5040 real time: 5039 gc time: 40" "cpu time: 5030 real time: 5027 gc time: 43" "cpu time: 4997 real time: 4999 gc time: 40" "cpu time: 5040 real time: 5036 gc time: 40" "cpu time: 4993 real time: 4992 gc time: 40" "cpu time: 5036 real time: 5038 gc time: 40"))
("100111000" ("cpu time: 5133 real time: 5134 gc time: 40" "cpu time: 5087 real time: 5086 gc time: 40" "cpu time: 5150 real time: 5147 gc time: 44" "cpu time: 5107 real time: 5107 gc time: 43" "cpu time: 5097 real time: 5095 gc time: 40" "cpu time: 5127 real time: 5124 gc time: 43" "cpu time: 5126 real time: 5123 gc time: 40" "cpu time: 5366 real time: 5366 gc time: 40"))
("100111001" ("cpu time: 5114 real time: 5115 gc time: 40" "cpu time: 5377 real time: 5377 gc time: 40" "cpu time: 5114 real time: 5112 gc time: 40" "cpu time: 5083 real time: 5085 gc time: 36" "cpu time: 5093 real time: 5091 gc time: 40" "cpu time: 5114 real time: 5113 gc time: 40" "cpu time: 5083 real time: 5082 gc time: 40" "cpu time: 5113 real time: 5112 gc time: 44"))
("100111010" ("cpu time: 5120 real time: 5118 gc time: 40" "cpu time: 5110 real time: 5109 gc time: 40" "cpu time: 5146 real time: 5145 gc time: 40" "cpu time: 5217 real time: 5215 gc time: 40" "cpu time: 5134 real time: 5134 gc time: 43" "cpu time: 5100 real time: 5100 gc time: 40" "cpu time: 5100 real time: 5099 gc time: 40" "cpu time: 5230 real time: 5228 gc time: 40"))
("100111011" ("cpu time: 5723 real time: 5723 gc time: 40" "cpu time: 5137 real time: 5134 gc time: 40" "cpu time: 5123 real time: 5125 gc time: 40" "cpu time: 5126 real time: 5127 gc time: 40" "cpu time: 5150 real time: 5149 gc time: 40" "cpu time: 5080 real time: 5079 gc time: 40" "cpu time: 5100 real time: 5099 gc time: 40" "cpu time: 5137 real time: 5136 gc time: 40"))
("100111100" ("cpu time: 5100 real time: 5099 gc time: 43" "cpu time: 5110 real time: 5111 gc time: 40" "cpu time: 5203 real time: 5206 gc time: 43" "cpu time: 5103 real time: 5101 gc time: 46" "cpu time: 5093 real time: 5093 gc time: 40" "cpu time: 5093 real time: 5096 gc time: 40" "cpu time: 5167 real time: 5164 gc time: 40" "cpu time: 5114 real time: 5114 gc time: 40"))
("100111101" ("cpu time: 5073 real time: 5071 gc time: 44" "cpu time: 5166 real time: 5170 gc time: 40" "cpu time: 5533 real time: 5533 gc time: 47" "cpu time: 5090 real time: 5091 gc time: 40" "cpu time: 5113 real time: 5113 gc time: 40" "cpu time: 5100 real time: 5099 gc time: 40" "cpu time: 5160 real time: 5158 gc time: 44" "cpu time: 5106 real time: 5106 gc time: 44"))
("100111110" ("cpu time: 5110 real time: 5107 gc time: 43" "cpu time: 5100 real time: 5100 gc time: 44" "cpu time: 5083 real time: 5080 gc time: 44" "cpu time: 5063 real time: 5063 gc time: 44" "cpu time: 5157 real time: 5157 gc time: 43" "cpu time: 5083 real time: 5085 gc time: 43" "cpu time: 5090 real time: 5088 gc time: 43" "cpu time: 5194 real time: 5194 gc time: 44"))
("100111111" ("cpu time: 5077 real time: 5078 gc time: 40" "cpu time: 5080 real time: 5081 gc time: 50" "cpu time: 5163 real time: 5161 gc time: 43" "cpu time: 5073 real time: 5068 gc time: 43" "cpu time: 5193 real time: 5194 gc time: 44" "cpu time: 5046 real time: 5043 gc time: 44" "cpu time: 5096 real time: 5094 gc time: 43" "cpu time: 5054 real time: 5050 gc time: 43"))
("101000000" ("cpu time: 5540 real time: 5537 gc time: 54" "cpu time: 5493 real time: 5486 gc time: 49" "cpu time: 5523 real time: 5518 gc time: 57" "cpu time: 5510 real time: 5506 gc time: 54" "cpu time: 5550 real time: 5549 gc time: 43" "cpu time: 5484 real time: 5479 gc time: 46" "cpu time: 5694 real time: 5686 gc time: 46" "cpu time: 5473 real time: 5469 gc time: 53"))
("101000001" ("cpu time: 5503 real time: 5499 gc time: 65" "cpu time: 5493 real time: 5490 gc time: 40" "cpu time: 5577 real time: 5573 gc time: 53" "cpu time: 5684 real time: 5680 gc time: 56" "cpu time: 5476 real time: 5473 gc time: 56" "cpu time: 5533 real time: 5533 gc time: 54" "cpu time: 5747 real time: 5739 gc time: 40" "cpu time: 5540 real time: 5535 gc time: 53"))
("101000010" ("cpu time: 5423 real time: 5418 gc time: 64" "cpu time: 5477 real time: 5470 gc time: 53" "cpu time: 5630 real time: 5627 gc time: 56" "cpu time: 5520 real time: 5519 gc time: 61" "cpu time: 5517 real time: 5513 gc time: 44" "cpu time: 5460 real time: 5456 gc time: 60" "cpu time: 5514 real time: 5512 gc time: 62" "cpu time: 5493 real time: 5489 gc time: 53"))
("101000011" ("cpu time: 5587 real time: 5583 gc time: 46" "cpu time: 5517 real time: 5513 gc time: 52" "cpu time: 5470 real time: 5468 gc time: 58" "cpu time: 5460 real time: 5459 gc time: 51" "cpu time: 5513 real time: 5510 gc time: 53" "cpu time: 5524 real time: 5523 gc time: 43" "cpu time: 5460 real time: 5455 gc time: 50" "cpu time: 5617 real time: 5613 gc time: 59"))
("101000100" ("cpu time: 5477 real time: 5471 gc time: 50" "cpu time: 5474 real time: 5470 gc time: 62" "cpu time: 5506 real time: 5503 gc time: 47" "cpu time: 5493 real time: 5491 gc time: 53" "cpu time: 5487 real time: 5483 gc time: 57" "cpu time: 5440 real time: 5440 gc time: 52" "cpu time: 5437 real time: 5431 gc time: 54" "cpu time: 5526 real time: 5524 gc time: 59"))
("101000101" ("cpu time: 5477 real time: 5473 gc time: 70" "cpu time: 5467 real time: 5465 gc time: 54" "cpu time: 5493 real time: 5490 gc time: 50" "cpu time: 5497 real time: 5492 gc time: 46" "cpu time: 5507 real time: 5503 gc time: 89" "cpu time: 5494 real time: 5489 gc time: 47" "cpu time: 5480 real time: 5472 gc time: 43" "cpu time: 5514 real time: 5512 gc time: 53"))
("101000110" ("cpu time: 5500 real time: 5495 gc time: 67" "cpu time: 5464 real time: 5463 gc time: 47" "cpu time: 5467 real time: 5467 gc time: 56" "cpu time: 5657 real time: 5653 gc time: 69" "cpu time: 5506 real time: 5499 gc time: 50" "cpu time: 5477 real time: 5472 gc time: 51" "cpu time: 5530 real time: 5528 gc time: 53" "cpu time: 5497 real time: 5494 gc time: 50"))
("101000111" ("cpu time: 5463 real time: 5462 gc time: 76" "cpu time: 5424 real time: 5421 gc time: 43" "cpu time: 5597 real time: 5594 gc time: 60" "cpu time: 5410 real time: 5405 gc time: 46" "cpu time: 5487 real time: 5480 gc time: 46" "cpu time: 5440 real time: 5439 gc time: 69" "cpu time: 5436 real time: 5433 gc time: 50" "cpu time: 5470 real time: 5467 gc time: 51"))
("101001000" ("cpu time: 5347 real time: 5342 gc time: 50" "cpu time: 5397 real time: 5393 gc time: 40" "cpu time: 5677 real time: 5674 gc time: 61" "cpu time: 5364 real time: 5361 gc time: 47" "cpu time: 5293 real time: 5288 gc time: 43" "cpu time: 5417 real time: 5415 gc time: 63" "cpu time: 5360 real time: 5357 gc time: 43" "cpu time: 5323 real time: 5319 gc time: 43"))
("101001001" ("cpu time: 5367 real time: 5362 gc time: 55" "cpu time: 5364 real time: 5361 gc time: 43" "cpu time: 5277 real time: 5275 gc time: 46" "cpu time: 5543 real time: 5541 gc time: 80" "cpu time: 5367 real time: 5366 gc time: 63" "cpu time: 5313 real time: 5313 gc time: 46" "cpu time: 5340 real time: 5336 gc time: 57" "cpu time: 5346 real time: 5343 gc time: 48"))
("101001010" ("cpu time: 5300 real time: 5297 gc time: 46" "cpu time: 5327 real time: 5323 gc time: 72" "cpu time: 5263 real time: 5259 gc time: 53" "cpu time: 5307 real time: 5302 gc time: 54" "cpu time: 5323 real time: 5318 gc time: 60" "cpu time: 5310 real time: 5310 gc time: 50" "cpu time: 5283 real time: 5282 gc time: 61" "cpu time: 5314 real time: 5310 gc time: 63"))
("101001011" ("cpu time: 5340 real time: 5337 gc time: 63" "cpu time: 5380 real time: 5375 gc time: 43" "cpu time: 5303 real time: 5295 gc time: 59" "cpu time: 5326 real time: 5322 gc time: 70" "cpu time: 5330 real time: 5327 gc time: 71" "cpu time: 5276 real time: 5271 gc time: 43" "cpu time: 5326 real time: 5324 gc time: 47" "cpu time: 5357 real time: 5353 gc time: 52"))
("101001100" ("cpu time: 5293 real time: 5289 gc time: 53" "cpu time: 5286 real time: 5282 gc time: 57" "cpu time: 5276 real time: 5274 gc time: 57" "cpu time: 5273 real time: 5269 gc time: 62" "cpu time: 5467 real time: 5463 gc time: 62" "cpu time: 5270 real time: 5266 gc time: 53" "cpu time: 5267 real time: 5264 gc time: 68" "cpu time: 5280 real time: 5275 gc time: 58"))
("101001101" ("cpu time: 5327 real time: 5326 gc time: 47" "cpu time: 5340 real time: 5337 gc time: 66" "cpu time: 5306 real time: 5306 gc time: 44" "cpu time: 5313 real time: 5312 gc time: 60" "cpu time: 5283 real time: 5280 gc time: 54" "cpu time: 5300 real time: 5296 gc time: 46" "cpu time: 5290 real time: 5287 gc time: 47" "cpu time: 5317 real time: 5315 gc time: 64"))
("101001110" ("cpu time: 5403 real time: 5400 gc time: 74" "cpu time: 5397 real time: 5394 gc time: 51" "cpu time: 5303 real time: 5299 gc time: 50" "cpu time: 5323 real time: 5318 gc time: 56" "cpu time: 8080 real time: 8078 gc time: 52" "cpu time: 5273 real time: 5272 gc time: 47" "cpu time: 5410 real time: 5404 gc time: 60" "cpu time: 5607 real time: 5605 gc time: 60"))
("101001111" ("cpu time: 5334 real time: 5327 gc time: 43" "cpu time: 5320 real time: 5317 gc time: 61" "cpu time: 5486 real time: 5484 gc time: 50" "cpu time: 5396 real time: 5393 gc time: 47" "cpu time: 5400 real time: 5393 gc time: 40" "cpu time: 5333 real time: 5330 gc time: 57" "cpu time: 5410 real time: 5410 gc time: 53" "cpu time: 5360 real time: 5357 gc time: 56"))
("101010000" ("cpu time: 9550 real time: 9550 gc time: 51" "cpu time: 9490 real time: 9489 gc time: 47" "cpu time: 9447 real time: 9443 gc time: 43" "cpu time: 9496 real time: 9495 gc time: 43" "cpu time: 9600 real time: 9599 gc time: 43" "cpu time: 9590 real time: 9589 gc time: 47" "cpu time: 9437 real time: 9434 gc time: 43" "cpu time: 9470 real time: 9471 gc time: 48"))
("101010001" ("cpu time: 9653 real time: 9653 gc time: 50" "cpu time: 9560 real time: 9555 gc time: 40" "cpu time: 9597 real time: 9594 gc time: 53" "cpu time: 9590 real time: 9592 gc time: 43" "cpu time: 9870 real time: 9867 gc time: 46" "cpu time: 9543 real time: 9544 gc time: 44" "cpu time: 9527 real time: 9523 gc time: 60" "cpu time: 9520 real time: 9514 gc time: 54"))
("101010010" ("cpu time: 9746 real time: 9747 gc time: 54" "cpu time: 9560 real time: 9561 gc time: 52" "cpu time: 9480 real time: 9478 gc time: 47" "cpu time: 9494 real time: 9491 gc time: 59" "cpu time: 9450 real time: 9448 gc time: 50" "cpu time: 9697 real time: 9697 gc time: 51" "cpu time: 9517 real time: 9518 gc time: 46" "cpu time: 9623 real time: 9623 gc time: 47"))
("101010011" ("cpu time: 9777 real time: 9774 gc time: 40" "cpu time: 9420 real time: 9423 gc time: 54" "cpu time: 9393 real time: 9390 gc time: 60" "cpu time: 9560 real time: 9557 gc time: 40" "cpu time: 9603 real time: 9603 gc time: 43" "cpu time: 9677 real time: 9678 gc time: 50" "cpu time: 9410 real time: 9408 gc time: 46" "cpu time: 9537 real time: 9536 gc time: 55"))
("101010100" ("cpu time: 9607 real time: 9603 gc time: 53" "cpu time: 9463 real time: 9462 gc time: 61" "cpu time: 9590 real time: 9589 gc time: 59" "cpu time: 9597 real time: 9592 gc time: 46" "cpu time: 9450 real time: 9449 gc time: 47" "cpu time: 9450 real time: 9447 gc time: 57" "cpu time: 9403 real time: 9400 gc time: 57" "cpu time: 9706 real time: 9706 gc time: 56"))
("101010101" ("cpu time: 9450 real time: 9447 gc time: 57" "cpu time: 9530 real time: 9527 gc time: 57" "cpu time: 9387 real time: 9387 gc time: 62" "cpu time: 9456 real time: 9459 gc time: 67" "cpu time: 9497 real time: 9496 gc time: 53" "cpu time: 9360 real time: 9356 gc time: 43" "cpu time: 10683 real time: 10681 gc time: 48" "cpu time: 9557 real time: 9555 gc time: 40"))
("101010110" ("cpu time: 9376 real time: 9374 gc time: 43" "cpu time: 9374 real time: 9370 gc time: 53" "cpu time: 9390 real time: 9391 gc time: 53" "cpu time: 9400 real time: 9395 gc time: 52" "cpu time: 9410 real time: 9411 gc time: 51" "cpu time: 9540 real time: 9538 gc time: 40" "cpu time: 9410 real time: 9406 gc time: 57" "cpu time: 9507 real time: 9506 gc time: 51"))
("101010111" ("cpu time: 9333 real time: 9328 gc time: 53" "cpu time: 9417 real time: 9417 gc time: 63" "cpu time: 9330 real time: 9326 gc time: 40" "cpu time: 9233 real time: 9230 gc time: 50" "cpu time: 9310 real time: 9307 gc time: 56" "cpu time: 9203 real time: 9200 gc time: 46" "cpu time: 9290 real time: 9289 gc time: 56" "cpu time: 9666 real time: 9666 gc time: 52"))
("101011000" ("cpu time: 9347 real time: 9344 gc time: 43" "cpu time: 9324 real time: 9325 gc time: 68" "cpu time: 9330 real time: 9329 gc time: 43" "cpu time: 9373 real time: 9372 gc time: 63" "cpu time: 9346 real time: 9344 gc time: 47" "cpu time: 9327 real time: 9325 gc time: 51" "cpu time: 9410 real time: 9408 gc time: 43" "cpu time: 9343 real time: 9344 gc time: 78"))
("101011001" ("cpu time: 9527 real time: 9523 gc time: 49" "cpu time: 10457 real time: 10454 gc time: 40" "cpu time: 9430 real time: 9428 gc time: 40" "cpu time: 9383 real time: 9381 gc time: 53" "cpu time: 9350 real time: 9350 gc time: 44" "cpu time: 9450 real time: 9450 gc time: 50" "cpu time: 9560 real time: 9559 gc time: 43" "cpu time: 9544 real time: 9541 gc time: 52"))
("101011010" ("cpu time: 9313 real time: 9311 gc time: 40" "cpu time: 9306 real time: 9305 gc time: 40" "cpu time: 9300 real time: 9297 gc time: 40" "cpu time: 9443 real time: 9440 gc time: 50" "cpu time: 9286 real time: 9285 gc time: 44" "cpu time: 9314 real time: 9311 gc time: 57" "cpu time: 9686 real time: 9686 gc time: 49" "cpu time: 9360 real time: 9361 gc time: 51"))
("101011011" ("cpu time: 9263 real time: 9261 gc time: 61" "cpu time: 9267 real time: 9263 gc time: 63" "cpu time: 9260 real time: 9260 gc time: 40" "cpu time: 9236 real time: 9233 gc time: 57" "cpu time: 9783 real time: 9781 gc time: 56" "cpu time: 9496 real time: 9495 gc time: 40" "cpu time: 9253 real time: 9251 gc time: 50" "cpu time: 9463 real time: 9462 gc time: 48"))
("101011100" ("cpu time: 12570 real time: 12571 gc time: 54" "cpu time: 9373 real time: 9371 gc time: 61" "cpu time: 9257 real time: 9253 gc time: 64" "cpu time: 9323 real time: 9322 gc time: 47" "cpu time: 9277 real time: 9276 gc time: 59" "cpu time: 9290 real time: 9289 gc time: 44" "cpu time: 9274 real time: 9271 gc time: 58" "cpu time: 9316 real time: 9316 gc time: 56"))
("101011101" ("cpu time: 9246 real time: 9245 gc time: 53" "cpu time: 9477 real time: 9472 gc time: 57" "cpu time: 9337 real time: 9335 gc time: 65" "cpu time: 9237 real time: 9234 gc time: 56" "cpu time: 9354 real time: 9353 gc time: 40" "cpu time: 9640 real time: 9635 gc time: 50" "cpu time: 9350 real time: 9350 gc time: 53" "cpu time: 9247 real time: 9247 gc time: 59"))
("101011110" ("cpu time: 10030 real time: 10031 gc time: 55" "cpu time: 9217 real time: 9218 gc time: 50" "cpu time: 10023 real time: 10022 gc time: 47" "cpu time: 9307 real time: 9310 gc time: 49" "cpu time: 9197 real time: 9198 gc time: 50" "cpu time: 9256 real time: 9258 gc time: 49" "cpu time: 9260 real time: 9259 gc time: 54" "cpu time: 9277 real time: 9274 gc time: 56"))
("101011111" ("cpu time: 9266 real time: 9265 gc time: 40" "cpu time: 9077 real time: 9075 gc time: 56" "cpu time: 9200 real time: 9199 gc time: 53" "cpu time: 9193 real time: 9187 gc time: 64" "cpu time: 9107 real time: 9102 gc time: 61" "cpu time: 9103 real time: 9099 gc time: 43" "cpu time: 9120 real time: 9120 gc time: 43" "cpu time: 9164 real time: 9162 gc time: 70"))
("101100000" ("cpu time: 5453 real time: 5447 gc time: 40" "cpu time: 5644 real time: 5637 gc time: 51" "cpu time: 5507 real time: 5502 gc time: 44" "cpu time: 5497 real time: 5493 gc time: 48" "cpu time: 6290 real time: 6290 gc time: 59" "cpu time: 5417 real time: 5416 gc time: 47" "cpu time: 5463 real time: 5460 gc time: 44" "cpu time: 5513 real time: 5511 gc time: 50"))
("101100001" ("cpu time: 5507 real time: 5504 gc time: 55" "cpu time: 5486 real time: 5478 gc time: 53" "cpu time: 5537 real time: 5530 gc time: 57" "cpu time: 5544 real time: 5541 gc time: 49" "cpu time: 5474 real time: 5470 gc time: 43" "cpu time: 5554 real time: 5551 gc time: 43" "cpu time: 5520 real time: 5520 gc time: 50" "cpu time: 5463 real time: 5460 gc time: 47"))
("101100010" ("cpu time: 5513 real time: 5511 gc time: 58" "cpu time: 5473 real time: 5470 gc time: 43" "cpu time: 5554 real time: 5550 gc time: 64" "cpu time: 5560 real time: 5555 gc time: 43" "cpu time: 5530 real time: 5526 gc time: 77" "cpu time: 5533 real time: 5529 gc time: 60" "cpu time: 5497 real time: 5494 gc time: 43" "cpu time: 5517 real time: 5517 gc time: 61"))
("101100011" ("cpu time: 5503 real time: 5500 gc time: 50" "cpu time: 5460 real time: 5459 gc time: 50" "cpu time: 5460 real time: 5457 gc time: 61" "cpu time: 5477 real time: 5474 gc time: 59" "cpu time: 5484 real time: 5480 gc time: 47" "cpu time: 5620 real time: 5618 gc time: 56" "cpu time: 5594 real time: 5589 gc time: 47" "cpu time: 5466 real time: 5465 gc time: 43"))
("101100100" ("cpu time: 5477 real time: 5471 gc time: 52" "cpu time: 5430 real time: 5427 gc time: 48" "cpu time: 5473 real time: 5470 gc time: 56" "cpu time: 5554 real time: 5548 gc time: 56" "cpu time: 5483 real time: 5482 gc time: 53" "cpu time: 5473 real time: 5467 gc time: 51" "cpu time: 5473 real time: 5472 gc time: 51" "cpu time: 5490 real time: 5485 gc time: 59"))
("101100101" ("cpu time: 5420 real time: 5418 gc time: 43" "cpu time: 5430 real time: 5428 gc time: 43" "cpu time: 5487 real time: 5484 gc time: 56" "cpu time: 5457 real time: 5454 gc time: 47" "cpu time: 5463 real time: 5459 gc time: 64" "cpu time: 5446 real time: 5445 gc time: 46" "cpu time: 5467 real time: 5461 gc time: 62" "cpu time: 5534 real time: 5530 gc time: 54"))
("101100110" ("cpu time: 5463 real time: 5460 gc time: 40" "cpu time: 5453 real time: 5450 gc time: 46" "cpu time: 5483 real time: 5480 gc time: 66" "cpu time: 5463 real time: 5459 gc time: 43" "cpu time: 5516 real time: 5513 gc time: 50" "cpu time: 5527 real time: 5522 gc time: 60" "cpu time: 5443 real time: 5437 gc time: 44" "cpu time: 5520 real time: 5518 gc time: 60"))
("101100111" ("cpu time: 5530 real time: 5526 gc time: 47" "cpu time: 5536 real time: 5534 gc time: 61" "cpu time: 5574 real time: 5570 gc time: 46" "cpu time: 5490 real time: 5489 gc time: 53" "cpu time: 5486 real time: 5484 gc time: 69" "cpu time: 5480 real time: 5476 gc time: 43" "cpu time: 5527 real time: 5524 gc time: 72" "cpu time: 5464 real time: 5461 gc time: 49"))
("101101000" ("cpu time: 5296 real time: 5291 gc time: 61" "cpu time: 5293 real time: 5289 gc time: 48" "cpu time: 5284 real time: 5282 gc time: 63" "cpu time: 5253 real time: 5253 gc time: 47" "cpu time: 5276 real time: 5275 gc time: 44" "cpu time: 5237 real time: 5233 gc time: 50" "cpu time: 5237 real time: 5233 gc time: 55" "cpu time: 5293 real time: 5289 gc time: 58"))
("101101001" ("cpu time: 5320 real time: 5317 gc time: 43" "cpu time: 5347 real time: 5342 gc time: 46" "cpu time: 5396 real time: 5394 gc time: 47" "cpu time: 5437 real time: 5432 gc time: 46" "cpu time: 5427 real time: 5424 gc time: 43" "cpu time: 5356 real time: 5357 gc time: 57" "cpu time: 5353 real time: 5347 gc time: 57" "cpu time: 5310 real time: 5308 gc time: 50"))
("101101010" ("cpu time: 5403 real time: 5399 gc time: 47" "cpu time: 5390 real time: 5385 gc time: 58" "cpu time: 5320 real time: 5314 gc time: 48" "cpu time: 5313 real time: 5311 gc time: 62" "cpu time: 5423 real time: 5419 gc time: 49" "cpu time: 5337 real time: 5333 gc time: 49" "cpu time: 5404 real time: 5400 gc time: 46" "cpu time: 5343 real time: 5339 gc time: 55"))
("101101011" ("cpu time: 5260 real time: 5259 gc time: 80" "cpu time: 5267 real time: 5265 gc time: 47" "cpu time: 5327 real time: 5325 gc time: 55" "cpu time: 5387 real time: 5384 gc time: 67" "cpu time: 5280 real time: 5277 gc time: 61" "cpu time: 5300 real time: 5296 gc time: 63" "cpu time: 5383 real time: 5381 gc time: 53" "cpu time: 5324 real time: 5322 gc time: 46"))
("101101100" ("cpu time: 5270 real time: 5266 gc time: 60" "cpu time: 5380 real time: 5378 gc time: 74" "cpu time: 5300 real time: 5297 gc time: 60" "cpu time: 5346 real time: 5344 gc time: 44" "cpu time: 5286 real time: 5285 gc time: 70" "cpu time: 5727 real time: 5721 gc time: 53" "cpu time: 5274 real time: 5270 gc time: 57" "cpu time: 5357 real time: 5353 gc time: 50"))
("101101101" ("cpu time: 5330 real time: 5326 gc time: 43" "cpu time: 5337 real time: 5333 gc time: 47" "cpu time: 5343 real time: 5341 gc time: 67" "cpu time: 5277 real time: 5273 gc time: 56" "cpu time: 5286 real time: 5284 gc time: 60" "cpu time: 5313 real time: 5309 gc time: 64" "cpu time: 5300 real time: 5295 gc time: 50" "cpu time: 5327 real time: 5318 gc time: 59"))
("101101110" ("cpu time: 5306 real time: 5303 gc time: 53" "cpu time: 5677 real time: 5671 gc time: 60" "cpu time: 5310 real time: 5308 gc time: 50" "cpu time: 5280 real time: 5282 gc time: 43" "cpu time: 5327 real time: 5324 gc time: 60" "cpu time: 5290 real time: 5287 gc time: 51" "cpu time: 5320 real time: 5316 gc time: 60" "cpu time: 5337 real time: 5336 gc time: 52"))
("101101111" ("cpu time: 5280 real time: 5278 gc time: 61" "cpu time: 5316 real time: 5314 gc time: 50" "cpu time: 5320 real time: 5316 gc time: 46" "cpu time: 5310 real time: 5309 gc time: 72" "cpu time: 5330 real time: 5329 gc time: 70" "cpu time: 5306 real time: 5303 gc time: 60" "cpu time: 5293 real time: 5292 gc time: 43" "cpu time: 5320 real time: 5318 gc time: 53"))
("101110000" ("cpu time: 9484 real time: 9480 gc time: 40" "cpu time: 9543 real time: 9542 gc time: 40" "cpu time: 9540 real time: 9539 gc time: 46" "cpu time: 9517 real time: 9519 gc time: 47" "cpu time: 9470 real time: 9470 gc time: 56" "cpu time: 9543 real time: 9539 gc time: 47" "cpu time: 9490 real time: 9489 gc time: 69" "cpu time: 9477 real time: 9474 gc time: 50"))
("101110001" ("cpu time: 9510 real time: 9511 gc time: 47" "cpu time: 9697 real time: 9695 gc time: 50" "cpu time: 9570 real time: 9567 gc time: 43" "cpu time: 10223 real time: 10221 gc time: 40" "cpu time: 9494 real time: 9494 gc time: 43" "cpu time: 9584 real time: 9585 gc time: 52" "cpu time: 9573 real time: 9571 gc time: 62" "cpu time: 9614 real time: 9613 gc time: 54"))
("101110010" ("cpu time: 9420 real time: 9419 gc time: 67" "cpu time: 9403 real time: 9402 gc time: 56" "cpu time: 9486 real time: 9486 gc time: 40" "cpu time: 9417 real time: 9416 gc time: 47" "cpu time: 9477 real time: 9476 gc time: 64" "cpu time: 9477 real time: 9478 gc time: 43" "cpu time: 9567 real time: 9565 gc time: 64" "cpu time: 9423 real time: 9422 gc time: 50"))
("101110011" ("cpu time: 9470 real time: 9467 gc time: 44" "cpu time: 14560 real time: 14559 gc time: 40" "cpu time: 9593 real time: 9591 gc time: 40" "cpu time: 9503 real time: 9502 gc time: 64" "cpu time: 9393 real time: 9393 gc time: 54" "cpu time: 9437 real time: 9436 gc time: 66" "cpu time: 9543 real time: 9541 gc time: 40" "cpu time: 9433 real time: 9430 gc time: 49"))
("101110100" ("cpu time: 9480 real time: 9480 gc time: 54" "cpu time: 9403 real time: 9402 gc time: 44" "cpu time: 9453 real time: 9450 gc time: 40" "cpu time: 9413 real time: 9411 gc time: 55" "cpu time: 9556 real time: 9551 gc time: 50" "cpu time: 9526 real time: 9524 gc time: 47" "cpu time: 9510 real time: 9510 gc time: 55" "cpu time: 9443 real time: 9443 gc time: 46"))
("101110101" ("cpu time: 9390 real time: 9388 gc time: 50" "cpu time: 9413 real time: 9410 gc time: 50" "cpu time: 9400 real time: 9398 gc time: 47" "cpu time: 9410 real time: 9410 gc time: 67" "cpu time: 9397 real time: 9394 gc time: 50" "cpu time: 9703 real time: 9703 gc time: 60" "cpu time: 9514 real time: 9512 gc time: 53" "cpu time: 9680 real time: 9679 gc time: 54"))
("101110110" ("cpu time: 9657 real time: 9657 gc time: 47" "cpu time: 9267 real time: 9267 gc time: 43" "cpu time: 9370 real time: 9369 gc time: 50" "cpu time: 9320 real time: 9318 gc time: 53" "cpu time: 9307 real time: 9306 gc time: 80" "cpu time: 9297 real time: 9290 gc time: 47" "cpu time: 9390 real time: 9388 gc time: 63" "cpu time: 9620 real time: 9618 gc time: 53"))
("101110111" ("cpu time: 9430 real time: 9425 gc time: 46" "cpu time: 9233 real time: 9235 gc time: 50" "cpu time: 9536 real time: 9530 gc time: 47" "cpu time: 9400 real time: 9398 gc time: 43" "cpu time: 9293 real time: 9289 gc time: 103" "cpu time: 9330 real time: 9331 gc time: 54" "cpu time: 9300 real time: 9295 gc time: 43" "cpu time: 9453 real time: 9451 gc time: 59"))
("101111000" ("cpu time: 9477 real time: 9472 gc time: 47" "cpu time: 9327 real time: 9327 gc time: 40" "cpu time: 9297 real time: 9295 gc time: 43" "cpu time: 9370 real time: 9368 gc time: 53" "cpu time: 9370 real time: 9368 gc time: 58" "cpu time: 9300 real time: 9299 gc time: 43" "cpu time: 9360 real time: 9356 gc time: 48" "cpu time: 9370 real time: 9368 gc time: 71"))
("101111001" ("cpu time: 9446 real time: 9445 gc time: 50" "cpu time: 9393 real time: 9393 gc time: 40" "cpu time: 9544 real time: 9537 gc time: 56" "cpu time: 9490 real time: 9489 gc time: 43" "cpu time: 9577 real time: 9576 gc time: 60" "cpu time: 9366 real time: 9364 gc time: 47" "cpu time: 9433 real time: 9426 gc time: 40" "cpu time: 9377 real time: 9374 gc time: 60"))
("101111010" ("cpu time: 9297 real time: 9295 gc time: 58" "cpu time: 14370 real time: 14370 gc time: 50" "cpu time: 9287 real time: 9282 gc time: 40" "cpu time: 9280 real time: 9278 gc time: 40" "cpu time: 9350 real time: 9349 gc time: 56" "cpu time: 14370 real time: 14370 gc time: 51" "cpu time: 9263 real time: 9261 gc time: 57" "cpu time: 9330 real time: 9329 gc time: 57"))
("101111011" ("cpu time: 9276 real time: 9276 gc time: 74" "cpu time: 9483 real time: 9482 gc time: 52" "cpu time: 9324 real time: 9322 gc time: 48" "cpu time: 9260 real time: 9256 gc time: 55" "cpu time: 9270 real time: 9268 gc time: 47" "cpu time: 9230 real time: 9229 gc time: 44" "cpu time: 9500 real time: 9501 gc time: 40" "cpu time: 9250 real time: 9247 gc time: 40"))
("101111100" ("cpu time: 9437 real time: 9434 gc time: 54" "cpu time: 9270 real time: 9267 gc time: 44" "cpu time: 9280 real time: 9277 gc time: 44" "cpu time: 9323 real time: 9317 gc time: 52" "cpu time: 9747 real time: 9745 gc time: 49" "cpu time: 9360 real time: 9355 gc time: 69" "cpu time: 9357 real time: 9357 gc time: 44" "cpu time: 9326 real time: 9326 gc time: 50"))
("101111101" ("cpu time: 9560 real time: 9556 gc time: 46" "cpu time: 9803 real time: 9800 gc time: 40" "cpu time: 9450 real time: 9447 gc time: 63" "cpu time: 9303 real time: 9303 gc time: 46" "cpu time: 9346 real time: 9346 gc time: 46" "cpu time: 9340 real time: 9342 gc time: 44" "cpu time: 9270 real time: 9266 gc time: 40" "cpu time: 9310 real time: 9312 gc time: 62"))
("101111110" ("cpu time: 9630 real time: 9627 gc time: 58" "cpu time: 9143 real time: 9141 gc time: 57" "cpu time: 9283 real time: 9283 gc time: 48" "cpu time: 9167 real time: 9163 gc time: 54" "cpu time: 9253 real time: 9252 gc time: 40" "cpu time: 9350 real time: 9347 gc time: 43" "cpu time: 9303 real time: 9302 gc time: 44" "cpu time: 9243 real time: 9244 gc time: 43"))
("101111111" ("cpu time: 9164 real time: 9159 gc time: 47" "cpu time: 9196 real time: 9196 gc time: 62" "cpu time: 9487 real time: 9487 gc time: 40" "cpu time: 9144 real time: 9140 gc time: 56" "cpu time: 9270 real time: 9268 gc time: 47" "cpu time: 9266 real time: 9259 gc time: 50" "cpu time: 9693 real time: 9688 gc time: 44" "cpu time: 9510 real time: 9505 gc time: 59"))
("110000000" ("cpu time: 6357 real time: 6352 gc time: 43" "cpu time: 6373 real time: 6371 gc time: 43" "cpu time: 6493 real time: 6490 gc time: 50" "cpu time: 6407 real time: 6404 gc time: 47" "cpu time: 6377 real time: 6372 gc time: 47" "cpu time: 6533 real time: 6532 gc time: 46" "cpu time: 6380 real time: 6376 gc time: 50" "cpu time: 6370 real time: 6369 gc time: 58"))
("110000001" ("cpu time: 6423 real time: 6418 gc time: 53" "cpu time: 6377 real time: 6377 gc time: 50" "cpu time: 6503 real time: 6504 gc time: 58" "cpu time: 6390 real time: 6389 gc time: 40" "cpu time: 6390 real time: 6386 gc time: 54" "cpu time: 6543 real time: 6541 gc time: 68" "cpu time: 6384 real time: 6382 gc time: 53" "cpu time: 6380 real time: 6377 gc time: 44"))
("110000010" ("cpu time: 6400 real time: 6401 gc time: 44" "cpu time: 6340 real time: 6334 gc time: 54" "cpu time: 6670 real time: 6668 gc time: 51" "cpu time: 6336 real time: 6336 gc time: 44" "cpu time: 6343 real time: 6341 gc time: 43" "cpu time: 6487 real time: 6486 gc time: 48" "cpu time: 6494 real time: 6495 gc time: 40" "cpu time: 6453 real time: 6453 gc time: 62"))
("110000011" ("cpu time: 6527 real time: 6527 gc time: 40" "cpu time: 6434 real time: 6432 gc time: 54" "cpu time: 6356 real time: 6356 gc time: 40" "cpu time: 6393 real time: 6390 gc time: 43" "cpu time: 6440 real time: 6437 gc time: 51" "cpu time: 6383 real time: 6380 gc time: 43" "cpu time: 6407 real time: 6406 gc time: 63" "cpu time: 6416 real time: 6415 gc time: 54"))
("110000100" ("cpu time: 6536 real time: 6532 gc time: 50" "cpu time: 6450 real time: 6445 gc time: 49" "cpu time: 6523 real time: 6522 gc time: 44" "cpu time: 6430 real time: 6431 gc time: 40" "cpu time: 6463 real time: 6462 gc time: 44" "cpu time: 6427 real time: 6428 gc time: 67" "cpu time: 6440 real time: 6437 gc time: 50" "cpu time: 6453 real time: 6454 gc time: 57"))
("110000101" ("cpu time: 6444 real time: 6441 gc time: 44" "cpu time: 6440 real time: 6440 gc time: 40" "cpu time: 6460 real time: 6458 gc time: 60" "cpu time: 6447 real time: 6444 gc time: 52" "cpu time: 6663 real time: 6662 gc time: 67" "cpu time: 6430 real time: 6429 gc time: 47" "cpu time: 6440 real time: 6442 gc time: 47" "cpu time: 6420 real time: 6420 gc time: 58"))
("110000110" ("cpu time: 6313 real time: 6311 gc time: 50" "cpu time: 6297 real time: 6294 gc time: 43" "cpu time: 6320 real time: 6317 gc time: 50" "cpu time: 6337 real time: 6333 gc time: 43" "cpu time: 6283 real time: 6285 gc time: 57" "cpu time: 6320 real time: 6323 gc time: 40" "cpu time: 6333 real time: 6332 gc time: 50" "cpu time: 6346 real time: 6341 gc time: 52"))
("110000111" ("cpu time: 6334 real time: 6335 gc time: 44" "cpu time: 6333 real time: 6331 gc time: 53" "cpu time: 6373 real time: 6372 gc time: 40" "cpu time: 6387 real time: 6386 gc time: 50" "cpu time: 6363 real time: 6362 gc time: 54" "cpu time: 6343 real time: 6340 gc time: 50" "cpu time: 6304 real time: 6300 gc time: 47" "cpu time: 6390 real time: 6388 gc time: 58"))
("110001000" ("cpu time: 6457 real time: 6453 gc time: 47" "cpu time: 6424 real time: 6421 gc time: 44" "cpu time: 6477 real time: 6478 gc time: 49" "cpu time: 6467 real time: 6466 gc time: 50" "cpu time: 6467 real time: 6469 gc time: 53" "cpu time: 6493 real time: 6494 gc time: 50" "cpu time: 6613 real time: 6612 gc time: 50" "cpu time: 6590 real time: 6588 gc time: 40"))
("110001001" ("cpu time: 6823 real time: 6823 gc time: 54" "cpu time: 6447 real time: 6444 gc time: 43" "cpu time: 6587 real time: 6585 gc time: 40" "cpu time: 6454 real time: 6454 gc time: 49" "cpu time: 6630 real time: 6629 gc time: 50" "cpu time: 6590 real time: 6589 gc time: 54" "cpu time: 6446 real time: 6439 gc time: 40" "cpu time: 6587 real time: 6585 gc time: 52"))
("110001010" ("cpu time: 6517 real time: 6516 gc time: 54" "cpu time: 6564 real time: 6564 gc time: 44" "cpu time: 6700 real time: 6700 gc time: 44" "cpu time: 6526 real time: 6522 gc time: 53" "cpu time: 6430 real time: 6429 gc time: 40" "cpu time: 6630 real time: 6626 gc time: 43" "cpu time: 6587 real time: 6584 gc time: 50" "cpu time: 6687 real time: 6687 gc time: 40"))
("110001011" ("cpu time: 6496 real time: 6498 gc time: 47" "cpu time: 6594 real time: 6590 gc time: 40" "cpu time: 6487 real time: 6483 gc time: 40" "cpu time: 6760 real time: 6758 gc time: 44" "cpu time: 6637 real time: 6634 gc time: 53" "cpu time: 6483 real time: 6480 gc time: 46" "cpu time: 6484 real time: 6483 gc time: 43" "cpu time: 6603 real time: 6602 gc time: 43"))
("110001100" ("cpu time: 6537 real time: 6535 gc time: 50" "cpu time: 6546 real time: 6544 gc time: 50" "cpu time: 6580 real time: 6579 gc time: 54" "cpu time: 6514 real time: 6511 gc time: 40" "cpu time: 6540 real time: 6538 gc time: 60" "cpu time: 6714 real time: 6710 gc time: 54" "cpu time: 6553 real time: 6552 gc time: 49" "cpu time: 9770 real time: 9768 gc time: 59"))
("110001101" ("cpu time: 6503 real time: 6499 gc time: 40" "cpu time: 6486 real time: 6485 gc time: 40" "cpu time: 6504 real time: 6502 gc time: 57" "cpu time: 6477 real time: 6473 gc time: 40" "cpu time: 6507 real time: 6506 gc time: 57" "cpu time: 6536 real time: 6535 gc time: 53" "cpu time: 6503 real time: 6503 gc time: 46" "cpu time: 6553 real time: 6550 gc time: 40"))
("110001110" ("cpu time: 6384 real time: 6378 gc time: 53" "cpu time: 6416 real time: 6415 gc time: 40" "cpu time: 6403 real time: 6401 gc time: 43" "cpu time: 6463 real time: 6462 gc time: 53" "cpu time: 6374 real time: 6373 gc time: 44" "cpu time: 6336 real time: 6334 gc time: 56" "cpu time: 6410 real time: 6407 gc time: 51" "cpu time: 6450 real time: 6446 gc time: 43"))
("110001111" ("cpu time: 6417 real time: 6417 gc time: 51" "cpu time: 6446 real time: 6447 gc time: 43" "cpu time: 6393 real time: 6392 gc time: 54" "cpu time: 6460 real time: 6458 gc time: 40" "cpu time: 6417 real time: 6415 gc time: 40" "cpu time: 6434 real time: 6430 gc time: 40" "cpu time: 6433 real time: 6431 gc time: 46" "cpu time: 6444 real time: 6442 gc time: 59"))
("110010000" ("cpu time: 7313 real time: 7313 gc time: 40" "cpu time: 4497 real time: 4495 gc time: 43" "cpu time: 4373 real time: 4374 gc time: 40" "cpu time: 4383 real time: 4379 gc time: 40" "cpu time: 4370 real time: 4368 gc time: 40" "cpu time: 4353 real time: 4351 gc time: 40" "cpu time: 4414 real time: 4413 gc time: 40" "cpu time: 4403 real time: 4401 gc time: 40"))
("110010001" ("cpu time: 4367 real time: 4364 gc time: 40" "cpu time: 4390 real time: 4390 gc time: 40" "cpu time: 4393 real time: 4393 gc time: 40" "cpu time: 4480 real time: 4477 gc time: 44" "cpu time: 4390 real time: 4389 gc time: 40" "cpu time: 4373 real time: 4373 gc time: 40" "cpu time: 4374 real time: 4371 gc time: 40" "cpu time: 4370 real time: 4370 gc time: 40"))
("110010010" ("cpu time: 4393 real time: 4390 gc time: 40" "cpu time: 4420 real time: 4418 gc time: 43" "cpu time: 5147 real time: 5143 gc time: 43" "cpu time: 4406 real time: 4403 gc time: 40" "cpu time: 4443 real time: 4440 gc time: 40" "cpu time: 4500 real time: 4500 gc time: 40" "cpu time: 4403 real time: 4401 gc time: 43" "cpu time: 4433 real time: 4433 gc time: 43"))
("110010011" ("cpu time: 4383 real time: 4379 gc time: 44" "cpu time: 4403 real time: 4398 gc time: 40" "cpu time: 4384 real time: 4382 gc time: 43" "cpu time: 4377 real time: 4376 gc time: 40" "cpu time: 4367 real time: 4364 gc time: 44" "cpu time: 4410 real time: 4409 gc time: 40" "cpu time: 4403 real time: 4402 gc time: 40" "cpu time: 4396 real time: 4398 gc time: 40"))
("110010100" ("cpu time: 4430 real time: 4430 gc time: 43" "cpu time: 4414 real time: 4415 gc time: 43" "cpu time: 4416 real time: 4416 gc time: 44" "cpu time: 4426 real time: 4426 gc time: 40" "cpu time: 4410 real time: 4411 gc time: 40" "cpu time: 4407 real time: 4407 gc time: 44" "cpu time: 4417 real time: 4413 gc time: 43" "cpu time: 4407 real time: 4405 gc time: 44"))
("110010101" ("cpu time: 4427 real time: 4425 gc time: 47" "cpu time: 4414 real time: 4409 gc time: 43" "cpu time: 4410 real time: 4408 gc time: 40" "cpu time: 4410 real time: 4414 gc time: 43" "cpu time: 4397 real time: 4399 gc time: 44" "cpu time: 4413 real time: 4411 gc time: 40" "cpu time: 4433 real time: 4433 gc time: 43" "cpu time: 4400 real time: 4396 gc time: 43"))
("110010110" ("cpu time: 5897 real time: 5894 gc time: 43" "cpu time: 3253 real time: 3255 gc time: 44" "cpu time: 3333 real time: 3333 gc time: 44" "cpu time: 3267 real time: 3268 gc time: 46" "cpu time: 3264 real time: 3261 gc time: 44" "cpu time: 3270 real time: 3269 gc time: 43" "cpu time: 5843 real time: 5844 gc time: 40" "cpu time: 3344 real time: 3339 gc time: 44"))
("110010111" ("cpu time: 3353 real time: 3348 gc time: 43" "cpu time: 3277 real time: 3277 gc time: 40" "cpu time: 3360 real time: 3362 gc time: 40" "cpu time: 3250 real time: 3248 gc time: 40" "cpu time: 3270 real time: 3268 gc time: 40" "cpu time: 3267 real time: 3266 gc time: 44" "cpu time: 3264 real time: 3264 gc time: 46" "cpu time: 3254 real time: 3252 gc time: 47"))
("110011000" ("cpu time: 4433 real time: 4432 gc time: 40" "cpu time: 4486 real time: 4486 gc time: 40" "cpu time: 4413 real time: 4414 gc time: 40" "cpu time: 4440 real time: 4440 gc time: 40" "cpu time: 4426 real time: 4427 gc time: 43" "cpu time: 4413 real time: 4411 gc time: 40" "cpu time: 4430 real time: 4428 gc time: 40" "cpu time: 4487 real time: 4485 gc time: 40"))
("110011001" ("cpu time: 4480 real time: 4480 gc time: 43" "cpu time: 4427 real time: 4427 gc time: 40" "cpu time: 4417 real time: 4415 gc time: 44" "cpu time: 4443 real time: 4444 gc time: 40" "cpu time: 4423 real time: 4425 gc time: 40" "cpu time: 4457 real time: 4454 gc time: 43" "cpu time: 4430 real time: 4428 gc time: 40" "cpu time: 4430 real time: 4429 gc time: 40"))
("110011010" ("cpu time: 4450 real time: 4447 gc time: 40" "cpu time: 4484 real time: 4481 gc time: 40" "cpu time: 4480 real time: 4478 gc time: 43" "cpu time: 4550 real time: 4547 gc time: 40" "cpu time: 4480 real time: 4478 gc time: 40" "cpu time: 4457 real time: 4452 gc time: 40" "cpu time: 4463 real time: 4459 gc time: 44" "cpu time: 4480 real time: 4480 gc time: 43"))
("110011011" ("cpu time: 4507 real time: 4503 gc time: 43" "cpu time: 4447 real time: 4443 gc time: 40" "cpu time: 4487 real time: 4486 gc time: 40" "cpu time: 4460 real time: 4459 gc time: 40" "cpu time: 6090 real time: 6086 gc time: 43" "cpu time: 4450 real time: 4452 gc time: 40" "cpu time: 4453 real time: 4450 gc time: 40" "cpu time: 4490 real time: 4489 gc time: 40"))
("110011100" ("cpu time: 4463 real time: 4466 gc time: 43" "cpu time: 4460 real time: 4457 gc time: 43" "cpu time: 4490 real time: 4486 gc time: 43" "cpu time: 4474 real time: 4469 gc time: 43" "cpu time: 4474 real time: 4474 gc time: 50" "cpu time: 4487 real time: 4483 gc time: 40" "cpu time: 4466 real time: 4462 gc time: 40" "cpu time: 4467 real time: 4464 gc time: 43"))
("110011101" ("cpu time: 4460 real time: 4461 gc time: 40" "cpu time: 4464 real time: 4461 gc time: 43" "cpu time: 4463 real time: 4463 gc time: 40" "cpu time: 4463 real time: 4463 gc time: 44" "cpu time: 4454 real time: 4452 gc time: 40" "cpu time: 5640 real time: 5640 gc time: 40" "cpu time: 4457 real time: 4457 gc time: 43" "cpu time: 5644 real time: 5643 gc time: 43"))
("110011110" ("cpu time: 3313 real time: 3315 gc time: 43" "cpu time: 5910 real time: 5910 gc time: 43" "cpu time: 3327 real time: 3325 gc time: 40" "cpu time: 3337 real time: 3338 gc time: 50" "cpu time: 3346 real time: 3346 gc time: 44" "cpu time: 3313 real time: 3311 gc time: 40" "cpu time: 3323 real time: 3325 gc time: 43" "cpu time: 3327 real time: 3325 gc time: 40"))
("110011111" ("cpu time: 3310 real time: 3308 gc time: 53" "cpu time: 3377 real time: 3375 gc time: 43" "cpu time: 3360 real time: 3360 gc time: 43" "cpu time: 3333 real time: 3331 gc time: 43" "cpu time: 3324 real time: 3318 gc time: 47" "cpu time: 3340 real time: 3342 gc time: 40" "cpu time: 3336 real time: 3334 gc time: 43" "cpu time: 3320 real time: 3319 gc time: 44"))
("110100000" ("cpu time: 6400 real time: 6397 gc time: 51" "cpu time: 6350 real time: 6349 gc time: 44" "cpu time: 6447 real time: 6447 gc time: 56" "cpu time: 6590 real time: 6590 gc time: 47" "cpu time: 6477 real time: 6477 gc time: 57" "cpu time: 6377 real time: 6377 gc time: 47" "cpu time: 6617 real time: 6613 gc time: 74" "cpu time: 6300 real time: 6299 gc time: 40"))
("110100001" ("cpu time: 6516 real time: 6518 gc time: 61" "cpu time: 6673 real time: 6672 gc time: 40" "cpu time: 6377 real time: 6375 gc time: 43" "cpu time: 6433 real time: 6431 gc time: 40" "cpu time: 6390 real time: 6389 gc time: 50" "cpu time: 6513 real time: 6512 gc time: 53" "cpu time: 6517 real time: 6515 gc time: 47" "cpu time: 6407 real time: 6405 gc time: 54"))
("110100010" ("cpu time: 6320 real time: 6319 gc time: 49" "cpu time: 6506 real time: 6505 gc time: 44" "cpu time: 6447 real time: 6444 gc time: 54" "cpu time: 6584 real time: 6581 gc time: 66" "cpu time: 6507 real time: 6504 gc time: 49" "cpu time: 6340 real time: 6339 gc time: 40" "cpu time: 6447 real time: 6446 gc time: 46" "cpu time: 6347 real time: 6346 gc time: 43"))
("110100011" ("cpu time: 6390 real time: 6390 gc time: 40" "cpu time: 6410 real time: 6405 gc time: 40" "cpu time: 6450 real time: 6446 gc time: 63" "cpu time: 6414 real time: 6411 gc time: 64" "cpu time: 6414 real time: 6409 gc time: 40" "cpu time: 6534 real time: 6533 gc time: 63" "cpu time: 6446 real time: 6448 gc time: 57" "cpu time: 6467 real time: 6464 gc time: 50"))
("110100100" ("cpu time: 6460 real time: 6460 gc time: 57" "cpu time: 6430 real time: 6430 gc time: 43" "cpu time: 6476 real time: 6474 gc time: 43" "cpu time: 6483 real time: 6483 gc time: 47" "cpu time: 6437 real time: 6434 gc time: 43" "cpu time: 6453 real time: 6450 gc time: 72" "cpu time: 6430 real time: 6427 gc time: 44" "cpu time: 6483 real time: 6482 gc time: 60"))
("110100101" ("cpu time: 6427 real time: 6423 gc time: 43" "cpu time: 6447 real time: 6446 gc time: 46" "cpu time: 6450 real time: 6446 gc time: 46" "cpu time: 6424 real time: 6422 gc time: 51" "cpu time: 6493 real time: 6497 gc time: 52" "cpu time: 6410 real time: 6412 gc time: 43" "cpu time: 6444 real time: 6442 gc time: 50" "cpu time: 6450 real time: 6449 gc time: 40"))
("110100110" ("cpu time: 6370 real time: 6371 gc time: 47" "cpu time: 6363 real time: 6362 gc time: 50" "cpu time: 6360 real time: 6356 gc time: 46" "cpu time: 6300 real time: 6296 gc time: 51" "cpu time: 6297 real time: 6292 gc time: 57" "cpu time: 6250 real time: 6248 gc time: 43" "cpu time: 6357 real time: 6355 gc time: 44" "cpu time: 6333 real time: 6327 gc time: 49"))
("110100111" ("cpu time: 6340 real time: 6341 gc time: 52" "cpu time: 6337 real time: 6336 gc time: 61" "cpu time: 6300 real time: 6296 gc time: 43" "cpu time: 6344 real time: 6342 gc time: 44" "cpu time: 6340 real time: 6338 gc time: 53" "cpu time: 6377 real time: 6375 gc time: 53" "cpu time: 6323 real time: 6321 gc time: 66" "cpu time: 6310 real time: 6306 gc time: 47"))
("110101000" ("cpu time: 6424 real time: 6423 gc time: 47" "cpu time: 6380 real time: 6378 gc time: 53" "cpu time: 6400 real time: 6396 gc time: 52" "cpu time: 6393 real time: 6392 gc time: 53" "cpu time: 6450 real time: 6447 gc time: 63" "cpu time: 6367 real time: 6365 gc time: 46" "cpu time: 6517 real time: 6514 gc time: 50" "cpu time: 6636 real time: 6635 gc time: 47"))
("110101001" ("cpu time: 6437 real time: 6434 gc time: 40" "cpu time: 6443 real time: 6442 gc time: 44" "cpu time: 6620 real time: 6618 gc time: 46" "cpu time: 6737 real time: 6735 gc time: 40" "cpu time: 6450 real time: 6447 gc time: 40" "cpu time: 6596 real time: 6593 gc time: 43" "cpu time: 6664 real time: 6658 gc time: 66" "cpu time: 6463 real time: 6464 gc time: 44"))
("110101010" ("cpu time: 6374 real time: 6372 gc time: 44" "cpu time: 6377 real time: 6374 gc time: 40" "cpu time: 6390 real time: 6389 gc time: 50" "cpu time: 6576 real time: 6578 gc time: 68" "cpu time: 6550 real time: 6547 gc time: 50" "cpu time: 6527 real time: 6525 gc time: 46" "cpu time: 6623 real time: 6618 gc time: 43" "cpu time: 6380 real time: 6375 gc time: 46"))
("110101011" ("cpu time: 6636 real time: 6631 gc time: 43" "cpu time: 6657 real time: 6656 gc time: 50" "cpu time: 6517 real time: 6514 gc time: 40" "cpu time: 6493 real time: 6488 gc time: 50" "cpu time: 6520 real time: 6520 gc time: 65" "cpu time: 6517 real time: 6514 gc time: 40" "cpu time: 6753 real time: 6755 gc time: 63" "cpu time: 6473 real time: 6473 gc time: 50"))
("110101100" ("cpu time: 6670 real time: 6669 gc time: 65" "cpu time: 6526 real time: 6525 gc time: 40" "cpu time: 6543 real time: 6543 gc time: 43" "cpu time: 6723 real time: 6721 gc time: 46" "cpu time: 6590 real time: 6587 gc time: 48" "cpu time: 6537 real time: 6534 gc time: 59" "cpu time: 6514 real time: 6511 gc time: 44" "cpu time: 6556 real time: 6555 gc time: 50"))
("110101101" ("cpu time: 6496 real time: 6495 gc time: 50" "cpu time: 6513 real time: 6515 gc time: 43" "cpu time: 6544 real time: 6542 gc time: 47" "cpu time: 6500 real time: 6496 gc time: 46" "cpu time: 6500 real time: 6497 gc time: 43" "cpu time: 6497 real time: 6494 gc time: 53" "cpu time: 6520 real time: 6519 gc time: 40" "cpu time: 6506 real time: 6505 gc time: 43"))
("110101110" ("cpu time: 6417 real time: 6416 gc time: 60" "cpu time: 6407 real time: 6406 gc time: 43" "cpu time: 6353 real time: 6350 gc time: 52" "cpu time: 6537 real time: 6533 gc time: 44" "cpu time: 6454 real time: 6451 gc time: 44" "cpu time: 6343 real time: 6341 gc time: 49" "cpu time: 6366 real time: 6366 gc time: 47" "cpu time: 6447 real time: 6448 gc time: 43"))
("110101111" ("cpu time: 6390 real time: 6389 gc time: 49" "cpu time: 6596 real time: 6598 gc time: 61" "cpu time: 6417 real time: 6415 gc time: 50" "cpu time: 6410 real time: 6410 gc time: 50" "cpu time: 6450 real time: 6448 gc time: 54" "cpu time: 6430 real time: 6424 gc time: 47" "cpu time: 6430 real time: 6427 gc time: 47" "cpu time: 6463 real time: 6463 gc time: 50"))
("110110000" ("cpu time: 4363 real time: 4360 gc time: 40" "cpu time: 4513 real time: 4515 gc time: 40" "cpu time: 4353 real time: 4352 gc time: 40" "cpu time: 4397 real time: 4397 gc time: 43" "cpu time: 4340 real time: 4342 gc time: 36" "cpu time: 4380 real time: 4378 gc time: 40" "cpu time: 4413 real time: 4411 gc time: 40" "cpu time: 4357 real time: 4354 gc time: 37"))
("110110001" ("cpu time: 4367 real time: 4368 gc time: 40" "cpu time: 4370 real time: 4373 gc time: 40" "cpu time: 4356 real time: 4358 gc time: 43" "cpu time: 4457 real time: 4454 gc time: 40" "cpu time: 4367 real time: 4367 gc time: 40" "cpu time: 4363 real time: 4363 gc time: 40" "cpu time: 4363 real time: 4361 gc time: 43" "cpu time: 4370 real time: 4367 gc time: 43"))
("110110010" ("cpu time: 4467 real time: 4467 gc time: 43" "cpu time: 4470 real time: 4468 gc time: 43" "cpu time: 4417 real time: 4414 gc time: 43" "cpu time: 4380 real time: 4383 gc time: 40" "cpu time: 4413 real time: 4410 gc time: 40" "cpu time: 4386 real time: 4385 gc time: 40" "cpu time: 4483 real time: 4483 gc time: 40" "cpu time: 4417 real time: 4417 gc time: 37"))
("110110011" ("cpu time: 4357 real time: 4357 gc time: 40" "cpu time: 4394 real time: 4392 gc time: 40" "cpu time: 4373 real time: 4374 gc time: 44" "cpu time: 4383 real time: 4380 gc time: 40" "cpu time: 4454 real time: 4454 gc time: 40" "cpu time: 4397 real time: 4394 gc time: 40" "cpu time: 4376 real time: 4375 gc time: 43" "cpu time: 4754 real time: 4755 gc time: 40"))
("110110100" ("cpu time: 4423 real time: 4422 gc time: 46" "cpu time: 4424 real time: 4422 gc time: 43" "cpu time: 4404 real time: 4400 gc time: 40" "cpu time: 4440 real time: 4439 gc time: 40" "cpu time: 4507 real time: 4509 gc time: 43" "cpu time: 4430 real time: 4429 gc time: 43" "cpu time: 4420 real time: 4421 gc time: 40" "cpu time: 4426 real time: 4427 gc time: 40"))
("110110101" ("cpu time: 4373 real time: 4374 gc time: 47" "cpu time: 4420 real time: 4417 gc time: 44" "cpu time: 4397 real time: 4398 gc time: 40" "cpu time: 4376 real time: 4372 gc time: 44" "cpu time: 4374 real time: 4373 gc time: 43" "cpu time: 4383 real time: 4381 gc time: 44" "cpu time: 4377 real time: 4377 gc time: 43" "cpu time: 4387 real time: 4383 gc time: 43"))
("110110110" ("cpu time: 3300 real time: 3297 gc time: 47" "cpu time: 3290 real time: 3287 gc time: 40" "cpu time: 3343 real time: 3341 gc time: 43" "cpu time: 3257 real time: 3256 gc time: 47" "cpu time: 3300 real time: 3296 gc time: 43" "cpu time: 3350 real time: 3350 gc time: 40" "cpu time: 3304 real time: 3302 gc time: 47" "cpu time: 3263 real time: 3265 gc time: 44"))
("110110111" ("cpu time: 3353 real time: 3349 gc time: 47" "cpu time: 3343 real time: 3342 gc time: 48" "cpu time: 3283 real time: 3281 gc time: 43" "cpu time: 3234 real time: 3231 gc time: 43" "cpu time: 3243 real time: 3240 gc time: 44" "cpu time: 3280 real time: 3278 gc time: 40" "cpu time: 3243 real time: 3240 gc time: 44" "cpu time: 3257 real time: 3258 gc time: 46"))
("110111000" ("cpu time: 4456 real time: 4454 gc time: 40" "cpu time: 4430 real time: 4432 gc time: 40" "cpu time: 4403 real time: 4403 gc time: 43" "cpu time: 4643 real time: 4642 gc time: 48" "cpu time: 4400 real time: 4401 gc time: 40" "cpu time: 4437 real time: 4436 gc time: 46" "cpu time: 4420 real time: 4421 gc time: 40" "cpu time: 4410 real time: 4411 gc time: 40"))
("110111001" ("cpu time: 4430 real time: 4431 gc time: 40" "cpu time: 4423 real time: 4423 gc time: 40" "cpu time: 4413 real time: 4412 gc time: 40" "cpu time: 4483 real time: 4482 gc time: 40" "cpu time: 4430 real time: 4429 gc time: 40" "cpu time: 4463 real time: 4465 gc time: 40" "cpu time: 4487 real time: 4487 gc time: 40" "cpu time: 4467 real time: 4463 gc time: 40"))
("110111010" ("cpu time: 4480 real time: 4476 gc time: 43" "cpu time: 4490 real time: 4491 gc time: 40" "cpu time: 4490 real time: 4491 gc time: 40" "cpu time: 4480 real time: 4478 gc time: 40" "cpu time: 4490 real time: 4492 gc time: 43" "cpu time: 4456 real time: 4455 gc time: 36" "cpu time: 4460 real time: 4461 gc time: 50" "cpu time: 4473 real time: 4473 gc time: 37"))
("110111011" ("cpu time: 4430 real time: 4429 gc time: 40" "cpu time: 4437 real time: 4437 gc time: 50" "cpu time: 4450 real time: 4449 gc time: 46" "cpu time: 4473 real time: 4471 gc time: 40" "cpu time: 4454 real time: 4454 gc time: 40" "cpu time: 4603 real time: 4604 gc time: 43" "cpu time: 4480 real time: 4479 gc time: 40" "cpu time: 4474 real time: 4475 gc time: 37"))
("110111100" ("cpu time: 4477 real time: 4473 gc time: 43" "cpu time: 4470 real time: 4468 gc time: 43" "cpu time: 4477 real time: 4474 gc time: 43" "cpu time: 4510 real time: 4510 gc time: 47" "cpu time: 4484 real time: 4484 gc time: 43" "cpu time: 4463 real time: 4465 gc time: 43" "cpu time: 4477 real time: 4474 gc time: 43" "cpu time: 4480 real time: 4479 gc time: 44"))
("110111101" ("cpu time: 4450 real time: 4450 gc time: 43" "cpu time: 4450 real time: 4449 gc time: 53" "cpu time: 4430 real time: 4430 gc time: 40" "cpu time: 4446 real time: 4444 gc time: 40" "cpu time: 4456 real time: 4455 gc time: 43" "cpu time: 4447 real time: 4447 gc time: 53" "cpu time: 4430 real time: 4433 gc time: 40" "cpu time: 4440 real time: 4440 gc time: 47"))
("110111110" ("cpu time: 3367 real time: 3365 gc time: 40" "cpu time: 3423 real time: 3423 gc time: 43" "cpu time: 3303 real time: 3303 gc time: 43" "cpu time: 3430 real time: 3430 gc time: 43" "cpu time: 5970 real time: 5966 gc time: 43" "cpu time: 3354 real time: 3355 gc time: 40" "cpu time: 3320 real time: 3318 gc time: 43" "cpu time: 3333 real time: 3331 gc time: 43"))
("110111111" ("cpu time: 3303 real time: 3303 gc time: 44" "cpu time: 3330 real time: 3329 gc time: 40" "cpu time: 3307 real time: 3304 gc time: 44" "cpu time: 3320 real time: 3322 gc time: 44" "cpu time: 3340 real time: 3339 gc time: 50" "cpu time: 3300 real time: 3298 gc time: 47" "cpu time: 5084 real time: 5083 gc time: 40" "cpu time: 3344 real time: 3339 gc time: 46"))
("111000000" ("cpu time: 4133 real time: 4131 gc time: 40" "cpu time: 4170 real time: 4164 gc time: 46" "cpu time: 4127 real time: 4126 gc time: 43" "cpu time: 4160 real time: 4157 gc time: 46" "cpu time: 4217 real time: 4211 gc time: 56" "cpu time: 4154 real time: 4153 gc time: 46" "cpu time: 4137 real time: 4133 gc time: 52" "cpu time: 4180 real time: 4178 gc time: 37"))
("111000001" ("cpu time: 4090 real time: 4087 gc time: 44" "cpu time: 4163 real time: 4159 gc time: 46" "cpu time: 4083 real time: 4077 gc time: 44" "cpu time: 4077 real time: 4072 gc time: 56" "cpu time: 4143 real time: 4141 gc time: 54" "cpu time: 4117 real time: 4113 gc time: 50" "cpu time: 4110 real time: 4108 gc time: 36" "cpu time: 4110 real time: 4107 gc time: 56"))
("111000010" ("cpu time: 4343 real time: 4343 gc time: 43" "cpu time: 4117 real time: 4114 gc time: 55" "cpu time: 4353 real time: 4352 gc time: 58" "cpu time: 4137 real time: 4135 gc time: 53" "cpu time: 4110 real time: 4108 gc time: 50" "cpu time: 4106 real time: 4106 gc time: 44" "cpu time: 4133 real time: 4132 gc time: 57" "cpu time: 4193 real time: 4192 gc time: 40"))
("111000011" ("cpu time: 4113 real time: 4109 gc time: 53" "cpu time: 4413 real time: 4408 gc time: 50" "cpu time: 4127 real time: 4123 gc time: 57" "cpu time: 4094 real time: 4090 gc time: 43" "cpu time: 4163 real time: 4164 gc time: 51" "cpu time: 4120 real time: 4118 gc time: 56" "cpu time: 4134 real time: 4127 gc time: 43" "cpu time: 4247 real time: 4243 gc time: 40"))
("111000100" ("cpu time: 4120 real time: 4121 gc time: 56" "cpu time: 4093 real time: 4090 gc time: 46" "cpu time: 4100 real time: 4097 gc time: 44" "cpu time: 4170 real time: 4166 gc time: 50" "cpu time: 4113 real time: 4112 gc time: 60" "cpu time: 4077 real time: 4071 gc time: 56" "cpu time: 4080 real time: 4077 gc time: 66" "cpu time: 4070 real time: 4067 gc time: 51"))
("111000101" ("cpu time: 4136 real time: 4136 gc time: 50" "cpu time: 4150 real time: 4146 gc time: 44" "cpu time: 5050 real time: 5049 gc time: 54" "cpu time: 4140 real time: 4138 gc time: 64" "cpu time: 4150 real time: 4148 gc time: 40" "cpu time: 4173 real time: 4172 gc time: 57" "cpu time: 4144 real time: 4141 gc time: 50" "cpu time: 4186 real time: 4186 gc time: 50"))
("111000110" ("cpu time: 4077 real time: 4074 gc time: 46" "cpu time: 4103 real time: 4101 gc time: 53" "cpu time: 4090 real time: 4086 gc time: 60" "cpu time: 4073 real time: 4070 gc time: 49" "cpu time: 4103 real time: 4102 gc time: 50" "cpu time: 4120 real time: 4116 gc time: 53" "cpu time: 4107 real time: 4107 gc time: 56" "cpu time: 4117 real time: 4115 gc time: 49"))
("111000111" ("cpu time: 4083 real time: 4084 gc time: 51" "cpu time: 4500 real time: 4495 gc time: 43" "cpu time: 4090 real time: 4085 gc time: 43" "cpu time: 4134 real time: 4130 gc time: 50" "cpu time: 4080 real time: 4081 gc time: 56" "cpu time: 4073 real time: 4073 gc time: 59" "cpu time: 4156 real time: 4154 gc time: 65" "cpu time: 4100 real time: 4098 gc time: 65"))
("111001000" ("cpu time: 3973 real time: 3973 gc time: 49" "cpu time: 4004 real time: 4000 gc time: 50" "cpu time: 4020 real time: 4017 gc time: 51" "cpu time: 4023 real time: 4021 gc time: 50" "cpu time: 3970 real time: 3965 gc time: 43" "cpu time: 3980 real time: 3979 gc time: 59" "cpu time: 4030 real time: 4029 gc time: 53" "cpu time: 3977 real time: 3975 gc time: 60"))
("111001001" ("cpu time: 3920 real time: 3918 gc time: 48" "cpu time: 3986 real time: 3982 gc time: 57" "cpu time: 3957 real time: 3951 gc time: 53" "cpu time: 3967 real time: 3965 gc time: 95" "cpu time: 3970 real time: 3964 gc time: 53" "cpu time: 3930 real time: 3927 gc time: 50" "cpu time: 4210 real time: 4204 gc time: 60" "cpu time: 3973 real time: 3968 gc time: 54"))
("111001010" ("cpu time: 3954 real time: 3955 gc time: 50" "cpu time: 3900 real time: 3896 gc time: 54" "cpu time: 3913 real time: 3911 gc time: 37" "cpu time: 3916 real time: 3912 gc time: 44" "cpu time: 3906 real time: 3903 gc time: 44" "cpu time: 3957 real time: 3952 gc time: 50" "cpu time: 3953 real time: 3951 gc time: 52" "cpu time: 3904 real time: 3903 gc time: 50"))
("111001011" ("cpu time: 3957 real time: 3952 gc time: 44" "cpu time: 4167 real time: 4163 gc time: 43" "cpu time: 3893 real time: 3893 gc time: 43" "cpu time: 3970 real time: 3969 gc time: 54" "cpu time: 3914 real time: 3913 gc time: 55" "cpu time: 3967 real time: 3964 gc time: 79" "cpu time: 3907 real time: 3903 gc time: 40" "cpu time: 3973 real time: 3972 gc time: 58"))
("111001100" ("cpu time: 3943 real time: 3936 gc time: 43" "cpu time: 3920 real time: 3917 gc time: 46" "cpu time: 3910 real time: 3908 gc time: 46" "cpu time: 3936 real time: 3933 gc time: 43" "cpu time: 3920 real time: 3917 gc time: 43" "cpu time: 3910 real time: 3909 gc time: 43" "cpu time: 3980 real time: 3979 gc time: 46" "cpu time: 3956 real time: 3954 gc time: 63"))
("111001101" ("cpu time: 3997 real time: 3992 gc time: 55" "cpu time: 3950 real time: 3949 gc time: 43" "cpu time: 3970 real time: 3968 gc time: 53" "cpu time: 3960 real time: 3958 gc time: 67" "cpu time: 3974 real time: 3970 gc time: 46" "cpu time: 3947 real time: 3944 gc time: 52" "cpu time: 3950 real time: 3947 gc time: 58" "cpu time: 3963 real time: 3959 gc time: 43"))
("111001110" ("cpu time: 3940 real time: 3937 gc time: 76" "cpu time: 3890 real time: 3884 gc time: 53" "cpu time: 3917 real time: 3914 gc time: 53" "cpu time: 3930 real time: 3930 gc time: 40" "cpu time: 3937 real time: 3935 gc time: 73" "cpu time: 3900 real time: 3895 gc time: 40" "cpu time: 3883 real time: 3884 gc time: 68" "cpu time: 3900 real time: 3895 gc time: 47"))
("111001111" ("cpu time: 4036 real time: 4036 gc time: 43" "cpu time: 3920 real time: 3916 gc time: 56" "cpu time: 3900 real time: 3894 gc time: 46" "cpu time: 3916 real time: 3911 gc time: 47" "cpu time: 3917 real time: 3913 gc time: 55" "cpu time: 3923 real time: 3923 gc time: 46" "cpu time: 3970 real time: 3967 gc time: 77" "cpu time: 3920 real time: 3917 gc time: 48"))
("111010000" ("cpu time: 936 real time: 938 gc time: 46" "cpu time: 943 real time: 941 gc time: 40" "cpu time: 960 real time: 959 gc time: 40" "cpu time: 940 real time: 940 gc time: 40" "cpu time: 940 real time: 941 gc time: 40" "cpu time: 950 real time: 948 gc time: 50" "cpu time: 943 real time: 941 gc time: 40" "cpu time: 940 real time: 939 gc time: 44"))
("111010001" ("cpu time: 933 real time: 933 gc time: 40" "cpu time: 937 real time: 936 gc time: 40" "cpu time: 943 real time: 939 gc time: 43" "cpu time: 940 real time: 938 gc time: 43" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 937 real time: 939 gc time: 40" "cpu time: 940 real time: 937 gc time: 40" "cpu time: 937 real time: 935 gc time: 40"))
("111010010" ("cpu time: 940 real time: 936 gc time: 40" "cpu time: 937 real time: 936 gc time: 40" "cpu time: 950 real time: 946 gc time: 46" "cpu time: 944 real time: 943 gc time: 50" "cpu time: 933 real time: 936 gc time: 40" "cpu time: 937 real time: 937 gc time: 40" "cpu time: 937 real time: 935 gc time: 40" "cpu time: 933 real time: 936 gc time: 43"))
("111010011" ("cpu time: 967 real time: 967 gc time: 40" "cpu time: 923 real time: 922 gc time: 36" "cpu time: 930 real time: 930 gc time: 40" "cpu time: 930 real time: 927 gc time: 40" "cpu time: 926 real time: 925 gc time: 40" "cpu time: 924 real time: 925 gc time: 37" "cpu time: 927 real time: 925 gc time: 37" "cpu time: 927 real time: 926 gc time: 40"))
("111010100" ("cpu time: 933 real time: 935 gc time: 48" "cpu time: 950 real time: 946 gc time: 47" "cpu time: 947 real time: 946 gc time: 43" "cpu time: 936 real time: 934 gc time: 40" "cpu time: 937 real time: 937 gc time: 40" "cpu time: 944 real time: 940 gc time: 43" "cpu time: 950 real time: 947 gc time: 43" "cpu time: 933 real time: 935 gc time: 43"))
("111010101" ("cpu time: 934 real time: 931 gc time: 43" "cpu time: 930 real time: 930 gc time: 43" "cpu time: 933 real time: 931 gc time: 43" "cpu time: 940 real time: 939 gc time: 50" "cpu time: 940 real time: 940 gc time: 43" "cpu time: 933 real time: 933 gc time: 40" "cpu time: 936 real time: 937 gc time: 44" "cpu time: 933 real time: 933 gc time: 40"))
("111010110" ("cpu time: 934 real time: 932 gc time: 40" "cpu time: 930 real time: 934 gc time: 40" "cpu time: 937 real time: 936 gc time: 44" "cpu time: 936 real time: 934 gc time: 40" "cpu time: 936 real time: 936 gc time: 40" "cpu time: 933 real time: 932 gc time: 40" "cpu time: 930 real time: 932 gc time: 44" "cpu time: 930 real time: 933 gc time: 43"))
("111010111" ("cpu time: 920 real time: 918 gc time: 40" "cpu time: 920 real time: 920 gc time: 43" "cpu time: 933 real time: 932 gc time: 50" "cpu time: 927 real time: 927 gc time: 50" "cpu time: 923 real time: 921 gc time: 44" "cpu time: 920 real time: 921 gc time: 40" "cpu time: 917 real time: 915 gc time: 44" "cpu time: 920 real time: 921 gc time: 40"))
("111011000" ("cpu time: 800 real time: 801 gc time: 40" "cpu time: 803 real time: 799 gc time: 44" "cpu time: 840 real time: 840 gc time: 40" "cpu time: 850 real time: 851 gc time: 50" "cpu time: 803 real time: 800 gc time: 40" "cpu time: 840 real time: 840 gc time: 40" "cpu time: 800 real time: 800 gc time: 44" "cpu time: 800 real time: 801 gc time: 40"))
("111011001" ("cpu time: 790 real time: 788 gc time: 40" "cpu time: 790 real time: 790 gc time: 40" "cpu time: 787 real time: 790 gc time: 40" "cpu time: 797 real time: 795 gc time: 40" "cpu time: 800 real time: 800 gc time: 50" "cpu time: 793 real time: 792 gc time: 40" "cpu time: 794 real time: 790 gc time: 40" "cpu time: 790 real time: 790 gc time: 40"))
("111011010" ("cpu time: 800 real time: 794 gc time: 43" "cpu time: 803 real time: 803 gc time: 50" "cpu time: 797 real time: 797 gc time: 40" "cpu time: 860 real time: 861 gc time: 50" "cpu time: 793 real time: 794 gc time: 40" "cpu time: 804 real time: 800 gc time: 40" "cpu time: 797 real time: 796 gc time: 40" "cpu time: 800 real time: 797 gc time: 44"))
("111011011" ("cpu time: 776 real time: 776 gc time: 40" "cpu time: 777 real time: 776 gc time: 40" "cpu time: 783 real time: 783 gc time: 46" "cpu time: 780 real time: 780 gc time: 40" "cpu time: 777 real time: 777 gc time: 40" "cpu time: 780 real time: 778 gc time: 44" "cpu time: 776 real time: 777 gc time: 40" "cpu time: 776 real time: 777 gc time: 40"))
("111011100" ("cpu time: 800 real time: 796 gc time: 43" "cpu time: 804 real time: 799 gc time: 43" "cpu time: 800 real time: 798 gc time: 43" "cpu time: 797 real time: 794 gc time: 43" "cpu time: 797 real time: 795 gc time: 40" "cpu time: 796 real time: 796 gc time: 40" "cpu time: 804 real time: 802 gc time: 43" "cpu time: 803 real time: 803 gc time: 50"))
("111011101" ("cpu time: 783 real time: 783 gc time: 36" "cpu time: 784 real time: 782 gc time: 40" "cpu time: 887 real time: 886 gc time: 40" "cpu time: 790 real time: 790 gc time: 40" "cpu time: 783 real time: 785 gc time: 44" "cpu time: 790 real time: 789 gc time: 40" "cpu time: 823 real time: 823 gc time: 43" "cpu time: 783 real time: 782 gc time: 44"))
("111011110" ("cpu time: 800 real time: 797 gc time: 43" "cpu time: 840 real time: 839 gc time: 43" "cpu time: 796 real time: 796 gc time: 40" "cpu time: 800 real time: 797 gc time: 40" "cpu time: 793 real time: 794 gc time: 43" "cpu time: 793 real time: 795 gc time: 40" "cpu time: 800 real time: 801 gc time: 43" "cpu time: 800 real time: 798 gc time: 43"))
("111011111" ("cpu time: 780 real time: 778 gc time: 43" "cpu time: 780 real time: 779 gc time: 50" "cpu time: 814 real time: 814 gc time: 43" "cpu time: 773 real time: 772 gc time: 43" "cpu time: 774 real time: 773 gc time: 44" "cpu time: 770 real time: 770 gc time: 43" "cpu time: 770 real time: 771 gc time: 43" "cpu time: 770 real time: 770 gc time: 40"))
("111100000" ("cpu time: 4100 real time: 4098 gc time: 43" "cpu time: 4343 real time: 4338 gc time: 44" "cpu time: 4120 real time: 4121 gc time: 43" "cpu time: 4133 real time: 4129 gc time: 53" "cpu time: 4096 real time: 4093 gc time: 37" "cpu time: 4080 real time: 4077 gc time: 43" "cpu time: 4083 real time: 4083 gc time: 40" "cpu time: 4107 real time: 4103 gc time: 47"))
("111100001" ("cpu time: 4170 real time: 4164 gc time: 40" "cpu time: 4087 real time: 4085 gc time: 53" "cpu time: 4380 real time: 4379 gc time: 44" "cpu time: 4153 real time: 4152 gc time: 47" "cpu time: 4394 real time: 4390 gc time: 40" "cpu time: 4133 real time: 4128 gc time: 43" "cpu time: 4367 real time: 4363 gc time: 62" "cpu time: 4223 real time: 4222 gc time: 43"))
("111100010" ("cpu time: 4147 real time: 4144 gc time: 50" "cpu time: 4120 real time: 4115 gc time: 50" "cpu time: 4154 real time: 4149 gc time: 43" "cpu time: 4113 real time: 4111 gc time: 43" "cpu time: 4083 real time: 4077 gc time: 50" "cpu time: 4150 real time: 4146 gc time: 53" "cpu time: 4097 real time: 4094 gc time: 54" "cpu time: 4160 real time: 4157 gc time: 55"))
("111100011" ("cpu time: 4143 real time: 4140 gc time: 40" "cpu time: 4127 real time: 4126 gc time: 54" "cpu time: 4130 real time: 4126 gc time: 64" "cpu time: 4110 real time: 4108 gc time: 49" "cpu time: 4103 real time: 4103 gc time: 46" "cpu time: 4124 real time: 4122 gc time: 56" "cpu time: 4294 real time: 4291 gc time: 54" "cpu time: 4103 real time: 4102 gc time: 51"))
("111100100" ("cpu time: 4097 real time: 4093 gc time: 50" "cpu time: 4123 real time: 4117 gc time: 47" "cpu time: 4157 real time: 4150 gc time: 53" "cpu time: 4103 real time: 4102 gc time: 54" "cpu time: 4093 real time: 4092 gc time: 46" "cpu time: 4137 real time: 4136 gc time: 47" "cpu time: 4153 real time: 4151 gc time: 60" "cpu time: 4094 real time: 4092 gc time: 57"))
("111100101" ("cpu time: 4200 real time: 4197 gc time: 54" "cpu time: 4126 real time: 4122 gc time: 54" "cpu time: 4117 real time: 4116 gc time: 57" "cpu time: 4136 real time: 4133 gc time: 53" "cpu time: 4124 real time: 4121 gc time: 50" "cpu time: 4124 real time: 4117 gc time: 56" "cpu time: 4143 real time: 4141 gc time: 40" "cpu time: 4147 real time: 4146 gc time: 63"))
("111100110" ("cpu time: 4117 real time: 4114 gc time: 50" "cpu time: 4083 real time: 4080 gc time: 50" "cpu time: 4120 real time: 4118 gc time: 62" "cpu time: 4074 real time: 4069 gc time: 62" "cpu time: 4077 real time: 4074 gc time: 44" "cpu time: 4377 real time: 4374 gc time: 49" "cpu time: 4367 real time: 4362 gc time: 71" "cpu time: 4077 real time: 4076 gc time: 56"))
("111100111" ("cpu time: 4090 real time: 4088 gc time: 54" "cpu time: 4093 real time: 4093 gc time: 46" "cpu time: 4257 real time: 4256 gc time: 61" "cpu time: 4160 real time: 4157 gc time: 46" "cpu time: 4113 real time: 4110 gc time: 49" "cpu time: 4080 real time: 4080 gc time: 51" "cpu time: 4166 real time: 4167 gc time: 46" "cpu time: 4176 real time: 4174 gc time: 48"))
("111101000" ("cpu time: 3914 real time: 3909 gc time: 50" "cpu time: 3943 real time: 3937 gc time: 44" "cpu time: 3993 real time: 3993 gc time: 51" "cpu time: 3937 real time: 3936 gc time: 53" "cpu time: 3897 real time: 3893 gc time: 47" "cpu time: 3913 real time: 3909 gc time: 44" "cpu time: 3920 real time: 3915 gc time: 46" "cpu time: 3900 real time: 3899 gc time: 40"))
("111101001" ("cpu time: 3967 real time: 3965 gc time: 46" "cpu time: 3957 real time: 3952 gc time: 50" "cpu time: 3997 real time: 3994 gc time: 56" "cpu time: 3977 real time: 3977 gc time: 43" "cpu time: 3960 real time: 3956 gc time: 56" "cpu time: 4033 real time: 4031 gc time: 48" "cpu time: 3930 real time: 3929 gc time: 43" "cpu time: 3917 real time: 3914 gc time: 54"))
("111101010" ("cpu time: 3930 real time: 3929 gc time: 60" "cpu time: 3910 real time: 3907 gc time: 40" "cpu time: 3950 real time: 3948 gc time: 57" "cpu time: 3994 real time: 3990 gc time: 52" "cpu time: 3927 real time: 3924 gc time: 36" "cpu time: 4190 real time: 4187 gc time: 57" "cpu time: 3934 real time: 3933 gc time: 43" "cpu time: 4007 real time: 4005 gc time: 59"))
("111101011" ("cpu time: 3944 real time: 3940 gc time: 40" "cpu time: 3900 real time: 3897 gc time: 47" "cpu time: 3950 real time: 3949 gc time: 40" "cpu time: 3963 real time: 3962 gc time: 44" "cpu time: 4227 real time: 4222 gc time: 65" "cpu time: 3970 real time: 3964 gc time: 43" "cpu time: 3933 real time: 3932 gc time: 56" "cpu time: 3973 real time: 3973 gc time: 46"))
("111101100" ("cpu time: 3947 real time: 3943 gc time: 53" "cpu time: 3930 real time: 3926 gc time: 44" "cpu time: 3930 real time: 3928 gc time: 50" "cpu time: 3913 real time: 3913 gc time: 59" "cpu time: 3990 real time: 3985 gc time: 50" "cpu time: 3920 real time: 3918 gc time: 47" "cpu time: 3983 real time: 3984 gc time: 66" "cpu time: 3917 real time: 3913 gc time: 51"))
("111101101" ("cpu time: 4000 real time: 3996 gc time: 56" "cpu time: 3963 real time: 3962 gc time: 54" "cpu time: 3940 real time: 3935 gc time: 53" "cpu time: 3966 real time: 3964 gc time: 56" "cpu time: 4013 real time: 4009 gc time: 51" "cpu time: 3937 real time: 3934 gc time: 40" "cpu time: 4020 real time: 4017 gc time: 51" "cpu time: 3973 real time: 3967 gc time: 47"))
("111101110" ("cpu time: 3913 real time: 3910 gc time: 48" "cpu time: 3934 real time: 3930 gc time: 53" "cpu time: 3960 real time: 3960 gc time: 63" "cpu time: 3933 real time: 3931 gc time: 50" "cpu time: 3940 real time: 3940 gc time: 47" "cpu time: 3957 real time: 3952 gc time: 47" "cpu time: 3917 real time: 3913 gc time: 40" "cpu time: 3910 real time: 3908 gc time: 62"))
("111101111" ("cpu time: 3983 real time: 3976 gc time: 56" "cpu time: 3974 real time: 3972 gc time: 68" "cpu time: 4010 real time: 4007 gc time: 56" "cpu time: 3944 real time: 3940 gc time: 46" "cpu time: 4337 real time: 4335 gc time: 50" "cpu time: 3917 real time: 3917 gc time: 50" "cpu time: 3973 real time: 3971 gc time: 52" "cpu time: 3890 real time: 3889 gc time: 56"))
("111110000" ("cpu time: 937 real time: 938 gc time: 40" "cpu time: 977 real time: 977 gc time: 40" "cpu time: 947 real time: 942 gc time: 40" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 940 real time: 937 gc time: 40" "cpu time: 944 real time: 941 gc time: 40" "cpu time: 940 real time: 938 gc time: 40" "cpu time: 940 real time: 940 gc time: 43"))
("111110001" ("cpu time: 954 real time: 954 gc time: 47" "cpu time: 947 real time: 947 gc time: 40" "cpu time: 950 real time: 948 gc time: 40" "cpu time: 947 real time: 945 gc time: 36" "cpu time: 943 real time: 946 gc time: 40" "cpu time: 947 real time: 944 gc time: 50" "cpu time: 950 real time: 946 gc time: 40" "cpu time: 937 real time: 937 gc time: 40"))
("111110010" ("cpu time: 943 real time: 942 gc time: 47" "cpu time: 940 real time: 938 gc time: 40" "cpu time: 940 real time: 938 gc time: 43" "cpu time: 940 real time: 939 gc time: 40" "cpu time: 936 real time: 938 gc time: 43" "cpu time: 983 real time: 981 gc time: 40" "cpu time: 936 real time: 935 gc time: 40" "cpu time: 944 real time: 944 gc time: 46"))
("111110011" ("cpu time: 940 real time: 939 gc time: 40" "cpu time: 927 real time: 928 gc time: 36" "cpu time: 927 real time: 927 gc time: 37" "cpu time: 923 real time: 924 gc time: 40" "cpu time: 926 real time: 924 gc time: 40" "cpu time: 927 real time: 924 gc time: 40" "cpu time: 927 real time: 925 gc time: 40" "cpu time: 937 real time: 932 gc time: 40"))
("111110100" ("cpu time: 940 real time: 939 gc time: 43" "cpu time: 933 real time: 934 gc time: 43" "cpu time: 936 real time: 936 gc time: 40" "cpu time: 937 real time: 932 gc time: 44" "cpu time: 940 real time: 939 gc time: 44" "cpu time: 933 real time: 932 gc time: 44" "cpu time: 940 real time: 941 gc time: 54" "cpu time: 933 real time: 933 gc time: 43"))
("111110101" ("cpu time: 937 real time: 936 gc time: 50" "cpu time: 943 real time: 939 gc time: 50" "cpu time: 950 real time: 948 gc time: 44" "cpu time: 930 real time: 927 gc time: 43" "cpu time: 930 real time: 929 gc time: 44" "cpu time: 950 real time: 950 gc time: 44" "cpu time: 934 real time: 932 gc time: 43" "cpu time: 930 real time: 927 gc time: 43"))
("111110110" ("cpu time: 930 real time: 931 gc time: 43" "cpu time: 937 real time: 933 gc time: 44" "cpu time: 930 real time: 932 gc time: 43" "cpu time: 934 real time: 932 gc time: 44" "cpu time: 934 real time: 932 gc time: 44" "cpu time: 930 real time: 931 gc time: 48" "cpu time: 934 real time: 931 gc time: 44" "cpu time: 930 real time: 931 gc time: 43"))
("111110111" ("cpu time: 927 real time: 926 gc time: 50" "cpu time: 920 real time: 917 gc time: 43" "cpu time: 977 real time: 977 gc time: 54" "cpu time: 920 real time: 920 gc time: 44" "cpu time: 923 real time: 921 gc time: 40" "cpu time: 927 real time: 927 gc time: 54" "cpu time: 917 real time: 918 gc time: 40" "cpu time: 920 real time: 919 gc time: 44"))
("111111000" ("cpu time: 810 real time: 811 gc time: 40" "cpu time: 807 real time: 803 gc time: 40" "cpu time: 803 real time: 801 gc time: 40" "cpu time: 804 real time: 806 gc time: 46" "cpu time: 800 real time: 799 gc time: 43" "cpu time: 800 real time: 799 gc time: 40" "cpu time: 810 real time: 810 gc time: 47" "cpu time: 800 real time: 799 gc time: 40"))
("111111001" ("cpu time: 810 real time: 807 gc time: 53" "cpu time: 797 real time: 798 gc time: 36" "cpu time: 800 real time: 798 gc time: 40" "cpu time: 790 real time: 791 gc time: 40" "cpu time: 803 real time: 800 gc time: 40" "cpu time: 807 real time: 805 gc time: 44" "cpu time: 840 real time: 836 gc time: 46" "cpu time: 800 real time: 799 gc time: 40"))
("111111010" ("cpu time: 803 real time: 802 gc time: 47" "cpu time: 840 real time: 839 gc time: 40" "cpu time: 797 real time: 797 gc time: 40" "cpu time: 800 real time: 801 gc time: 43" "cpu time: 793 real time: 796 gc time: 40" "cpu time: 806 real time: 804 gc time: 50" "cpu time: 807 real time: 805 gc time: 40" "cpu time: 797 real time: 796 gc time: 40"))
("111111011" ("cpu time: 780 real time: 776 gc time: 40" "cpu time: 777 real time: 777 gc time: 40" "cpu time: 777 real time: 776 gc time: 37" "cpu time: 777 real time: 778 gc time: 37" "cpu time: 780 real time: 776 gc time: 40" "cpu time: 783 real time: 784 gc time: 46" "cpu time: 780 real time: 777 gc time: 40" "cpu time: 776 real time: 775 gc time: 40"))
("111111100" ("cpu time: 797 real time: 795 gc time: 40" "cpu time: 804 real time: 803 gc time: 49" "cpu time: 796 real time: 793 gc time: 44" "cpu time: 800 real time: 796 gc time: 40" "cpu time: 800 real time: 800 gc time: 43" "cpu time: 793 real time: 794 gc time: 43" "cpu time: 797 real time: 795 gc time: 40" "cpu time: 797 real time: 796 gc time: 40"))
("111111101" ("cpu time: 783 real time: 785 gc time: 43" "cpu time: 794 real time: 791 gc time: 43" "cpu time: 784 real time: 784 gc time: 40" "cpu time: 784 real time: 784 gc time: 40" "cpu time: 797 real time: 797 gc time: 43" "cpu time: 786 real time: 783 gc time: 43" "cpu time: 793 real time: 792 gc time: 43" "cpu time: 783 real time: 784 gc time: 43"))
("111111110" ("cpu time: 793 real time: 794 gc time: 40" "cpu time: 904 real time: 905 gc time: 43" "cpu time: 796 real time: 797 gc time: 43" "cpu time: 793 real time: 794 gc time: 43" "cpu time: 794 real time: 792 gc time: 40" "cpu time: 836 real time: 838 gc time: 40" "cpu time: 797 real time: 793 gc time: 44" "cpu time: 804 real time: 803 gc time: 40"))
("111111111" ("cpu time: 797 real time: 795 gc time: 67" "cpu time: 797 real time: 793 gc time: 60" "cpu time: 793 real time: 791 gc time: 60" "cpu time: 803 real time: 800 gc time: 70" "cpu time: 790 real time: 788 gc time: 60" "cpu time: 790 real time: 790 gc time: 60" "cpu time: 790 real time: 788 gc time: 60" "cpu time: 793 real time: 792 gc time: 60"))
