{"size": 190517, "ext": "rktd", "max_stars_repo_path": "data/transient/tetris-2020-08-25.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/transient/tetris-2020-08-25.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/transient/tetris-2020-08-25.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.6556420233, "max_line_length": 379, "alphanum_fraction": 0.6801597758}
#lang gtp-measure/output/typed-untyped
("000000000" ("cpu time: 823 real time: 824 gc time: 7" "cpu time: 827 real time: 824 gc time: 3" "cpu time: 833 real time: 832 gc time: 0" "cpu time: 823 real time: 822 gc time: 4" "cpu time: 827 real time: 826 gc time: 7" "cpu time: 823 real time: 826 gc time: 3" "cpu time: 854 real time: 850 gc time: 3" "cpu time: 823 real time: 824 gc time: 4"))
("000000001" ("cpu time: 860 real time: 860 gc time: 40" "cpu time: 870 real time: 869 gc time: 50" "cpu time: 863 real time: 863 gc time: 37" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 860 real time: 858 gc time: 40" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 870 real time: 870 gc time: 50" "cpu time: 870 real time: 867 gc time: 43"))
("000000010" ("cpu time: 863 real time: 862 gc time: 37" "cpu time: 863 real time: 860 gc time: 40" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 883 real time: 885 gc time: 48" "cpu time: 863 real time: 863 gc time: 40" "cpu time: 870 real time: 870 gc time: 46" "cpu time: 876 real time: 877 gc time: 40" "cpu time: 860 real time: 860 gc time: 40"))
("000000011" ("cpu time: 867 real time: 867 gc time: 37" "cpu time: 864 real time: 860 gc time: 40" "cpu time: 863 real time: 860 gc time: 40" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 877 real time: 874 gc time: 50" "cpu time: 864 real time: 863 gc time: 37" "cpu time: 860 real time: 862 gc time: 37"))
("000000100" ("cpu time: 863 real time: 864 gc time: 40" "cpu time: 897 real time: 892 gc time: 44" "cpu time: 873 real time: 876 gc time: 50" "cpu time: 864 real time: 863 gc time: 43" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 863 real time: 861 gc time: 44" "cpu time: 867 real time: 863 gc time: 43" "cpu time: 866 real time: 868 gc time: 47"))
("000000101" ("cpu time: 880 real time: 875 gc time: 47" "cpu time: 873 real time: 872 gc time: 50" "cpu time: 867 real time: 863 gc time: 40" "cpu time: 867 real time: 868 gc time: 40" "cpu time: 877 real time: 875 gc time: 40" "cpu time: 867 real time: 864 gc time: 43" "cpu time: 864 real time: 864 gc time: 43" "cpu time: 873 real time: 874 gc time: 43"))
("000000110" ("cpu time: 866 real time: 866 gc time: 40" "cpu time: 873 real time: 870 gc time: 40" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 877 real time: 876 gc time: 50" "cpu time: 863 real time: 864 gc time: 44" "cpu time: 864 real time: 867 gc time: 43" "cpu time: 987 real time: 986 gc time: 46" "cpu time: 873 real time: 875 gc time: 50"))
("000000111" ("cpu time: 867 real time: 866 gc time: 43" "cpu time: 870 real time: 870 gc time: 43" "cpu time: 864 real time: 865 gc time: 43" "cpu time: 864 real time: 861 gc time: 40" "cpu time: 863 real time: 862 gc time: 43" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 870 real time: 869 gc time: 43" "cpu time: 870 real time: 867 gc time: 43"))
("000001000" ("cpu time: 867 real time: 866 gc time: 40" "cpu time: 873 real time: 875 gc time: 50" "cpu time: 877 real time: 874 gc time: 46" "cpu time: 866 real time: 868 gc time: 37" "cpu time: 894 real time: 891 gc time: 40" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 883 real time: 879 gc time: 50" "cpu time: 876 real time: 878 gc time: 40"))
("000001001" ("cpu time: 870 real time: 870 gc time: 37" "cpu time: 880 real time: 878 gc time: 50" "cpu time: 870 real time: 868 gc time: 43" "cpu time: 877 real time: 880 gc time: 40" "cpu time: 867 real time: 867 gc time: 43" "cpu time: 866 real time: 867 gc time: 40" "cpu time: 893 real time: 889 gc time: 40" "cpu time: 876 real time: 877 gc time: 46"))
("000001010" ("cpu time: 886 real time: 887 gc time: 40" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 876 real time: 877 gc time: 47" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 873 real time: 874 gc time: 37" "cpu time: 877 real time: 875 gc time: 47" "cpu time: 873 real time: 873 gc time: 40"))
("000001011" ("cpu time: 880 real time: 879 gc time: 40" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 880 real time: 881 gc time: 40" "cpu time: 887 real time: 885 gc time: 47" "cpu time: 867 real time: 869 gc time: 43" "cpu time: 873 real time: 870 gc time: 43" "cpu time: 873 real time: 873 gc time: 40"))
("000001100" ("cpu time: 877 real time: 878 gc time: 43" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 873 real time: 873 gc time: 43" "cpu time: 883 real time: 881 gc time: 40" "cpu time: 883 real time: 883 gc time: 43" "cpu time: 880 real time: 881 gc time: 46" "cpu time: 883 real time: 880 gc time: 43" "cpu time: 884 real time: 883 gc time: 43"))
("000001101" ("cpu time: 884 real time: 882 gc time: 40" "cpu time: 880 real time: 877 gc time: 43" "cpu time: 876 real time: 875 gc time: 44" "cpu time: 880 real time: 877 gc time: 44" "cpu time: 877 real time: 874 gc time: 43" "cpu time: 877 real time: 877 gc time: 40" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 880 real time: 879 gc time: 44"))
("000001110" ("cpu time: 883 real time: 884 gc time: 50" "cpu time: 874 real time: 875 gc time: 40" "cpu time: 890 real time: 887 gc time: 50" "cpu time: 876 real time: 876 gc time: 40" "cpu time: 884 real time: 883 gc time: 47" "cpu time: 873 real time: 875 gc time: 43" "cpu time: 1004 real time: 1001 gc time: 40" "cpu time: 873 real time: 874 gc time: 40"))
("000001111" ("cpu time: 876 real time: 877 gc time: 44" "cpu time: 880 real time: 878 gc time: 36" "cpu time: 883 real time: 882 gc time: 40" "cpu time: 880 real time: 880 gc time: 44" "cpu time: 877 real time: 879 gc time: 43" "cpu time: 884 real time: 881 gc time: 43" "cpu time: 900 real time: 899 gc time: 40" "cpu time: 877 real time: 876 gc time: 44"))
("000010000" ("cpu time: 880 real time: 878 gc time: 57" "cpu time: 883 real time: 881 gc time: 60" "cpu time: 884 real time: 882 gc time: 63" "cpu time: 887 real time: 886 gc time: 61" "cpu time: 880 real time: 879 gc time: 57" "cpu time: 893 real time: 893 gc time: 69" "cpu time: 883 real time: 882 gc time: 59" "cpu time: 884 real time: 882 gc time: 57"))
("000010001" ("cpu time: 864 real time: 863 gc time: 40" "cpu time: 886 real time: 885 gc time: 40" "cpu time: 866 real time: 867 gc time: 40" "cpu time: 863 real time: 865 gc time: 40" "cpu time: 903 real time: 898 gc time: 46" "cpu time: 870 real time: 870 gc time: 47" "cpu time: 867 real time: 864 gc time: 40" "cpu time: 870 real time: 869 gc time: 40"))
("000010010" ("cpu time: 867 real time: 863 gc time: 40" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 866 real time: 865 gc time: 40" "cpu time: 870 real time: 865 gc time: 43" "cpu time: 864 real time: 861 gc time: 40" "cpu time: 880 real time: 881 gc time: 36" "cpu time: 864 real time: 865 gc time: 40" "cpu time: 864 real time: 864 gc time: 40"))
("000010011" ("cpu time: 867 real time: 865 gc time: 36" "cpu time: 867 real time: 864 gc time: 40" "cpu time: 864 real time: 862 gc time: 36" "cpu time: 863 real time: 865 gc time: 40" "cpu time: 863 real time: 864 gc time: 43" "cpu time: 864 real time: 865 gc time: 36" "cpu time: 867 real time: 868 gc time: 40" "cpu time: 867 real time: 864 gc time: 40"))
("000010100" ("cpu time: 864 real time: 863 gc time: 44" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 880 real time: 879 gc time: 47" "cpu time: 866 real time: 865 gc time: 43" "cpu time: 867 real time: 866 gc time: 44" "cpu time: 880 real time: 881 gc time: 40" "cpu time: 864 real time: 866 gc time: 37"))
("000010101" ("cpu time: 863 real time: 865 gc time: 43" "cpu time: 890 real time: 890 gc time: 50" "cpu time: 867 real time: 865 gc time: 43" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 870 real time: 867 gc time: 43" "cpu time: 877 real time: 875 gc time: 44" "cpu time: 873 real time: 872 gc time: 43"))
("000010110" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 870 real time: 871 gc time: 50" "cpu time: 870 real time: 871 gc time: 50" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 887 real time: 887 gc time: 44" "cpu time: 883 real time: 884 gc time: 40" "cpu time: 863 real time: 863 gc time: 40" "cpu time: 864 real time: 861 gc time: 40"))
("000010111" ("cpu time: 873 real time: 870 gc time: 43" "cpu time: 866 real time: 867 gc time: 40" "cpu time: 867 real time: 867 gc time: 43" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 870 real time: 867 gc time: 40" "cpu time: 867 real time: 869 gc time: 40" "cpu time: 876 real time: 872 gc time: 43" "cpu time: 940 real time: 941 gc time: 44"))
("000011000" ("cpu time: 884 real time: 881 gc time: 41" "cpu time: 886 real time: 881 gc time: 50" "cpu time: 883 real time: 883 gc time: 47" "cpu time: 870 real time: 872 gc time: 37" "cpu time: 867 real time: 868 gc time: 37" "cpu time: 866 real time: 869 gc time: 37" "cpu time: 873 real time: 875 gc time: 40" "cpu time: 873 real time: 870 gc time: 43"))
("000011001" ("cpu time: 877 real time: 873 gc time: 40" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 876 real time: 875 gc time: 40" "cpu time: 877 real time: 875 gc time: 36" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 874 real time: 871 gc time: 43" "cpu time: 890 real time: 885 gc time: 47" "cpu time: 877 real time: 876 gc time: 37"))
("000011010" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 883 real time: 881 gc time: 40" "cpu time: 877 real time: 877 gc time: 43" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 877 real time: 875 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 873 real time: 873 gc time: 40"))
("000011011" ("cpu time: 870 real time: 872 gc time: 40" "cpu time: 870 real time: 871 gc time: 44" "cpu time: 883 real time: 881 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 890 real time: 889 gc time: 40" "cpu time: 874 real time: 872 gc time: 40" "cpu time: 873 real time: 874 gc time: 40"))
("000011100" ("cpu time: 870 real time: 871 gc time: 43" "cpu time: 1027 real time: 1024 gc time: 43" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 874 real time: 873 gc time: 43" "cpu time: 870 real time: 868 gc time: 44" "cpu time: 890 real time: 886 gc time: 50" "cpu time: 877 real time: 876 gc time: 43" "cpu time: 870 real time: 870 gc time: 44"))
("000011101" ("cpu time: 883 real time: 883 gc time: 43" "cpu time: 876 real time: 874 gc time: 44" "cpu time: 873 real time: 874 gc time: 43" "cpu time: 884 real time: 885 gc time: 44" "cpu time: 887 real time: 884 gc time: 40" "cpu time: 903 real time: 902 gc time: 43" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 874 real time: 874 gc time: 40"))
("000011110" ("cpu time: 883 real time: 880 gc time: 40" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 877 real time: 875 gc time: 43" "cpu time: 876 real time: 875 gc time: 43" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 883 real time: 879 gc time: 50" "cpu time: 884 real time: 882 gc time: 40" "cpu time: 886 real time: 885 gc time: 40"))
("000011111" ("cpu time: 876 real time: 877 gc time: 40" "cpu time: 883 real time: 881 gc time: 40" "cpu time: 880 real time: 880 gc time: 44" "cpu time: 877 real time: 879 gc time: 43" "cpu time: 884 real time: 883 gc time: 47" "cpu time: 890 real time: 889 gc time: 54" "cpu time: 874 real time: 874 gc time: 43" "cpu time: 890 real time: 887 gc time: 40"))
("000100000" ("cpu time: 880 real time: 878 gc time: 61" "cpu time: 887 real time: 885 gc time: 61" "cpu time: 890 real time: 887 gc time: 56" "cpu time: 884 real time: 883 gc time: 60" "cpu time: 880 real time: 877 gc time: 56" "cpu time: 880 real time: 881 gc time: 60" "cpu time: 887 real time: 883 gc time: 57" "cpu time: 887 real time: 886 gc time: 60"))
("000100001" ("cpu time: 873 real time: 872 gc time: 40" "cpu time: 863 real time: 864 gc time: 43" "cpu time: 864 real time: 860 gc time: 44" "cpu time: 866 real time: 868 gc time: 47" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 867 real time: 863 gc time: 40" "cpu time: 864 real time: 860 gc time: 37"))
("000100010" ("cpu time: 877 real time: 876 gc time: 40" "cpu time: 873 real time: 871 gc time: 50" "cpu time: 863 real time: 861 gc time: 40" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 863 real time: 864 gc time: 37" "cpu time: 870 real time: 869 gc time: 50" "cpu time: 860 real time: 862 gc time: 40" "cpu time: 863 real time: 861 gc time: 43"))
("000100011" ("cpu time: 864 real time: 864 gc time: 37" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 863 real time: 865 gc time: 40" "cpu time: 864 real time: 861 gc time: 37" "cpu time: 864 real time: 861 gc time: 40" "cpu time: 863 real time: 863 gc time: 37" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 870 real time: 869 gc time: 40"))
("000100100" ("cpu time: 867 real time: 865 gc time: 40" "cpu time: 863 real time: 863 gc time: 40" "cpu time: 860 real time: 862 gc time: 44" "cpu time: 873 real time: 872 gc time: 50" "cpu time: 863 real time: 863 gc time: 43" "cpu time: 867 real time: 867 gc time: 44" "cpu time: 877 real time: 880 gc time: 40" "cpu time: 863 real time: 865 gc time: 43"))
("000100101" ("cpu time: 870 real time: 866 gc time: 40" "cpu time: 870 real time: 868 gc time: 40" "cpu time: 873 real time: 871 gc time: 50" "cpu time: 870 real time: 868 gc time: 44" "cpu time: 893 real time: 892 gc time: 50" "cpu time: 867 real time: 866 gc time: 43" "cpu time: 874 real time: 870 gc time: 40" "cpu time: 863 real time: 864 gc time: 43"))
("000100110" ("cpu time: 866 real time: 866 gc time: 40" "cpu time: 867 real time: 864 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 873 real time: 873 gc time: 50" "cpu time: 863 real time: 863 gc time: 43" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 870 real time: 867 gc time: 43" "cpu time: 863 real time: 866 gc time: 44"))
("000100111" ("cpu time: 870 real time: 868 gc time: 40" "cpu time: 877 real time: 877 gc time: 50" "cpu time: 867 real time: 869 gc time: 40" "cpu time: 877 real time: 874 gc time: 50" "cpu time: 883 real time: 882 gc time: 50" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 890 real time: 892 gc time: 50" "cpu time: 870 real time: 868 gc time: 43"))
("000101000" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 886 real time: 886 gc time: 44" "cpu time: 874 real time: 876 gc time: 43" "cpu time: 874 real time: 869 gc time: 40" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 870 real time: 869 gc time: 36"))
("000101001" ("cpu time: 877 real time: 873 gc time: 40" "cpu time: 870 real time: 870 gc time: 37" "cpu time: 877 real time: 877 gc time: 47" "cpu time: 867 real time: 870 gc time: 40" "cpu time: 890 real time: 889 gc time: 47" "cpu time: 877 real time: 875 gc time: 44" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 874 real time: 872 gc time: 40"))
("000101010" ("cpu time: 894 real time: 893 gc time: 40" "cpu time: 870 real time: 867 gc time: 37" "cpu time: 896 real time: 895 gc time: 47" "cpu time: 877 real time: 876 gc time: 43" "cpu time: 876 real time: 876 gc time: 46" "cpu time: 867 real time: 868 gc time: 37" "cpu time: 867 real time: 865 gc time: 40" "cpu time: 867 real time: 867 gc time: 40"))
("000101011" ("cpu time: 873 real time: 870 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 873 real time: 870 gc time: 40" "cpu time: 866 real time: 869 gc time: 40" "cpu time: 884 real time: 884 gc time: 40" "cpu time: 874 real time: 872 gc time: 40" "cpu time: 870 real time: 871 gc time: 43" "cpu time: 867 real time: 868 gc time: 40"))
("000101100" ("cpu time: 876 real time: 876 gc time: 40" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 877 real time: 875 gc time: 40" "cpu time: 883 real time: 883 gc time: 50" "cpu time: 877 real time: 877 gc time: 40" "cpu time: 877 real time: 875 gc time: 43" "cpu time: 873 real time: 874 gc time: 37" "cpu time: 890 real time: 890 gc time: 43"))
("000101101" ("cpu time: 877 real time: 876 gc time: 37" "cpu time: 884 real time: 884 gc time: 50" "cpu time: 890 real time: 889 gc time: 40" "cpu time: 880 real time: 876 gc time: 40" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 883 real time: 882 gc time: 43" "cpu time: 877 real time: 877 gc time: 40" "cpu time: 884 real time: 885 gc time: 40"))
("000101110" ("cpu time: 877 real time: 874 gc time: 40" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 880 real time: 877 gc time: 40" "cpu time: 876 real time: 876 gc time: 43" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 877 real time: 876 gc time: 43" "cpu time: 886 real time: 882 gc time: 43" "cpu time: 880 real time: 879 gc time: 40"))
("000101111" ("cpu time: 884 real time: 887 gc time: 47" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 883 real time: 882 gc time: 50" "cpu time: 890 real time: 885 gc time: 40" "cpu time: 886 real time: 887 gc time: 40" "cpu time: 880 real time: 879 gc time: 43" "cpu time: 877 real time: 875 gc time: 43" "cpu time: 880 real time: 881 gc time: 44"))
("000110000" ("cpu time: 883 real time: 884 gc time: 57" "cpu time: 884 real time: 881 gc time: 60" "cpu time: 880 real time: 879 gc time: 56" "cpu time: 877 real time: 878 gc time: 57" "cpu time: 880 real time: 879 gc time: 57" "cpu time: 880 real time: 880 gc time: 57" "cpu time: 897 real time: 897 gc time: 74" "cpu time: 886 real time: 886 gc time: 66"))
("000110001" ("cpu time: 870 real time: 871 gc time: 46" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 867 real time: 865 gc time: 36" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 860 real time: 859 gc time: 37" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 870 real time: 868 gc time: 40"))
("000110010" ("cpu time: 860 real time: 862 gc time: 37" "cpu time: 864 real time: 861 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 863 real time: 865 gc time: 37" "cpu time: 866 real time: 862 gc time: 40" "cpu time: 870 real time: 871 gc time: 46" "cpu time: 863 real time: 862 gc time: 36" "cpu time: 873 real time: 873 gc time: 37"))
("000110011" ("cpu time: 874 real time: 873 gc time: 46" "cpu time: 887 real time: 884 gc time: 46" "cpu time: 873 real time: 871 gc time: 47" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 860 real time: 862 gc time: 40" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 884 real time: 882 gc time: 40" "cpu time: 880 real time: 881 gc time: 44"))
("000110100" ("cpu time: 860 real time: 861 gc time: 40" "cpu time: 866 real time: 863 gc time: 43" "cpu time: 866 real time: 866 gc time: 40" "cpu time: 863 real time: 863 gc time: 43" "cpu time: 867 real time: 865 gc time: 43" "cpu time: 887 real time: 885 gc time: 47" "cpu time: 863 real time: 861 gc time: 43" "cpu time: 860 real time: 861 gc time: 40"))
("000110101" ("cpu time: 877 real time: 873 gc time: 40" "cpu time: 863 real time: 863 gc time: 43" "cpu time: 870 real time: 870 gc time: 36" "cpu time: 870 real time: 866 gc time: 43" "cpu time: 870 real time: 867 gc time: 40" "cpu time: 866 real time: 865 gc time: 40" "cpu time: 870 real time: 867 gc time: 40" "cpu time: 870 real time: 869 gc time: 40"))
("000110110" ("cpu time: 870 real time: 873 gc time: 50" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 860 real time: 861 gc time: 43" "cpu time: 864 real time: 861 gc time: 37" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 863 real time: 866 gc time: 44" "cpu time: 863 real time: 867 gc time: 43" "cpu time: 867 real time: 864 gc time: 40"))
("000110111" ("cpu time: 870 real time: 869 gc time: 43" "cpu time: 870 real time: 868 gc time: 44" "cpu time: 894 real time: 893 gc time: 46" "cpu time: 890 real time: 890 gc time: 43" "cpu time: 883 real time: 883 gc time: 43" "cpu time: 870 real time: 867 gc time: 43" "cpu time: 880 real time: 878 gc time: 43" "cpu time: 870 real time: 870 gc time: 40"))
("000111000" ("cpu time: 880 real time: 879 gc time: 50" "cpu time: 880 real time: 882 gc time: 37" "cpu time: 870 real time: 872 gc time: 37" "cpu time: 887 real time: 882 gc time: 40" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 870 real time: 869 gc time: 37" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 880 real time: 880 gc time: 37"))
("000111001" ("cpu time: 873 real time: 873 gc time: 40" "cpu time: 870 real time: 868 gc time: 40" "cpu time: 870 real time: 872 gc time: 40" "cpu time: 877 real time: 874 gc time: 37" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 883 real time: 879 gc time: 43" "cpu time: 870 real time: 870 gc time: 40"))
("000111010" ("cpu time: 873 real time: 871 gc time: 43" "cpu time: 870 real time: 872 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 876 real time: 872 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 874 real time: 872 gc time: 40" "cpu time: 870 real time: 870 gc time: 37"))
("000111011" ("cpu time: 883 real time: 880 gc time: 40" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 873 real time: 876 gc time: 40" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 880 real time: 877 gc time: 40" "cpu time: 877 real time: 872 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 873 real time: 873 gc time: 37"))
("000111100" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 877 real time: 874 gc time: 40" "cpu time: 893 real time: 893 gc time: 40" "cpu time: 873 real time: 872 gc time: 43" "cpu time: 877 real time: 872 gc time: 47" "cpu time: 877 real time: 877 gc time: 40"))
("000111101" ("cpu time: 874 real time: 872 gc time: 43" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 877 real time: 873 gc time: 40" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 890 real time: 888 gc time: 40" "cpu time: 874 real time: 875 gc time: 37" "cpu time: 877 real time: 873 gc time: 43" "cpu time: 870 real time: 872 gc time: 44"))
("000111110" ("cpu time: 880 real time: 876 gc time: 43" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 877 real time: 875 gc time: 40" "cpu time: 877 real time: 874 gc time: 44" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 887 real time: 883 gc time: 40" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 883 real time: 883 gc time: 40"))
("000111111" ("cpu time: 883 real time: 883 gc time: 44" "cpu time: 880 real time: 878 gc time: 43" "cpu time: 887 real time: 886 gc time: 46" "cpu time: 874 real time: 875 gc time: 40" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 880 real time: 878 gc time: 47" "cpu time: 877 real time: 878 gc time: 44" "cpu time: 877 real time: 875 gc time: 43"))
("001000000" ("cpu time: 3903 real time: 3902 gc time: 40" "cpu time: 3940 real time: 3940 gc time: 40" "cpu time: 3904 real time: 3905 gc time: 40" "cpu time: 3906 real time: 3904 gc time: 40" "cpu time: 3993 real time: 3992 gc time: 40" "cpu time: 3887 real time: 3888 gc time: 40" "cpu time: 3894 real time: 3894 gc time: 36" "cpu time: 3897 real time: 3898 gc time: 40"))
("001000001" ("cpu time: 4054 real time: 4052 gc time: 36" "cpu time: 3996 real time: 3996 gc time: 47" "cpu time: 3993 real time: 3994 gc time: 40" "cpu time: 4003 real time: 4005 gc time: 37" "cpu time: 4000 real time: 4000 gc time: 40" "cpu time: 3996 real time: 3996 gc time: 40" "cpu time: 4017 real time: 4015 gc time: 37" "cpu time: 3994 real time: 3993 gc time: 36"))
("001000010" ("cpu time: 4020 real time: 4019 gc time: 36" "cpu time: 4024 real time: 4021 gc time: 40" "cpu time: 4030 real time: 4026 gc time: 40" "cpu time: 3973 real time: 3974 gc time: 40" "cpu time: 7100 real time: 7101 gc time: 37" "cpu time: 4017 real time: 4017 gc time: 40" "cpu time: 3977 real time: 3975 gc time: 40" "cpu time: 4027 real time: 4026 gc time: 40"))
("001000011" ("cpu time: 4024 real time: 4018 gc time: 44" "cpu time: 4017 real time: 4016 gc time: 36" "cpu time: 4013 real time: 4014 gc time: 40" "cpu time: 4037 real time: 4034 gc time: 40" "cpu time: 4014 real time: 4011 gc time: 40" "cpu time: 4020 real time: 4019 gc time: 46" "cpu time: 4030 real time: 4031 gc time: 40" "cpu time: 4920 real time: 4920 gc time: 37"))
("001000100" ("cpu time: 4060 real time: 4060 gc time: 40" "cpu time: 4043 real time: 4043 gc time: 44" "cpu time: 4053 real time: 4051 gc time: 46" "cpu time: 4046 real time: 4046 gc time: 43" "cpu time: 4043 real time: 4043 gc time: 40" "cpu time: 4037 real time: 4038 gc time: 40" "cpu time: 4050 real time: 4048 gc time: 40" "cpu time: 4044 real time: 4042 gc time: 40"))
("001000101" ("cpu time: 3927 real time: 3927 gc time: 40" "cpu time: 4203 real time: 4203 gc time: 40" "cpu time: 3967 real time: 3967 gc time: 43" "cpu time: 3930 real time: 3930 gc time: 40" "cpu time: 3936 real time: 3941 gc time: 43" "cpu time: 4467 real time: 4467 gc time: 40" "cpu time: 3930 real time: 3927 gc time: 40" "cpu time: 3974 real time: 3971 gc time: 40"))
("001000110" ("cpu time: 4037 real time: 4035 gc time: 40" "cpu time: 4036 real time: 4034 gc time: 40" "cpu time: 4050 real time: 4049 gc time: 40" "cpu time: 4033 real time: 4033 gc time: 40" "cpu time: 4040 real time: 4040 gc time: 40" "cpu time: 4036 real time: 4033 gc time: 43" "cpu time: 4037 real time: 4037 gc time: 40" "cpu time: 4040 real time: 4038 gc time: 48"))
("001000111" ("cpu time: 4073 real time: 4073 gc time: 40" "cpu time: 4104 real time: 4102 gc time: 40" "cpu time: 3964 real time: 3963 gc time: 40" "cpu time: 4013 real time: 4010 gc time: 40" "cpu time: 4000 real time: 4000 gc time: 40" "cpu time: 3943 real time: 3943 gc time: 40" "cpu time: 4014 real time: 4011 gc time: 40" "cpu time: 4046 real time: 4049 gc time: 40"))
("001001000" ("cpu time: 3930 real time: 3928 gc time: 37" "cpu time: 3923 real time: 3923 gc time: 37" "cpu time: 3910 real time: 3912 gc time: 40" "cpu time: 3896 real time: 3893 gc time: 37" "cpu time: 3997 real time: 3995 gc time: 40" "cpu time: 3917 real time: 3915 gc time: 40" "cpu time: 3920 real time: 3919 gc time: 40" "cpu time: 3990 real time: 3991 gc time: 37"))
("001001001" ("cpu time: 4004 real time: 4002 gc time: 36" "cpu time: 4010 real time: 4011 gc time: 40" "cpu time: 4010 real time: 4007 gc time: 40" "cpu time: 4060 real time: 4060 gc time: 40" "cpu time: 4010 real time: 4011 gc time: 47" "cpu time: 4004 real time: 4001 gc time: 40" "cpu time: 3996 real time: 3994 gc time: 40" "cpu time: 4010 real time: 4008 gc time: 40"))
("001001010" ("cpu time: 4023 real time: 4023 gc time: 40" "cpu time: 4020 real time: 4022 gc time: 40" "cpu time: 4036 real time: 4031 gc time: 40" "cpu time: 4027 real time: 4027 gc time: 40" "cpu time: 4020 real time: 4019 gc time: 37" "cpu time: 4117 real time: 4112 gc time: 40" "cpu time: 4037 real time: 4036 gc time: 36" "cpu time: 4033 real time: 4033 gc time: 40"))
("001001011" ("cpu time: 4020 real time: 4018 gc time: 44" "cpu time: 4033 real time: 4031 gc time: 40" "cpu time: 4020 real time: 4018 gc time: 37" "cpu time: 4013 real time: 4016 gc time: 40" "cpu time: 4034 real time: 4035 gc time: 44" "cpu time: 4020 real time: 4020 gc time: 40" "cpu time: 4020 real time: 4018 gc time: 37" "cpu time: 4020 real time: 4020 gc time: 36"))
("001001100" ("cpu time: 4047 real time: 4047 gc time: 40" "cpu time: 4056 real time: 4051 gc time: 44" "cpu time: 4040 real time: 4040 gc time: 40" "cpu time: 4060 real time: 4060 gc time: 40" "cpu time: 4054 real time: 4051 gc time: 43" "cpu time: 4050 real time: 4047 gc time: 40" "cpu time: 4057 real time: 4055 gc time: 40" "cpu time: 4053 real time: 4051 gc time: 43"))
("001001101" ("cpu time: 3936 real time: 3935 gc time: 40" "cpu time: 3984 real time: 3980 gc time: 44" "cpu time: 4014 real time: 4013 gc time: 40" "cpu time: 4460 real time: 4458 gc time: 48" "cpu time: 3986 real time: 3985 gc time: 40" "cpu time: 3940 real time: 3942 gc time: 40" "cpu time: 3950 real time: 3947 gc time: 40" "cpu time: 3933 real time: 3935 gc time: 43"))
("001001110" ("cpu time: 4043 real time: 4041 gc time: 40" "cpu time: 4047 real time: 4045 gc time: 40" "cpu time: 4083 real time: 4081 gc time: 43" "cpu time: 4057 real time: 4055 gc time: 37" "cpu time: 4047 real time: 4047 gc time: 43" "cpu time: 4040 real time: 4038 gc time: 43" "cpu time: 4043 real time: 4042 gc time: 44" "cpu time: 4043 real time: 4042 gc time: 44"))
("001001111" ("cpu time: 3984 real time: 3983 gc time: 40" "cpu time: 4010 real time: 4008 gc time: 40" "cpu time: 4076 real time: 4073 gc time: 44" "cpu time: 4027 real time: 4024 gc time: 43" "cpu time: 3970 real time: 3969 gc time: 40" "cpu time: 4010 real time: 4008 gc time: 40" "cpu time: 3974 real time: 3975 gc time: 40" "cpu time: 3984 real time: 3982 gc time: 47"))
("001010000" ("cpu time: 3883 real time: 3884 gc time: 37" "cpu time: 3864 real time: 3863 gc time: 40" "cpu time: 3880 real time: 3881 gc time: 37" "cpu time: 3876 real time: 3879 gc time: 40" "cpu time: 3863 real time: 3863 gc time: 40" "cpu time: 3856 real time: 3857 gc time: 40" "cpu time: 3857 real time: 3857 gc time: 40" "cpu time: 3857 real time: 3855 gc time: 40"))
("001010001" ("cpu time: 3894 real time: 3893 gc time: 43" "cpu time: 3880 real time: 3880 gc time: 40" "cpu time: 3887 real time: 3885 gc time: 40" "cpu time: 3927 real time: 3922 gc time: 40" "cpu time: 3886 real time: 3885 gc time: 40" "cpu time: 3884 real time: 3885 gc time: 40" "cpu time: 3880 real time: 3880 gc time: 40" "cpu time: 3917 real time: 3912 gc time: 40"))
("001010010" ("cpu time: 3857 real time: 3856 gc time: 36" "cpu time: 3834 real time: 3828 gc time: 36" "cpu time: 3844 real time: 3842 gc time: 40" "cpu time: 3850 real time: 3851 gc time: 40" "cpu time: 3847 real time: 3848 gc time: 40" "cpu time: 3826 real time: 3826 gc time: 39" "cpu time: 3827 real time: 3827 gc time: 40" "cpu time: 4574 real time: 4573 gc time: 37"))
("001010011" ("cpu time: 3893 real time: 3894 gc time: 40" "cpu time: 3924 real time: 3920 gc time: 40" "cpu time: 3900 real time: 3897 gc time: 40" "cpu time: 3910 real time: 3907 gc time: 40" "cpu time: 3900 real time: 3899 gc time: 40" "cpu time: 3897 real time: 3896 gc time: 40" "cpu time: 3890 real time: 3895 gc time: 37" "cpu time: 3910 real time: 3909 gc time: 40"))
("001010100" ("cpu time: 3880 real time: 3879 gc time: 43" "cpu time: 3880 real time: 3882 gc time: 43" "cpu time: 3890 real time: 3888 gc time: 40" "cpu time: 3890 real time: 3888 gc time: 40" "cpu time: 3877 real time: 3877 gc time: 40" "cpu time: 3883 real time: 3880 gc time: 43" "cpu time: 3883 real time: 3884 gc time: 40" "cpu time: 3883 real time: 3882 gc time: 43"))
("001010101" ("cpu time: 3883 real time: 3880 gc time: 40" "cpu time: 3886 real time: 3884 gc time: 40" "cpu time: 3883 real time: 3885 gc time: 43" "cpu time: 3887 real time: 3884 gc time: 40" "cpu time: 3880 real time: 3879 gc time: 44" "cpu time: 3883 real time: 3881 gc time: 40" "cpu time: 3890 real time: 3890 gc time: 43" "cpu time: 3890 real time: 3889 gc time: 44"))
("001010110" ("cpu time: 3790 real time: 3790 gc time: 44" "cpu time: 3807 real time: 3808 gc time: 43" "cpu time: 3807 real time: 3806 gc time: 40" "cpu time: 3784 real time: 3783 gc time: 40" "cpu time: 3793 real time: 3791 gc time: 40" "cpu time: 3783 real time: 3782 gc time: 40" "cpu time: 3774 real time: 3772 gc time: 43" "cpu time: 3770 real time: 3769 gc time: 40"))
("001010111" ("cpu time: 3877 real time: 3876 gc time: 40" "cpu time: 3850 real time: 3848 gc time: 40" "cpu time: 3847 real time: 3848 gc time: 40" "cpu time: 3846 real time: 3843 gc time: 43" "cpu time: 3836 real time: 3837 gc time: 40" "cpu time: 3864 real time: 3859 gc time: 44" "cpu time: 3880 real time: 3880 gc time: 47" "cpu time: 3846 real time: 3844 gc time: 40"))
("001011000" ("cpu time: 3874 real time: 3874 gc time: 36" "cpu time: 3870 real time: 3870 gc time: 43" "cpu time: 3870 real time: 3870 gc time: 36" "cpu time: 3867 real time: 3866 gc time: 40" "cpu time: 3890 real time: 3891 gc time: 43" "cpu time: 3873 real time: 3872 gc time: 40" "cpu time: 3874 real time: 3872 gc time: 37" "cpu time: 3873 real time: 3871 gc time: 40"))
("001011001" ("cpu time: 3900 real time: 3901 gc time: 43" "cpu time: 3887 real time: 3886 gc time: 37" "cpu time: 3890 real time: 3892 gc time: 40" "cpu time: 3893 real time: 3893 gc time: 37" "cpu time: 3896 real time: 3894 gc time: 37" "cpu time: 3910 real time: 3909 gc time: 40" "cpu time: 3896 real time: 3893 gc time: 37" "cpu time: 3887 real time: 3887 gc time: 40"))
("001011010" ("cpu time: 3826 real time: 3826 gc time: 40" "cpu time: 3850 real time: 3850 gc time: 40" "cpu time: 3850 real time: 3849 gc time: 40" "cpu time: 3960 real time: 3957 gc time: 40" "cpu time: 3960 real time: 3959 gc time: 40" "cpu time: 3854 real time: 3852 gc time: 40" "cpu time: 3850 real time: 3844 gc time: 40" "cpu time: 3870 real time: 3871 gc time: 37"))
("001011011" ("cpu time: 3903 real time: 3904 gc time: 40" "cpu time: 3904 real time: 3902 gc time: 37" "cpu time: 4010 real time: 4007 gc time: 40" "cpu time: 3900 real time: 3902 gc time: 40" "cpu time: 3903 real time: 3901 gc time: 40" "cpu time: 3900 real time: 3899 gc time: 44" "cpu time: 3917 real time: 3916 gc time: 37" "cpu time: 3903 real time: 3900 gc time: 40"))
("001011100" ("cpu time: 3893 real time: 3892 gc time: 43" "cpu time: 3887 real time: 3884 gc time: 43" "cpu time: 3894 real time: 3892 gc time: 40" "cpu time: 4787 real time: 4789 gc time: 43" "cpu time: 3890 real time: 3887 gc time: 43" "cpu time: 3880 real time: 3880 gc time: 40" "cpu time: 3883 real time: 3882 gc time: 43" "cpu time: 3883 real time: 3888 gc time: 36"))
("001011101" ("cpu time: 3893 real time: 3891 gc time: 44" "cpu time: 3893 real time: 3896 gc time: 44" "cpu time: 3913 real time: 3912 gc time: 40" "cpu time: 3880 real time: 3882 gc time: 40" "cpu time: 3893 real time: 3892 gc time: 40" "cpu time: 3920 real time: 3920 gc time: 43" "cpu time: 3890 real time: 3891 gc time: 43" "cpu time: 3893 real time: 3892 gc time: 40"))
("001011110" ("cpu time: 3787 real time: 3785 gc time: 50" "cpu time: 3784 real time: 3784 gc time: 44" "cpu time: 3797 real time: 3795 gc time: 50" "cpu time: 3820 real time: 3819 gc time: 40" "cpu time: 3804 real time: 3799 gc time: 43" "cpu time: 3790 real time: 3789 gc time: 40" "cpu time: 3797 real time: 3795 gc time: 44" "cpu time: 3806 real time: 3806 gc time: 40"))
("001011111" ("cpu time: 3844 real time: 3842 gc time: 43" "cpu time: 3850 real time: 3847 gc time: 40" "cpu time: 3850 real time: 3849 gc time: 40" "cpu time: 3843 real time: 3842 gc time: 43" "cpu time: 3853 real time: 3853 gc time: 40" "cpu time: 3844 real time: 3840 gc time: 40" "cpu time: 3850 real time: 3850 gc time: 44" "cpu time: 3847 real time: 3847 gc time: 40"))
("001100000" ("cpu time: 3890 real time: 3887 gc time: 37" "cpu time: 3907 real time: 3905 gc time: 36" "cpu time: 3914 real time: 3912 gc time: 40" "cpu time: 3893 real time: 3895 gc time: 40" "cpu time: 3907 real time: 3902 gc time: 40" "cpu time: 3894 real time: 3893 gc time: 47" "cpu time: 3896 real time: 3896 gc time: 36" "cpu time: 3923 real time: 3922 gc time: 44"))
("001100001" ("cpu time: 4000 real time: 4000 gc time: 44" "cpu time: 4000 real time: 3998 gc time: 40" "cpu time: 4000 real time: 4000 gc time: 37" "cpu time: 3986 real time: 3986 gc time: 36" "cpu time: 4030 real time: 4027 gc time: 43" "cpu time: 4007 real time: 4006 gc time: 40" "cpu time: 3990 real time: 3993 gc time: 43" "cpu time: 4007 real time: 4006 gc time: 40"))
("001100010" ("cpu time: 4030 real time: 4028 gc time: 43" "cpu time: 4030 real time: 4027 gc time: 47" "cpu time: 3977 real time: 3978 gc time: 40" "cpu time: 4020 real time: 4018 gc time: 40" "cpu time: 4027 real time: 4026 gc time: 36" "cpu time: 3973 real time: 3972 gc time: 40" "cpu time: 4013 real time: 4015 gc time: 40" "cpu time: 4030 real time: 4030 gc time: 40"))
("001100011" ("cpu time: 4024 real time: 4020 gc time: 40" "cpu time: 4040 real time: 4040 gc time: 47" "cpu time: 4013 real time: 4011 gc time: 40" "cpu time: 4033 real time: 4036 gc time: 46" "cpu time: 4020 real time: 4018 gc time: 40" "cpu time: 4017 real time: 4016 gc time: 36" "cpu time: 4020 real time: 4018 gc time: 40" "cpu time: 4014 real time: 4014 gc time: 40"))
("001100100" ("cpu time: 4037 real time: 4034 gc time: 44" "cpu time: 4050 real time: 4052 gc time: 40" "cpu time: 4050 real time: 4050 gc time: 44" "cpu time: 4044 real time: 4042 gc time: 43" "cpu time: 4047 real time: 4048 gc time: 43" "cpu time: 4037 real time: 4038 gc time: 43" "cpu time: 4036 real time: 4036 gc time: 43" "cpu time: 4040 real time: 4041 gc time: 43"))
("001100101" ("cpu time: 3960 real time: 3959 gc time: 40" "cpu time: 3933 real time: 3935 gc time: 43" "cpu time: 3973 real time: 3970 gc time: 40" "cpu time: 3933 real time: 3932 gc time: 40" "cpu time: 3924 real time: 3924 gc time: 40" "cpu time: 3937 real time: 3936 gc time: 40" "cpu time: 3967 real time: 3965 gc time: 40" "cpu time: 3937 real time: 3936 gc time: 40"))
("001100110" ("cpu time: 4057 real time: 4057 gc time: 40" "cpu time: 4040 real time: 4038 gc time: 44" "cpu time: 4040 real time: 4037 gc time: 40" "cpu time: 4033 real time: 4034 gc time: 44" "cpu time: 4033 real time: 4031 gc time: 40" "cpu time: 4040 real time: 4034 gc time: 44" "cpu time: 4033 real time: 4033 gc time: 44" "cpu time: 4044 real time: 4043 gc time: 40"))
("001100111" ("cpu time: 3947 real time: 3947 gc time: 44" "cpu time: 4000 real time: 3998 gc time: 43" "cpu time: 4004 real time: 4004 gc time: 43" "cpu time: 3970 real time: 3967 gc time: 46" "cpu time: 4007 real time: 4007 gc time: 40" "cpu time: 3973 real time: 3973 gc time: 43" "cpu time: 3964 real time: 3966 gc time: 40" "cpu time: 3947 real time: 3943 gc time: 43"))
("001101000" ("cpu time: 3920 real time: 3917 gc time: 40" "cpu time: 3893 real time: 3896 gc time: 40" "cpu time: 3930 real time: 3930 gc time: 40" "cpu time: 3900 real time: 3901 gc time: 40" "cpu time: 3940 real time: 3936 gc time: 40" "cpu time: 3907 real time: 3908 gc time: 40" "cpu time: 3924 real time: 3926 gc time: 44" "cpu time: 3950 real time: 3950 gc time: 40"))
("001101001" ("cpu time: 4020 real time: 4017 gc time: 40" "cpu time: 3996 real time: 3997 gc time: 40" "cpu time: 4014 real time: 4010 gc time: 36" "cpu time: 4007 real time: 4009 gc time: 37" "cpu time: 4040 real time: 4034 gc time: 40" "cpu time: 4024 real time: 4023 gc time: 40" "cpu time: 4007 real time: 4005 gc time: 40" "cpu time: 4000 real time: 3997 gc time: 36"))
("001101010" ("cpu time: 4027 real time: 4025 gc time: 40" "cpu time: 3927 real time: 3928 gc time: 40" "cpu time: 4026 real time: 4025 gc time: 37" "cpu time: 4020 real time: 4023 gc time: 40" "cpu time: 7110 real time: 7109 gc time: 40" "cpu time: 4030 real time: 4029 gc time: 40" "cpu time: 4023 real time: 4024 gc time: 40" "cpu time: 4027 real time: 4027 gc time: 40"))
("001101011" ("cpu time: 4047 real time: 4041 gc time: 40" "cpu time: 4053 real time: 4052 gc time: 40" "cpu time: 4027 real time: 4021 gc time: 40" "cpu time: 4026 real time: 4026 gc time: 40" "cpu time: 4023 real time: 4022 gc time: 40" "cpu time: 4020 real time: 4021 gc time: 37" "cpu time: 4060 real time: 4060 gc time: 40" "cpu time: 4023 real time: 4023 gc time: 44"))
("001101100" ("cpu time: 4043 real time: 4045 gc time: 44" "cpu time: 4063 real time: 4060 gc time: 40" "cpu time: 4057 real time: 4055 gc time: 40" "cpu time: 4063 real time: 4061 gc time: 44" "cpu time: 4047 real time: 4048 gc time: 40" "cpu time: 4063 real time: 4063 gc time: 50" "cpu time: 4054 real time: 4054 gc time: 40" "cpu time: 4047 real time: 4046 gc time: 40"))
("001101101" ("cpu time: 3930 real time: 3930 gc time: 40" "cpu time: 3940 real time: 3938 gc time: 40" "cpu time: 3933 real time: 3932 gc time: 40" "cpu time: 3923 real time: 3924 gc time: 46" "cpu time: 3967 real time: 3966 gc time: 43" "cpu time: 3943 real time: 3941 gc time: 44" "cpu time: 3950 real time: 3951 gc time: 43" "cpu time: 3930 real time: 3931 gc time: 43"))
("001101110" ("cpu time: 4047 real time: 4046 gc time: 40" "cpu time: 4050 real time: 4049 gc time: 44" "cpu time: 4044 real time: 4040 gc time: 46" "cpu time: 4080 real time: 4079 gc time: 40" "cpu time: 4046 real time: 4047 gc time: 40" "cpu time: 4037 real time: 4038 gc time: 40" "cpu time: 4050 real time: 4046 gc time: 43" "cpu time: 4047 real time: 4044 gc time: 40"))
("001101111" ("cpu time: 3983 real time: 3984 gc time: 40" "cpu time: 3980 real time: 3979 gc time: 40" "cpu time: 4007 real time: 4008 gc time: 40" "cpu time: 4063 real time: 4061 gc time: 44" "cpu time: 4076 real time: 4074 gc time: 40" "cpu time: 3997 real time: 3997 gc time: 40" "cpu time: 4006 real time: 4006 gc time: 47" "cpu time: 3997 real time: 3999 gc time: 48"))
("001110000" ("cpu time: 3857 real time: 3858 gc time: 40" "cpu time: 3886 real time: 3885 gc time: 40" "cpu time: 3870 real time: 3868 gc time: 40" "cpu time: 3867 real time: 3865 gc time: 40" "cpu time: 3873 real time: 3874 gc time: 40" "cpu time: 3873 real time: 3872 gc time: 40" "cpu time: 3866 real time: 3867 gc time: 40" "cpu time: 3860 real time: 3860 gc time: 37"))
("001110001" ("cpu time: 3913 real time: 3913 gc time: 40" "cpu time: 3903 real time: 3902 gc time: 37" "cpu time: 3950 real time: 3950 gc time: 36" "cpu time: 3907 real time: 3906 gc time: 44" "cpu time: 3903 real time: 3904 gc time: 40" "cpu time: 3890 real time: 3889 gc time: 36" "cpu time: 6084 real time: 6080 gc time: 40" "cpu time: 3890 real time: 3887 gc time: 37"))
("001110010" ("cpu time: 3837 real time: 3837 gc time: 40" "cpu time: 3954 real time: 3955 gc time: 43" "cpu time: 3847 real time: 3848 gc time: 36" "cpu time: 3847 real time: 3842 gc time: 40" "cpu time: 4556 real time: 4557 gc time: 40" "cpu time: 3953 real time: 3953 gc time: 40" "cpu time: 4543 real time: 4542 gc time: 37" "cpu time: 3834 real time: 3831 gc time: 40"))
("001110011" ("cpu time: 3896 real time: 3896 gc time: 36" "cpu time: 3897 real time: 3897 gc time: 40" "cpu time: 3903 real time: 3902 gc time: 40" "cpu time: 3900 real time: 3899 gc time: 40" "cpu time: 3910 real time: 3907 gc time: 40" "cpu time: 3910 real time: 3910 gc time: 40" "cpu time: 3900 real time: 3900 gc time: 40" "cpu time: 3900 real time: 3900 gc time: 40"))
("001110100" ("cpu time: 3877 real time: 3875 gc time: 40" "cpu time: 3877 real time: 3877 gc time: 41" "cpu time: 5263 real time: 5263 gc time: 40" "cpu time: 3884 real time: 3879 gc time: 43" "cpu time: 3944 real time: 3941 gc time: 40" "cpu time: 3876 real time: 3878 gc time: 40" "cpu time: 3877 real time: 3876 gc time: 40" "cpu time: 5270 real time: 5269 gc time: 40"))
("001110101" ("cpu time: 3877 real time: 3879 gc time: 40" "cpu time: 3883 real time: 3880 gc time: 40" "cpu time: 3880 real time: 3878 gc time: 40" "cpu time: 3887 real time: 3885 gc time: 40" "cpu time: 3884 real time: 3882 gc time: 40" "cpu time: 3874 real time: 3874 gc time: 40" "cpu time: 3880 real time: 3879 gc time: 37" "cpu time: 3890 real time: 3891 gc time: 40"))
("001110110" ("cpu time: 3774 real time: 3773 gc time: 40" "cpu time: 3854 real time: 3851 gc time: 40" "cpu time: 3817 real time: 3815 gc time: 40" "cpu time: 3777 real time: 3774 gc time: 40" "cpu time: 3770 real time: 3767 gc time: 43" "cpu time: 3790 real time: 3790 gc time: 40" "cpu time: 3810 real time: 3807 gc time: 43" "cpu time: 3813 real time: 3812 gc time: 40"))
("001110111" ("cpu time: 3854 real time: 3854 gc time: 40" "cpu time: 3833 real time: 3835 gc time: 40" "cpu time: 3840 real time: 3839 gc time: 43" "cpu time: 3870 real time: 3869 gc time: 43" "cpu time: 3843 real time: 3843 gc time: 37" "cpu time: 3837 real time: 3836 gc time: 40" "cpu time: 3830 real time: 3828 gc time: 43" "cpu time: 3833 real time: 3834 gc time: 44"))
("001111000" ("cpu time: 3874 real time: 3871 gc time: 40" "cpu time: 3874 real time: 3873 gc time: 43" "cpu time: 3880 real time: 3879 gc time: 36" "cpu time: 3896 real time: 3896 gc time: 37" "cpu time: 3863 real time: 3865 gc time: 40" "cpu time: 3870 real time: 3871 gc time: 40" "cpu time: 3870 real time: 3869 gc time: 40" "cpu time: 3877 real time: 3877 gc time: 40"))
("001111001" ("cpu time: 3886 real time: 3887 gc time: 36" "cpu time: 3893 real time: 3892 gc time: 37" "cpu time: 3897 real time: 3899 gc time: 40" "cpu time: 3893 real time: 3894 gc time: 37" "cpu time: 3900 real time: 3903 gc time: 37" "cpu time: 3896 real time: 3895 gc time: 44" "cpu time: 3930 real time: 3927 gc time: 43" "cpu time: 3917 real time: 3918 gc time: 40"))
("001111010" ("cpu time: 4560 real time: 4556 gc time: 40" "cpu time: 3833 real time: 3831 gc time: 40" "cpu time: 3850 real time: 3850 gc time: 40" "cpu time: 3830 real time: 3830 gc time: 37" "cpu time: 3850 real time: 3849 gc time: 40" "cpu time: 3840 real time: 3838 gc time: 40" "cpu time: 3840 real time: 3836 gc time: 40" "cpu time: 3883 real time: 3881 gc time: 40"))
("001111011" ("cpu time: 3906 real time: 3904 gc time: 40" "cpu time: 3907 real time: 3907 gc time: 40" "cpu time: 3903 real time: 3905 gc time: 40" "cpu time: 3907 real time: 3908 gc time: 40" "cpu time: 3903 real time: 3903 gc time: 40" "cpu time: 3910 real time: 3908 gc time: 40" "cpu time: 3917 real time: 3912 gc time: 40" "cpu time: 3917 real time: 3915 gc time: 40"))
("001111100" ("cpu time: 4793 real time: 4793 gc time: 40" "cpu time: 4793 real time: 4791 gc time: 40" "cpu time: 3917 real time: 3914 gc time: 40" "cpu time: 3897 real time: 3899 gc time: 40" "cpu time: 3897 real time: 3890 gc time: 46" "cpu time: 3923 real time: 3921 gc time: 40" "cpu time: 3880 real time: 3880 gc time: 43" "cpu time: 3887 real time: 3888 gc time: 40"))
("001111101" ("cpu time: 3890 real time: 3890 gc time: 44" "cpu time: 3897 real time: 3898 gc time: 43" "cpu time: 3890 real time: 3889 gc time: 40" "cpu time: 3893 real time: 3890 gc time: 40" "cpu time: 4567 real time: 4564 gc time: 40" "cpu time: 3897 real time: 3900 gc time: 40" "cpu time: 3910 real time: 3907 gc time: 40" "cpu time: 3896 real time: 3897 gc time: 40"))
("001111110" ("cpu time: 3877 real time: 3875 gc time: 43" "cpu time: 3790 real time: 3787 gc time: 43" "cpu time: 3787 real time: 3785 gc time: 40" "cpu time: 3783 real time: 3784 gc time: 40" "cpu time: 3787 real time: 3784 gc time: 40" "cpu time: 3786 real time: 3784 gc time: 43" "cpu time: 3787 real time: 3785 gc time: 40" "cpu time: 3790 real time: 3790 gc time: 44"))
("001111111" ("cpu time: 3853 real time: 3852 gc time: 43" "cpu time: 3844 real time: 3845 gc time: 40" "cpu time: 3843 real time: 3841 gc time: 48" "cpu time: 3833 real time: 3830 gc time: 44" "cpu time: 3854 real time: 3854 gc time: 43" "cpu time: 3854 real time: 3853 gc time: 40" "cpu time: 3850 real time: 3850 gc time: 40" "cpu time: 3840 real time: 3840 gc time: 44"))
("010000000" ("cpu time: 4153 real time: 4151 gc time: 40" "cpu time: 4167 real time: 4167 gc time: 40" "cpu time: 4154 real time: 4153 gc time: 40" "cpu time: 4170 real time: 4166 gc time: 40" "cpu time: 4284 real time: 4279 gc time: 40" "cpu time: 4163 real time: 4160 gc time: 40" "cpu time: 4174 real time: 4171 gc time: 40" "cpu time: 4314 real time: 4314 gc time: 36"))
("010000001" ("cpu time: 4197 real time: 4195 gc time: 36" "cpu time: 4200 real time: 4198 gc time: 40" "cpu time: 4197 real time: 4193 gc time: 37" "cpu time: 4193 real time: 4192 gc time: 37" "cpu time: 4200 real time: 4196 gc time: 40" "cpu time: 4230 real time: 4229 gc time: 40" "cpu time: 4227 real time: 4225 gc time: 40" "cpu time: 4197 real time: 4195 gc time: 40"))
("010000010" ("cpu time: 4090 real time: 4092 gc time: 40" "cpu time: 4093 real time: 4096 gc time: 40" "cpu time: 4100 real time: 4097 gc time: 43" "cpu time: 4110 real time: 4108 gc time: 40" "cpu time: 4086 real time: 4085 gc time: 37" "cpu time: 4097 real time: 4094 gc time: 40" "cpu time: 4097 real time: 4095 gc time: 36" "cpu time: 4100 real time: 4097 gc time: 37"))
("010000011" ("cpu time: 4090 real time: 4090 gc time: 40" "cpu time: 4120 real time: 4120 gc time: 40" "cpu time: 4090 real time: 4089 gc time: 40" "cpu time: 4113 real time: 4114 gc time: 40" "cpu time: 4160 real time: 4161 gc time: 40" "cpu time: 4097 real time: 4095 gc time: 40" "cpu time: 4114 real time: 4112 gc time: 40" "cpu time: 4097 real time: 4098 gc time: 40"))
("010000100" ("cpu time: 4296 real time: 4299 gc time: 40" "cpu time: 4150 real time: 4151 gc time: 37" "cpu time: 4230 real time: 4227 gc time: 40" "cpu time: 4140 real time: 4138 gc time: 43" "cpu time: 4144 real time: 4144 gc time: 40" "cpu time: 4153 real time: 4151 gc time: 43" "cpu time: 4153 real time: 4156 gc time: 43" "cpu time: 4154 real time: 4153 gc time: 40"))
("010000101" ("cpu time: 4256 real time: 4253 gc time: 40" "cpu time: 4277 real time: 4276 gc time: 40" "cpu time: 4260 real time: 4260 gc time: 43" "cpu time: 4310 real time: 4307 gc time: 43" "cpu time: 4246 real time: 4247 gc time: 43" "cpu time: 4257 real time: 4257 gc time: 44" "cpu time: 4250 real time: 4248 gc time: 40" "cpu time: 4264 real time: 4263 gc time: 40"))
("010000110" ("cpu time: 4210 real time: 4212 gc time: 47" "cpu time: 4133 real time: 4133 gc time: 44" "cpu time: 4166 real time: 4167 gc time: 40" "cpu time: 4140 real time: 4140 gc time: 40" "cpu time: 4163 real time: 4164 gc time: 40" "cpu time: 4143 real time: 4138 gc time: 40" "cpu time: 4157 real time: 4155 gc time: 40" "cpu time: 4186 real time: 4187 gc time: 40"))
("010000111" ("cpu time: 4174 real time: 4175 gc time: 40" "cpu time: 4210 real time: 4208 gc time: 40" "cpu time: 4320 real time: 4320 gc time: 40" "cpu time: 4180 real time: 4174 gc time: 43" "cpu time: 4187 real time: 4182 gc time: 40" "cpu time: 4336 real time: 4338 gc time: 40" "cpu time: 4210 real time: 4210 gc time: 40" "cpu time: 4177 real time: 4175 gc time: 46"))
("010001000" ("cpu time: 4204 real time: 4203 gc time: 40" "cpu time: 4243 real time: 4244 gc time: 40" "cpu time: 4173 real time: 4172 gc time: 40" "cpu time: 4174 real time: 4174 gc time: 40" "cpu time: 4183 real time: 4181 gc time: 40" "cpu time: 4177 real time: 4176 gc time: 40" "cpu time: 4187 real time: 4185 gc time: 40" "cpu time: 4173 real time: 4174 gc time: 40"))
("010001001" ("cpu time: 4217 real time: 4214 gc time: 40" "cpu time: 4217 real time: 4218 gc time: 36" "cpu time: 4206 real time: 4209 gc time: 40" "cpu time: 4210 real time: 4208 gc time: 43" "cpu time: 4210 real time: 4209 gc time: 44" "cpu time: 4204 real time: 4204 gc time: 40" "cpu time: 4240 real time: 4237 gc time: 40" "cpu time: 4204 real time: 4202 gc time: 39"))
("010001010" ("cpu time: 4130 real time: 4132 gc time: 40" "cpu time: 4123 real time: 4120 gc time: 40" "cpu time: 4094 real time: 4092 gc time: 40" "cpu time: 4107 real time: 4106 gc time: 40" "cpu time: 4117 real time: 4114 gc time: 40" "cpu time: 4100 real time: 4101 gc time: 43" "cpu time: 4107 real time: 4106 gc time: 46" "cpu time: 4107 real time: 4106 gc time: 40"))
("010001011" ("cpu time: 4100 real time: 4099 gc time: 37" "cpu time: 4137 real time: 4137 gc time: 40" "cpu time: 4123 real time: 4125 gc time: 40" "cpu time: 4097 real time: 4097 gc time: 40" "cpu time: 4126 real time: 4125 gc time: 40" "cpu time: 4104 real time: 4102 gc time: 36" "cpu time: 4100 real time: 4097 gc time: 40" "cpu time: 4097 real time: 4096 gc time: 36"))
("010001100" ("cpu time: 4147 real time: 4145 gc time: 40" "cpu time: 4157 real time: 4155 gc time: 43" "cpu time: 4150 real time: 4149 gc time: 40" "cpu time: 4164 real time: 4162 gc time: 40" "cpu time: 4183 real time: 4183 gc time: 43" "cpu time: 4163 real time: 4161 gc time: 43" "cpu time: 4306 real time: 4306 gc time: 40" "cpu time: 4174 real time: 4172 gc time: 43"))
("010001101" ("cpu time: 4260 real time: 4261 gc time: 40" "cpu time: 4254 real time: 4256 gc time: 43" "cpu time: 4267 real time: 4264 gc time: 50" "cpu time: 4257 real time: 4257 gc time: 40" "cpu time: 4267 real time: 4264 gc time: 44" "cpu time: 4256 real time: 4255 gc time: 40" "cpu time: 4264 real time: 4263 gc time: 40" "cpu time: 4263 real time: 4264 gc time: 40"))
("010001110" ("cpu time: 4173 real time: 4173 gc time: 44" "cpu time: 4183 real time: 4182 gc time: 43" "cpu time: 4143 real time: 4141 gc time: 40" "cpu time: 4157 real time: 4155 gc time: 40" "cpu time: 4160 real time: 4160 gc time: 40" "cpu time: 4147 real time: 4147 gc time: 40" "cpu time: 4343 real time: 4343 gc time: 40" "cpu time: 4176 real time: 4177 gc time: 43"))
("010001111" ("cpu time: 4327 real time: 4327 gc time: 40" "cpu time: 4180 real time: 4179 gc time: 40" "cpu time: 4180 real time: 4179 gc time: 40" "cpu time: 4180 real time: 4180 gc time: 40" "cpu time: 4184 real time: 4185 gc time: 40" "cpu time: 4207 real time: 4206 gc time: 44" "cpu time: 4183 real time: 4183 gc time: 47" "cpu time: 4186 real time: 4183 gc time: 44"))
("010010000" ("cpu time: 3697 real time: 3696 gc time: 44" "cpu time: 3690 real time: 3690 gc time: 40" "cpu time: 3694 real time: 3689 gc time: 40" "cpu time: 3690 real time: 3687 gc time: 40" "cpu time: 3687 real time: 3687 gc time: 40" "cpu time: 3690 real time: 3688 gc time: 40" "cpu time: 3690 real time: 3690 gc time: 40" "cpu time: 3696 real time: 3697 gc time: 44"))
("010010001" ("cpu time: 3710 real time: 3709 gc time: 37" "cpu time: 3713 real time: 3711 gc time: 40" "cpu time: 3780 real time: 3780 gc time: 37" "cpu time: 3714 real time: 3713 gc time: 40" "cpu time: 3706 real time: 3708 gc time: 40" "cpu time: 3737 real time: 3737 gc time: 40" "cpu time: 3710 real time: 3710 gc time: 36" "cpu time: 3714 real time: 3713 gc time: 40"))
("010010010" ("cpu time: 3767 real time: 3767 gc time: 40" "cpu time: 3764 real time: 3765 gc time: 40" "cpu time: 3797 real time: 3795 gc time: 37" "cpu time: 3800 real time: 3801 gc time: 36" "cpu time: 3760 real time: 3761 gc time: 40" "cpu time: 3780 real time: 3776 gc time: 40" "cpu time: 3893 real time: 3893 gc time: 40" "cpu time: 3790 real time: 3788 gc time: 40"))
("010010011" ("cpu time: 3750 real time: 3750 gc time: 40" "cpu time: 3897 real time: 3896 gc time: 40" "cpu time: 3897 real time: 3899 gc time: 40" "cpu time: 3900 real time: 3898 gc time: 40" "cpu time: 3827 real time: 3826 gc time: 40" "cpu time: 3887 real time: 3887 gc time: 40" "cpu time: 3896 real time: 3897 gc time: 36" "cpu time: 3886 real time: 3885 gc time: 40"))
("010010100" ("cpu time: 3720 real time: 3723 gc time: 46" "cpu time: 3730 real time: 3728 gc time: 40" "cpu time: 3730 real time: 3728 gc time: 43" "cpu time: 3723 real time: 3724 gc time: 40" "cpu time: 3727 real time: 3724 gc time: 40" "cpu time: 3743 real time: 3742 gc time: 40" "cpu time: 3900 real time: 3900 gc time: 40" "cpu time: 3734 real time: 3733 gc time: 43"))
("010010101" ("cpu time: 3756 real time: 3755 gc time: 43" "cpu time: 3786 real time: 3783 gc time: 40" "cpu time: 3790 real time: 3786 gc time: 43" "cpu time: 3760 real time: 3759 gc time: 44" "cpu time: 3767 real time: 3765 gc time: 37" "cpu time: 3783 real time: 3784 gc time: 43" "cpu time: 6857 real time: 6854 gc time: 43" "cpu time: 3787 real time: 3788 gc time: 43"))
("010010110" ("cpu time: 3723 real time: 3725 gc time: 43" "cpu time: 3723 real time: 3722 gc time: 40" "cpu time: 3727 real time: 3726 gc time: 40" "cpu time: 3723 real time: 3723 gc time: 43" "cpu time: 3723 real time: 3723 gc time: 40" "cpu time: 3853 real time: 3854 gc time: 40" "cpu time: 3727 real time: 3728 gc time: 43" "cpu time: 3727 real time: 3727 gc time: 43"))
("010010111" ("cpu time: 3833 real time: 3831 gc time: 44" "cpu time: 3943 real time: 3944 gc time: 40" "cpu time: 3843 real time: 3841 gc time: 50" "cpu time: 3833 real time: 3831 gc time: 40" "cpu time: 3800 real time: 3798 gc time: 40" "cpu time: 3830 real time: 3830 gc time: 40" "cpu time: 3840 real time: 3837 gc time: 44" "cpu time: 3807 real time: 3806 gc time: 40"))
("010011000" ("cpu time: 3703 real time: 3702 gc time: 40" "cpu time: 3700 real time: 3700 gc time: 43" "cpu time: 3703 real time: 3704 gc time: 40" "cpu time: 3727 real time: 3725 gc time: 36" "cpu time: 3736 real time: 3736 gc time: 40" "cpu time: 3850 real time: 3853 gc time: 40" "cpu time: 3700 real time: 3696 gc time: 37" "cpu time: 3700 real time: 3699 gc time: 40"))
("010011001" ("cpu time: 3723 real time: 3725 gc time: 43" "cpu time: 3726 real time: 3723 gc time: 40" "cpu time: 3720 real time: 3719 gc time: 40" "cpu time: 3724 real time: 3722 gc time: 43" "cpu time: 3740 real time: 3738 gc time: 40" "cpu time: 3723 real time: 3722 gc time: 36" "cpu time: 3877 real time: 3877 gc time: 40" "cpu time: 3723 real time: 3721 gc time: 40"))
("010011010" ("cpu time: 3770 real time: 3771 gc time: 40" "cpu time: 3767 real time: 3764 gc time: 40" "cpu time: 3764 real time: 3759 gc time: 40" "cpu time: 3767 real time: 3764 gc time: 36" "cpu time: 3764 real time: 3759 gc time: 40" "cpu time: 3760 real time: 3761 gc time: 40" "cpu time: 3760 real time: 3760 gc time: 43" "cpu time: 3767 real time: 3766 gc time: 40"))
("010011011" ("cpu time: 3760 real time: 3758 gc time: 44" "cpu time: 3757 real time: 3755 gc time: 40" "cpu time: 3767 real time: 3763 gc time: 40" "cpu time: 3750 real time: 3748 gc time: 40" "cpu time: 3750 real time: 3751 gc time: 43" "cpu time: 3760 real time: 3758 gc time: 40" "cpu time: 3750 real time: 3749 gc time: 43" "cpu time: 3746 real time: 3747 gc time: 40"))
("010011100" ("cpu time: 3757 real time: 3758 gc time: 44" "cpu time: 3744 real time: 3739 gc time: 44" "cpu time: 3737 real time: 3737 gc time: 40" "cpu time: 3743 real time: 3741 gc time: 43" "cpu time: 3740 real time: 3738 gc time: 40" "cpu time: 3733 real time: 3734 gc time: 44" "cpu time: 3744 real time: 3741 gc time: 47" "cpu time: 3913 real time: 3909 gc time: 43"))
("010011101" ("cpu time: 3807 real time: 3803 gc time: 43" "cpu time: 3776 real time: 3774 gc time: 40" "cpu time: 3766 real time: 3767 gc time: 44" "cpu time: 3776 real time: 3774 gc time: 43" "cpu time: 3773 real time: 3773 gc time: 40" "cpu time: 3810 real time: 3809 gc time: 40" "cpu time: 3810 real time: 3808 gc time: 43" "cpu time: 3803 real time: 3804 gc time: 40"))
("010011110" ("cpu time: 3737 real time: 3736 gc time: 43" "cpu time: 3744 real time: 3741 gc time: 44" "cpu time: 3740 real time: 3742 gc time: 40" "cpu time: 3743 real time: 3741 gc time: 40" "cpu time: 3746 real time: 3746 gc time: 40" "cpu time: 3734 real time: 3731 gc time: 43" "cpu time: 3733 real time: 3733 gc time: 40" "cpu time: 3737 real time: 3733 gc time: 37"))
("010011111" ("cpu time: 3867 real time: 3864 gc time: 44" "cpu time: 3817 real time: 3817 gc time: 43" "cpu time: 3806 real time: 3806 gc time: 44" "cpu time: 3806 real time: 3804 gc time: 40" "cpu time: 3847 real time: 3845 gc time: 44" "cpu time: 3840 real time: 3838 gc time: 40" "cpu time: 3824 real time: 3823 gc time: 50" "cpu time: 3857 real time: 3851 gc time: 40"))
("010100000" ("cpu time: 4290 real time: 4289 gc time: 40" "cpu time: 4167 real time: 4164 gc time: 44" "cpu time: 4164 real time: 4162 gc time: 43" "cpu time: 4167 real time: 4165 gc time: 40" "cpu time: 4163 real time: 4161 gc time: 40" "cpu time: 4170 real time: 4170 gc time: 40" "cpu time: 4167 real time: 4166 gc time: 40" "cpu time: 4260 real time: 4259 gc time: 40"))
("010100001" ("cpu time: 4156 real time: 4157 gc time: 40" "cpu time: 4127 real time: 4125 gc time: 40" "cpu time: 4130 real time: 4127 gc time: 40" "cpu time: 4134 real time: 4134 gc time: 40" "cpu time: 4127 real time: 4127 gc time: 36" "cpu time: 4216 real time: 4212 gc time: 37" "cpu time: 4130 real time: 4131 gc time: 40" "cpu time: 4133 real time: 4130 gc time: 40"))
("010100010" ("cpu time: 4097 real time: 4095 gc time: 40" "cpu time: 4123 real time: 4119 gc time: 47" "cpu time: 4150 real time: 4147 gc time: 40" "cpu time: 4250 real time: 4252 gc time: 40" "cpu time: 4083 real time: 4085 gc time: 40" "cpu time: 4090 real time: 4093 gc time: 40" "cpu time: 4090 real time: 4089 gc time: 40" "cpu time: 4110 real time: 4111 gc time: 40"))
("010100011" ("cpu time: 4093 real time: 4092 gc time: 40" "cpu time: 4097 real time: 4096 gc time: 40" "cpu time: 4087 real time: 4085 gc time: 40" "cpu time: 4090 real time: 4090 gc time: 40" "cpu time: 4090 real time: 4087 gc time: 43" "cpu time: 4106 real time: 4105 gc time: 40" "cpu time: 4100 real time: 4097 gc time: 40" "cpu time: 4160 real time: 4160 gc time: 40"))
("010100100" ("cpu time: 4153 real time: 4150 gc time: 43" "cpu time: 4173 real time: 4172 gc time: 40" "cpu time: 4137 real time: 4137 gc time: 40" "cpu time: 4157 real time: 4157 gc time: 40" "cpu time: 4187 real time: 4183 gc time: 44" "cpu time: 4140 real time: 4136 gc time: 43" "cpu time: 4137 real time: 4137 gc time: 40" "cpu time: 4146 real time: 4148 gc time: 40"))
("010100101" ("cpu time: 4166 real time: 4166 gc time: 43" "cpu time: 4167 real time: 4164 gc time: 43" "cpu time: 4176 real time: 4177 gc time: 40" "cpu time: 4317 real time: 4314 gc time: 40" "cpu time: 4190 real time: 4190 gc time: 43" "cpu time: 4336 real time: 4334 gc time: 44" "cpu time: 4180 real time: 4179 gc time: 40" "cpu time: 4173 real time: 4172 gc time: 47"))
("010100110" ("cpu time: 4170 real time: 4171 gc time: 44" "cpu time: 4143 real time: 4143 gc time: 40" "cpu time: 4153 real time: 4155 gc time: 43" "cpu time: 4153 real time: 4153 gc time: 43" "cpu time: 4130 real time: 4132 gc time: 43" "cpu time: 4137 real time: 4135 gc time: 43" "cpu time: 4137 real time: 4135 gc time: 40" "cpu time: 4200 real time: 4201 gc time: 40"))
("010100111" ("cpu time: 4203 real time: 4202 gc time: 43" "cpu time: 4207 real time: 4205 gc time: 40" "cpu time: 4203 real time: 4205 gc time: 40" "cpu time: 4210 real time: 4209 gc time: 40" "cpu time: 4227 real time: 4226 gc time: 40" "cpu time: 4204 real time: 4202 gc time: 44" "cpu time: 4203 real time: 4204 gc time: 43" "cpu time: 4200 real time: 4200 gc time: 40"))
("010101000" ("cpu time: 4180 real time: 4176 gc time: 40" "cpu time: 4164 real time: 4163 gc time: 40" "cpu time: 4174 real time: 4172 gc time: 43" "cpu time: 4170 real time: 4170 gc time: 40" "cpu time: 4163 real time: 4163 gc time: 40" "cpu time: 4997 real time: 4996 gc time: 40" "cpu time: 4173 real time: 4169 gc time: 40" "cpu time: 4196 real time: 4195 gc time: 40"))
("010101001" ("cpu time: 4136 real time: 4138 gc time: 40" "cpu time: 4147 real time: 4145 gc time: 40" "cpu time: 4137 real time: 4137 gc time: 40" "cpu time: 4146 real time: 4148 gc time: 40" "cpu time: 4150 real time: 4148 gc time: 40" "cpu time: 4157 real time: 4154 gc time: 40" "cpu time: 4164 real time: 4164 gc time: 40" "cpu time: 4170 real time: 4169 gc time: 41"))
("010101010" ("cpu time: 4107 real time: 4108 gc time: 40" "cpu time: 4096 real time: 4097 gc time: 40" "cpu time: 4130 real time: 4130 gc time: 40" "cpu time: 4137 real time: 4137 gc time: 37" "cpu time: 4144 real time: 4144 gc time: 43" "cpu time: 4103 real time: 4101 gc time: 40" "cpu time: 4123 real time: 4122 gc time: 40" "cpu time: 4143 real time: 4144 gc time: 36"))
("010101011" ("cpu time: 4100 real time: 4098 gc time: 40" "cpu time: 4097 real time: 4099 gc time: 43" "cpu time: 4177 real time: 4173 gc time: 40" "cpu time: 4103 real time: 4105 gc time: 40" "cpu time: 4104 real time: 4101 gc time: 43" "cpu time: 4097 real time: 4095 gc time: 40" "cpu time: 4143 real time: 4141 gc time: 40" "cpu time: 4110 real time: 4111 gc time: 37"))
("010101100" ("cpu time: 4190 real time: 4189 gc time: 40" "cpu time: 4157 real time: 4155 gc time: 43" "cpu time: 4307 real time: 4304 gc time: 40" "cpu time: 4180 real time: 4174 gc time: 40" "cpu time: 4156 real time: 4156 gc time: 43" "cpu time: 4310 real time: 4307 gc time: 43" "cpu time: 4163 real time: 4159 gc time: 43" "cpu time: 4164 real time: 4164 gc time: 40"))
("010101101" ("cpu time: 4187 real time: 4184 gc time: 44" "cpu time: 4187 real time: 4183 gc time: 40" "cpu time: 4180 real time: 4180 gc time: 40" "cpu time: 4210 real time: 4209 gc time: 40" "cpu time: 4190 real time: 4192 gc time: 40" "cpu time: 4187 real time: 4186 gc time: 40" "cpu time: 4187 real time: 4184 gc time: 43" "cpu time: 4183 real time: 4183 gc time: 47"))
("010101110" ("cpu time: 4143 real time: 4145 gc time: 40" "cpu time: 4150 real time: 4150 gc time: 40" "cpu time: 4153 real time: 4154 gc time: 40" "cpu time: 4163 real time: 4160 gc time: 43" "cpu time: 4163 real time: 4162 gc time: 40" "cpu time: 4147 real time: 4146 gc time: 40" "cpu time: 4150 real time: 4151 gc time: 43" "cpu time: 4177 real time: 4174 gc time: 43"))
("010101111" ("cpu time: 4224 real time: 4223 gc time: 40" "cpu time: 4214 real time: 4214 gc time: 40" "cpu time: 4217 real time: 4214 gc time: 40" "cpu time: 4217 real time: 4213 gc time: 40" "cpu time: 4200 real time: 4201 gc time: 43" "cpu time: 4216 real time: 4215 gc time: 43" "cpu time: 4217 real time: 4219 gc time: 40" "cpu time: 4217 real time: 4213 gc time: 40"))
("010110000" ("cpu time: 3693 real time: 3690 gc time: 40" "cpu time: 3690 real time: 3691 gc time: 40" "cpu time: 3687 real time: 3687 gc time: 40" "cpu time: 3703 real time: 3701 gc time: 40" "cpu time: 3690 real time: 3690 gc time: 40" "cpu time: 3723 real time: 3721 gc time: 37" "cpu time: 3704 real time: 3703 gc time: 40" "cpu time: 3740 real time: 3742 gc time: 37"))
("010110001" ("cpu time: 3703 real time: 3701 gc time: 40" "cpu time: 3706 real time: 3704 gc time: 40" "cpu time: 3710 real time: 3708 gc time: 37" "cpu time: 3706 real time: 3708 gc time: 40" "cpu time: 3723 real time: 3723 gc time: 36" "cpu time: 3707 real time: 3703 gc time: 40" "cpu time: 3767 real time: 3770 gc time: 40" "cpu time: 3713 real time: 3709 gc time: 40"))
("010110010" ("cpu time: 3750 real time: 3753 gc time: 40" "cpu time: 3780 real time: 3781 gc time: 40" "cpu time: 3787 real time: 3786 gc time: 40" "cpu time: 3783 real time: 3781 gc time: 40" "cpu time: 3780 real time: 3778 gc time: 40" "cpu time: 3783 real time: 3782 gc time: 40" "cpu time: 3780 real time: 3779 gc time: 40" "cpu time: 3837 real time: 3833 gc time: 50"))
("010110011" ("cpu time: 3740 real time: 3740 gc time: 40" "cpu time: 3740 real time: 3740 gc time: 40" "cpu time: 3740 real time: 3740 gc time: 44" "cpu time: 3743 real time: 3745 gc time: 40" "cpu time: 3740 real time: 3739 gc time: 37" "cpu time: 3747 real time: 3745 gc time: 40" "cpu time: 3747 real time: 3746 gc time: 40" "cpu time: 3750 real time: 3749 gc time: 43"))
("010110100" ("cpu time: 3724 real time: 3725 gc time: 43" "cpu time: 3733 real time: 3733 gc time: 40" "cpu time: 3727 real time: 3728 gc time: 40" "cpu time: 3887 real time: 3888 gc time: 40" "cpu time: 3727 real time: 3726 gc time: 44" "cpu time: 3750 real time: 3747 gc time: 40" "cpu time: 3890 real time: 3893 gc time: 40" "cpu time: 3734 real time: 3731 gc time: 40"))
("010110101" ("cpu time: 3756 real time: 3757 gc time: 43" "cpu time: 3760 real time: 3759 gc time: 43" "cpu time: 3780 real time: 3779 gc time: 40" "cpu time: 3760 real time: 3759 gc time: 43" "cpu time: 3760 real time: 3761 gc time: 40" "cpu time: 3767 real time: 3766 gc time: 47" "cpu time: 3763 real time: 3760 gc time: 40" "cpu time: 3760 real time: 3760 gc time: 43"))
("010110110" ("cpu time: 3733 real time: 3733 gc time: 43" "cpu time: 3723 real time: 3725 gc time: 44" "cpu time: 3890 real time: 3889 gc time: 40" "cpu time: 3730 real time: 3724 gc time: 40" "cpu time: 3723 real time: 3723 gc time: 40" "cpu time: 3726 real time: 3726 gc time: 44" "cpu time: 3724 real time: 3724 gc time: 40" "cpu time: 3723 real time: 3723 gc time: 40"))
("010110111" ("cpu time: 3804 real time: 3803 gc time: 40" "cpu time: 3800 real time: 3799 gc time: 44" "cpu time: 3807 real time: 3804 gc time: 44" "cpu time: 3837 real time: 3837 gc time: 43" "cpu time: 3854 real time: 3849 gc time: 43" "cpu time: 3886 real time: 3886 gc time: 43" "cpu time: 3833 real time: 3831 gc time: 43" "cpu time: 3790 real time: 3791 gc time: 40"))
("010111000" ("cpu time: 3700 real time: 3698 gc time: 40" "cpu time: 3700 real time: 3701 gc time: 37" "cpu time: 3700 real time: 3699 gc time: 40" "cpu time: 3710 real time: 3708 gc time: 40" "cpu time: 3707 real time: 3706 gc time: 40" "cpu time: 3706 real time: 3707 gc time: 40" "cpu time: 3697 real time: 3697 gc time: 36" "cpu time: 3696 real time: 3696 gc time: 44"))
("010111001" ("cpu time: 3707 real time: 3708 gc time: 36" "cpu time: 3713 real time: 3712 gc time: 40" "cpu time: 3713 real time: 3713 gc time: 36" "cpu time: 3713 real time: 3711 gc time: 40" "cpu time: 3870 real time: 3872 gc time: 40" "cpu time: 3706 real time: 3704 gc time: 40" "cpu time: 3710 real time: 3708 gc time: 40" "cpu time: 3714 real time: 3711 gc time: 40"))
("010111010" ("cpu time: 3764 real time: 3763 gc time: 40" "cpu time: 3760 real time: 3760 gc time: 40" "cpu time: 3766 real time: 3768 gc time: 40" "cpu time: 3760 real time: 3759 gc time: 36" "cpu time: 3760 real time: 3760 gc time: 40" "cpu time: 3760 real time: 3760 gc time: 40" "cpu time: 3777 real time: 3777 gc time: 40" "cpu time: 3760 real time: 3759 gc time: 40"))
("010111011" ("cpu time: 3910 real time: 3911 gc time: 40" "cpu time: 3833 real time: 3832 gc time: 40" "cpu time: 4680 real time: 4675 gc time: 40" "cpu time: 3750 real time: 3750 gc time: 36" "cpu time: 3753 real time: 3753 gc time: 40" "cpu time: 3847 real time: 3849 gc time: 40" "cpu time: 3900 real time: 3900 gc time: 40" "cpu time: 3793 real time: 3792 gc time: 40"))
("010111100" ("cpu time: 3744 real time: 3744 gc time: 40" "cpu time: 3740 real time: 3737 gc time: 43" "cpu time: 3740 real time: 3741 gc time: 43" "cpu time: 3747 real time: 3744 gc time: 43" "cpu time: 3733 real time: 3733 gc time: 40" "cpu time: 3747 real time: 3745 gc time: 43" "cpu time: 3743 real time: 3740 gc time: 43" "cpu time: 3747 real time: 3743 gc time: 40"))
("010111101" ("cpu time: 3770 real time: 3768 gc time: 40" "cpu time: 3790 real time: 3791 gc time: 40" "cpu time: 3793 real time: 3792 gc time: 40" "cpu time: 3783 real time: 3781 gc time: 40" "cpu time: 3800 real time: 3799 gc time: 43" "cpu time: 3770 real time: 3772 gc time: 40" "cpu time: 6853 real time: 6853 gc time: 47" "cpu time: 3767 real time: 3766 gc time: 40"))
("010111110" ("cpu time: 3900 real time: 3899 gc time: 43" "cpu time: 3733 real time: 3733 gc time: 43" "cpu time: 3730 real time: 3731 gc time: 40" "cpu time: 3733 real time: 3732 gc time: 40" "cpu time: 3737 real time: 3736 gc time: 40" "cpu time: 3900 real time: 3900 gc time: 40" "cpu time: 3743 real time: 3742 gc time: 44" "cpu time: 3753 real time: 3753 gc time: 37"))
("010111111" ("cpu time: 3840 real time: 3841 gc time: 43" "cpu time: 3810 real time: 3807 gc time: 40" "cpu time: 3840 real time: 3838 gc time: 40" "cpu time: 3800 real time: 3800 gc time: 40" "cpu time: 3800 real time: 3801 gc time: 40" "cpu time: 3803 real time: 3803 gc time: 40" "cpu time: 3843 real time: 3843 gc time: 40" "cpu time: 3810 real time: 3811 gc time: 44"))
("011000000" ("cpu time: 7460 real time: 7458 gc time: 40" "cpu time: 7360 real time: 7360 gc time: 37" "cpu time: 7386 real time: 7388 gc time: 40" "cpu time: 7424 real time: 7423 gc time: 36" "cpu time: 7454 real time: 7451 gc time: 40" "cpu time: 7523 real time: 7520 gc time: 46" "cpu time: 7457 real time: 7455 gc time: 40" "cpu time: 7453 real time: 7450 gc time: 40"))
("011000001" ("cpu time: 7370 real time: 7369 gc time: 40" "cpu time: 7353 real time: 7352 gc time: 40" "cpu time: 7437 real time: 7437 gc time: 40" "cpu time: 7374 real time: 7372 gc time: 40" "cpu time: 7353 real time: 7352 gc time: 40" "cpu time: 7347 real time: 7347 gc time: 36" "cpu time: 7360 real time: 7357 gc time: 40" "cpu time: 7350 real time: 7350 gc time: 40"))
("011000010" ("cpu time: 7340 real time: 7338 gc time: 40" "cpu time: 7347 real time: 7347 gc time: 40" "cpu time: 7354 real time: 7352 gc time: 40" "cpu time: 7337 real time: 7337 gc time: 40" "cpu time: 7324 real time: 7321 gc time: 40" "cpu time: 7387 real time: 7386 gc time: 40" "cpu time: 7337 real time: 7332 gc time: 40" "cpu time: 7350 real time: 7351 gc time: 37"))
("011000011" ("cpu time: 7280 real time: 7277 gc time: 43" "cpu time: 7330 real time: 7332 gc time: 48" "cpu time: 7347 real time: 7348 gc time: 40" "cpu time: 7390 real time: 7388 gc time: 40" "cpu time: 7363 real time: 7365 gc time: 43" "cpu time: 7340 real time: 7339 gc time: 40" "cpu time: 7236 real time: 7234 gc time: 40" "cpu time: 7233 real time: 7234 gc time: 44"))
("011000100" ("cpu time: 7307 real time: 7307 gc time: 40" "cpu time: 7306 real time: 7306 gc time: 40" "cpu time: 7320 real time: 7318 gc time: 43" "cpu time: 7310 real time: 7309 gc time: 40" "cpu time: 7347 real time: 7345 gc time: 43" "cpu time: 7307 real time: 7306 gc time: 44" "cpu time: 7340 real time: 7339 gc time: 43" "cpu time: 7317 real time: 7316 gc time: 44"))
("011000101" ("cpu time: 7313 real time: 7311 gc time: 40" "cpu time: 7350 real time: 7351 gc time: 40" "cpu time: 7840 real time: 7838 gc time: 44" "cpu time: 7420 real time: 7420 gc time: 40" "cpu time: 7310 real time: 7308 gc time: 40" "cpu time: 7426 real time: 7423 gc time: 40" "cpu time: 7434 real time: 7436 gc time: 43" "cpu time: 7327 real time: 7320 gc time: 44"))
("011000110" ("cpu time: 7287 real time: 7285 gc time: 40" "cpu time: 7277 real time: 7277 gc time: 43" "cpu time: 7447 real time: 7446 gc time: 43" "cpu time: 7293 real time: 7292 gc time: 43" "cpu time: 7297 real time: 7297 gc time: 43" "cpu time: 7286 real time: 7286 gc time: 40" "cpu time: 7450 real time: 7443 gc time: 44" "cpu time: 7297 real time: 7295 gc time: 43"))
("011000111" ("cpu time: 7214 real time: 7208 gc time: 40" "cpu time: 7174 real time: 7176 gc time: 44" "cpu time: 7187 real time: 7186 gc time: 40" "cpu time: 7214 real time: 7212 gc time: 43" "cpu time: 7260 real time: 7256 gc time: 44" "cpu time: 7227 real time: 7222 gc time: 43" "cpu time: 7184 real time: 7181 gc time: 43" "cpu time: 7223 real time: 7221 gc time: 40"))
("011001000" ("cpu time: 7457 real time: 7457 gc time: 37" "cpu time: 7460 real time: 7460 gc time: 40" "cpu time: 7460 real time: 7457 gc time: 40" "cpu time: 7390 real time: 7386 gc time: 40" "cpu time: 7363 real time: 7361 gc time: 40" "cpu time: 7456 real time: 7457 gc time: 47" "cpu time: 7443 real time: 7438 gc time: 40" "cpu time: 7440 real time: 7441 gc time: 40"))
("011001001" ("cpu time: 7356 real time: 7353 gc time: 40" "cpu time: 7373 real time: 7372 gc time: 36" "cpu time: 7367 real time: 7365 gc time: 40" "cpu time: 7370 real time: 7363 gc time: 40" "cpu time: 7363 real time: 7361 gc time: 40" "cpu time: 7356 real time: 7356 gc time: 40" "cpu time: 10823 real time: 10822 gc time: 40" "cpu time: 7380 real time: 7379 gc time: 40"))
("011001010" ("cpu time: 7333 real time: 7333 gc time: 40" "cpu time: 7337 real time: 7335 gc time: 40" "cpu time: 7337 real time: 7333 gc time: 40" "cpu time: 7330 real time: 7333 gc time: 40" "cpu time: 7366 real time: 7363 gc time: 40" "cpu time: 7347 real time: 7343 gc time: 40" "cpu time: 7347 real time: 7346 gc time: 40" "cpu time: 7334 real time: 7329 gc time: 40"))
("011001011" ("cpu time: 7260 real time: 7259 gc time: 41" "cpu time: 7350 real time: 7350 gc time: 40" "cpu time: 7354 real time: 7353 gc time: 44" "cpu time: 7253 real time: 7252 gc time: 43" "cpu time: 7356 real time: 7355 gc time: 36" "cpu time: 7243 real time: 7244 gc time: 40" "cpu time: 7260 real time: 7258 gc time: 40" "cpu time: 7357 real time: 7354 gc time: 40"))
("011001100" ("cpu time: 7317 real time: 7314 gc time: 40" "cpu time: 7330 real time: 7328 gc time: 40" "cpu time: 7327 real time: 7323 gc time: 40" "cpu time: 7370 real time: 7370 gc time: 43" "cpu time: 7324 real time: 7321 gc time: 40" "cpu time: 7326 real time: 7327 gc time: 43" "cpu time: 7363 real time: 7363 gc time: 40" "cpu time: 7343 real time: 7344 gc time: 40"))
("011001101" ("cpu time: 7343 real time: 7344 gc time: 40" "cpu time: 7317 real time: 7315 gc time: 44" "cpu time: 7303 real time: 7302 gc time: 44" "cpu time: 7350 real time: 7347 gc time: 44" "cpu time: 7307 real time: 7308 gc time: 40" "cpu time: 7350 real time: 7350 gc time: 43" "cpu time: 7347 real time: 7343 gc time: 40" "cpu time: 7357 real time: 7354 gc time: 44"))
("011001110" ("cpu time: 7287 real time: 7287 gc time: 43" "cpu time: 7293 real time: 7294 gc time: 40" "cpu time: 7453 real time: 7451 gc time: 44" "cpu time: 7313 real time: 7312 gc time: 40" "cpu time: 7306 real time: 7305 gc time: 40" "cpu time: 7293 real time: 7294 gc time: 40" "cpu time: 7280 real time: 7281 gc time: 40" "cpu time: 7280 real time: 7277 gc time: 43"))
("011001111" ("cpu time: 7420 real time: 7420 gc time: 40" "cpu time: 7213 real time: 7213 gc time: 48" "cpu time: 7236 real time: 7234 gc time: 43" "cpu time: 7263 real time: 7263 gc time: 40" "cpu time: 7247 real time: 7249 gc time: 40" "cpu time: 7414 real time: 7413 gc time: 43" "cpu time: 7193 real time: 7194 gc time: 40" "cpu time: 7190 real time: 7189 gc time: 47"))
("011010000" ("cpu time: 6950 real time: 6952 gc time: 36" "cpu time: 6910 real time: 6910 gc time: 43" "cpu time: 6913 real time: 6916 gc time: 40" "cpu time: 6900 real time: 6898 gc time: 40" "cpu time: 6904 real time: 6903 gc time: 40" "cpu time: 6906 real time: 6905 gc time: 40" "cpu time: 6903 real time: 6902 gc time: 37" "cpu time: 6897 real time: 6897 gc time: 40"))
("011010001" ("cpu time: 6896 real time: 6894 gc time: 40" "cpu time: 6903 real time: 6901 gc time: 36" "cpu time: 6900 real time: 6897 gc time: 40" "cpu time: 6910 real time: 6910 gc time: 36" "cpu time: 6917 real time: 6915 gc time: 47" "cpu time: 6934 real time: 6932 gc time: 40" "cpu time: 6903 real time: 6902 gc time: 40" "cpu time: 6910 real time: 6911 gc time: 40"))
("011010010" ("cpu time: 6907 real time: 6906 gc time: 40" "cpu time: 6897 real time: 6897 gc time: 40" "cpu time: 6897 real time: 6894 gc time: 40" "cpu time: 6886 real time: 6885 gc time: 40" "cpu time: 6883 real time: 6883 gc time: 40" "cpu time: 6954 real time: 6952 gc time: 40" "cpu time: 6883 real time: 6879 gc time: 40" "cpu time: 6900 real time: 6901 gc time: 43"))
("011010011" ("cpu time: 6764 real time: 6764 gc time: 36" "cpu time: 6773 real time: 6774 gc time: 40" "cpu time: 6777 real time: 6779 gc time: 40" "cpu time: 6773 real time: 6771 gc time: 40" "cpu time: 6793 real time: 6793 gc time: 40" "cpu time: 6766 real time: 6768 gc time: 40" "cpu time: 6773 real time: 6771 gc time: 40" "cpu time: 6780 real time: 6778 gc time: 40"))
("011010100" ("cpu time: 8044 real time: 8044 gc time: 44" "cpu time: 6780 real time: 6780 gc time: 44" "cpu time: 6774 real time: 6771 gc time: 40" "cpu time: 6870 real time: 6871 gc time: 40" "cpu time: 6790 real time: 6789 gc time: 40" "cpu time: 6790 real time: 6789 gc time: 40" "cpu time: 6777 real time: 6775 gc time: 40" "cpu time: 6790 real time: 6790 gc time: 40"))
("011010101" ("cpu time: 6643 real time: 6640 gc time: 40" "cpu time: 6934 real time: 6932 gc time: 43" "cpu time: 6643 real time: 6643 gc time: 40" "cpu time: 6647 real time: 6645 gc time: 46" "cpu time: 6627 real time: 6627 gc time: 44" "cpu time: 6630 real time: 6632 gc time: 40" "cpu time: 6920 real time: 6919 gc time: 43" "cpu time: 6627 real time: 6628 gc time: 43"))
("011010110" ("cpu time: 12530 real time: 12526 gc time: 47" "cpu time: 6730 real time: 6731 gc time: 40" "cpu time: 6700 real time: 6698 gc time: 40" "cpu time: 8144 real time: 8141 gc time: 40" "cpu time: 6844 real time: 6842 gc time: 40" "cpu time: 6720 real time: 6719 gc time: 40" "cpu time: 6844 real time: 6840 gc time: 43" "cpu time: 6803 real time: 6803 gc time: 40"))
("011010111" ("cpu time: 6673 real time: 6674 gc time: 44" "cpu time: 6653 real time: 6653 gc time: 44" "cpu time: 6647 real time: 6647 gc time: 40" "cpu time: 6653 real time: 6651 gc time: 40" "cpu time: 6650 real time: 6651 gc time: 40" "cpu time: 6653 real time: 6650 gc time: 40" "cpu time: 6654 real time: 6650 gc time: 43" "cpu time: 6644 real time: 6641 gc time: 40"))
("011011000" ("cpu time: 6923 real time: 6917 gc time: 37" "cpu time: 6910 real time: 6905 gc time: 43" "cpu time: 6910 real time: 6909 gc time: 43" "cpu time: 6914 real time: 6917 gc time: 37" "cpu time: 6906 real time: 6908 gc time: 40" "cpu time: 6903 real time: 6899 gc time: 40" "cpu time: 6920 real time: 6918 gc time: 40" "cpu time: 6923 real time: 6923 gc time: 40"))
("011011001" ("cpu time: 6936 real time: 6934 gc time: 40" "cpu time: 6916 real time: 6914 gc time: 43" "cpu time: 6900 real time: 6901 gc time: 40" "cpu time: 6913 real time: 6909 gc time: 40" "cpu time: 6913 real time: 6913 gc time: 43" "cpu time: 6910 real time: 6908 gc time: 44" "cpu time: 6907 real time: 6904 gc time: 40" "cpu time: 6920 real time: 6919 gc time: 40"))
("011011010" ("cpu time: 6894 real time: 6888 gc time: 40" "cpu time: 6940 real time: 6938 gc time: 40" "cpu time: 6940 real time: 6942 gc time: 40" "cpu time: 6910 real time: 6908 gc time: 40" "cpu time: 6904 real time: 6901 gc time: 40" "cpu time: 6890 real time: 6889 gc time: 40" "cpu time: 6883 real time: 6886 gc time: 37" "cpu time: 6963 real time: 6963 gc time: 44"))
("011011011" ("cpu time: 6777 real time: 6776 gc time: 40" "cpu time: 6790 real time: 6790 gc time: 39" "cpu time: 6784 real time: 6782 gc time: 40" "cpu time: 6776 real time: 6775 gc time: 40" "cpu time: 6793 real time: 6794 gc time: 40" "cpu time: 6790 real time: 6786 gc time: 40" "cpu time: 6776 real time: 6772 gc time: 40" "cpu time: 6787 real time: 6783 gc time: 40"))
("011011100" ("cpu time: 6796 real time: 6794 gc time: 43" "cpu time: 6793 real time: 6794 gc time: 44" "cpu time: 6797 real time: 6796 gc time: 43" "cpu time: 6787 real time: 6784 gc time: 40" "cpu time: 6816 real time: 6815 gc time: 44" "cpu time: 6797 real time: 6796 gc time: 43" "cpu time: 6790 real time: 6791 gc time: 36" "cpu time: 6797 real time: 6797 gc time: 44"))
("011011101" ("cpu time: 6653 real time: 6653 gc time: 47" "cpu time: 6654 real time: 6651 gc time: 40" "cpu time: 6667 real time: 6666 gc time: 43" "cpu time: 6650 real time: 6650 gc time: 40" "cpu time: 6650 real time: 6649 gc time: 40" "cpu time: 6630 real time: 6629 gc time: 40" "cpu time: 6644 real time: 6645 gc time: 40" "cpu time: 6664 real time: 6664 gc time: 40"))
("011011110" ("cpu time: 6724 real time: 6723 gc time: 40" "cpu time: 6843 real time: 6842 gc time: 40" "cpu time: 8170 real time: 8166 gc time: 43" "cpu time: 6797 real time: 6794 gc time: 43" "cpu time: 6757 real time: 6757 gc time: 46" "cpu time: 6843 real time: 6844 gc time: 43" "cpu time: 6730 real time: 6724 gc time: 43" "cpu time: 6726 real time: 6725 gc time: 40"))
("011011111" ("cpu time: 6843 real time: 6840 gc time: 40" "cpu time: 7090 real time: 7087 gc time: 43" "cpu time: 6646 real time: 6645 gc time: 43" "cpu time: 6657 real time: 6656 gc time: 40" "cpu time: 6667 real time: 6668 gc time: 43" "cpu time: 6650 real time: 6649 gc time: 40" "cpu time: 6654 real time: 6651 gc time: 43" "cpu time: 6677 real time: 6675 gc time: 40"))
("011100000" ("cpu time: 7573 real time: 7573 gc time: 40" "cpu time: 7434 real time: 7432 gc time: 40" "cpu time: 7436 real time: 7435 gc time: 47" "cpu time: 7443 real time: 7440 gc time: 40" "cpu time: 7434 real time: 7434 gc time: 40" "cpu time: 7437 real time: 7439 gc time: 40" "cpu time: 7440 real time: 7440 gc time: 40" "cpu time: 7437 real time: 7436 gc time: 40"))
("011100001" ("cpu time: 7197 real time: 7197 gc time: 37" "cpu time: 7187 real time: 7187 gc time: 40" "cpu time: 7213 real time: 7212 gc time: 40" "cpu time: 7240 real time: 7242 gc time: 40" "cpu time: 7210 real time: 7207 gc time: 43" "cpu time: 7216 real time: 7214 gc time: 40" "cpu time: 7213 real time: 7212 gc time: 40" "cpu time: 7334 real time: 7335 gc time: 40"))
("011100010" ("cpu time: 7340 real time: 7337 gc time: 40" "cpu time: 7336 real time: 7336 gc time: 36" "cpu time: 7330 real time: 7326 gc time: 43" "cpu time: 7327 real time: 7326 gc time: 40" "cpu time: 7330 real time: 7330 gc time: 44" "cpu time: 7443 real time: 7443 gc time: 37" "cpu time: 7350 real time: 7347 gc time: 40" "cpu time: 7374 real time: 7373 gc time: 40"))
("011100011" ("cpu time: 7274 real time: 7276 gc time: 37" "cpu time: 7486 real time: 7488 gc time: 40" "cpu time: 7313 real time: 7312 gc time: 40" "cpu time: 7287 real time: 7283 gc time: 40" "cpu time: 7290 real time: 7288 gc time: 40" "cpu time: 7280 real time: 7281 gc time: 40" "cpu time: 7393 real time: 7392 gc time: 43" "cpu time: 7294 real time: 7289 gc time: 40"))
("011100100" ("cpu time: 7313 real time: 7312 gc time: 40" "cpu time: 7350 real time: 7350 gc time: 43" "cpu time: 7310 real time: 7307 gc time: 40" "cpu time: 7350 real time: 7347 gc time: 40" "cpu time: 7313 real time: 7314 gc time: 40" "cpu time: 7310 real time: 7309 gc time: 43" "cpu time: 7343 real time: 7339 gc time: 44" "cpu time: 7324 real time: 7321 gc time: 43"))
("011100101" ("cpu time: 7374 real time: 7373 gc time: 43" "cpu time: 7250 real time: 7248 gc time: 43" "cpu time: 7273 real time: 7269 gc time: 47" "cpu time: 7274 real time: 7274 gc time: 43" "cpu time: 7310 real time: 7309 gc time: 43" "cpu time: 7340 real time: 7338 gc time: 43" "cpu time: 7263 real time: 7263 gc time: 40" "cpu time: 7287 real time: 7285 gc time: 43"))
("011100110" ("cpu time: 7286 real time: 7285 gc time: 44" "cpu time: 7283 real time: 7278 gc time: 44" "cpu time: 7290 real time: 7292 gc time: 43" "cpu time: 7280 real time: 7278 gc time: 44" "cpu time: 7263 real time: 7262 gc time: 40" "cpu time: 7460 real time: 7457 gc time: 43" "cpu time: 7283 real time: 7284 gc time: 40" "cpu time: 7280 real time: 7282 gc time: 40"))
("011100111" ("cpu time: 7257 real time: 7251 gc time: 44" "cpu time: 7217 real time: 7216 gc time: 40" "cpu time: 7230 real time: 7228 gc time: 40" "cpu time: 7253 real time: 7254 gc time: 43" "cpu time: 7230 real time: 7232 gc time: 40" "cpu time: 7233 real time: 7233 gc time: 43" "cpu time: 7260 real time: 7261 gc time: 40" "cpu time: 7217 real time: 7217 gc time: 40"))
("011101000" ("cpu time: 7443 real time: 7440 gc time: 40" "cpu time: 7453 real time: 7451 gc time: 37" "cpu time: 7440 real time: 7440 gc time: 40" "cpu time: 7440 real time: 7441 gc time: 40" "cpu time: 7433 real time: 7433 gc time: 40" "cpu time: 7440 real time: 7439 gc time: 40" "cpu time: 9143 real time: 9142 gc time: 40" "cpu time: 7430 real time: 7429 gc time: 36"))
("011101001" ("cpu time: 7200 real time: 7199 gc time: 40" "cpu time: 7217 real time: 7217 gc time: 40" "cpu time: 7207 real time: 7206 gc time: 40" "cpu time: 7207 real time: 7206 gc time: 40" "cpu time: 7220 real time: 7220 gc time: 40" "cpu time: 7350 real time: 7349 gc time: 40" "cpu time: 7263 real time: 7261 gc time: 43" "cpu time: 7207 real time: 7204 gc time: 40"))
("011101010" ("cpu time: 7357 real time: 7352 gc time: 40" "cpu time: 7340 real time: 7338 gc time: 40" "cpu time: 7350 real time: 7348 gc time: 40" "cpu time: 7336 real time: 7333 gc time: 40" "cpu time: 7344 real time: 7344 gc time: 40" "cpu time: 7340 real time: 7341 gc time: 44" "cpu time: 7347 real time: 7347 gc time: 40" "cpu time: 7330 real time: 7329 gc time: 40"))
("011101011" ("cpu time: 7290 real time: 7290 gc time: 40" "cpu time: 7410 real time: 7410 gc time: 40" "cpu time: 7290 real time: 7287 gc time: 40" "cpu time: 7273 real time: 7275 gc time: 40" "cpu time: 7380 real time: 7381 gc time: 40" "cpu time: 7397 real time: 7392 gc time: 40" "cpu time: 7283 real time: 7283 gc time: 40" "cpu time: 7377 real time: 7377 gc time: 40"))
("011101100" ("cpu time: 7327 real time: 7329 gc time: 40" "cpu time: 7324 real time: 7324 gc time: 43" "cpu time: 7353 real time: 7352 gc time: 43" "cpu time: 7330 real time: 7330 gc time: 40" "cpu time: 7340 real time: 7336 gc time: 40" "cpu time: 7327 real time: 7325 gc time: 44" "cpu time: 7344 real time: 7344 gc time: 40" "cpu time: 7316 real time: 7314 gc time: 40"))
("011101101" ("cpu time: 7293 real time: 7290 gc time: 40" "cpu time: 7293 real time: 7296 gc time: 44" "cpu time: 7277 real time: 7278 gc time: 43" "cpu time: 7280 real time: 7276 gc time: 40" "cpu time: 7274 real time: 7273 gc time: 40" "cpu time: 7294 real time: 7291 gc time: 40" "cpu time: 7280 real time: 7278 gc time: 43" "cpu time: 7330 real time: 7330 gc time: 40"))
("011101110" ("cpu time: 7297 real time: 7297 gc time: 40" "cpu time: 7300 real time: 7298 gc time: 40" "cpu time: 7304 real time: 7301 gc time: 44" "cpu time: 7270 real time: 7271 gc time: 44" "cpu time: 7310 real time: 7308 gc time: 40" "cpu time: 7283 real time: 7285 gc time: 40" "cpu time: 7296 real time: 7294 gc time: 44" "cpu time: 7290 real time: 7290 gc time: 40"))
("011101111" ("cpu time: 7243 real time: 7245 gc time: 40" "cpu time: 8060 real time: 8058 gc time: 47" "cpu time: 7290 real time: 7287 gc time: 43" "cpu time: 7270 real time: 7269 gc time: 43" "cpu time: 7243 real time: 7242 gc time: 40" "cpu time: 7240 real time: 7240 gc time: 40" "cpu time: 7240 real time: 7240 gc time: 44" "cpu time: 7240 real time: 7240 gc time: 40"))
("011110000" ("cpu time: 6880 real time: 6880 gc time: 37" "cpu time: 6933 real time: 6933 gc time: 40" "cpu time: 6917 real time: 6914 gc time: 40" "cpu time: 6903 real time: 6903 gc time: 40" "cpu time: 7764 real time: 7764 gc time: 39" "cpu time: 6907 real time: 6906 gc time: 40" "cpu time: 6890 real time: 6889 gc time: 40" "cpu time: 6914 real time: 6912 gc time: 40"))
("011110001" ("cpu time: 6940 real time: 6938 gc time: 40" "cpu time: 6914 real time: 6913 gc time: 40" "cpu time: 6987 real time: 6984 gc time: 40" "cpu time: 6910 real time: 6910 gc time: 40" "cpu time: 6900 real time: 6897 gc time: 40" "cpu time: 6950 real time: 6947 gc time: 40" "cpu time: 6920 real time: 6917 gc time: 40" "cpu time: 6907 real time: 6905 gc time: 40"))
("011110010" ("cpu time: 6887 real time: 6887 gc time: 40" "cpu time: 6883 real time: 6882 gc time: 40" "cpu time: 6917 real time: 6916 gc time: 44" "cpu time: 6910 real time: 6909 gc time: 40" "cpu time: 6884 real time: 6877 gc time: 40" "cpu time: 6906 real time: 6904 gc time: 40" "cpu time: 6903 real time: 6901 gc time: 40" "cpu time: 6883 real time: 6881 gc time: 40"))
("011110011" ("cpu time: 6777 real time: 6779 gc time: 40" "cpu time: 6820 real time: 6820 gc time: 40" "cpu time: 6770 real time: 6769 gc time: 40" "cpu time: 6770 real time: 6768 gc time: 36" "cpu time: 6780 real time: 6779 gc time: 40" "cpu time: 6770 real time: 6770 gc time: 40" "cpu time: 6783 real time: 6780 gc time: 40" "cpu time: 6770 real time: 6769 gc time: 40"))
("011110100" ("cpu time: 8177 real time: 8175 gc time: 40" "cpu time: 6763 real time: 6764 gc time: 43" "cpu time: 6803 real time: 6801 gc time: 44" "cpu time: 6776 real time: 6777 gc time: 44" "cpu time: 6770 real time: 6770 gc time: 40" "cpu time: 6800 real time: 6800 gc time: 40" "cpu time: 6813 real time: 6810 gc time: 40" "cpu time: 6794 real time: 6792 gc time: 40"))
("011110101" ("cpu time: 6873 real time: 6874 gc time: 47" "cpu time: 6633 real time: 6630 gc time: 40" "cpu time: 6630 real time: 6626 gc time: 40" "cpu time: 6683 real time: 6684 gc time: 40" "cpu time: 6697 real time: 6695 gc time: 40" "cpu time: 6620 real time: 6623 gc time: 40" "cpu time: 6773 real time: 6774 gc time: 40" "cpu time: 6650 real time: 6649 gc time: 40"))
("011110110" ("cpu time: 6716 real time: 6717 gc time: 43" "cpu time: 6740 real time: 6737 gc time: 40" "cpu time: 6717 real time: 6716 gc time: 40" "cpu time: 6850 real time: 6850 gc time: 44" "cpu time: 6720 real time: 6719 gc time: 40" "cpu time: 6717 real time: 6715 gc time: 43" "cpu time: 6920 real time: 6919 gc time: 40" "cpu time: 6720 real time: 6719 gc time: 40"))
("011110111" ("cpu time: 6656 real time: 6653 gc time: 40" "cpu time: 6663 real time: 6659 gc time: 40" "cpu time: 6666 real time: 6665 gc time: 40" "cpu time: 6650 real time: 6649 gc time: 40" "cpu time: 6674 real time: 6672 gc time: 40" "cpu time: 6673 real time: 6672 gc time: 43" "cpu time: 6653 real time: 6653 gc time: 40" "cpu time: 6650 real time: 6648 gc time: 40"))
("011111000" ("cpu time: 6924 real time: 6919 gc time: 40" "cpu time: 6907 real time: 6905 gc time: 40" "cpu time: 6907 real time: 6906 gc time: 40" "cpu time: 6917 real time: 6916 gc time: 40" "cpu time: 6896 real time: 6896 gc time: 43" "cpu time: 6903 real time: 6903 gc time: 40" "cpu time: 6917 real time: 6916 gc time: 40" "cpu time: 6900 real time: 6899 gc time: 40"))
("011111001" ("cpu time: 6916 real time: 6914 gc time: 40" "cpu time: 6914 real time: 6913 gc time: 40" "cpu time: 6910 real time: 6909 gc time: 40" "cpu time: 6913 real time: 6913 gc time: 40" "cpu time: 6930 real time: 6927 gc time: 40" "cpu time: 6933 real time: 6932 gc time: 40" "cpu time: 6903 real time: 6901 gc time: 37" "cpu time: 6934 real time: 6931 gc time: 40"))
("011111010" ("cpu time: 6960 real time: 6959 gc time: 40" "cpu time: 6950 real time: 6947 gc time: 40" "cpu time: 7990 real time: 7986 gc time: 40" "cpu time: 6900 real time: 6899 gc time: 40" "cpu time: 6893 real time: 6888 gc time: 40" "cpu time: 6907 real time: 6907 gc time: 40" "cpu time: 6927 real time: 6926 gc time: 40" "cpu time: 6893 real time: 6889 gc time: 40"))
("011111011" ("cpu time: 6790 real time: 6791 gc time: 44" "cpu time: 6770 real time: 6770 gc time: 40" "cpu time: 6800 real time: 6798 gc time: 40" "cpu time: 6810 real time: 6809 gc time: 40" "cpu time: 6783 real time: 6783 gc time: 48" "cpu time: 6787 real time: 6785 gc time: 40" "cpu time: 6770 real time: 6770 gc time: 37" "cpu time: 6776 real time: 6779 gc time: 40"))
("011111100" ("cpu time: 6797 real time: 6794 gc time: 43" "cpu time: 6846 real time: 6846 gc time: 43" "cpu time: 9350 real time: 9349 gc time: 40" "cpu time: 6960 real time: 6958 gc time: 40" "cpu time: 6807 real time: 6805 gc time: 43" "cpu time: 6780 real time: 6780 gc time: 43" "cpu time: 6957 real time: 6956 gc time: 44" "cpu time: 6807 real time: 6806 gc time: 40"))
("011111101" ("cpu time: 6637 real time: 6632 gc time: 40" "cpu time: 6667 real time: 6667 gc time: 43" "cpu time: 6643 real time: 6643 gc time: 43" "cpu time: 6633 real time: 6632 gc time: 43" "cpu time: 6647 real time: 6646 gc time: 40" "cpu time: 6634 real time: 6632 gc time: 43" "cpu time: 6653 real time: 6651 gc time: 44" "cpu time: 6653 real time: 6654 gc time: 40"))
("011111110" ("cpu time: 6720 real time: 6719 gc time: 43" "cpu time: 12513 real time: 12509 gc time: 48" "cpu time: 6830 real time: 6826 gc time: 40" "cpu time: 6703 real time: 6703 gc time: 44" "cpu time: 6763 real time: 6763 gc time: 43" "cpu time: 12583 real time: 12583 gc time: 43" "cpu time: 6734 real time: 6732 gc time: 40" "cpu time: 6730 real time: 6729 gc time: 40"))
("011111111" ("cpu time: 6677 real time: 6679 gc time: 40" "cpu time: 6680 real time: 6682 gc time: 44" "cpu time: 6670 real time: 6665 gc time: 40" "cpu time: 6680 real time: 6681 gc time: 40" "cpu time: 6816 real time: 6813 gc time: 40" "cpu time: 6676 real time: 6675 gc time: 40" "cpu time: 6667 real time: 6665 gc time: 43" "cpu time: 6693 real time: 6689 gc time: 40"))
("100000000" ("cpu time: 860 real time: 862 gc time: 40" "cpu time: 863 real time: 861 gc time: 37" "cpu time: 860 real time: 862 gc time: 40" "cpu time: 943 real time: 944 gc time: 40" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 884 real time: 879 gc time: 40" "cpu time: 873 real time: 869 gc time: 40" "cpu time: 864 real time: 865 gc time: 40"))
("100000001" ("cpu time: 866 real time: 863 gc time: 40" "cpu time: 874 real time: 870 gc time: 36" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 866 real time: 864 gc time: 43" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 860 real time: 860 gc time: 40" "cpu time: 863 real time: 863 gc time: 43"))
("100000010" ("cpu time: 860 real time: 860 gc time: 40" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 866 real time: 863 gc time: 40" "cpu time: 863 real time: 862 gc time: 37" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 870 real time: 866 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 867 real time: 864 gc time: 40"))
("100000011" ("cpu time: 864 real time: 862 gc time: 40" "cpu time: 884 real time: 878 gc time: 39" "cpu time: 860 real time: 860 gc time: 40" "cpu time: 866 real time: 864 gc time: 40" "cpu time: 863 real time: 863 gc time: 37" "cpu time: 866 real time: 864 gc time: 40" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 866 real time: 864 gc time: 40"))
("100000100" ("cpu time: 867 real time: 866 gc time: 40" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 860 real time: 862 gc time: 44" "cpu time: 857 real time: 859 gc time: 40" "cpu time: 867 real time: 863 gc time: 44" "cpu time: 863 real time: 861 gc time: 40" "cpu time: 860 real time: 860 gc time: 44"))
("100000101" ("cpu time: 870 real time: 867 gc time: 43" "cpu time: 866 real time: 868 gc time: 40" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 887 real time: 885 gc time: 43" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 867 real time: 865 gc time: 40" "cpu time: 867 real time: 866 gc time: 43"))
("100000110" ("cpu time: 873 real time: 872 gc time: 40" "cpu time: 874 real time: 874 gc time: 47" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 867 real time: 865 gc time: 43" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 883 real time: 881 gc time: 43" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 863 real time: 863 gc time: 43"))
("100000111" ("cpu time: 864 real time: 864 gc time: 40" "cpu time: 870 real time: 871 gc time: 47" "cpu time: 866 real time: 868 gc time: 44" "cpu time: 864 real time: 864 gc time: 40" "cpu time: 887 real time: 886 gc time: 44" "cpu time: 864 real time: 864 gc time: 43" "cpu time: 864 real time: 864 gc time: 43" "cpu time: 863 real time: 864 gc time: 40"))
("100001000" ("cpu time: 870 real time: 872 gc time: 37" "cpu time: 867 real time: 869 gc time: 40" "cpu time: 870 real time: 871 gc time: 37" "cpu time: 880 real time: 879 gc time: 43" "cpu time: 873 real time: 874 gc time: 37" "cpu time: 884 real time: 882 gc time: 40" "cpu time: 880 real time: 874 gc time: 40" "cpu time: 870 real time: 869 gc time: 40"))
("100001001" ("cpu time: 890 real time: 888 gc time: 50" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 877 real time: 873 gc time: 37" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 884 real time: 881 gc time: 36" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 873 real time: 872 gc time: 37" "cpu time: 870 real time: 871 gc time: 40"))
("100001010" ("cpu time: 873 real time: 871 gc time: 40" "cpu time: 870 real time: 872 gc time: 43" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 874 real time: 871 gc time: 40" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 873 real time: 871 gc time: 43" "cpu time: 877 real time: 873 gc time: 40"))
("100001011" ("cpu time: 883 real time: 879 gc time: 40" "cpu time: 870 real time: 872 gc time: 40" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 867 real time: 868 gc time: 37" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 870 real time: 872 gc time: 36" "cpu time: 877 real time: 873 gc time: 40"))
("100001100" ("cpu time: 873 real time: 872 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 877 real time: 873 gc time: 47" "cpu time: 890 real time: 890 gc time: 44" "cpu time: 887 real time: 883 gc time: 40" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 874 real time: 872 gc time: 44" "cpu time: 877 real time: 874 gc time: 43"))
("100001101" ("cpu time: 873 real time: 875 gc time: 40" "cpu time: 880 real time: 878 gc time: 43" "cpu time: 880 real time: 878 gc time: 43" "cpu time: 880 real time: 879 gc time: 44" "cpu time: 884 real time: 882 gc time: 44" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 880 real time: 878 gc time: 43" "cpu time: 873 real time: 873 gc time: 43"))
("100001110" ("cpu time: 880 real time: 878 gc time: 44" "cpu time: 880 real time: 877 gc time: 44" "cpu time: 876 real time: 877 gc time: 40" "cpu time: 883 real time: 881 gc time: 40" "cpu time: 877 real time: 876 gc time: 43" "cpu time: 880 real time: 879 gc time: 43" "cpu time: 887 real time: 885 gc time: 43" "cpu time: 877 real time: 876 gc time: 40"))
("100001111" ("cpu time: 893 real time: 893 gc time: 40" "cpu time: 877 real time: 876 gc time: 43" "cpu time: 886 real time: 887 gc time: 43" "cpu time: 876 real time: 875 gc time: 43" "cpu time: 873 real time: 873 gc time: 44" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 877 real time: 875 gc time: 44" "cpu time: 880 real time: 881 gc time: 47"))
("100010000" ("cpu time: 867 real time: 867 gc time: 36" "cpu time: 866 real time: 864 gc time: 40" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 860 real time: 860 gc time: 40" "cpu time: 870 real time: 868 gc time: 43" "cpu time: 860 real time: 862 gc time: 37" "cpu time: 860 real time: 861 gc time: 40"))
("100010001" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 883 real time: 880 gc time: 40" "cpu time: 864 real time: 864 gc time: 36" "cpu time: 883 real time: 883 gc time: 43" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 870 real time: 866 gc time: 40" "cpu time: 870 real time: 868 gc time: 40"))
("100010010" ("cpu time: 874 real time: 872 gc time: 40" "cpu time: 870 real time: 866 gc time: 50" "cpu time: 870 real time: 870 gc time: 46" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 867 real time: 868 gc time: 37"))
("100010011" ("cpu time: 867 real time: 866 gc time: 40" "cpu time: 877 real time: 879 gc time: 40" "cpu time: 870 real time: 866 gc time: 40" "cpu time: 870 real time: 866 gc time: 40" "cpu time: 866 real time: 866 gc time: 40" "cpu time: 866 real time: 868 gc time: 36" "cpu time: 864 real time: 865 gc time: 40" "cpu time: 874 real time: 871 gc time: 40"))
("100010100" ("cpu time: 877 real time: 877 gc time: 40" "cpu time: 867 real time: 863 gc time: 43" "cpu time: 863 real time: 862 gc time: 43" "cpu time: 873 real time: 876 gc time: 43" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 860 real time: 861 gc time: 43" "cpu time: 883 real time: 881 gc time: 44" "cpu time: 876 real time: 877 gc time: 40"))
("100010101" ("cpu time: 880 real time: 878 gc time: 43" "cpu time: 874 real time: 872 gc time: 40" "cpu time: 873 real time: 869 gc time: 40" "cpu time: 870 real time: 868 gc time: 44" "cpu time: 873 real time: 871 gc time: 43" "cpu time: 873 real time: 875 gc time: 50" "cpu time: 874 real time: 870 gc time: 44" "cpu time: 870 real time: 870 gc time: 40"))
("100010110" ("cpu time: 867 real time: 867 gc time: 40" "cpu time: 863 real time: 863 gc time: 40" "cpu time: 864 real time: 867 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 864 real time: 863 gc time: 43" "cpu time: 866 real time: 866 gc time: 40" "cpu time: 864 real time: 864 gc time: 40" "cpu time: 866 real time: 865 gc time: 43"))
("100010111" ("cpu time: 870 real time: 869 gc time: 43" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 870 real time: 870 gc time: 44" "cpu time: 877 real time: 878 gc time: 43" "cpu time: 870 real time: 867 gc time: 40" "cpu time: 874 real time: 874 gc time: 44" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 870 real time: 868 gc time: 40"))
("100011000" ("cpu time: 873 real time: 876 gc time: 40" "cpu time: 867 real time: 868 gc time: 40" "cpu time: 886 real time: 885 gc time: 40" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 873 real time: 877 gc time: 40" "cpu time: 870 real time: 868 gc time: 40" "cpu time: 877 real time: 873 gc time: 40" "cpu time: 867 real time: 868 gc time: 40"))
("100011001" ("cpu time: 886 real time: 883 gc time: 44" "cpu time: 877 real time: 879 gc time: 40" "cpu time: 880 real time: 881 gc time: 40" "cpu time: 890 real time: 886 gc time: 40" "cpu time: 884 real time: 880 gc time: 47" "cpu time: 1210 real time: 1208 gc time: 40" "cpu time: 876 real time: 874 gc time: 40" "cpu time: 876 real time: 876 gc time: 40"))
("100011010" ("cpu time: 876 real time: 875 gc time: 40" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 884 real time: 881 gc time: 36" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 877 real time: 875 gc time: 36" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 874 real time: 870 gc time: 40" "cpu time: 870 real time: 869 gc time: 40"))
("100011011" ("cpu time: 880 real time: 882 gc time: 40" "cpu time: 900 real time: 898 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 877 real time: 879 gc time: 37" "cpu time: 877 real time: 877 gc time: 40" "cpu time: 883 real time: 885 gc time: 40" "cpu time: 880 real time: 882 gc time: 43" "cpu time: 880 real time: 882 gc time: 37"))
("100011100" ("cpu time: 887 real time: 886 gc time: 40" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 874 real time: 874 gc time: 43" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 894 real time: 893 gc time: 40" "cpu time: 877 real time: 874 gc time: 43" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 880 real time: 876 gc time: 47"))
("100011101" ("cpu time: 886 real time: 885 gc time: 44" "cpu time: 880 real time: 880 gc time: 47" "cpu time: 880 real time: 876 gc time: 40" "cpu time: 877 real time: 877 gc time: 40" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 880 real time: 876 gc time: 43" "cpu time: 877 real time: 878 gc time: 40" "cpu time: 880 real time: 877 gc time: 40"))
("100011110" ("cpu time: 877 real time: 875 gc time: 44" "cpu time: 890 real time: 890 gc time: 44" "cpu time: 870 real time: 870 gc time: 37" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 877 real time: 873 gc time: 40" "cpu time: 877 real time: 875 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 887 real time: 886 gc time: 50"))
("100011111" ("cpu time: 877 real time: 874 gc time: 40" "cpu time: 883 real time: 883 gc time: 40" "cpu time: 887 real time: 886 gc time: 40" "cpu time: 894 real time: 893 gc time: 43" "cpu time: 883 real time: 885 gc time: 43" "cpu time: 877 real time: 873 gc time: 44" "cpu time: 887 real time: 883 gc time: 44" "cpu time: 877 real time: 878 gc time: 40"))
("100100000" ("cpu time: 864 real time: 859 gc time: 40" "cpu time: 864 real time: 863 gc time: 36" "cpu time: 867 real time: 865 gc time: 40" "cpu time: 866 real time: 863 gc time: 40" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 864 real time: 860 gc time: 40" "cpu time: 860 real time: 860 gc time: 40" "cpu time: 876 real time: 874 gc time: 43"))
("100100001" ("cpu time: 880 real time: 877 gc time: 40" "cpu time: 864 real time: 862 gc time: 37" "cpu time: 864 real time: 863 gc time: 37" "cpu time: 864 real time: 863 gc time: 40" "cpu time: 873 real time: 870 gc time: 50" "cpu time: 863 real time: 862 gc time: 44" "cpu time: 870 real time: 865 gc time: 44" "cpu time: 863 real time: 863 gc time: 40"))
("100100010" ("cpu time: 867 real time: 860 gc time: 40" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 870 real time: 868 gc time: 50" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 887 real time: 886 gc time: 37" "cpu time: 863 real time: 861 gc time: 40" "cpu time: 877 real time: 876 gc time: 53"))
("100100011" ("cpu time: 960 real time: 960 gc time: 36" "cpu time: 867 real time: 864 gc time: 40" "cpu time: 863 real time: 862 gc time: 40" "cpu time: 867 real time: 865 gc time: 40" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 874 real time: 874 gc time: 40" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 863 real time: 864 gc time: 40"))
("100100100" ("cpu time: 860 real time: 858 gc time: 40" "cpu time: 870 real time: 867 gc time: 40" "cpu time: 860 real time: 862 gc time: 40" "cpu time: 864 real time: 863 gc time: 43" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 863 real time: 862 gc time: 43" "cpu time: 856 real time: 859 gc time: 40" "cpu time: 860 real time: 859 gc time: 43"))
("100100101" ("cpu time: 870 real time: 868 gc time: 43" "cpu time: 863 real time: 865 gc time: 40" "cpu time: 884 real time: 880 gc time: 50" "cpu time: 890 real time: 888 gc time: 43" "cpu time: 866 real time: 866 gc time: 43" "cpu time: 864 real time: 865 gc time: 43" "cpu time: 873 real time: 871 gc time: 43" "cpu time: 867 real time: 870 gc time: 43"))
("100100110" ("cpu time: 870 real time: 868 gc time: 40" "cpu time: 873 real time: 875 gc time: 40" "cpu time: 884 real time: 883 gc time: 48" "cpu time: 864 real time: 865 gc time: 43" "cpu time: 866 real time: 865 gc time: 40" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 870 real time: 866 gc time: 44" "cpu time: 867 real time: 866 gc time: 43"))
("100100111" ("cpu time: 870 real time: 867 gc time: 44" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 863 real time: 866 gc time: 44" "cpu time: 866 real time: 865 gc time: 40" "cpu time: 864 real time: 865 gc time: 40" "cpu time: 870 real time: 872 gc time: 43" "cpu time: 877 real time: 878 gc time: 40" "cpu time: 866 real time: 866 gc time: 40"))
("100101000" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 877 real time: 871 gc time: 40" "cpu time: 877 real time: 873 gc time: 40" "cpu time: 873 real time: 871 gc time: 36" "cpu time: 876 real time: 875 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 866 real time: 868 gc time: 40"))
("100101001" ("cpu time: 870 real time: 869 gc time: 37" "cpu time: 877 real time: 875 gc time: 40" "cpu time: 870 real time: 871 gc time: 44" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 876 real time: 871 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 873 real time: 872 gc time: 40"))
("100101010" ("cpu time: 876 real time: 879 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 876 real time: 871 gc time: 40" "cpu time: 867 real time: 868 gc time: 40" "cpu time: 874 real time: 869 gc time: 40" "cpu time: 886 real time: 885 gc time: 40" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 870 real time: 869 gc time: 40"))
("100101011" ("cpu time: 870 real time: 871 gc time: 40" "cpu time: 873 real time: 871 gc time: 37" "cpu time: 890 real time: 889 gc time: 40" "cpu time: 867 real time: 870 gc time: 40" "cpu time: 873 real time: 872 gc time: 43" "cpu time: 870 real time: 871 gc time: 36" "cpu time: 877 real time: 876 gc time: 43" "cpu time: 873 real time: 872 gc time: 40"))
("100101100" ("cpu time: 873 real time: 869 gc time: 40" "cpu time: 880 real time: 878 gc time: 44" "cpu time: 877 real time: 874 gc time: 40" "cpu time: 873 real time: 872 gc time: 40" "cpu time: 896 real time: 896 gc time: 43" "cpu time: 870 real time: 872 gc time: 43" "cpu time: 883 real time: 879 gc time: 40" "cpu time: 873 real time: 871 gc time: 40"))
("100101101" ("cpu time: 887 real time: 885 gc time: 44" "cpu time: 880 real time: 879 gc time: 47" "cpu time: 884 real time: 882 gc time: 44" "cpu time: 876 real time: 876 gc time: 40" "cpu time: 1007 real time: 1005 gc time: 40" "cpu time: 877 real time: 877 gc time: 44" "cpu time: 877 real time: 878 gc time: 43" "cpu time: 877 real time: 877 gc time: 44"))
("100101110" ("cpu time: 873 real time: 873 gc time: 40" "cpu time: 880 real time: 882 gc time: 40" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 884 real time: 880 gc time: 40" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 880 real time: 877 gc time: 40" "cpu time: 880 real time: 879 gc time: 47"))
("100101111" ("cpu time: 873 real time: 873 gc time: 43" "cpu time: 877 real time: 874 gc time: 40" "cpu time: 880 real time: 877 gc time: 44" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 877 real time: 876 gc time: 44" "cpu time: 880 real time: 878 gc time: 40" "cpu time: 877 real time: 878 gc time: 40" "cpu time: 890 real time: 888 gc time: 53"))
("100110000" ("cpu time: 883 real time: 882 gc time: 36" "cpu time: 863 real time: 864 gc time: 37" "cpu time: 864 real time: 864 gc time: 40" "cpu time: 856 real time: 857 gc time: 37" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 863 real time: 862 gc time: 43" "cpu time: 856 real time: 856 gc time: 40" "cpu time: 857 real time: 859 gc time: 40"))
("100110001" ("cpu time: 873 real time: 871 gc time: 40" "cpu time: 863 real time: 865 gc time: 40" "cpu time: 867 real time: 865 gc time: 40" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 870 real time: 871 gc time: 40" "cpu time: 873 real time: 870 gc time: 43" "cpu time: 866 real time: 866 gc time: 40" "cpu time: 897 real time: 898 gc time: 40"))
("100110010" ("cpu time: 860 real time: 859 gc time: 36" "cpu time: 880 real time: 879 gc time: 40" "cpu time: 863 real time: 861 gc time: 41" "cpu time: 876 real time: 875 gc time: 50" "cpu time: 887 real time: 886 gc time: 36" "cpu time: 866 real time: 868 gc time: 40" "cpu time: 860 real time: 859 gc time: 40" "cpu time: 860 real time: 860 gc time: 40"))
("100110011" ("cpu time: 873 real time: 873 gc time: 40" "cpu time: 897 real time: 897 gc time: 44" "cpu time: 867 real time: 867 gc time: 40" "cpu time: 866 real time: 867 gc time: 40" "cpu time: 870 real time: 868 gc time: 37" "cpu time: 877 real time: 873 gc time: 40" "cpu time: 874 real time: 873 gc time: 40" "cpu time: 873 real time: 871 gc time: 40"))
("100110100" ("cpu time: 864 real time: 864 gc time: 43" "cpu time: 860 real time: 860 gc time: 40" "cpu time: 863 real time: 861 gc time: 40" "cpu time: 860 real time: 861 gc time: 40" "cpu time: 864 real time: 862 gc time: 40" "cpu time: 860 real time: 859 gc time: 44" "cpu time: 856 real time: 859 gc time: 43" "cpu time: 870 real time: 870 gc time: 43"))
("100110101" ("cpu time: 870 real time: 870 gc time: 40" "cpu time: 873 real time: 868 gc time: 43" "cpu time: 880 real time: 878 gc time: 44" "cpu time: 870 real time: 870 gc time: 40" "cpu time: 870 real time: 869 gc time: 40" "cpu time: 884 real time: 880 gc time: 36" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 870 real time: 870 gc time: 40"))
("100110110" ("cpu time: 883 real time: 881 gc time: 50" "cpu time: 864 real time: 864 gc time: 40" "cpu time: 860 real time: 860 gc time: 46" "cpu time: 863 real time: 860 gc time: 44" "cpu time: 863 real time: 863 gc time: 40" "cpu time: 860 real time: 861 gc time: 37" "cpu time: 870 real time: 870 gc time: 47" "cpu time: 863 real time: 862 gc time: 43"))
("100110111" ("cpu time: 867 real time: 863 gc time: 43" "cpu time: 867 real time: 867 gc time: 43" "cpu time: 870 real time: 871 gc time: 44" "cpu time: 867 real time: 867 gc time: 43" "cpu time: 870 real time: 866 gc time: 40" "cpu time: 880 real time: 879 gc time: 43" "cpu time: 873 real time: 869 gc time: 40" "cpu time: 940 real time: 943 gc time: 44"))
("100111000" ("cpu time: 887 real time: 886 gc time: 36" "cpu time: 877 real time: 873 gc time: 37" "cpu time: 873 real time: 873 gc time: 40" "cpu time: 870 real time: 867 gc time: 40" "cpu time: 870 real time: 873 gc time: 36" "cpu time: 874 real time: 871 gc time: 40" "cpu time: 863 real time: 864 gc time: 40" "cpu time: 874 real time: 868 gc time: 40"))
("100111001" ("cpu time: 877 real time: 876 gc time: 37" "cpu time: 876 real time: 875 gc time: 40" "cpu time: 887 real time: 886 gc time: 41" "cpu time: 870 real time: 872 gc time: 40" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 877 real time: 873 gc time: 40" "cpu time: 887 real time: 887 gc time: 44" "cpu time: 870 real time: 872 gc time: 40"))
("100111010" ("cpu time: 873 real time: 871 gc time: 40" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 880 real time: 879 gc time: 43" "cpu time: 877 real time: 874 gc time: 37" "cpu time: 870 real time: 870 gc time: 37" "cpu time: 867 real time: 866 gc time: 40" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 873 real time: 874 gc time: 40"))
("100111011" ("cpu time: 877 real time: 873 gc time: 37" "cpu time: 877 real time: 878 gc time: 40" "cpu time: 884 real time: 885 gc time: 40" "cpu time: 877 real time: 879 gc time: 40" "cpu time: 877 real time: 879 gc time: 50" "cpu time: 876 real time: 877 gc time: 40" "cpu time: 877 real time: 876 gc time: 40" "cpu time: 883 real time: 881 gc time: 40"))
("100111100" ("cpu time: 877 real time: 876 gc time: 40" "cpu time: 873 real time: 873 gc time: 44" "cpu time: 880 real time: 877 gc time: 43" "cpu time: 880 real time: 879 gc time: 43" "cpu time: 876 real time: 876 gc time: 40" "cpu time: 884 real time: 881 gc time: 40" "cpu time: 870 real time: 871 gc time: 43" "cpu time: 870 real time: 871 gc time: 43"))
("100111101" ("cpu time: 876 real time: 875 gc time: 40" "cpu time: 877 real time: 877 gc time: 40" "cpu time: 887 real time: 885 gc time: 43" "cpu time: 880 real time: 878 gc time: 47" "cpu time: 876 real time: 876 gc time: 43" "cpu time: 887 real time: 886 gc time: 40" "cpu time: 877 real time: 877 gc time: 47" "cpu time: 883 real time: 882 gc time: 43"))
("100111110" ("cpu time: 897 real time: 897 gc time: 40" "cpu time: 877 real time: 873 gc time: 44" "cpu time: 883 real time: 882 gc time: 40" "cpu time: 873 real time: 871 gc time: 40" "cpu time: 890 real time: 888 gc time: 43" "cpu time: 873 real time: 874 gc time: 40" "cpu time: 884 real time: 884 gc time: 44" "cpu time: 877 real time: 876 gc time: 43"))
("100111111" ("cpu time: 877 real time: 875 gc time: 40" "cpu time: 880 real time: 881 gc time: 43" "cpu time: 880 real time: 880 gc time: 40" "cpu time: 876 real time: 877 gc time: 40" "cpu time: 876 real time: 877 gc time: 40" "cpu time: 876 real time: 877 gc time: 40" "cpu time: 876 real time: 875 gc time: 43" "cpu time: 890 real time: 888 gc time: 40"))
("101000000" ("cpu time: 3893 real time: 3891 gc time: 40" "cpu time: 3970 real time: 3966 gc time: 40" "cpu time: 3913 real time: 3914 gc time: 40" "cpu time: 3940 real time: 3939 gc time: 40" "cpu time: 3910 real time: 3909 gc time: 40" "cpu time: 3900 real time: 3899 gc time: 37" "cpu time: 3890 real time: 3891 gc time: 40" "cpu time: 3910 real time: 3908 gc time: 39"))
("101000001" ("cpu time: 3993 real time: 3996 gc time: 40" "cpu time: 3987 real time: 3984 gc time: 40" "cpu time: 3987 real time: 3988 gc time: 40" "cpu time: 4007 real time: 4009 gc time: 40" "cpu time: 5060 real time: 5060 gc time: 40" "cpu time: 3993 real time: 3994 gc time: 40" "cpu time: 3987 real time: 3984 gc time: 40" "cpu time: 3966 real time: 3968 gc time: 40"))
("101000010" ("cpu time: 3933 real time: 3932 gc time: 40" "cpu time: 3920 real time: 3918 gc time: 40" "cpu time: 4016 real time: 4015 gc time: 39" "cpu time: 4000 real time: 4000 gc time: 40" "cpu time: 3904 real time: 3899 gc time: 43" "cpu time: 3940 real time: 3943 gc time: 40" "cpu time: 3950 real time: 3950 gc time: 40" "cpu time: 4037 real time: 4033 gc time: 40"))
("101000011" ("cpu time: 3946 real time: 3948 gc time: 40" "cpu time: 3913 real time: 3914 gc time: 37" "cpu time: 3927 real time: 3926 gc time: 40" "cpu time: 3903 real time: 3902 gc time: 40" "cpu time: 3937 real time: 3932 gc time: 40" "cpu time: 3973 real time: 3972 gc time: 40" "cpu time: 3943 real time: 3942 gc time: 40" "cpu time: 3903 real time: 3905 gc time: 40"))
("101000100" ("cpu time: 3970 real time: 3969 gc time: 43" "cpu time: 3960 real time: 3958 gc time: 40" "cpu time: 3987 real time: 3984 gc time: 43" "cpu time: 3957 real time: 3956 gc time: 43" "cpu time: 3974 real time: 3974 gc time: 43" "cpu time: 3967 real time: 3966 gc time: 40" "cpu time: 3987 real time: 3986 gc time: 43" "cpu time: 3960 real time: 3960 gc time: 44"))
("101000101" ("cpu time: 4090 real time: 4087 gc time: 43" "cpu time: 4093 real time: 4093 gc time: 40" "cpu time: 4080 real time: 4080 gc time: 43" "cpu time: 4080 real time: 4081 gc time: 43" "cpu time: 4113 real time: 4111 gc time: 40" "cpu time: 4104 real time: 4101 gc time: 43" "cpu time: 4076 real time: 4079 gc time: 44" "cpu time: 4083 real time: 4083 gc time: 43"))
("101000110" ("cpu time: 4030 real time: 4029 gc time: 44" "cpu time: 4020 real time: 4020 gc time: 40" "cpu time: 4034 real time: 4036 gc time: 40" "cpu time: 4023 real time: 4020 gc time: 40" "cpu time: 4027 real time: 4025 gc time: 40" "cpu time: 4023 real time: 4024 gc time: 43" "cpu time: 4023 real time: 4022 gc time: 40" "cpu time: 4026 real time: 4027 gc time: 40"))
("101000111" ("cpu time: 4070 real time: 4068 gc time: 46" "cpu time: 4090 real time: 4089 gc time: 43" "cpu time: 4110 real time: 4110 gc time: 43" "cpu time: 4070 real time: 4069 gc time: 40" "cpu time: 4114 real time: 4112 gc time: 43" "cpu time: 4070 real time: 4069 gc time: 43" "cpu time: 4070 real time: 4070 gc time: 44" "cpu time: 4070 real time: 4070 gc time: 43"))
("101001000" ("cpu time: 3973 real time: 3973 gc time: 36" "cpu time: 3940 real time: 3937 gc time: 40" "cpu time: 3943 real time: 3941 gc time: 40" "cpu time: 3903 real time: 3902 gc time: 37" "cpu time: 3937 real time: 3935 gc time: 40" "cpu time: 4060 real time: 4063 gc time: 36" "cpu time: 3897 real time: 3894 gc time: 40" "cpu time: 3954 real time: 3952 gc time: 43"))
("101001001" ("cpu time: 3990 real time: 3990 gc time: 40" "cpu time: 3997 real time: 3996 gc time: 40" "cpu time: 4007 real time: 4004 gc time: 40" "cpu time: 3980 real time: 3980 gc time: 36" "cpu time: 3983 real time: 3984 gc time: 40" "cpu time: 3974 real time: 3972 gc time: 40" "cpu time: 4010 real time: 4007 gc time: 40" "cpu time: 4003 real time: 4003 gc time: 40"))
("101001010" ("cpu time: 3966 real time: 3966 gc time: 40" "cpu time: 3910 real time: 3906 gc time: 37" "cpu time: 3970 real time: 3970 gc time: 43" "cpu time: 3997 real time: 3999 gc time: 40" "cpu time: 3917 real time: 3917 gc time: 40" "cpu time: 3910 real time: 3908 gc time: 44" "cpu time: 3940 real time: 3937 gc time: 43" "cpu time: 3906 real time: 3907 gc time: 40"))
("101001011" ("cpu time: 3900 real time: 3901 gc time: 40" "cpu time: 3947 real time: 3947 gc time: 48" "cpu time: 3974 real time: 3971 gc time: 40" "cpu time: 3944 real time: 3945 gc time: 40" "cpu time: 3960 real time: 3959 gc time: 40" "cpu time: 3947 real time: 3946 gc time: 40" "cpu time: 3953 real time: 3950 gc time: 40" "cpu time: 3943 real time: 3941 gc time: 40"))
("101001100" ("cpu time: 4020 real time: 4020 gc time: 43" "cpu time: 3994 real time: 3990 gc time: 40" "cpu time: 4017 real time: 4014 gc time: 40" "cpu time: 3987 real time: 3984 gc time: 40" "cpu time: 3970 real time: 3967 gc time: 43" "cpu time: 3990 real time: 3989 gc time: 40" "cpu time: 4014 real time: 4013 gc time: 44" "cpu time: 4016 real time: 4016 gc time: 43"))
("101001101" ("cpu time: 4096 real time: 4095 gc time: 43" "cpu time: 4094 real time: 4092 gc time: 43" "cpu time: 4090 real time: 4092 gc time: 40" "cpu time: 4087 real time: 4082 gc time: 43" "cpu time: 4086 real time: 4085 gc time: 37" "cpu time: 4080 real time: 4079 gc time: 44" "cpu time: 4087 real time: 4082 gc time: 44" "cpu time: 4083 real time: 4084 gc time: 40"))
("101001110" ("cpu time: 4030 real time: 4032 gc time: 43" "cpu time: 4037 real time: 4033 gc time: 43" "cpu time: 4030 real time: 4028 gc time: 44" "cpu time: 4033 real time: 4031 gc time: 40" "cpu time: 4044 real time: 4044 gc time: 43" "cpu time: 4037 real time: 4037 gc time: 37" "cpu time: 4030 real time: 4030 gc time: 43" "cpu time: 4034 real time: 4035 gc time: 44"))
("101001111" ("cpu time: 4077 real time: 4073 gc time: 43" "cpu time: 4083 real time: 4084 gc time: 40" "cpu time: 4087 real time: 4088 gc time: 40" "cpu time: 4076 real time: 4076 gc time: 43" "cpu time: 4074 real time: 4072 gc time: 40" "cpu time: 4096 real time: 4096 gc time: 43" "cpu time: 4080 real time: 4079 gc time: 43" "cpu time: 4077 real time: 4074 gc time: 43"))
("101010000" ("cpu time: 3893 real time: 3890 gc time: 36" "cpu time: 3940 real time: 3937 gc time: 40" "cpu time: 3930 real time: 3929 gc time: 37" "cpu time: 3936 real time: 3932 gc time: 40" "cpu time: 3894 real time: 3892 gc time: 43" "cpu time: 3896 real time: 3894 gc time: 40" "cpu time: 3970 real time: 3969 gc time: 40" "cpu time: 3913 real time: 3912 gc time: 40"))
("101010001" ("cpu time: 3823 real time: 3825 gc time: 37" "cpu time: 3863 real time: 3867 gc time: 36" "cpu time: 3847 real time: 3845 gc time: 40" "cpu time: 3826 real time: 3825 gc time: 40" "cpu time: 3823 real time: 3822 gc time: 43" "cpu time: 3830 real time: 3827 gc time: 40" "cpu time: 3833 real time: 3832 gc time: 40" "cpu time: 3840 real time: 3836 gc time: 40"))
("101010010" ("cpu time: 3820 real time: 3817 gc time: 40" "cpu time: 3810 real time: 3810 gc time: 40" "cpu time: 3833 real time: 3835 gc time: 40" "cpu time: 3810 real time: 3809 gc time: 40" "cpu time: 3803 real time: 3802 gc time: 40" "cpu time: 3796 real time: 3795 gc time: 37" "cpu time: 3800 real time: 3799 gc time: 40" "cpu time: 3797 real time: 3794 gc time: 40"))
("101010011" ("cpu time: 3860 real time: 3860 gc time: 37" "cpu time: 3856 real time: 3854 gc time: 40" "cpu time: 3924 real time: 3924 gc time: 44" "cpu time: 3873 real time: 3872 gc time: 40" "cpu time: 3877 real time: 3877 gc time: 40" "cpu time: 3857 real time: 3855 gc time: 40" "cpu time: 3850 real time: 3851 gc time: 40" "cpu time: 3880 real time: 3879 gc time: 37"))
("101010100" ("cpu time: 3896 real time: 3896 gc time: 43" "cpu time: 5027 real time: 5024 gc time: 40" "cpu time: 3884 real time: 3884 gc time: 43" "cpu time: 3883 real time: 3882 gc time: 40" "cpu time: 3893 real time: 3889 gc time: 43" "cpu time: 3880 real time: 3878 gc time: 40" "cpu time: 3900 real time: 3898 gc time: 44" "cpu time: 3900 real time: 3898 gc time: 40"))
("101010101" ("cpu time: 3817 real time: 3815 gc time: 43" "cpu time: 3834 real time: 3832 gc time: 40" "cpu time: 3800 real time: 3802 gc time: 48" "cpu time: 4137 real time: 4136 gc time: 46" "cpu time: 3800 real time: 3800 gc time: 40" "cpu time: 3814 real time: 3812 gc time: 43" "cpu time: 3833 real time: 3832 gc time: 40" "cpu time: 3817 real time: 3816 gc time: 43"))
("101010110" ("cpu time: 3790 real time: 3788 gc time: 44" "cpu time: 3777 real time: 3778 gc time: 40" "cpu time: 3814 real time: 3813 gc time: 40" "cpu time: 3783 real time: 3782 gc time: 40" "cpu time: 3790 real time: 3786 gc time: 43" "cpu time: 3823 real time: 3820 gc time: 40" "cpu time: 3764 real time: 3765 gc time: 43" "cpu time: 3800 real time: 3800 gc time: 40"))
("101010111" ("cpu time: 4094 real time: 4093 gc time: 44" "cpu time: 3797 real time: 3795 gc time: 37" "cpu time: 3800 real time: 3800 gc time: 40" "cpu time: 3813 real time: 3816 gc time: 40" "cpu time: 3817 real time: 3818 gc time: 40" "cpu time: 3923 real time: 3920 gc time: 44" "cpu time: 3824 real time: 3823 gc time: 43" "cpu time: 3806 real time: 3805 gc time: 43"))
("101011000" ("cpu time: 3904 real time: 3904 gc time: 40" "cpu time: 3947 real time: 3947 gc time: 40" "cpu time: 3814 real time: 3810 gc time: 40" "cpu time: 3900 real time: 3897 gc time: 40" "cpu time: 3907 real time: 3904 gc time: 40" "cpu time: 3934 real time: 3935 gc time: 40" "cpu time: 3806 real time: 3805 gc time: 40" "cpu time: 3936 real time: 3936 gc time: 40"))
("101011001" ("cpu time: 3853 real time: 3854 gc time: 40" "cpu time: 3833 real time: 3833 gc time: 40" "cpu time: 3844 real time: 3842 gc time: 40" "cpu time: 3833 real time: 3828 gc time: 36" "cpu time: 3837 real time: 3836 gc time: 40" "cpu time: 3836 real time: 3838 gc time: 40" "cpu time: 3847 real time: 3847 gc time: 40" "cpu time: 3840 real time: 3839 gc time: 39"))
("101011010" ("cpu time: 3820 real time: 3818 gc time: 40" "cpu time: 3810 real time: 3808 gc time: 40" "cpu time: 3813 real time: 3813 gc time: 43" "cpu time: 3870 real time: 3867 gc time: 44" "cpu time: 3813 real time: 3811 gc time: 40" "cpu time: 3960 real time: 3959 gc time: 40" "cpu time: 3817 real time: 3817 gc time: 40" "cpu time: 3820 real time: 3818 gc time: 36"))
("101011011" ("cpu time: 3866 real time: 3864 gc time: 40" "cpu time: 3870 real time: 3871 gc time: 40" "cpu time: 3867 real time: 3865 gc time: 40" "cpu time: 3953 real time: 3953 gc time: 40" "cpu time: 3863 real time: 3862 gc time: 43" "cpu time: 3867 real time: 3868 gc time: 43" "cpu time: 3873 real time: 3874 gc time: 40" "cpu time: 3870 real time: 3870 gc time: 43"))
("101011100" ("cpu time: 3900 real time: 3900 gc time: 43" "cpu time: 3890 real time: 3892 gc time: 43" "cpu time: 3897 real time: 3896 gc time: 40" "cpu time: 3890 real time: 3887 gc time: 40" "cpu time: 3903 real time: 3902 gc time: 40" "cpu time: 3893 real time: 3892 gc time: 40" "cpu time: 4040 real time: 4037 gc time: 43" "cpu time: 3890 real time: 3891 gc time: 40"))
("101011101" ("cpu time: 3813 real time: 3812 gc time: 40" "cpu time: 3940 real time: 3937 gc time: 43" "cpu time: 3806 real time: 3809 gc time: 43" "cpu time: 3810 real time: 3809 gc time: 43" "cpu time: 3810 real time: 3810 gc time: 43" "cpu time: 3814 real time: 3811 gc time: 43" "cpu time: 4550 real time: 4549 gc time: 40" "cpu time: 3834 real time: 3833 gc time: 44"))
("101011110" ("cpu time: 3814 real time: 3814 gc time: 40" "cpu time: 3793 real time: 3790 gc time: 40" "cpu time: 3810 real time: 3809 gc time: 40" "cpu time: 3780 real time: 3782 gc time: 43" "cpu time: 3796 real time: 3794 gc time: 40" "cpu time: 3787 real time: 3787 gc time: 40" "cpu time: 3800 real time: 3798 gc time: 43" "cpu time: 3793 real time: 3794 gc time: 40"))
("101011111" ("cpu time: 3900 real time: 3900 gc time: 44" "cpu time: 3813 real time: 3812 gc time: 40" "cpu time: 3810 real time: 3809 gc time: 40" "cpu time: 3797 real time: 3796 gc time: 44" "cpu time: 3807 real time: 3805 gc time: 43" "cpu time: 3823 real time: 3819 gc time: 40" "cpu time: 3807 real time: 3805 gc time: 40" "cpu time: 3807 real time: 3807 gc time: 43"))
("101100000" ("cpu time: 3887 real time: 3886 gc time: 36" "cpu time: 3893 real time: 3893 gc time: 40" "cpu time: 3897 real time: 3892 gc time: 40" "cpu time: 3890 real time: 3890 gc time: 40" "cpu time: 3930 real time: 3929 gc time: 40" "cpu time: 3903 real time: 3902 gc time: 40" "cpu time: 3893 real time: 3890 gc time: 40" "cpu time: 3920 real time: 3915 gc time: 40"))
("101100001" ("cpu time: 3987 real time: 3985 gc time: 40" "cpu time: 3967 real time: 3967 gc time: 41" "cpu time: 3987 real time: 3984 gc time: 40" "cpu time: 3977 real time: 3976 gc time: 40" "cpu time: 3976 real time: 3978 gc time: 40" "cpu time: 3983 real time: 3986 gc time: 40" "cpu time: 3983 real time: 3981 gc time: 40" "cpu time: 3990 real time: 3988 gc time: 40"))
("101100010" ("cpu time: 3897 real time: 3897 gc time: 37" "cpu time: 3940 real time: 3940 gc time: 40" "cpu time: 3910 real time: 3906 gc time: 40" "cpu time: 3953 real time: 3952 gc time: 40" "cpu time: 3913 real time: 3914 gc time: 40" "cpu time: 3906 real time: 3904 gc time: 40" "cpu time: 3903 real time: 3903 gc time: 40" "cpu time: 3900 real time: 3901 gc time: 40"))
("101100011" ("cpu time: 3903 real time: 3902 gc time: 40" "cpu time: 3907 real time: 3905 gc time: 40" "cpu time: 3917 real time: 3915 gc time: 36" "cpu time: 3900 real time: 3899 gc time: 40" "cpu time: 3924 real time: 3921 gc time: 40" "cpu time: 3913 real time: 3909 gc time: 37" "cpu time: 3900 real time: 3900 gc time: 40" "cpu time: 3903 real time: 3901 gc time: 40"))
("101100100" ("cpu time: 3974 real time: 3974 gc time: 40" "cpu time: 3973 real time: 3975 gc time: 40" "cpu time: 3960 real time: 3962 gc time: 43" "cpu time: 3960 real time: 3960 gc time: 44" "cpu time: 3980 real time: 3977 gc time: 40" "cpu time: 3976 real time: 3978 gc time: 40" "cpu time: 3960 real time: 3959 gc time: 40" "cpu time: 3984 real time: 3982 gc time: 43"))
("101100101" ("cpu time: 4090 real time: 4087 gc time: 40" "cpu time: 4076 real time: 4078 gc time: 41" "cpu time: 4097 real time: 4095 gc time: 44" "cpu time: 4084 real time: 4082 gc time: 43" "cpu time: 4080 real time: 4077 gc time: 43" "cpu time: 4077 real time: 4074 gc time: 44" "cpu time: 4096 real time: 4095 gc time: 40" "cpu time: 4080 real time: 4082 gc time: 43"))
("101100110" ("cpu time: 4020 real time: 4021 gc time: 43" "cpu time: 4024 real time: 4024 gc time: 40" "cpu time: 4030 real time: 4027 gc time: 43" "cpu time: 4024 real time: 4022 gc time: 44" "cpu time: 4027 real time: 4025 gc time: 40" "cpu time: 4023 real time: 4022 gc time: 40" "cpu time: 4060 real time: 4058 gc time: 40" "cpu time: 4036 real time: 4036 gc time: 40"))
("101100111" ("cpu time: 4067 real time: 4066 gc time: 40" "cpu time: 4073 real time: 4072 gc time: 40" "cpu time: 4087 real time: 4085 gc time: 40" "cpu time: 4070 real time: 4068 gc time: 40" "cpu time: 4067 real time: 4066 gc time: 40" "cpu time: 4070 real time: 4069 gc time: 40" "cpu time: 4067 real time: 4066 gc time: 40" "cpu time: 4140 real time: 4142 gc time: 43"))
("101101000" ("cpu time: 3937 real time: 3935 gc time: 40" "cpu time: 4020 real time: 4016 gc time: 44" "cpu time: 3924 real time: 3924 gc time: 40" "cpu time: 3913 real time: 3915 gc time: 44" "cpu time: 3944 real time: 3944 gc time: 40" "cpu time: 3977 real time: 3980 gc time: 36" "cpu time: 3927 real time: 3924 gc time: 40" "cpu time: 3910 real time: 3909 gc time: 43"))
("101101001" ("cpu time: 3983 real time: 3983 gc time: 40" "cpu time: 3990 real time: 3986 gc time: 40" "cpu time: 3993 real time: 3990 gc time: 40" "cpu time: 3987 real time: 3984 gc time: 40" "cpu time: 3983 real time: 3985 gc time: 40" "cpu time: 4003 real time: 4000 gc time: 40" "cpu time: 3997 real time: 3994 gc time: 40" "cpu time: 3987 real time: 3989 gc time: 40"))
("101101010" ("cpu time: 3970 real time: 3966 gc time: 40" "cpu time: 3920 real time: 3920 gc time: 40" "cpu time: 3916 real time: 3916 gc time: 40" "cpu time: 3934 real time: 3930 gc time: 40" "cpu time: 4013 real time: 4011 gc time: 40" "cpu time: 3910 real time: 3908 gc time: 40" "cpu time: 3907 real time: 3908 gc time: 40" "cpu time: 3910 real time: 3911 gc time: 40"))
("101101011" ("cpu time: 3913 real time: 3910 gc time: 40" "cpu time: 3973 real time: 3972 gc time: 53" "cpu time: 3910 real time: 3908 gc time: 40" "cpu time: 3943 real time: 3943 gc time: 40" "cpu time: 3950 real time: 3949 gc time: 37" "cpu time: 3946 real time: 3945 gc time: 40" "cpu time: 3917 real time: 3919 gc time: 40" "cpu time: 3916 real time: 3917 gc time: 40"))
("101101100" ("cpu time: 3980 real time: 3976 gc time: 40" "cpu time: 4007 real time: 4004 gc time: 40" "cpu time: 3970 real time: 3969 gc time: 40" "cpu time: 3967 real time: 3964 gc time: 50" "cpu time: 4050 real time: 4050 gc time: 40" "cpu time: 4020 real time: 4019 gc time: 40" "cpu time: 3994 real time: 3991 gc time: 43" "cpu time: 4027 real time: 4028 gc time: 40"))
("101101101" ("cpu time: 4087 real time: 4087 gc time: 40" "cpu time: 4083 real time: 4080 gc time: 40" "cpu time: 4090 real time: 4087 gc time: 40" "cpu time: 4090 real time: 4089 gc time: 40" "cpu time: 4090 real time: 4091 gc time: 44" "cpu time: 4087 real time: 4084 gc time: 43" "cpu time: 4087 real time: 4088 gc time: 44" "cpu time: 4093 real time: 4093 gc time: 44"))
("101101110" ("cpu time: 4040 real time: 4038 gc time: 43" "cpu time: 4033 real time: 4031 gc time: 43" "cpu time: 4030 real time: 4028 gc time: 40" "cpu time: 4030 real time: 4029 gc time: 43" "cpu time: 4030 real time: 4029 gc time: 43" "cpu time: 4094 real time: 4093 gc time: 40" "cpu time: 4030 real time: 4028 gc time: 44" "cpu time: 4047 real time: 4045 gc time: 40"))
("101101111" ("cpu time: 4077 real time: 4073 gc time: 43" "cpu time: 4080 real time: 4078 gc time: 40" "cpu time: 4077 real time: 4077 gc time: 43" "cpu time: 4070 real time: 4072 gc time: 40" "cpu time: 4083 real time: 4080 gc time: 43" "cpu time: 4073 real time: 4073 gc time: 40" "cpu time: 4077 real time: 4077 gc time: 40" "cpu time: 4077 real time: 4075 gc time: 43"))
("101110000" ("cpu time: 3930 real time: 3928 gc time: 37" "cpu time: 3817 real time: 3817 gc time: 43" "cpu time: 3933 real time: 3931 gc time: 40" "cpu time: 3947 real time: 3947 gc time: 37" "cpu time: 3934 real time: 3933 gc time: 36" "cpu time: 3930 real time: 3930 gc time: 40" "cpu time: 3893 real time: 3893 gc time: 40" "cpu time: 3940 real time: 3940 gc time: 40"))
("101110001" ("cpu time: 3830 real time: 3828 gc time: 40" "cpu time: 3847 real time: 3843 gc time: 40" "cpu time: 3847 real time: 3842 gc time: 40" "cpu time: 3826 real time: 3827 gc time: 40" "cpu time: 3830 real time: 3830 gc time: 40" "cpu time: 3863 real time: 3863 gc time: 40" "cpu time: 3830 real time: 3831 gc time: 40" "cpu time: 3830 real time: 3830 gc time: 36"))
("101110010" ("cpu time: 3800 real time: 3799 gc time: 40" "cpu time: 3810 real time: 3811 gc time: 37" "cpu time: 3817 real time: 3816 gc time: 40" "cpu time: 3800 real time: 3800 gc time: 36" "cpu time: 3816 real time: 3815 gc time: 40" "cpu time: 3934 real time: 3933 gc time: 40" "cpu time: 3813 real time: 3812 gc time: 40" "cpu time: 3824 real time: 3823 gc time: 40"))
("101110011" ("cpu time: 3867 real time: 3866 gc time: 40" "cpu time: 3867 real time: 3864 gc time: 40" "cpu time: 3864 real time: 3861 gc time: 37" "cpu time: 3860 real time: 3856 gc time: 40" "cpu time: 3863 real time: 3861 gc time: 40" "cpu time: 3856 real time: 3854 gc time: 40" "cpu time: 3864 real time: 3862 gc time: 40" "cpu time: 3866 real time: 3864 gc time: 40"))
("101110100" ("cpu time: 3893 real time: 3894 gc time: 47" "cpu time: 3933 real time: 3932 gc time: 40" "cpu time: 3887 real time: 3886 gc time: 46" "cpu time: 3884 real time: 3881 gc time: 44" "cpu time: 3894 real time: 3890 gc time: 44" "cpu time: 3876 real time: 3880 gc time: 40" "cpu time: 3880 real time: 3879 gc time: 40" "cpu time: 3894 real time: 3892 gc time: 40"))
("101110101" ("cpu time: 3844 real time: 3845 gc time: 44" "cpu time: 3810 real time: 3807 gc time: 43" "cpu time: 3833 real time: 3834 gc time: 40" "cpu time: 3880 real time: 3880 gc time: 43" "cpu time: 3847 real time: 3845 gc time: 40" "cpu time: 3833 real time: 3831 gc time: 40" "cpu time: 3803 real time: 3803 gc time: 40" "cpu time: 3803 real time: 3802 gc time: 40"))
("101110110" ("cpu time: 3777 real time: 3772 gc time: 43" "cpu time: 3777 real time: 3777 gc time: 43" "cpu time: 3774 real time: 3772 gc time: 40" "cpu time: 3770 real time: 3769 gc time: 40" "cpu time: 3860 real time: 3859 gc time: 40" "cpu time: 3794 real time: 3793 gc time: 40" "cpu time: 3770 real time: 3767 gc time: 44" "cpu time: 3773 real time: 3770 gc time: 43"))
("101110111" ("cpu time: 3800 real time: 3801 gc time: 43" "cpu time: 3806 real time: 3803 gc time: 43" "cpu time: 3817 real time: 3815 gc time: 44" "cpu time: 3820 real time: 3818 gc time: 40" "cpu time: 3844 real time: 3844 gc time: 48" "cpu time: 3800 real time: 3799 gc time: 44" "cpu time: 3857 real time: 3858 gc time: 40" "cpu time: 3813 real time: 3811 gc time: 44"))
("101111000" ("cpu time: 3963 real time: 3962 gc time: 40" "cpu time: 3833 real time: 3832 gc time: 40" "cpu time: 3944 real time: 3944 gc time: 40" "cpu time: 3900 real time: 3897 gc time: 36" "cpu time: 3970 real time: 3967 gc time: 40" "cpu time: 3880 real time: 3878 gc time: 40" "cpu time: 3940 real time: 3938 gc time: 40" "cpu time: 3837 real time: 3836 gc time: 40"))
("101111001" ("cpu time: 3873 real time: 3869 gc time: 40" "cpu time: 3844 real time: 3841 gc time: 40" "cpu time: 3844 real time: 3842 gc time: 37" "cpu time: 3834 real time: 3834 gc time: 40" "cpu time: 3840 real time: 3839 gc time: 40" "cpu time: 3860 real time: 3857 gc time: 40" "cpu time: 3840 real time: 3838 gc time: 36" "cpu time: 3830 real time: 3831 gc time: 37"))
("101111010" ("cpu time: 3817 real time: 3818 gc time: 37" "cpu time: 3824 real time: 3823 gc time: 40" "cpu time: 3817 real time: 3816 gc time: 37" "cpu time: 3820 real time: 3818 gc time: 40" "cpu time: 3823 real time: 3826 gc time: 40" "cpu time: 3830 real time: 3832 gc time: 40" "cpu time: 3826 real time: 3825 gc time: 37" "cpu time: 3814 real time: 3815 gc time: 43"))
("101111011" ("cpu time: 3897 real time: 3896 gc time: 40" "cpu time: 3936 real time: 3934 gc time: 40" "cpu time: 3863 real time: 3863 gc time: 43" "cpu time: 3863 real time: 3861 gc time: 40" "cpu time: 3870 real time: 3869 gc time: 37" "cpu time: 3887 real time: 3884 gc time: 40" "cpu time: 3866 real time: 3864 gc time: 40" "cpu time: 3874 real time: 3873 gc time: 37"))
("101111100" ("cpu time: 3893 real time: 3890 gc time: 46" "cpu time: 3890 real time: 3889 gc time: 40" "cpu time: 3890 real time: 3892 gc time: 43" "cpu time: 3887 real time: 3886 gc time: 43" "cpu time: 3897 real time: 3895 gc time: 40" "cpu time: 3890 real time: 3892 gc time: 40" "cpu time: 3893 real time: 3892 gc time: 40" "cpu time: 3893 real time: 3891 gc time: 40"))
("101111101" ("cpu time: 3820 real time: 3817 gc time: 44" "cpu time: 3820 real time: 3818 gc time: 47" "cpu time: 3813 real time: 3814 gc time: 44" "cpu time: 3810 real time: 3809 gc time: 44" "cpu time: 3826 real time: 3825 gc time: 40" "cpu time: 3814 real time: 3812 gc time: 43" "cpu time: 3820 real time: 3818 gc time: 44" "cpu time: 3884 real time: 3884 gc time: 43"))
("101111110" ("cpu time: 3777 real time: 3775 gc time: 44" "cpu time: 3790 real time: 3790 gc time: 40" "cpu time: 3777 real time: 3774 gc time: 43" "cpu time: 3770 real time: 3770 gc time: 40" "cpu time: 3787 real time: 3783 gc time: 40" "cpu time: 3790 real time: 3788 gc time: 44" "cpu time: 3780 real time: 3779 gc time: 40" "cpu time: 3777 real time: 3776 gc time: 43"))
("101111111" ("cpu time: 3877 real time: 3874 gc time: 43" "cpu time: 3817 real time: 3813 gc time: 43" "cpu time: 3890 real time: 3891 gc time: 44" "cpu time: 3826 real time: 3827 gc time: 40" "cpu time: 3814 real time: 3811 gc time: 43" "cpu time: 3820 real time: 3817 gc time: 43" "cpu time: 3803 real time: 3802 gc time: 44" "cpu time: 3810 real time: 3809 gc time: 43"))
("110000000" ("cpu time: 4247 real time: 4245 gc time: 41" "cpu time: 4177 real time: 4178 gc time: 40" "cpu time: 4116 real time: 4117 gc time: 40" "cpu time: 4120 real time: 4116 gc time: 40" "cpu time: 4120 real time: 4118 gc time: 40" "cpu time: 4120 real time: 4117 gc time: 40" "cpu time: 4120 real time: 4119 gc time: 37" "cpu time: 4127 real time: 4123 gc time: 40"))
("110000001" ("cpu time: 4250 real time: 4248 gc time: 40" "cpu time: 4250 real time: 4251 gc time: 41" "cpu time: 4260 real time: 4255 gc time: 40" "cpu time: 4254 real time: 4251 gc time: 40" "cpu time: 4277 real time: 4277 gc time: 43" "cpu time: 4253 real time: 4252 gc time: 36" "cpu time: 4243 real time: 4244 gc time: 44" "cpu time: 4247 real time: 4247 gc time: 39"))
("110000010" ("cpu time: 4100 real time: 4097 gc time: 40" "cpu time: 4136 real time: 4134 gc time: 40" "cpu time: 4530 real time: 4529 gc time: 37" "cpu time: 4087 real time: 4086 gc time: 40" "cpu time: 4093 real time: 4090 gc time: 40" "cpu time: 4100 real time: 4100 gc time: 37" "cpu time: 4117 real time: 4114 gc time: 36" "cpu time: 4090 real time: 4091 gc time: 40"))
("110000011" ("cpu time: 4107 real time: 4101 gc time: 40" "cpu time: 4206 real time: 4205 gc time: 43" "cpu time: 4106 real time: 4104 gc time: 40" "cpu time: 4253 real time: 4250 gc time: 40" "cpu time: 4106 real time: 4105 gc time: 40" "cpu time: 4107 real time: 4105 gc time: 40" "cpu time: 4103 real time: 4101 gc time: 40" "cpu time: 4110 real time: 4110 gc time: 40"))
("110000100" ("cpu time: 4173 real time: 4173 gc time: 40" "cpu time: 4157 real time: 4155 gc time: 40" "cpu time: 4170 real time: 4169 gc time: 43" "cpu time: 4303 real time: 4302 gc time: 40" "cpu time: 4156 real time: 4156 gc time: 43" "cpu time: 4140 real time: 4140 gc time: 44" "cpu time: 4143 real time: 4145 gc time: 43" "cpu time: 4160 real time: 4161 gc time: 43"))
("110000101" ("cpu time: 4290 real time: 4285 gc time: 40" "cpu time: 4220 real time: 4217 gc time: 40" "cpu time: 4226 real time: 4224 gc time: 40" "cpu time: 4237 real time: 4235 gc time: 44" "cpu time: 4207 real time: 4207 gc time: 40" "cpu time: 4223 real time: 4219 gc time: 43" "cpu time: 4220 real time: 4219 gc time: 40" "cpu time: 4217 real time: 4215 gc time: 43"))
("110000110" ("cpu time: 4133 real time: 4133 gc time: 40" "cpu time: 4124 real time: 4126 gc time: 40" "cpu time: 4170 real time: 4170 gc time: 40" "cpu time: 4147 real time: 4148 gc time: 40" "cpu time: 4140 real time: 4139 gc time: 43" "cpu time: 4143 real time: 4142 gc time: 40" "cpu time: 4136 real time: 4136 gc time: 40" "cpu time: 4137 real time: 4137 gc time: 40"))
("110000111" ("cpu time: 4246 real time: 4242 gc time: 43" "cpu time: 4173 real time: 4174 gc time: 43" "cpu time: 4180 real time: 4180 gc time: 40" "cpu time: 4173 real time: 4175 gc time: 47" "cpu time: 4183 real time: 4181 gc time: 40" "cpu time: 4194 real time: 4191 gc time: 40" "cpu time: 4177 real time: 4175 gc time: 40" "cpu time: 4177 real time: 4174 gc time: 48"))
("110001000" ("cpu time: 4130 real time: 4128 gc time: 40" "cpu time: 4154 real time: 4149 gc time: 44" "cpu time: 4130 real time: 4132 gc time: 40" "cpu time: 4147 real time: 4145 gc time: 40" "cpu time: 4290 real time: 4285 gc time: 40" "cpu time: 4153 real time: 4153 gc time: 40" "cpu time: 4140 real time: 4139 gc time: 40" "cpu time: 4130 real time: 4128 gc time: 40"))
("110001001" ("cpu time: 4267 real time: 4266 gc time: 40" "cpu time: 4300 real time: 4300 gc time: 40" "cpu time: 4260 real time: 4260 gc time: 43" "cpu time: 4257 real time: 4254 gc time: 40" "cpu time: 4254 real time: 4253 gc time: 40" "cpu time: 4260 real time: 4256 gc time: 40" "cpu time: 4254 real time: 4254 gc time: 40" "cpu time: 4254 real time: 4253 gc time: 43"))
("110001010" ("cpu time: 4116 real time: 4119 gc time: 44" "cpu time: 4096 real time: 4096 gc time: 40" "cpu time: 4103 real time: 4102 gc time: 40" "cpu time: 4103 real time: 4101 gc time: 40" "cpu time: 4104 real time: 4100 gc time: 40" "cpu time: 4110 real time: 4109 gc time: 37" "cpu time: 4100 real time: 4099 gc time: 40" "cpu time: 4123 real time: 4124 gc time: 40"))
("110001011" ("cpu time: 4217 real time: 4214 gc time: 40" "cpu time: 4110 real time: 4107 gc time: 40" "cpu time: 4113 real time: 4112 gc time: 40" "cpu time: 4106 real time: 4109 gc time: 39" "cpu time: 4113 real time: 4112 gc time: 43" "cpu time: 4110 real time: 4110 gc time: 40" "cpu time: 4104 real time: 4103 gc time: 40" "cpu time: 4120 real time: 4117 gc time: 40"))
("110001100" ("cpu time: 4173 real time: 4170 gc time: 40" "cpu time: 4176 real time: 4178 gc time: 44" "cpu time: 4154 real time: 4153 gc time: 43" "cpu time: 4150 real time: 4151 gc time: 43" "cpu time: 4167 real time: 4166 gc time: 43" "cpu time: 4170 real time: 4168 gc time: 40" "cpu time: 4154 real time: 4154 gc time: 43" "cpu time: 4163 real time: 4162 gc time: 46"))
("110001101" ("cpu time: 4233 real time: 4234 gc time: 40" "cpu time: 4320 real time: 4318 gc time: 47" "cpu time: 4324 real time: 4323 gc time: 43" "cpu time: 4227 real time: 4225 gc time: 43" "cpu time: 4240 real time: 4241 gc time: 47" "cpu time: 4227 real time: 4228 gc time: 43" "cpu time: 4223 real time: 4224 gc time: 43" "cpu time: 4220 real time: 4218 gc time: 44"))
("110001110" ("cpu time: 4167 real time: 4167 gc time: 40" "cpu time: 4173 real time: 4175 gc time: 43" "cpu time: 4336 real time: 4333 gc time: 43" "cpu time: 4147 real time: 4144 gc time: 44" "cpu time: 4154 real time: 4152 gc time: 43" "cpu time: 4154 real time: 4150 gc time: 43" "cpu time: 4147 real time: 4147 gc time: 40" "cpu time: 4150 real time: 4151 gc time: 43"))
("110001111" ("cpu time: 4210 real time: 4212 gc time: 40" "cpu time: 4313 real time: 4308 gc time: 44" "cpu time: 4183 real time: 4184 gc time: 40" "cpu time: 4190 real time: 4187 gc time: 44" "cpu time: 4190 real time: 4189 gc time: 43" "cpu time: 4180 real time: 4181 gc time: 44" "cpu time: 4183 real time: 4180 gc time: 43" "cpu time: 4186 real time: 4185 gc time: 43"))
("110010000" ("cpu time: 3710 real time: 3711 gc time: 40" "cpu time: 3700 real time: 3699 gc time: 40" "cpu time: 3720 real time: 3716 gc time: 40" "cpu time: 3867 real time: 3864 gc time: 40" "cpu time: 3864 real time: 3864 gc time: 40" "cpu time: 3700 real time: 3700 gc time: 40" "cpu time: 3700 real time: 3697 gc time: 40" "cpu time: 3724 real time: 3724 gc time: 40"))
("110010001" ("cpu time: 3720 real time: 3719 gc time: 40" "cpu time: 3730 real time: 3730 gc time: 40" "cpu time: 3720 real time: 3721 gc time: 40" "cpu time: 3710 real time: 3711 gc time: 40" "cpu time: 3713 real time: 3717 gc time: 47" "cpu time: 3720 real time: 3718 gc time: 37" "cpu time: 3720 real time: 3719 gc time: 40" "cpu time: 3724 real time: 3718 gc time: 43"))
("110010010" ("cpu time: 3757 real time: 3753 gc time: 40" "cpu time: 3903 real time: 3904 gc time: 40" "cpu time: 3753 real time: 3752 gc time: 40" "cpu time: 3756 real time: 3753 gc time: 47" "cpu time: 3746 real time: 3743 gc time: 40" "cpu time: 3744 real time: 3744 gc time: 49" "cpu time: 3780 real time: 3779 gc time: 40" "cpu time: 3746 real time: 3746 gc time: 37"))
("110010011" ("cpu time: 3753 real time: 3752 gc time: 40" "cpu time: 3760 real time: 3757 gc time: 37" "cpu time: 3873 real time: 3874 gc time: 40" "cpu time: 3753 real time: 3752 gc time: 44" "cpu time: 3770 real time: 3769 gc time: 43" "cpu time: 3750 real time: 3752 gc time: 40" "cpu time: 3757 real time: 3756 gc time: 49" "cpu time: 3760 real time: 3758 gc time: 40"))
("110010100" ("cpu time: 3737 real time: 3738 gc time: 40" "cpu time: 3727 real time: 3726 gc time: 43" "cpu time: 3730 real time: 3728 gc time: 40" "cpu time: 3726 real time: 3727 gc time: 40" "cpu time: 3727 real time: 3725 gc time: 40" "cpu time: 3733 real time: 3732 gc time: 40" "cpu time: 3743 real time: 3740 gc time: 43" "cpu time: 3727 real time: 3728 gc time: 40"))
("110010101" ("cpu time: 3804 real time: 3803 gc time: 44" "cpu time: 3820 real time: 3820 gc time: 40" "cpu time: 3907 real time: 3904 gc time: 44" "cpu time: 3810 real time: 3809 gc time: 40" "cpu time: 3834 real time: 3833 gc time: 40" "cpu time: 3810 real time: 3810 gc time: 40" "cpu time: 3840 real time: 3838 gc time: 40" "cpu time: 3816 real time: 3815 gc time: 40"))
("110010110" ("cpu time: 3730 real time: 3726 gc time: 43" "cpu time: 3726 real time: 3723 gc time: 40" "cpu time: 3724 real time: 3723 gc time: 43" "cpu time: 3750 real time: 3751 gc time: 40" "cpu time: 3730 real time: 3728 gc time: 43" "cpu time: 3727 real time: 3725 gc time: 43" "cpu time: 3747 real time: 3747 gc time: 47" "cpu time: 3726 real time: 3725 gc time: 46"))
("110010111" ("cpu time: 3767 real time: 3765 gc time: 40" "cpu time: 3760 real time: 3759 gc time: 40" "cpu time: 3756 real time: 3759 gc time: 43" "cpu time: 3760 real time: 3760 gc time: 37" "cpu time: 3763 real time: 3762 gc time: 40" "cpu time: 3760 real time: 3758 gc time: 40" "cpu time: 3760 real time: 3758 gc time: 40" "cpu time: 3760 real time: 3756 gc time: 44"))
("110011000" ("cpu time: 3720 real time: 3717 gc time: 40" "cpu time: 3707 real time: 3704 gc time: 40" "cpu time: 3710 real time: 3709 gc time: 40" "cpu time: 3706 real time: 3706 gc time: 40" "cpu time: 3884 real time: 3882 gc time: 37" "cpu time: 3704 real time: 3704 gc time: 40" "cpu time: 3710 real time: 3709 gc time: 40" "cpu time: 3704 real time: 3704 gc time: 40"))
("110011001" ("cpu time: 3720 real time: 3719 gc time: 40" "cpu time: 3720 real time: 3719 gc time: 37" "cpu time: 3877 real time: 3877 gc time: 40" "cpu time: 3723 real time: 3725 gc time: 37" "cpu time: 3720 real time: 3720 gc time: 37" "cpu time: 3720 real time: 3720 gc time: 40" "cpu time: 3723 real time: 3719 gc time: 40" "cpu time: 3724 real time: 3721 gc time: 40"))
("110011010" ("cpu time: 3773 real time: 3773 gc time: 40" "cpu time: 3753 real time: 3753 gc time: 40" "cpu time: 3750 real time: 3747 gc time: 37" "cpu time: 3750 real time: 3747 gc time: 40" "cpu time: 3753 real time: 3753 gc time: 46" "cpu time: 3750 real time: 3751 gc time: 40" "cpu time: 3753 real time: 3750 gc time: 40" "cpu time: 3750 real time: 3747 gc time: 43"))
("110011011" ("cpu time: 3760 real time: 3761 gc time: 40" "cpu time: 3770 real time: 3766 gc time: 40" "cpu time: 3777 real time: 3775 gc time: 40" "cpu time: 3760 real time: 3760 gc time: 43" "cpu time: 3763 real time: 3763 gc time: 40" "cpu time: 3770 real time: 3769 gc time: 40" "cpu time: 3767 real time: 3766 gc time: 40" "cpu time: 3760 real time: 3759 gc time: 40"))
("110011100" ("cpu time: 3740 real time: 3739 gc time: 43" "cpu time: 3737 real time: 3735 gc time: 43" "cpu time: 3750 real time: 3750 gc time: 40" "cpu time: 3747 real time: 3748 gc time: 43" "cpu time: 3740 real time: 3740 gc time: 40" "cpu time: 3737 real time: 3737 gc time: 40" "cpu time: 3740 real time: 3740 gc time: 43" "cpu time: 3750 real time: 3747 gc time: 43"))
("110011101" ("cpu time: 3817 real time: 3817 gc time: 40" "cpu time: 3816 real time: 3818 gc time: 43" "cpu time: 3820 real time: 3818 gc time: 43" "cpu time: 3823 real time: 3822 gc time: 40" "cpu time: 3814 real time: 3810 gc time: 40" "cpu time: 3820 real time: 3819 gc time: 43" "cpu time: 3820 real time: 3821 gc time: 44" "cpu time: 3817 real time: 3815 gc time: 40"))
("110011110" ("cpu time: 3734 real time: 3734 gc time: 40" "cpu time: 3743 real time: 3742 gc time: 40" "cpu time: 3754 real time: 3753 gc time: 44" "cpu time: 3737 real time: 3734 gc time: 40" "cpu time: 3740 real time: 3737 gc time: 43" "cpu time: 3737 real time: 3737 gc time: 40" "cpu time: 3900 real time: 3898 gc time: 40" "cpu time: 3733 real time: 3734 gc time: 40"))
("110011111" ("cpu time: 3786 real time: 3783 gc time: 43" "cpu time: 3770 real time: 3770 gc time: 43" "cpu time: 3834 real time: 3833 gc time: 40" "cpu time: 3777 real time: 3776 gc time: 43" "cpu time: 3767 real time: 3766 gc time: 40" "cpu time: 3780 real time: 3780 gc time: 40" "cpu time: 3767 real time: 3767 gc time: 40" "cpu time: 3767 real time: 3767 gc time: 40"))
("110100000" ("cpu time: 4120 real time: 4119 gc time: 40" "cpu time: 4120 real time: 4118 gc time: 40" "cpu time: 4124 real time: 4124 gc time: 40" "cpu time: 4130 real time: 4129 gc time: 40" "cpu time: 4126 real time: 4123 gc time: 40" "cpu time: 4116 real time: 4116 gc time: 40" "cpu time: 4126 real time: 4127 gc time: 40" "cpu time: 4123 real time: 4122 gc time: 36"))
("110100001" ("cpu time: 4174 real time: 4176 gc time: 40" "cpu time: 4983 real time: 4983 gc time: 40" "cpu time: 4180 real time: 4176 gc time: 40" "cpu time: 4173 real time: 4174 gc time: 40" "cpu time: 4180 real time: 4176 gc time: 40" "cpu time: 4176 real time: 4177 gc time: 40" "cpu time: 4177 real time: 4175 gc time: 37" "cpu time: 4310 real time: 4305 gc time: 43"))
("110100010" ("cpu time: 4096 real time: 4096 gc time: 40" "cpu time: 4100 real time: 4100 gc time: 40" "cpu time: 4103 real time: 4101 gc time: 40" "cpu time: 4137 real time: 4135 gc time: 40" "cpu time: 4086 real time: 4088 gc time: 40" "cpu time: 4077 real time: 4078 gc time: 40" "cpu time: 4093 real time: 4092 gc time: 40" "cpu time: 4084 real time: 4083 gc time: 40"))
("110100011" ("cpu time: 4084 real time: 4083 gc time: 40" "cpu time: 4094 real time: 4093 gc time: 40" "cpu time: 4097 real time: 4096 gc time: 40" "cpu time: 4087 real time: 4088 gc time: 40" "cpu time: 4087 real time: 4084 gc time: 40" "cpu time: 4103 real time: 4102 gc time: 44" "cpu time: 4103 real time: 4101 gc time: 40" "cpu time: 4100 real time: 4099 gc time: 40"))
("110100100" ("cpu time: 4287 real time: 4286 gc time: 43" "cpu time: 4160 real time: 4160 gc time: 47" "cpu time: 4146 real time: 4146 gc time: 40" "cpu time: 4154 real time: 4152 gc time: 40" "cpu time: 4167 real time: 4162 gc time: 46" "cpu time: 4174 real time: 4173 gc time: 44" "cpu time: 4153 real time: 4151 gc time: 40" "cpu time: 4140 real time: 4139 gc time: 43"))
("110100101" ("cpu time: 4167 real time: 4166 gc time: 44" "cpu time: 4190 real time: 4191 gc time: 43" "cpu time: 4170 real time: 4171 gc time: 43" "cpu time: 4137 real time: 4137 gc time: 43" "cpu time: 4140 real time: 4139 gc time: 40" "cpu time: 4167 real time: 4166 gc time: 40" "cpu time: 4173 real time: 4172 gc time: 40" "cpu time: 4156 real time: 4158 gc time: 43"))
("110100110" ("cpu time: 4163 real time: 4160 gc time: 43" "cpu time: 4137 real time: 4134 gc time: 40" "cpu time: 4134 real time: 4135 gc time: 43" "cpu time: 4127 real time: 4127 gc time: 40" "cpu time: 4156 real time: 4157 gc time: 44" "cpu time: 4154 real time: 4152 gc time: 43" "cpu time: 4124 real time: 4123 gc time: 40" "cpu time: 4153 real time: 4150 gc time: 44"))
("110100111" ("cpu time: 4330 real time: 4327 gc time: 44" "cpu time: 4177 real time: 4175 gc time: 40" "cpu time: 4140 real time: 4140 gc time: 44" "cpu time: 4146 real time: 4145 gc time: 43" "cpu time: 4160 real time: 4158 gc time: 40" "cpu time: 4140 real time: 4139 gc time: 40" "cpu time: 4144 real time: 4141 gc time: 43" "cpu time: 4137 real time: 4135 gc time: 44"))
("110101000" ("cpu time: 4140 real time: 4138 gc time: 40" "cpu time: 4137 real time: 4139 gc time: 39" "cpu time: 4146 real time: 4147 gc time: 40" "cpu time: 4140 real time: 4136 gc time: 40" "cpu time: 4130 real time: 4129 gc time: 40" "cpu time: 4136 real time: 4137 gc time: 36" "cpu time: 4137 real time: 4136 gc time: 43" "cpu time: 4136 real time: 4134 gc time: 40"))
("110101001" ("cpu time: 4200 real time: 4199 gc time: 40" "cpu time: 4197 real time: 4195 gc time: 40" "cpu time: 4220 real time: 4220 gc time: 44" "cpu time: 4183 real time: 4184 gc time: 40" "cpu time: 4197 real time: 4197 gc time: 40" "cpu time: 4186 real time: 4186 gc time: 40" "cpu time: 4190 real time: 4189 gc time: 40" "cpu time: 4186 real time: 4187 gc time: 37"))
("110101010" ("cpu time: 4140 real time: 4138 gc time: 40" "cpu time: 4090 real time: 4089 gc time: 40" "cpu time: 4103 real time: 4104 gc time: 40" "cpu time: 4147 real time: 4148 gc time: 40" "cpu time: 4100 real time: 4096 gc time: 40" "cpu time: 4090 real time: 4091 gc time: 40" "cpu time: 4110 real time: 4112 gc time: 40" "cpu time: 4104 real time: 4101 gc time: 37"))
("110101011" ("cpu time: 4127 real time: 4125 gc time: 40" "cpu time: 4110 real time: 4108 gc time: 37" "cpu time: 4107 real time: 4108 gc time: 40" "cpu time: 4100 real time: 4097 gc time: 40" "cpu time: 4114 real time: 4113 gc time: 40" "cpu time: 4096 real time: 4095 gc time: 40" "cpu time: 4133 real time: 4131 gc time: 40" "cpu time: 4130 real time: 4126 gc time: 40"))
("110101100" ("cpu time: 4160 real time: 4156 gc time: 40" "cpu time: 4337 real time: 4338 gc time: 40" "cpu time: 4156 real time: 4154 gc time: 43" "cpu time: 4160 real time: 4159 gc time: 40" "cpu time: 4310 real time: 4308 gc time: 43" "cpu time: 4324 real time: 4322 gc time: 40" "cpu time: 4154 real time: 4152 gc time: 40" "cpu time: 4164 real time: 4163 gc time: 44"))
("110101101" ("cpu time: 4157 real time: 4158 gc time: 40" "cpu time: 4164 real time: 4164 gc time: 43" "cpu time: 4183 real time: 4181 gc time: 40" "cpu time: 4177 real time: 4173 gc time: 43" "cpu time: 4154 real time: 4150 gc time: 40" "cpu time: 4180 real time: 4180 gc time: 40" "cpu time: 4166 real time: 4166 gc time: 43" "cpu time: 4290 real time: 4287 gc time: 43"))
("110101110" ("cpu time: 4140 real time: 4139 gc time: 40" "cpu time: 4153 real time: 4151 gc time: 43" "cpu time: 4153 real time: 4152 gc time: 40" "cpu time: 4150 real time: 4150 gc time: 43" "cpu time: 4144 real time: 4145 gc time: 40" "cpu time: 4147 real time: 4147 gc time: 40" "cpu time: 4323 real time: 4324 gc time: 40" "cpu time: 4156 real time: 4154 gc time: 40"))
("110101111" ("cpu time: 4166 real time: 4166 gc time: 43" "cpu time: 4157 real time: 4157 gc time: 43" "cpu time: 4147 real time: 4145 gc time: 43" "cpu time: 4147 real time: 4146 gc time: 43" "cpu time: 4150 real time: 4147 gc time: 40" "cpu time: 4147 real time: 4142 gc time: 40" "cpu time: 4190 real time: 4189 gc time: 40" "cpu time: 4174 real time: 4172 gc time: 44"))
("110110000" ("cpu time: 3700 real time: 3698 gc time: 40" "cpu time: 3696 real time: 3696 gc time: 40" "cpu time: 3697 real time: 3697 gc time: 40" "cpu time: 3700 real time: 3697 gc time: 40" "cpu time: 3700 real time: 3698 gc time: 40" "cpu time: 3733 real time: 3732 gc time: 40" "cpu time: 3716 real time: 3717 gc time: 40" "cpu time: 3700 real time: 3700 gc time: 40"))
("110110001" ("cpu time: 3733 real time: 3734 gc time: 40" "cpu time: 3760 real time: 3757 gc time: 40" "cpu time: 3734 real time: 3732 gc time: 36" "cpu time: 3887 real time: 3884 gc time: 40" "cpu time: 3734 real time: 3732 gc time: 36" "cpu time: 3744 real time: 3740 gc time: 40" "cpu time: 3743 real time: 3743 gc time: 40" "cpu time: 3740 real time: 3742 gc time: 36"))
("110110010" ("cpu time: 3773 real time: 3772 gc time: 40" "cpu time: 3897 real time: 3896 gc time: 40" "cpu time: 3780 real time: 3778 gc time: 40" "cpu time: 3750 real time: 3746 gc time: 40" "cpu time: 3763 real time: 3761 gc time: 40" "cpu time: 3766 real time: 3768 gc time: 43" "cpu time: 3750 real time: 3747 gc time: 44" "cpu time: 3874 real time: 3873 gc time: 40"))
("110110011" ("cpu time: 3747 real time: 3745 gc time: 40" "cpu time: 3767 real time: 3764 gc time: 43" "cpu time: 3854 real time: 3854 gc time: 40" "cpu time: 3750 real time: 3748 gc time: 36" "cpu time: 3750 real time: 3749 gc time: 40" "cpu time: 3750 real time: 3746 gc time: 40" "cpu time: 3747 real time: 3745 gc time: 40" "cpu time: 3750 real time: 3750 gc time: 40"))
("110110100" ("cpu time: 3740 real time: 3740 gc time: 44" "cpu time: 3727 real time: 3727 gc time: 40" "cpu time: 3734 real time: 3734 gc time: 40" "cpu time: 3740 real time: 3741 gc time: 43" "cpu time: 3730 real time: 3728 gc time: 43" "cpu time: 3727 real time: 3724 gc time: 40" "cpu time: 3730 real time: 3728 gc time: 40" "cpu time: 3737 real time: 3735 gc time: 43"))
("110110101" ("cpu time: 3820 real time: 3820 gc time: 40" "cpu time: 3806 real time: 3808 gc time: 40" "cpu time: 3803 real time: 3803 gc time: 40" "cpu time: 3813 real time: 3813 gc time: 40" "cpu time: 3800 real time: 3803 gc time: 43" "cpu time: 3830 real time: 3828 gc time: 43" "cpu time: 3817 real time: 3817 gc time: 43" "cpu time: 3833 real time: 3832 gc time: 43"))
("110110110" ("cpu time: 3727 real time: 3724 gc time: 43" "cpu time: 3720 real time: 3722 gc time: 40" "cpu time: 3727 real time: 3726 gc time: 43" "cpu time: 3723 real time: 3722 gc time: 40" "cpu time: 3730 real time: 3727 gc time: 40" "cpu time: 3723 real time: 3722 gc time: 40" "cpu time: 3770 real time: 3768 gc time: 40" "cpu time: 3724 real time: 3722 gc time: 40"))
("110110111" ("cpu time: 3840 real time: 3840 gc time: 43" "cpu time: 3757 real time: 3757 gc time: 40" "cpu time: 3787 real time: 3784 gc time: 40" "cpu time: 3760 real time: 3760 gc time: 43" "cpu time: 3763 real time: 3760 gc time: 44" "cpu time: 3760 real time: 3760 gc time: 47" "cpu time: 3764 real time: 3763 gc time: 50" "cpu time: 3763 real time: 3759 gc time: 43"))
("110111000" ("cpu time: 3716 real time: 3714 gc time: 40" "cpu time: 3704 real time: 3703 gc time: 40" "cpu time: 3703 real time: 3704 gc time: 40" "cpu time: 3716 real time: 3716 gc time: 43" "cpu time: 3707 real time: 3708 gc time: 40" "cpu time: 3760 real time: 3760 gc time: 43" "cpu time: 3706 real time: 3705 gc time: 40" "cpu time: 3706 real time: 3707 gc time: 40"))
("110111001" ("cpu time: 3757 real time: 3755 gc time: 40" "cpu time: 3747 real time: 3745 gc time: 40" "cpu time: 3740 real time: 3739 gc time: 40" "cpu time: 3737 real time: 3734 gc time: 40" "cpu time: 3750 real time: 3751 gc time: 40" "cpu time: 3764 real time: 3761 gc time: 40" "cpu time: 3737 real time: 3739 gc time: 40" "cpu time: 3750 real time: 3750 gc time: 37"))
("110111010" ("cpu time: 3747 real time: 3745 gc time: 36" "cpu time: 3747 real time: 3749 gc time: 37" "cpu time: 3744 real time: 3746 gc time: 40" "cpu time: 3750 real time: 3747 gc time: 40" "cpu time: 3750 real time: 3752 gc time: 40" "cpu time: 3750 real time: 3749 gc time: 39" "cpu time: 3744 real time: 3744 gc time: 40" "cpu time: 3756 real time: 3756 gc time: 40"))
("110111011" ("cpu time: 3756 real time: 3754 gc time: 40" "cpu time: 3757 real time: 3755 gc time: 40" "cpu time: 3757 real time: 3754 gc time: 40" "cpu time: 3760 real time: 3757 gc time: 40" "cpu time: 3870 real time: 3871 gc time: 40" "cpu time: 3753 real time: 3753 gc time: 43" "cpu time: 3753 real time: 3755 gc time: 40" "cpu time: 3766 real time: 3766 gc time: 40"))
("110111100" ("cpu time: 3747 real time: 3744 gc time: 40" "cpu time: 3753 real time: 3754 gc time: 50" "cpu time: 3744 real time: 3743 gc time: 43" "cpu time: 3733 real time: 3734 gc time: 40" "cpu time: 3740 real time: 3737 gc time: 40" "cpu time: 3743 real time: 3739 gc time: 43" "cpu time: 3903 real time: 3903 gc time: 40" "cpu time: 3733 real time: 3733 gc time: 43"))
("110111101" ("cpu time: 3820 real time: 3819 gc time: 43" "cpu time: 3813 real time: 3814 gc time: 43" "cpu time: 3920 real time: 3917 gc time: 40" "cpu time: 3826 real time: 3825 gc time: 43" "cpu time: 3824 real time: 3822 gc time: 43" "cpu time: 3823 real time: 3822 gc time: 43" "cpu time: 3814 real time: 3813 gc time: 47" "cpu time: 3826 real time: 3825 gc time: 40"))
("110111110" ("cpu time: 3736 real time: 3738 gc time: 44" "cpu time: 3733 real time: 3735 gc time: 44" "cpu time: 3757 real time: 3753 gc time: 44" "cpu time: 3736 real time: 3739 gc time: 44" "cpu time: 3730 real time: 3731 gc time: 40" "cpu time: 3737 real time: 3738 gc time: 40" "cpu time: 3734 real time: 3732 gc time: 40" "cpu time: 3733 real time: 3735 gc time: 40"))
("110111111" ("cpu time: 3777 real time: 3774 gc time: 43" "cpu time: 3770 real time: 3769 gc time: 43" "cpu time: 3773 real time: 3771 gc time: 43" "cpu time: 3767 real time: 3766 gc time: 40" "cpu time: 3923 real time: 3920 gc time: 40" "cpu time: 3770 real time: 3770 gc time: 40" "cpu time: 3767 real time: 3767 gc time: 40" "cpu time: 3770 real time: 3771 gc time: 40"))
("111000000" ("cpu time: 7290 real time: 7290 gc time: 40" "cpu time: 7330 real time: 7328 gc time: 40" "cpu time: 7290 real time: 7291 gc time: 40" "cpu time: 7294 real time: 7292 gc time: 40" "cpu time: 7273 real time: 7271 gc time: 40" "cpu time: 7403 real time: 7399 gc time: 40" "cpu time: 7290 real time: 7288 gc time: 40" "cpu time: 7296 real time: 7296 gc time: 40"))
("111000001" ("cpu time: 7387 real time: 7387 gc time: 44" "cpu time: 7360 real time: 7360 gc time: 40" "cpu time: 7354 real time: 7352 gc time: 40" "cpu time: 7363 real time: 7363 gc time: 40" "cpu time: 7353 real time: 7351 gc time: 40" "cpu time: 10843 real time: 10844 gc time: 40" "cpu time: 7363 real time: 7363 gc time: 40" "cpu time: 7354 real time: 7355 gc time: 40"))
("111000010" ("cpu time: 7343 real time: 7342 gc time: 40" "cpu time: 7357 real time: 7352 gc time: 44" "cpu time: 7427 real time: 7424 gc time: 43" "cpu time: 7360 real time: 7356 gc time: 40" "cpu time: 7380 real time: 7379 gc time: 40" "cpu time: 7340 real time: 7336 gc time: 40" "cpu time: 7330 real time: 7329 gc time: 43" "cpu time: 7456 real time: 7453 gc time: 43"))
("111000011" ("cpu time: 7244 real time: 7239 gc time: 40" "cpu time: 7260 real time: 7257 gc time: 40" "cpu time: 7260 real time: 7257 gc time: 43" "cpu time: 7243 real time: 7244 gc time: 40" "cpu time: 7367 real time: 7364 gc time: 36" "cpu time: 7260 real time: 7259 gc time: 44" "cpu time: 7246 real time: 7244 gc time: 40" "cpu time: 7234 real time: 7235 gc time: 40"))
("111000100" ("cpu time: 7250 real time: 7251 gc time: 43" "cpu time: 7296 real time: 7294 gc time: 46" "cpu time: 7257 real time: 7257 gc time: 40" "cpu time: 7246 real time: 7245 gc time: 43" "cpu time: 7237 real time: 7236 gc time: 44" "cpu time: 7236 real time: 7238 gc time: 44" "cpu time: 7244 real time: 7244 gc time: 44" "cpu time: 7244 real time: 7240 gc time: 43"))
("111000101" ("cpu time: 7377 real time: 7374 gc time: 44" "cpu time: 7380 real time: 7381 gc time: 47" "cpu time: 7427 real time: 7420 gc time: 44" "cpu time: 7396 real time: 7393 gc time: 43" "cpu time: 7414 real time: 7409 gc time: 43" "cpu time: 7373 real time: 7372 gc time: 40" "cpu time: 7383 real time: 7382 gc time: 40" "cpu time: 7794 real time: 7792 gc time: 40"))
("111000110" ("cpu time: 7276 real time: 7275 gc time: 44" "cpu time: 7273 real time: 7270 gc time: 40" "cpu time: 7273 real time: 7270 gc time: 40" "cpu time: 7267 real time: 7266 gc time: 43" "cpu time: 7294 real time: 7294 gc time: 44" "cpu time: 7260 real time: 7259 gc time: 40" "cpu time: 7267 real time: 7263 gc time: 43" "cpu time: 7273 real time: 7272 gc time: 43"))
("111000111" ("cpu time: 7400 real time: 7399 gc time: 40" "cpu time: 7370 real time: 7369 gc time: 40" "cpu time: 7164 real time: 7160 gc time: 43" "cpu time: 7163 real time: 7162 gc time: 44" "cpu time: 7176 real time: 7177 gc time: 40" "cpu time: 7236 real time: 7233 gc time: 40" "cpu time: 7236 real time: 7234 gc time: 40" "cpu time: 7247 real time: 7246 gc time: 40"))
("111001000" ("cpu time: 7297 real time: 7297 gc time: 40" "cpu time: 7283 real time: 7281 gc time: 40" "cpu time: 7283 real time: 7282 gc time: 37" "cpu time: 7313 real time: 7309 gc time: 40" "cpu time: 7276 real time: 7277 gc time: 40" "cpu time: 7287 real time: 7283 gc time: 40" "cpu time: 7277 real time: 7274 gc time: 40" "cpu time: 7286 real time: 7285 gc time: 40"))
("111001001" ("cpu time: 7360 real time: 7360 gc time: 44" "cpu time: 7370 real time: 7368 gc time: 40" "cpu time: 7350 real time: 7351 gc time: 40" "cpu time: 7407 real time: 7408 gc time: 40" "cpu time: 7363 real time: 7362 gc time: 43" "cpu time: 7386 real time: 7386 gc time: 40" "cpu time: 7377 real time: 7378 gc time: 37" "cpu time: 7367 real time: 7365 gc time: 40"))
("111001010" ("cpu time: 7337 real time: 7334 gc time: 40" "cpu time: 7330 real time: 7329 gc time: 40" "cpu time: 7340 real time: 7340 gc time: 37" "cpu time: 7330 real time: 7329 gc time: 40" "cpu time: 7326 real time: 7327 gc time: 40" "cpu time: 7333 real time: 7331 gc time: 40" "cpu time: 7366 real time: 7364 gc time: 40" "cpu time: 7380 real time: 7381 gc time: 40"))
("111001011" ("cpu time: 7240 real time: 7239 gc time: 43" "cpu time: 7416 real time: 7415 gc time: 40" "cpu time: 8656 real time: 8656 gc time: 36" "cpu time: 7250 real time: 7252 gc time: 39" "cpu time: 7257 real time: 7256 gc time: 40" "cpu time: 7270 real time: 7270 gc time: 37" "cpu time: 7256 real time: 7256 gc time: 40" "cpu time: 7240 real time: 7239 gc time: 40"))
("111001100" ("cpu time: 7256 real time: 7258 gc time: 43" "cpu time: 7246 real time: 7247 gc time: 40" "cpu time: 7267 real time: 7264 gc time: 40" "cpu time: 7263 real time: 7260 gc time: 43" "cpu time: 7254 real time: 7253 gc time: 44" "cpu time: 7260 real time: 7260 gc time: 44" "cpu time: 7247 real time: 7247 gc time: 43" "cpu time: 7250 real time: 7249 gc time: 43"))
("111001101" ("cpu time: 7394 real time: 7388 gc time: 43" "cpu time: 7487 real time: 7488 gc time: 43" "cpu time: 7416 real time: 7416 gc time: 44" "cpu time: 7387 real time: 7387 gc time: 40" "cpu time: 7380 real time: 7378 gc time: 44" "cpu time: 7406 real time: 7405 gc time: 36" "cpu time: 7387 real time: 7388 gc time: 40" "cpu time: 7383 real time: 7382 gc time: 44"))
("111001110" ("cpu time: 7273 real time: 7270 gc time: 44" "cpu time: 7273 real time: 7275 gc time: 43" "cpu time: 7280 real time: 7281 gc time: 43" "cpu time: 7270 real time: 7268 gc time: 40" "cpu time: 7273 real time: 7271 gc time: 44" "cpu time: 7430 real time: 7429 gc time: 40" "cpu time: 7443 real time: 7442 gc time: 43" "cpu time: 7273 real time: 7273 gc time: 44"))
("111001111" ("cpu time: 7187 real time: 7187 gc time: 40" "cpu time: 7187 real time: 7185 gc time: 40" "cpu time: 7260 real time: 7260 gc time: 40" "cpu time: 7207 real time: 7202 gc time: 44" "cpu time: 7330 real time: 7330 gc time: 46" "cpu time: 7163 real time: 7162 gc time: 44" "cpu time: 7240 real time: 7239 gc time: 40" "cpu time: 7240 real time: 7239 gc time: 43"))
("111010000" ("cpu time: 6903 real time: 6903 gc time: 36" "cpu time: 6913 real time: 6912 gc time: 43" "cpu time: 6893 real time: 6895 gc time: 37" "cpu time: 6903 real time: 6903 gc time: 40" "cpu time: 6900 real time: 6899 gc time: 40" "cpu time: 6910 real time: 6909 gc time: 40" "cpu time: 6903 real time: 6902 gc time: 40" "cpu time: 7020 real time: 7019 gc time: 40"))
("111010001" ("cpu time: 6847 real time: 6844 gc time: 44" "cpu time: 6847 real time: 6847 gc time: 40" "cpu time: 6853 real time: 6852 gc time: 40" "cpu time: 6850 real time: 6846 gc time: 40" "cpu time: 6850 real time: 6848 gc time: 40" "cpu time: 6857 real time: 6855 gc time: 40" "cpu time: 6857 real time: 6855 gc time: 40" "cpu time: 6856 real time: 6855 gc time: 40"))
("111010010" ("cpu time: 7063 real time: 7064 gc time: 37" "cpu time: 6890 real time: 6887 gc time: 40" "cpu time: 6906 real time: 6902 gc time: 40" "cpu time: 6880 real time: 6883 gc time: 40" "cpu time: 6950 real time: 6949 gc time: 36" "cpu time: 6884 real time: 6882 gc time: 40" "cpu time: 6910 real time: 6912 gc time: 40" "cpu time: 6936 real time: 6936 gc time: 43"))
("111010011" ("cpu time: 6800 real time: 6796 gc time: 40" "cpu time: 6793 real time: 6791 gc time: 40" "cpu time: 6827 real time: 6826 gc time: 44" "cpu time: 6776 real time: 6775 gc time: 40" "cpu time: 6960 real time: 6960 gc time: 43" "cpu time: 6790 real time: 6790 gc time: 40" "cpu time: 6796 real time: 6794 gc time: 40" "cpu time: 6830 real time: 6832 gc time: 40"))
("111010100" ("cpu time: 6827 real time: 6824 gc time: 40" "cpu time: 6814 real time: 6814 gc time: 40" "cpu time: 6824 real time: 6820 gc time: 44" "cpu time: 6824 real time: 6820 gc time: 40" "cpu time: 6820 real time: 6820 gc time: 40" "cpu time: 6814 real time: 6813 gc time: 43" "cpu time: 6840 real time: 6838 gc time: 40" "cpu time: 8096 real time: 8095 gc time: 40"))
("111010101" ("cpu time: 6767 real time: 6766 gc time: 40" "cpu time: 6767 real time: 6766 gc time: 40" "cpu time: 6764 real time: 6760 gc time: 40" "cpu time: 6764 real time: 6757 gc time: 43" "cpu time: 6760 real time: 6761 gc time: 43" "cpu time: 6776 real time: 6775 gc time: 43" "cpu time: 6760 real time: 6758 gc time: 40" "cpu time: 6757 real time: 6754 gc time: 43"))
("111010110" ("cpu time: 6826 real time: 6825 gc time: 43" "cpu time: 6793 real time: 6791 gc time: 44" "cpu time: 6810 real time: 6809 gc time: 43" "cpu time: 6803 real time: 6801 gc time: 40" "cpu time: 6806 real time: 6804 gc time: 44" "cpu time: 6993 real time: 6992 gc time: 40" "cpu time: 6994 real time: 6994 gc time: 40" "cpu time: 6810 real time: 6810 gc time: 40"))
("111010111" ("cpu time: 6713 real time: 6711 gc time: 44" "cpu time: 6650 real time: 6650 gc time: 40" "cpu time: 6650 real time: 6648 gc time: 40" "cpu time: 6706 real time: 6708 gc time: 40" "cpu time: 6653 real time: 6654 gc time: 43" "cpu time: 6713 real time: 6713 gc time: 43" "cpu time: 6650 real time: 6649 gc time: 43" "cpu time: 6714 real time: 6710 gc time: 44"))
("111011000" ("cpu time: 6917 real time: 6911 gc time: 40" "cpu time: 6897 real time: 6896 gc time: 40" "cpu time: 7017 real time: 7014 gc time: 40" "cpu time: 6907 real time: 6905 gc time: 40" "cpu time: 6897 real time: 6899 gc time: 43" "cpu time: 6920 real time: 6922 gc time: 37" "cpu time: 6904 real time: 6901 gc time: 40" "cpu time: 6900 real time: 6900 gc time: 40"))
("111011001" ("cpu time: 6857 real time: 6854 gc time: 37" "cpu time: 6856 real time: 6857 gc time: 40" "cpu time: 6870 real time: 6867 gc time: 40" "cpu time: 6874 real time: 6874 gc time: 40" "cpu time: 6874 real time: 6873 gc time: 40" "cpu time: 6857 real time: 6855 gc time: 40" "cpu time: 6904 real time: 6902 gc time: 40" "cpu time: 6860 real time: 6858 gc time: 40"))
("111011010" ("cpu time: 6907 real time: 6906 gc time: 40" "cpu time: 6910 real time: 6911 gc time: 40" "cpu time: 6900 real time: 6897 gc time: 40" "cpu time: 6920 real time: 6919 gc time: 43" "cpu time: 6900 real time: 6896 gc time: 43" "cpu time: 6927 real time: 6924 gc time: 40" "cpu time: 6906 real time: 6908 gc time: 40" "cpu time: 6903 real time: 6900 gc time: 41"))
("111011011" ("cpu time: 6797 real time: 6799 gc time: 40" "cpu time: 6800 real time: 6799 gc time: 40" "cpu time: 6860 real time: 6860 gc time: 40" "cpu time: 6853 real time: 6853 gc time: 40" "cpu time: 6803 real time: 6801 gc time: 40" "cpu time: 6777 real time: 6777 gc time: 40" "cpu time: 6800 real time: 6799 gc time: 37" "cpu time: 6850 real time: 6850 gc time: 44"))
("111011100" ("cpu time: 6833 real time: 6831 gc time: 47" "cpu time: 6833 real time: 6834 gc time: 40" "cpu time: 6837 real time: 6834 gc time: 44" "cpu time: 6823 real time: 6823 gc time: 43" "cpu time: 6830 real time: 6831 gc time: 40" "cpu time: 6840 real time: 6837 gc time: 44" "cpu time: 6823 real time: 6823 gc time: 43" "cpu time: 6830 real time: 6826 gc time: 49"))
("111011101" ("cpu time: 7690 real time: 7690 gc time: 43" "cpu time: 6913 real time: 6912 gc time: 43" "cpu time: 8050 real time: 8047 gc time: 44" "cpu time: 6787 real time: 6785 gc time: 47" "cpu time: 6790 real time: 6787 gc time: 43" "cpu time: 6926 real time: 6926 gc time: 44" "cpu time: 6934 real time: 6929 gc time: 43" "cpu time: 6910 real time: 6911 gc time: 43"))
("111011110" ("cpu time: 6800 real time: 6799 gc time: 44" "cpu time: 6804 real time: 6802 gc time: 43" "cpu time: 6816 real time: 6818 gc time: 44" "cpu time: 6823 real time: 6821 gc time: 43" "cpu time: 6806 real time: 6806 gc time: 40" "cpu time: 6820 real time: 6816 gc time: 40" "cpu time: 6940 real time: 6938 gc time: 40" "cpu time: 6807 real time: 6804 gc time: 43"))
("111011111" ("cpu time: 6740 real time: 6734 gc time: 44" "cpu time: 6720 real time: 6719 gc time: 44" "cpu time: 6720 real time: 6718 gc time: 43" "cpu time: 6877 real time: 6878 gc time: 43" "cpu time: 6880 real time: 6878 gc time: 40" "cpu time: 6713 real time: 6712 gc time: 40" "cpu time: 6683 real time: 6678 gc time: 44" "cpu time: 6670 real time: 6670 gc time: 43"))
("111100000" ("cpu time: 7290 real time: 7286 gc time: 40" "cpu time: 7296 real time: 7296 gc time: 40" "cpu time: 7290 real time: 7289 gc time: 40" "cpu time: 7293 real time: 7293 gc time: 40" "cpu time: 7287 real time: 7282 gc time: 43" "cpu time: 7290 real time: 7289 gc time: 40" "cpu time: 7283 real time: 7281 gc time: 40" "cpu time: 7420 real time: 7418 gc time: 40"))
("111100001" ("cpu time: 7283 real time: 7282 gc time: 40" "cpu time: 7234 real time: 7231 gc time: 40" "cpu time: 7257 real time: 7252 gc time: 40" "cpu time: 7304 real time: 7300 gc time: 40" "cpu time: 7260 real time: 7259 gc time: 40" "cpu time: 7233 real time: 7229 gc time: 40" "cpu time: 7236 real time: 7234 gc time: 40" "cpu time: 7290 real time: 7287 gc time: 40"))
("111100010" ("cpu time: 7327 real time: 7324 gc time: 40" "cpu time: 7347 real time: 7347 gc time: 40" "cpu time: 7350 real time: 7346 gc time: 40" "cpu time: 7330 real time: 7331 gc time: 40" "cpu time: 7323 real time: 7320 gc time: 40" "cpu time: 7330 real time: 7331 gc time: 40" "cpu time: 7323 real time: 7324 gc time: 37" "cpu time: 7360 real time: 7355 gc time: 40"))
("111100011" ("cpu time: 7323 real time: 7321 gc time: 40" "cpu time: 7350 real time: 7350 gc time: 40" "cpu time: 7320 real time: 7319 gc time: 43" "cpu time: 7294 real time: 7292 gc time: 37" "cpu time: 7307 real time: 7305 gc time: 40" "cpu time: 7284 real time: 7284 gc time: 40" "cpu time: 7320 real time: 7318 gc time: 43" "cpu time: 7300 real time: 7299 gc time: 40"))
("111100100" ("cpu time: 7260 real time: 7256 gc time: 43" "cpu time: 7267 real time: 7264 gc time: 40" "cpu time: 7247 real time: 7246 gc time: 44" "cpu time: 7247 real time: 7243 gc time: 40" "cpu time: 7243 real time: 7242 gc time: 40" "cpu time: 7247 real time: 7245 gc time: 44" "cpu time: 7280 real time: 7278 gc time: 43" "cpu time: 7243 real time: 7242 gc time: 44"))
("111100101" ("cpu time: 7333 real time: 7332 gc time: 40" "cpu time: 7400 real time: 7396 gc time: 43" "cpu time: 7316 real time: 7317 gc time: 40" "cpu time: 7374 real time: 7371 gc time: 44" "cpu time: 7280 real time: 7277 gc time: 44" "cpu time: 7293 real time: 7294 gc time: 43" "cpu time: 7303 real time: 7304 gc time: 43" "cpu time: 7390 real time: 7388 gc time: 44"))
("111100110" ("cpu time: 7270 real time: 7271 gc time: 40" "cpu time: 7263 real time: 7264 gc time: 43" "cpu time: 7267 real time: 7266 gc time: 43" "cpu time: 7263 real time: 7264 gc time: 40" "cpu time: 7283 real time: 7282 gc time: 43" "cpu time: 7263 real time: 7263 gc time: 43" "cpu time: 7276 real time: 7277 gc time: 40" "cpu time: 7437 real time: 7435 gc time: 40"))
("111100111" ("cpu time: 7210 real time: 7211 gc time: 43" "cpu time: 7200 real time: 7197 gc time: 43" "cpu time: 7223 real time: 7223 gc time: 40" "cpu time: 7203 real time: 7200 gc time: 43" "cpu time: 7186 real time: 7184 gc time: 43" "cpu time: 7310 real time: 7307 gc time: 44" "cpu time: 7260 real time: 7256 gc time: 46" "cpu time: 7243 real time: 7237 gc time: 44"))
("111101000" ("cpu time: 7287 real time: 7286 gc time: 40" "cpu time: 7290 real time: 7285 gc time: 40" "cpu time: 7323 real time: 7321 gc time: 40" "cpu time: 7276 real time: 7274 gc time: 36" "cpu time: 7323 real time: 7322 gc time: 43" "cpu time: 8493 real time: 8493 gc time: 40" "cpu time: 7307 real time: 7306 gc time: 40" "cpu time: 7293 real time: 7294 gc time: 43"))
("111101001" ("cpu time: 7250 real time: 7248 gc time: 37" "cpu time: 7230 real time: 7231 gc time: 40" "cpu time: 7240 real time: 7237 gc time: 40" "cpu time: 7250 real time: 7249 gc time: 40" "cpu time: 7250 real time: 7246 gc time: 40" "cpu time: 7233 real time: 7232 gc time: 40" "cpu time: 7247 real time: 7245 gc time: 40" "cpu time: 7247 real time: 7248 gc time: 40"))
("111101010" ("cpu time: 7340 real time: 7337 gc time: 44" "cpu time: 7340 real time: 7341 gc time: 40" "cpu time: 7377 real time: 7376 gc time: 43" "cpu time: 7363 real time: 7364 gc time: 40" "cpu time: 7336 real time: 7338 gc time: 40" "cpu time: 7356 real time: 7356 gc time: 43" "cpu time: 7337 real time: 7335 gc time: 40" "cpu time: 7333 real time: 7331 gc time: 37"))
("111101011" ("cpu time: 7296 real time: 7298 gc time: 40" "cpu time: 7290 real time: 7286 gc time: 40" "cpu time: 7303 real time: 7304 gc time: 40" "cpu time: 7324 real time: 7322 gc time: 40" "cpu time: 7294 real time: 7295 gc time: 40" "cpu time: 7316 real time: 7317 gc time: 40" "cpu time: 7300 real time: 7298 gc time: 40" "cpu time: 7307 real time: 7306 gc time: 40"))
("111101100" ("cpu time: 7250 real time: 7246 gc time: 43" "cpu time: 7267 real time: 7266 gc time: 40" "cpu time: 7257 real time: 7256 gc time: 44" "cpu time: 7284 real time: 7285 gc time: 43" "cpu time: 7256 real time: 7255 gc time: 40" "cpu time: 7280 real time: 7279 gc time: 44" "cpu time: 7243 real time: 7241 gc time: 43" "cpu time: 7250 real time: 7249 gc time: 47"))
("111101101" ("cpu time: 7380 real time: 7377 gc time: 43" "cpu time: 7293 real time: 7290 gc time: 43" "cpu time: 7283 real time: 7283 gc time: 44" "cpu time: 7290 real time: 7290 gc time: 44" "cpu time: 7280 real time: 7280 gc time: 43" "cpu time: 7330 real time: 7326 gc time: 44" "cpu time: 7307 real time: 7306 gc time: 40" "cpu time: 7293 real time: 7292 gc time: 40"))
("111101110" ("cpu time: 7260 real time: 7260 gc time: 43" "cpu time: 7287 real time: 7284 gc time: 43" "cpu time: 7783 real time: 7779 gc time: 44" "cpu time: 7260 real time: 7262 gc time: 44" "cpu time: 7280 real time: 7278 gc time: 44" "cpu time: 7306 real time: 7305 gc time: 43" "cpu time: 7277 real time: 7276 gc time: 43" "cpu time: 7303 real time: 7302 gc time: 43"))
("111101111" ("cpu time: 7423 real time: 7423 gc time: 40" "cpu time: 7317 real time: 7315 gc time: 40" "cpu time: 7227 real time: 7227 gc time: 43" "cpu time: 7203 real time: 7201 gc time: 43" "cpu time: 7207 real time: 7206 gc time: 44" "cpu time: 7210 real time: 7207 gc time: 40" "cpu time: 7230 real time: 7228 gc time: 40" "cpu time: 7250 real time: 7250 gc time: 43"))
("111110000" ("cpu time: 7000 real time: 6999 gc time: 40" "cpu time: 6903 real time: 6902 gc time: 40" "cpu time: 6900 real time: 6900 gc time: 36" "cpu time: 6916 real time: 6915 gc time: 43" "cpu time: 6904 real time: 6899 gc time: 40" "cpu time: 6970 real time: 6971 gc time: 36" "cpu time: 6893 real time: 6893 gc time: 40" "cpu time: 6906 real time: 6907 gc time: 40"))
("111110001" ("cpu time: 6853 real time: 6852 gc time: 40" "cpu time: 6857 real time: 6855 gc time: 44" "cpu time: 6860 real time: 6860 gc time: 40" "cpu time: 6860 real time: 6859 gc time: 43" "cpu time: 6847 real time: 6847 gc time: 40" "cpu time: 6860 real time: 6858 gc time: 43" "cpu time: 6880 real time: 6883 gc time: 40" "cpu time: 6843 real time: 6844 gc time: 43"))
("111110010" ("cpu time: 7023 real time: 7019 gc time: 40" "cpu time: 6890 real time: 6890 gc time: 37" "cpu time: 6893 real time: 6891 gc time: 40" "cpu time: 6893 real time: 6891 gc time: 40" "cpu time: 6910 real time: 6911 gc time: 40" "cpu time: 6897 real time: 6894 gc time: 40" "cpu time: 6900 real time: 6900 gc time: 37" "cpu time: 6894 real time: 6888 gc time: 44"))
("111110011" ("cpu time: 6833 real time: 6834 gc time: 37" "cpu time: 6913 real time: 6912 gc time: 40" "cpu time: 6797 real time: 6794 gc time: 40" "cpu time: 6777 real time: 6775 gc time: 43" "cpu time: 6783 real time: 6779 gc time: 40" "cpu time: 6780 real time: 6782 gc time: 40" "cpu time: 6834 real time: 6833 gc time: 40" "cpu time: 6787 real time: 6783 gc time: 40"))
("111110100" ("cpu time: 6814 real time: 6812 gc time: 37" "cpu time: 6830 real time: 6824 gc time: 40" "cpu time: 6830 real time: 6829 gc time: 43" "cpu time: 6817 real time: 6813 gc time: 43" "cpu time: 6820 real time: 6819 gc time: 43" "cpu time: 6840 real time: 6840 gc time: 40" "cpu time: 6867 real time: 6866 gc time: 40" "cpu time: 8093 real time: 8093 gc time: 43"))
("111110101" ("cpu time: 6764 real time: 6760 gc time: 44" "cpu time: 8067 real time: 8064 gc time: 44" "cpu time: 6774 real time: 6772 gc time: 44" "cpu time: 6760 real time: 6759 gc time: 40" "cpu time: 6783 real time: 6780 gc time: 43" "cpu time: 6910 real time: 6907 gc time: 43" "cpu time: 6760 real time: 6759 gc time: 40" "cpu time: 6790 real time: 6790 gc time: 44"))
("111110110" ("cpu time: 6796 real time: 6797 gc time: 46" "cpu time: 6797 real time: 6798 gc time: 40" "cpu time: 6800 real time: 6800 gc time: 44" "cpu time: 6803 real time: 6801 gc time: 44" "cpu time: 6793 real time: 6792 gc time: 44" "cpu time: 6793 real time: 6791 gc time: 46" "cpu time: 6804 real time: 6799 gc time: 43" "cpu time: 6803 real time: 6800 gc time: 44"))
("111110111" ("cpu time: 7044 real time: 7044 gc time: 40" "cpu time: 12063 real time: 12060 gc time: 44" "cpu time: 6987 real time: 6982 gc time: 43" "cpu time: 6926 real time: 6925 gc time: 44" "cpu time: 6920 real time: 6919 gc time: 40" "cpu time: 12374 real time: 12370 gc time: 40" "cpu time: 6680 real time: 6677 gc time: 43" "cpu time: 6873 real time: 6874 gc time: 44"))
("111111000" ("cpu time: 6897 real time: 6898 gc time: 43" "cpu time: 6910 real time: 6909 gc time: 44" "cpu time: 6900 real time: 6898 gc time: 40" "cpu time: 6907 real time: 6906 gc time: 40" "cpu time: 6800 real time: 6799 gc time: 40" "cpu time: 6914 real time: 6912 gc time: 40" "cpu time: 6917 real time: 6916 gc time: 37" "cpu time: 6920 real time: 6919 gc time: 40"))
("111111001" ("cpu time: 6870 real time: 6867 gc time: 43" "cpu time: 6867 real time: 6865 gc time: 40" "cpu time: 6863 real time: 6863 gc time: 40" "cpu time: 6867 real time: 6865 gc time: 44" "cpu time: 6860 real time: 6858 gc time: 40" "cpu time: 6863 real time: 6862 gc time: 37" "cpu time: 6860 real time: 6860 gc time: 40" "cpu time: 6867 real time: 6863 gc time: 40"))
("111111010" ("cpu time: 6970 real time: 6971 gc time: 43" "cpu time: 6887 real time: 6886 gc time: 40" "cpu time: 6903 real time: 6904 gc time: 37" "cpu time: 6917 real time: 6916 gc time: 44" "cpu time: 6920 real time: 6918 gc time: 40" "cpu time: 6900 real time: 6901 gc time: 43" "cpu time: 6940 real time: 6940 gc time: 40" "cpu time: 6893 real time: 6890 gc time: 40"))
("111111011" ("cpu time: 6807 real time: 6807 gc time: 40" "cpu time: 6803 real time: 6805 gc time: 40" "cpu time: 6857 real time: 6851 gc time: 40" "cpu time: 6810 real time: 6809 gc time: 40" "cpu time: 6797 real time: 6795 gc time: 43" "cpu time: 6804 real time: 6804 gc time: 40" "cpu time: 6790 real time: 6789 gc time: 40" "cpu time: 6803 real time: 6803 gc time: 43"))
("111111100" ("cpu time: 6827 real time: 6824 gc time: 44" "cpu time: 6970 real time: 6969 gc time: 43" "cpu time: 8110 real time: 8107 gc time: 43" "cpu time: 6823 real time: 6822 gc time: 40" "cpu time: 6843 real time: 6841 gc time: 44" "cpu time: 6830 real time: 6829 gc time: 40" "cpu time: 6826 real time: 6826 gc time: 43" "cpu time: 6834 real time: 6831 gc time: 47"))
("111111101" ("cpu time: 6790 real time: 6790 gc time: 40" "cpu time: 6760 real time: 6760 gc time: 40" "cpu time: 8056 real time: 8055 gc time: 40" "cpu time: 6807 real time: 6806 gc time: 43" "cpu time: 8060 real time: 8060 gc time: 43" "cpu time: 6780 real time: 6777 gc time: 43" "cpu time: 6773 real time: 6770 gc time: 43" "cpu time: 6770 real time: 6771 gc time: 43"))
("111111110" ("cpu time: 6804 real time: 6802 gc time: 40" "cpu time: 6807 real time: 6806 gc time: 40" "cpu time: 6816 real time: 6814 gc time: 43" "cpu time: 6797 real time: 6796 gc time: 40" "cpu time: 6807 real time: 6806 gc time: 44" "cpu time: 6926 real time: 6926 gc time: 43" "cpu time: 6817 real time: 6815 gc time: 48" "cpu time: 6807 real time: 6808 gc time: 40"))
("111111111" ("cpu time: 6663 real time: 6662 gc time: 40" "cpu time: 6920 real time: 6923 gc time: 43" "cpu time: 6933 real time: 6933 gc time: 40" "cpu time: 7046 real time: 7045 gc time: 43" "cpu time: 6874 real time: 6873 gc time: 43" "cpu time: 6920 real time: 6921 gc time: 44" "cpu time: 6667 real time: 6667 gc time: 40" "cpu time: 6923 real time: 6921 gc time: 43"))
