{"n": 14, "states": [{"h": "00000000000000", "G": ["00000000000010", "00000000000001"], "Q": [], "L": [0, 0]}, {"h": "00000000000000", "G": ["00000000000010", "00000000000001"], "Q": [[0, 1]], "L": [0, 0]}, {"h": "00000000000000", "G": ["00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5]], "L": [1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5]], "L": [3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [], "L": [1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[4, 5]], "L": [1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7], [8, 9]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5]], "L": [3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [8, 9]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000000010", "00000000000001"], "Q": [], "L": [1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000000010", "00000000000001"], "Q": [[4, 5]], "L": [1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7], [8, 9]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[12, 13]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[8, 9], [10, 11]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[8, 9], [10, 11], [12, 13]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7], [8, 9]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7], [12, 13]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7], [8, 9], [10, 11]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[4, 5], [6, 7], [8, 9], [10, 11], [12, 13]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5]], "L": [3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [8, 9]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [8, 9]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [12, 13]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [8, 9], [10, 11]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [8, 9], [10, 11], [12, 13]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [12, 13]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 1, 1, 1, 1, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}, {"h": "00000000000000", "G": ["10000000000000", "01000000000000", "00100000000000", "00010000000000", "00001000000000", "00000100000000", "00000010000000", "00000001000000", "00000000100000", "00000000010000", "00000000001000", "00000000000100", "00000000000010", "00000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11], [12, 13]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 0, 0]}]}