cool_random_01.json

{"CA_type": "random", "size": [21, 12], "state": {"(8, 7)": 3, "(8, 6)": 3, "(8, 8)": 3, "(9, 7)": 2, "(10, 7)": 2, "(11, 7)": 3, "(11, 6)": 3, "(11, 8)": 3, "(13, 7)": 2, "(6, 7)": 2}, "ruledict": {"(0, (8, 0, 0, 0))": 0, "(0, (7, 1, 0, 0))": 0, "(0, (6, 2, 0, 0))": 0, "(0, (5, 3, 0, 0))": 1, "(0, (4, 4, 0, 0))": 0, "(0, (3, 5, 0, 0))": 0, "(0, (2, 6, 0, 0))": 0, "(0, (1, 7, 0, 0))": 0, "(0, (0, 8, 0, 0))": 0, "(0, (7, 0, 1, 0))": 0, "(0, (6, 1, 1, 0))": 0, "(0, (5, 2, 1, 0))": 0, "(0, (4, 3, 1, 0))": 0, "(0, (3, 4, 1, 0))": 0, "(0, (2, 5, 1, 0))": 2, "(0, (1, 6, 1, 0))": 0, "(0, (0, 7, 1, 0))": 0, "(0, (6, 0, 2, 0))": 0, "(0, (5, 1, 2, 0))": 0, "(0, (4, 2, 2, 0))": 0, "(0, (3, 3, 2, 0))": 3, "(0, (2, 4, 2, 0))": 2, "(0, (1, 5, 2, 0))": 0, "(0, (0, 6, 2, 0))": 0, "(0, (5, 0, 3, 0))": 0, "(0, (4, 1, 3, 0))": 0, "(0, (3, 2, 3, 0))": 0, "(0, (2, 3, 3, 0))": 0, "(0, (1, 4, 3, 0))": 1, "(0, (0, 5, 3, 0))": 1, "(0, (4, 0, 4, 0))": 0, "(0, (3, 1, 4, 0))": 1, "(0, (2, 2, 4, 0))": 0, "(0, (1, 3, 4, 0))": 0, "(0, (0, 4, 4, 0))": 0, "(0, (3, 0, 5, 0))": 2, "(0, (2, 1, 5, 0))": 0, "(0, (1, 2, 5, 0))": 0, "(0, (0, 3, 5, 0))": 0, "(0, (2, 0, 6, 0))": 3, "(0, (1, 1, 6, 0))": 0, "(0, (0, 2, 6, 0))": 1, "(0, (1, 0, 7, 0))": 0, "(0, (0, 1, 7, 0))": 0, "(0, (0, 0, 8, 0))": 0, "(0, (7, 0, 0, 1))": 0, "(0, (6, 1, 0, 1))": 3, "(0, (5, 2, 0, 1))": 3, "(0, (4, 3, 0, 1))": 2, "(0, (3, 4, 0, 1))": 0, "(0, (2, 5, 0, 1))": 0, "(0, (1, 6, 0, 1))": 0, "(0, (0, 7, 0, 1))": 0, "(0, (6, 0, 1, 1))": 0, "(0, (5, 1, 1, 1))": 0, "(0, (4, 2, 1, 1))": 0, "(0, (3, 3, 1, 1))": 0, "(0, (2, 4, 1, 1))": 0, "(0, (1, 5, 1, 1))": 0, "(0, (0, 6, 1, 1))": 0, "(0, (5, 0, 2, 1))": 0, "(0, (4, 1, 2, 1))": 0, "(0, (3, 2, 2, 1))": 0, "(0, (2, 3, 2, 1))": 0, "(0, (1, 4, 2, 1))": 3, "(0, (0, 5, 2, 1))": 1, "(0, (4, 0, 3, 1))": 0, "(0, (3, 1, 3, 1))": 0, "(0, (2, 2, 3, 1))": 0, "(0, (1, 3, 3, 1))": 0, "(0, (0, 4, 3, 1))": 0, "(0, (3, 0, 4, 1))": 0, "(0, (2, 1, 4, 1))": 0, "(0, (1, 2, 4, 1))": 0, "(0, (0, 3, 4, 1))": 0, "(0, (2, 0, 5, 1))": 0, "(0, (1, 1, 5, 1))": 0, "(0, (0, 2, 5, 1))": 0, "(0, (1, 0, 6, 1))": 0, "(0, (0, 1, 6, 1))": 2, "(0, (0, 0, 7, 1))": 1, "(0, (6, 0, 0, 2))": 1, "(0, (5, 1, 0, 2))": 0, "(0, (4, 2, 0, 2))": 0, "(0, (3, 3, 0, 2))": 2, "(0, (2, 4, 0, 2))": 0, "(0, (1, 5, 0, 2))": 1, "(0, (0, 6, 0, 2))": 0, "(0, (5, 0, 1, 2))": 0, "(0, (4, 1, 1, 2))": 0, "(0, (3, 2, 1, 2))": 0, "(0, (2, 3, 1, 2))": 0, "(0, (1, 4, 1, 2))": 0, "(0, (0, 5, 1, 2))": 0, "(0, (4, 0, 2, 2))": 0, "(0, (3, 1, 2, 2))": 0, "(0, (2, 2, 2, 2))": 0, "(0, (1, 3, 2, 2))": 0, "(0, (0, 4, 2, 2))": 0, "(0, (3, 0, 3, 2))": 1, "(0, (2, 1, 3, 2))": 0, "(0, (1, 2, 3, 2))": 0, "(0, (0, 3, 3, 2))": 0, "(0, (2, 0, 4, 2))": 0, "(0, (1, 1, 4, 2))": 2, "(0, (0, 2, 4, 2))": 0, "(0, (1, 0, 5, 2))": 0, "(0, (0, 1, 5, 2))": 0, "(0, (0, 0, 6, 2))": 2, "(0, (5, 0, 0, 3))": 0, "(0, (4, 1, 0, 3))": 0, "(0, (3, 2, 0, 3))": 0, "(0, (2, 3, 0, 3))": 3, "(0, (1, 4, 0, 3))": 0, "(0, (0, 5, 0, 3))": 0, "(0, (4, 0, 1, 3))": 0, "(0, (3, 1, 1, 3))": 0, "(0, (2, 2, 1, 3))": 0, "(0, (1, 3, 1, 3))": 3, "(0, (0, 4, 1, 3))": 0, "(0, (3, 0, 2, 3))": 0, "(0, (2, 1, 2, 3))": 0, "(0, (1, 2, 2, 3))": 1, "(0, (0, 3, 2, 3))": 0, "(0, (2, 0, 3, 3))": 2, "(0, (1, 1, 3, 3))": 0, "(0, (0, 2, 3, 3))": 0, "(0, (1, 0, 4, 3))": 0, "(0, (0, 1, 4, 3))": 0, "(0, (0, 0, 5, 3))": 0, "(0, (4, 0, 0, 4))": 0, "(0, (3, 1, 0, 4))": 0, "(0, (2, 2, 0, 4))": 1, "(0, (1, 3, 0, 4))": 0, "(0, (0, 4, 0, 4))": 0, "(0, (3, 0, 1, 4))": 0, "(0, (2, 1, 1, 4))": 0, "(0, (1, 2, 1, 4))": 0, "(0, (0, 3, 1, 4))": 0, "(0, (2, 0, 2, 4))": 3, "(0, (1, 1, 2, 4))": 0, "(0, (0, 2, 2, 4))": 0, "(0, (1, 0, 3, 4))": 2, "(0, (0, 1, 3, 4))": 0, "(0, (0, 0, 4, 4))": 0, "(0, (3, 0, 0, 5))": 3, "(0, (2, 1, 0, 5))": 3, "(0, (1, 2, 0, 5))": 1, "(0, (0, 3, 0, 5))": 0, "(0, (2, 0, 1, 5))": 0, "(0, (1, 1, 1, 5))": 3, "(0, (0, 2, 1, 5))": 0, "(0, (1, 0, 2, 5))": 2, "(0, (0, 1, 2, 5))": 0, "(0, (0, 0, 3, 5))": 0, "(0, (2, 0, 0, 6))": 2, "(0, (1, 1, 0, 6))": 1, "(0, (0, 2, 0, 6))": 0, "(0, (1, 0, 1, 6))": 0, "(0, (0, 1, 1, 6))": 2, "(0, (0, 0, 2, 6))": 0, "(0, (1, 0, 0, 7))": 0, "(0, (0, 1, 0, 7))": 1, "(0, (0, 0, 1, 7))": 0, "(0, (0, 0, 0, 8))": 0, "(1, (8, 0, 0, 0))": 0, "(1, (7, 1, 0, 0))": 0, "(1, (6, 2, 0, 0))": 3, "(1, (5, 3, 0, 0))": 0, "(1, (4, 4, 0, 0))": 0, "(1, (3, 5, 0, 0))": 1, "(1, (2, 6, 0, 0))": 0, "(1, (1, 7, 0, 0))": 0, "(1, (0, 8, 0, 0))": 1, "(1, (7, 0, 1, 0))": 0, "(1, (6, 1, 1, 0))": 2, "(1, (5, 2, 1, 0))": 3, "(1, (4, 3, 1, 0))": 0, "(1, (3, 4, 1, 0))": 1, "(1, (2, 5, 1, 0))": 3, "(1, (1, 6, 1, 0))": 3, "(1, (0, 7, 1, 0))": 3, "(1, (6, 0, 2, 0))": 3, "(1, (5, 1, 2, 0))": 0, "(1, (4, 2, 2, 0))": 0, "(1, (3, 3, 2, 0))": 0, "(1, (2, 4, 2, 0))": 1, "(1, (1, 5, 2, 0))": 0, "(1, (0, 6, 2, 0))": 0, "(1, (5, 0, 3, 0))": 0, "(1, (4, 1, 3, 0))": 1, "(1, (3, 2, 3, 0))": 0, "(1, (2, 3, 3, 0))": 1, "(1, (1, 4, 3, 0))": 0, "(1, (0, 5, 3, 0))": 0, "(1, (4, 0, 4, 0))": 1, "(1, (3, 1, 4, 0))": 0, "(1, (2, 2, 4, 0))": 1, "(1, (1, 3, 4, 0))": 0, "(1, (0, 4, 4, 0))": 0, "(1, (3, 0, 5, 0))": 3, "(1, (2, 1, 5, 0))": 1, "(1, (1, 2, 5, 0))": 0, "(1, (0, 3, 5, 0))": 0, "(1, (2, 0, 6, 0))": 0, "(1, (1, 1, 6, 0))": 0, "(1, (0, 2, 6, 0))": 0, "(1, (1, 0, 7, 0))": 0, "(1, (0, 1, 7, 0))": 0, "(1, (0, 0, 8, 0))": 0, "(1, (7, 0, 0, 1))": 0, "(1, (6, 1, 0, 1))": 0, "(1, (5, 2, 0, 1))": 3, "(1, (4, 3, 0, 1))": 0, "(1, (3, 4, 0, 1))": 0, "(1, (2, 5, 0, 1))": 0, "(1, (1, 6, 0, 1))": 2, "(1, (0, 7, 0, 1))": 0, "(1, (6, 0, 1, 1))": 0, "(1, (5, 1, 1, 1))": 0, "(1, (4, 2, 1, 1))": 0, "(1, (3, 3, 1, 1))": 0, "(1, (2, 4, 1, 1))": 0, "(1, (1, 5, 1, 1))": 1, "(1, (0, 6, 1, 1))": 0, "(1, (5, 0, 2, 1))": 0, "(1, (4, 1, 2, 1))": 0, "(1, (3, 2, 2, 1))": 0, "(1, (2, 3, 2, 1))": 0, "(1, (1, 4, 2, 1))": 1, "(1, (0, 5, 2, 1))": 0, "(1, (4, 0, 3, 1))": 0, "(1, (3, 1, 3, 1))": 0, "(1, (2, 2, 3, 1))": 0, "(1, (1, 3, 3, 1))": 1, "(1, (0, 4, 3, 1))": 0, "(1, (3, 0, 4, 1))": 0, "(1, (2, 1, 4, 1))": 0, "(1, (1, 2, 4, 1))": 0, "(1, (0, 3, 4, 1))": 0, "(1, (2, 0, 5, 1))": 0, "(1, (1, 1, 5, 1))": 0, "(1, (0, 2, 5, 1))": 1, "(1, (1, 0, 6, 1))": 1, "(1, (0, 1, 6, 1))": 0, "(1, (0, 0, 7, 1))": 0, "(1, (6, 0, 0, 2))": 1, "(1, (5, 1, 0, 2))": 0, "(1, (4, 2, 0, 2))": 0, "(1, (3, 3, 0, 2))": 2, "(1, (2, 4, 0, 2))": 0, "(1, (1, 5, 0, 2))": 0, "(1, (0, 6, 0, 2))": 0, "(1, (5, 0, 1, 2))": 0, "(1, (4, 1, 1, 2))": 0, "(1, (3, 2, 1, 2))": 0, "(1, (2, 3, 1, 2))": 0, "(1, (1, 4, 1, 2))": 0, "(1, (0, 5, 1, 2))": 0, "(1, (4, 0, 2, 2))": 0, "(1, (3, 1, 2, 2))": 2, "(1, (2, 2, 2, 2))": 1, "(1, (1, 3, 2, 2))": 1, "(1, (0, 4, 2, 2))": 0, "(1, (3, 0, 3, 2))": 1, "(1, (2, 1, 3, 2))": 0, "(1, (1, 2, 3, 2))": 2, "(1, (0, 3, 3, 2))": 1, "(1, (2, 0, 4, 2))": 0, "(1, (1, 1, 4, 2))": 1, "(1, (0, 2, 4, 2))": 1, "(1, (1, 0, 5, 2))": 1, "(1, (0, 1, 5, 2))": 0, "(1, (0, 0, 6, 2))": 0, "(1, (5, 0, 0, 3))": 3, "(1, (4, 1, 0, 3))": 0, "(1, (3, 2, 0, 3))": 1, "(1, (2, 3, 0, 3))": 0, "(1, (1, 4, 0, 3))": 0, "(1, (0, 5, 0, 3))": 0, "(1, (4, 0, 1, 3))": 0, "(1, (3, 1, 1, 3))": 0, "(1, (2, 2, 1, 3))": 0, "(1, (1, 3, 1, 3))": 1, "(1, (0, 4, 1, 3))": 0, "(1, (3, 0, 2, 3))": 0, "(1, (2, 1, 2, 3))": 1, "(1, (1, 2, 2, 3))": 0, "(1, (0, 3, 2, 3))": 0, "(1, (2, 0, 3, 3))": 0, "(1, (1, 1, 3, 3))": 0, "(1, (0, 2, 3, 3))": 0, "(1, (1, 0, 4, 3))": 0, "(1, (0, 1, 4, 3))": 0, "(1, (0, 0, 5, 3))": 0, "(1, (4, 0, 0, 4))": 1, "(1, (3, 1, 0, 4))": 0, "(1, (2, 2, 0, 4))": 0, "(1, (1, 3, 0, 4))": 1, "(1, (0, 4, 0, 4))": 0, "(1, (3, 0, 1, 4))": 1, "(1, (2, 1, 1, 4))": 0, "(1, (1, 2, 1, 4))": 0, "(1, (0, 3, 1, 4))": 0, "(1, (2, 0, 2, 4))": 0, "(1, (1, 1, 2, 4))": 3, "(1, (0, 2, 2, 4))": 0, "(1, (1, 0, 3, 4))": 2, "(1, (0, 1, 3, 4))": 1, "(1, (0, 0, 4, 4))": 3, "(1, (3, 0, 0, 5))": 1, "(1, (2, 1, 0, 5))": 3, "(1, (1, 2, 0, 5))": 0, "(1, (0, 3, 0, 5))": 0, "(1, (2, 0, 1, 5))": 0, "(1, (1, 1, 1, 5))": 0, "(1, (0, 2, 1, 5))": 1, "(1, (1, 0, 2, 5))": 1, "(1, (0, 1, 2, 5))": 0, "(1, (0, 0, 3, 5))": 0, "(1, (2, 0, 0, 6))": 0, "(1, (1, 1, 0, 6))": 0, "(1, (0, 2, 0, 6))": 0, "(1, (1, 0, 1, 6))": 1, "(1, (0, 1, 1, 6))": 2, "(1, (0, 0, 2, 6))": 0, "(1, (1, 0, 0, 7))": 1, "(1, (0, 1, 0, 7))": 1, "(1, (0, 0, 1, 7))": 1, "(1, (0, 0, 0, 8))": 1, "(2, (8, 0, 0, 0))": 0, "(2, (7, 1, 0, 0))": 2, "(2, (6, 2, 0, 0))": 3, "(2, (5, 3, 0, 0))": 0, "(2, (4, 4, 0, 0))": 0, "(2, (3, 5, 0, 0))": 0, "(2, (2, 6, 0, 0))": 0, "(2, (1, 7, 0, 0))": 3, "(2, (0, 8, 0, 0))": 2, "(2, (7, 0, 1, 0))": 0, "(2, (6, 1, 1, 0))": 2, "(2, (5, 2, 1, 0))": 2, "(2, (4, 3, 1, 0))": 0, "(2, (3, 4, 1, 0))": 1, "(2, (2, 5, 1, 0))": 0, "(2, (1, 6, 1, 0))": 2, "(2, (0, 7, 1, 0))": 0, "(2, (6, 0, 2, 0))": 0, "(2, (5, 1, 2, 0))": 2, "(2, (4, 2, 2, 0))": 0, "(2, (3, 3, 2, 0))": 2, "(2, (2, 4, 2, 0))": 1, "(2, (1, 5, 2, 0))": 0, "(2, (0, 6, 2, 0))": 0, "(2, (5, 0, 3, 0))": 0, "(2, (4, 1, 3, 0))": 3, "(2, (3, 2, 3, 0))": 2, "(2, (2, 3, 3, 0))": 0, "(2, (1, 4, 3, 0))": 0, "(2, (0, 5, 3, 0))": 1, "(2, (4, 0, 4, 0))": 0, "(2, (3, 1, 4, 0))": 0, "(2, (2, 2, 4, 0))": 0, "(2, (1, 3, 4, 0))": 3, "(2, (0, 4, 4, 0))": 3, "(2, (3, 0, 5, 0))": 1, "(2, (2, 1, 5, 0))": 0, "(2, (1, 2, 5, 0))": 0, "(2, (0, 3, 5, 0))": 2, "(2, (2, 0, 6, 0))": 0, "(2, (1, 1, 6, 0))": 0, "(2, (0, 2, 6, 0))": 0, "(2, (1, 0, 7, 0))": 0, "(2, (0, 1, 7, 0))": 0, "(2, (0, 0, 8, 0))": 0, "(2, (7, 0, 0, 1))": 2, "(2, (6, 1, 0, 1))": 0, "(2, (5, 2, 0, 1))": 2, "(2, (4, 3, 0, 1))": 0, "(2, (3, 4, 0, 1))": 0, "(2, (2, 5, 0, 1))": 2, "(2, (1, 6, 0, 1))": 1, "(2, (0, 7, 0, 1))": 2, "(2, (6, 0, 1, 1))": 2, "(2, (5, 1, 1, 1))": 3, "(2, (4, 2, 1, 1))": 0, "(2, (3, 3, 1, 1))": 0, "(2, (2, 4, 1, 1))": 2, "(2, (1, 5, 1, 1))": 0, "(2, (0, 6, 1, 1))": 0, "(2, (5, 0, 2, 1))": 0, "(2, (4, 1, 2, 1))": 2, "(2, (3, 2, 2, 1))": 0, "(2, (2, 3, 2, 1))": 3, "(2, (1, 4, 2, 1))": 3, "(2, (0, 5, 2, 1))": 0, "(2, (4, 0, 3, 1))": 0, "(2, (3, 1, 3, 1))": 2, "(2, (2, 2, 3, 1))": 0, "(2, (1, 3, 3, 1))": 0, "(2, (0, 4, 3, 1))": 0, "(2, (3, 0, 4, 1))": 0, "(2, (2, 1, 4, 1))": 0, "(2, (1, 2, 4, 1))": 0, "(2, (0, 3, 4, 1))": 0, "(2, (2, 0, 5, 1))": 0, "(2, (1, 1, 5, 1))": 2, "(2, (0, 2, 5, 1))": 0, "(2, (1, 0, 6, 1))": 2, "(2, (0, 1, 6, 1))": 0, "(2, (0, 0, 7, 1))": 0, "(2, (6, 0, 0, 2))": 0, "(2, (5, 1, 0, 2))": 2, "(2, (4, 2, 0, 2))": 2, "(2, (3, 3, 0, 2))": 0, "(2, (2, 4, 0, 2))": 0, "(2, (1, 5, 0, 2))": 0, "(2, (0, 6, 0, 2))": 0, "(2, (5, 0, 1, 2))": 0, "(2, (4, 1, 1, 2))": 0, "(2, (3, 2, 1, 2))": 1, "(2, (2, 3, 1, 2))": 2, "(2, (1, 4, 1, 2))": 2, "(2, (0, 5, 1, 2))": 1, "(2, (4, 0, 2, 2))": 1, "(2, (3, 1, 2, 2))": 3, "(2, (2, 2, 2, 2))": 2, "(2, (1, 3, 2, 2))": 0, "(2, (0, 4, 2, 2))": 0, "(2, (3, 0, 3, 2))": 2, "(2, (2, 1, 3, 2))": 0, "(2, (1, 2, 3, 2))": 0, "(2, (0, 3, 3, 2))": 0, "(2, (2, 0, 4, 2))": 0, "(2, (1, 1, 4, 2))": 2, "(2, (0, 2, 4, 2))": 0, "(2, (1, 0, 5, 2))": 0, "(2, (0, 1, 5, 2))": 0, "(2, (0, 0, 6, 2))": 3, "(2, (5, 0, 0, 3))": 2, "(2, (4, 1, 0, 3))": 2, "(2, (3, 2, 0, 3))": 0, "(2, (2, 3, 0, 3))": 1, "(2, (1, 4, 0, 3))": 0, "(2, (0, 5, 0, 3))": 2, "(2, (4, 0, 1, 3))": 1, "(2, (3, 1, 1, 3))": 0, "(2, (2, 2, 1, 3))": 0, "(2, (1, 3, 1, 3))": 1, "(2, (0, 4, 1, 3))": 2, "(2, (3, 0, 2, 3))": 1, "(2, (2, 1, 2, 3))": 0, "(2, (1, 2, 2, 3))": 0, "(2, (0, 3, 2, 3))": 3, "(2, (2, 0, 3, 3))": 0, "(2, (1, 1, 3, 3))": 0, "(2, (0, 2, 3, 3))": 2, "(2, (1, 0, 4, 3))": 1, "(2, (0, 1, 4, 3))": 1, "(2, (0, 0, 5, 3))": 0, "(2, (4, 0, 0, 4))": 0, "(2, (3, 1, 0, 4))": 2, "(2, (2, 2, 0, 4))": 3, "(2, (1, 3, 0, 4))": 0, "(2, (0, 4, 0, 4))": 0, "(2, (3, 0, 1, 4))": 3, "(2, (2, 1, 1, 4))": 0, "(2, (1, 2, 1, 4))": 0, "(2, (0, 3, 1, 4))": 0, "(2, (2, 0, 2, 4))": 0, "(2, (1, 1, 2, 4))": 0, "(2, (0, 2, 2, 4))": 0, "(2, (1, 0, 3, 4))": 0, "(2, (0, 1, 3, 4))": 1, "(2, (0, 0, 4, 4))": 0, "(2, (3, 0, 0, 5))": 0, "(2, (2, 1, 0, 5))": 0, "(2, (1, 2, 0, 5))": 0, "(2, (0, 3, 0, 5))": 0, "(2, (2, 0, 1, 5))": 0, "(2, (1, 1, 1, 5))": 3, "(2, (0, 2, 1, 5))": 0, "(2, (1, 0, 2, 5))": 2, "(2, (0, 1, 2, 5))": 0, "(2, (0, 0, 3, 5))": 2, "(2, (2, 0, 0, 6))": 0, "(2, (1, 1, 0, 6))": 0, "(2, (0, 2, 0, 6))": 2, "(2, (1, 0, 1, 6))": 2, "(2, (0, 1, 1, 6))": 0, "(2, (0, 0, 2, 6))": 0, "(2, (1, 0, 0, 7))": 2, "(2, (0, 1, 0, 7))": 1, "(2, (0, 0, 1, 7))": 2, "(2, (0, 0, 0, 8))": 0, "(3, (8, 0, 0, 0))": 0, "(3, (7, 1, 0, 0))": 0, "(3, (6, 2, 0, 0))": 3, "(3, (5, 3, 0, 0))": 0, "(3, (4, 4, 0, 0))": 0, "(3, (3, 5, 0, 0))": 0, "(3, (2, 6, 0, 0))": 3, "(3, (1, 7, 0, 0))": 0, "(3, (0, 8, 0, 0))": 1, "(3, (7, 0, 1, 0))": 3, "(3, (6, 1, 1, 0))": 0, "(3, (5, 2, 1, 0))": 3, "(3, (4, 3, 1, 0))": 3, "(3, (3, 4, 1, 0))": 0, "(3, (2, 5, 1, 0))": 0, "(3, (1, 6, 1, 0))": 0, "(3, (0, 7, 1, 0))": 0, "(3, (6, 0, 2, 0))": 3, "(3, (5, 1, 2, 0))": 0, "(3, (4, 2, 2, 0))": 0, "(3, (3, 3, 2, 0))": 3, "(3, (2, 4, 2, 0))": 3, "(3, (1, 5, 2, 0))": 0, "(3, (0, 6, 2, 0))": 1, "(3, (5, 0, 3, 0))": 0, "(3, (4, 1, 3, 0))": 0, "(3, (3, 2, 3, 0))": 0, "(3, (2, 3, 3, 0))": 0, "(3, (1, 4, 3, 0))": 0, "(3, (0, 5, 3, 0))": 0, "(3, (4, 0, 4, 0))": 0, "(3, (3, 1, 4, 0))": 0, "(3, (2, 2, 4, 0))": 0, "(3, (1, 3, 4, 0))": 0, "(3, (0, 4, 4, 0))": 1, "(3, (3, 0, 5, 0))": 3, "(3, (2, 1, 5, 0))": 2, "(3, (1, 2, 5, 0))": 2, "(3, (0, 3, 5, 0))": 3, "(3, (2, 0, 6, 0))": 0, "(3, (1, 1, 6, 0))": 2, "(3, (0, 2, 6, 0))": 0, "(3, (1, 0, 7, 0))": 0, "(3, (0, 1, 7, 0))": 3, "(3, (0, 0, 8, 0))": 0, "(3, (7, 0, 0, 1))": 0, "(3, (6, 1, 0, 1))": 3, "(3, (5, 2, 0, 1))": 0, "(3, (4, 3, 0, 1))": 0, "(3, (3, 4, 0, 1))": 0, "(3, (2, 5, 0, 1))": 0, "(3, (1, 6, 0, 1))": 3, "(3, (0, 7, 0, 1))": 0, "(3, (6, 0, 1, 1))": 3, "(3, (5, 1, 1, 1))": 2, "(3, (4, 2, 1, 1))": 0, "(3, (3, 3, 1, 1))": 0, "(3, (2, 4, 1, 1))": 0, "(3, (1, 5, 1, 1))": 0, "(3, (0, 6, 1, 1))": 0, "(3, (5, 0, 2, 1))": 0, "(3, (4, 1, 2, 1))": 1, "(3, (3, 2, 2, 1))": 0, "(3, (2, 3, 2, 1))": 3, "(3, (1, 4, 2, 1))": 1, "(3, (0, 5, 2, 1))": 0, "(3, (4, 0, 3, 1))": 0, "(3, (3, 1, 3, 1))": 1, "(3, (2, 2, 3, 1))": 0, "(3, (1, 3, 3, 1))": 3, "(3, (0, 4, 3, 1))": 2, "(3, (3, 0, 4, 1))": 0, "(3, (2, 1, 4, 1))": 0, "(3, (1, 2, 4, 1))": 2, "(3, (0, 3, 4, 1))": 1, "(3, (2, 0, 5, 1))": 0, "(3, (1, 1, 5, 1))": 0, "(3, (0, 2, 5, 1))": 0, "(3, (1, 0, 6, 1))": 0, "(3, (0, 1, 6, 1))": 3, "(3, (0, 0, 7, 1))": 0, "(3, (6, 0, 0, 2))": 3, "(3, (5, 1, 0, 2))": 0, "(3, (4, 2, 0, 2))": 0, "(3, (3, 3, 0, 2))": 1, "(3, (2, 4, 0, 2))": 0, "(3, (1, 5, 0, 2))": 3, "(3, (0, 6, 0, 2))": 2, "(3, (5, 0, 1, 2))": 0, "(3, (4, 1, 1, 2))": 0, "(3, (3, 2, 1, 2))": 0, "(3, (2, 3, 1, 2))": 3, "(3, (1, 4, 1, 2))": 3, "(3, (0, 5, 1, 2))": 1, "(3, (4, 0, 2, 2))": 0, "(3, (3, 1, 2, 2))": 0, "(3, (2, 2, 2, 2))": 3, "(3, (1, 3, 2, 2))": 0, "(3, (0, 4, 2, 2))": 0, "(3, (3, 0, 3, 2))": 0, "(3, (2, 1, 3, 2))": 1, "(3, (1, 2, 3, 2))": 0, "(3, (0, 3, 3, 2))": 0, "(3, (2, 0, 4, 2))": 3, "(3, (1, 1, 4, 2))": 0, "(3, (0, 2, 4, 2))": 1, "(3, (1, 0, 5, 2))": 0, "(3, (0, 1, 5, 2))": 0, "(3, (0, 0, 6, 2))": 3, "(3, (5, 0, 0, 3))": 3, "(3, (4, 1, 0, 3))": 0, "(3, (3, 2, 0, 3))": 0, "(3, (2, 3, 0, 3))": 3, "(3, (1, 4, 0, 3))": 0, "(3, (0, 5, 0, 3))": 3, "(3, (4, 0, 1, 3))": 1, "(3, (3, 1, 1, 3))": 1, "(3, (2, 2, 1, 3))": 0, "(3, (1, 3, 1, 3))": 0, "(3, (0, 4, 1, 3))": 0, "(3, (3, 0, 2, 3))": 0, "(3, (2, 1, 2, 3))": 1, "(3, (1, 2, 2, 3))": 2, "(3, (0, 3, 2, 3))": 3, "(3, (2, 0, 3, 3))": 0, "(3, (1, 1, 3, 3))": 3, "(3, (0, 2, 3, 3))": 3, "(3, (1, 0, 4, 3))": 0, "(3, (0, 1, 4, 3))": 3, "(3, (0, 0, 5, 3))": 0, "(3, (4, 0, 0, 4))": 0, "(3, (3, 1, 0, 4))": 3, "(3, (2, 2, 0, 4))": 3, "(3, (1, 3, 0, 4))": 0, "(3, (0, 4, 0, 4))": 2, "(3, (3, 0, 1, 4))": 0, "(3, (2, 1, 1, 4))": 0, "(3, (1, 2, 1, 4))": 0, "(3, (0, 3, 1, 4))": 2, "(3, (2, 0, 2, 4))": 2, "(3, (1, 1, 2, 4))": 2, "(3, (0, 2, 2, 4))": 0, "(3, (1, 0, 3, 4))": 0, "(3, (0, 1, 3, 4))": 0, "(3, (0, 0, 4, 4))": 0, "(3, (3, 0, 0, 5))": 0, "(3, (2, 1, 0, 5))": 3, "(3, (1, 2, 0, 5))": 0, "(3, (0, 3, 0, 5))": 0, "(3, (2, 0, 1, 5))": 3, "(3, (1, 1, 1, 5))": 3, "(3, (0, 2, 1, 5))": 0, "(3, (1, 0, 2, 5))": 0, "(3, (0, 1, 2, 5))": 0, "(3, (0, 0, 3, 5))": 0, "(3, (2, 0, 0, 6))": 1, "(3, (1, 1, 0, 6))": 0, "(3, (0, 2, 0, 6))": 3, "(3, (1, 0, 1, 6))": 0, "(3, (0, 1, 1, 6))": 0, "(3, (0, 0, 2, 6))": 0, "(3, (1, 0, 0, 7))": 0, "(3, (0, 1, 0, 7))": 0, "(3, (0, 0, 1, 7))": 0, "(3, (0, 0, 0, 8))": 0}, "Nstates": 4, "mode": "semistable"}