{"n": 13, "states": [{"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11]], "L": [0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000110000000", "0000001100000", "0000000011000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[5, 6], [5, 7], [6, 7]], "L": [1, 1, 1, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000110000000", "0000001100000", "0000000011000", "0000000000100", "0000000000010"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000110000000", "0000001100000", "0000000011000", "0000000000110", "0000000000001"], "Q": [[5, 6]], "L": [1, 1, 1, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11], [10, 12], [11, 12]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [6, 7], [8, 9], [8, 10], [9, 10]], "L": [0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [6, 7]], "L": [0, 0, 0, 0, 1, 1, 0, 0, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [6, 7], [8, 9]], "L": [0, 0, 0, 0, 1, 1, 0, 0, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[2, 3], [4, 5], [6, 7], [8, 9], [8, 10], [9, 10]], "L": [1, 1, 0, 0, 0, 0, 0, 0, 3, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[2, 3], [4, 5], [6, 7]], "L": [1, 1, 0, 0, 0, 0, 0, 0, 1, 1]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[2, 3], [4, 5], [6, 7], [8, 9]], "L": [1, 1, 0, 0, 0, 0, 0, 0, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0011000000000", "0000110000000", "0000001000000", "0000000100000", "0000000011000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [4, 5], [7, 8], [7, 9], [8, 9]], "L": [0, 0, 1, 1, 0, 0, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0011000000000", "0000110000000", "0000001000000", "0000000100000", "0000000011000", "0000000000100", "0000000000010"], "Q": [[0, 1], [4, 5]], "L": [0, 0, 1, 1, 0, 0, 1, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0011000000000", "0000110000000", "0000001000000", "0000000100000", "0000000011000", "0000000000110", "0000000000001"], "Q": [[0, 1], [4, 5], [7, 8]], "L": [0, 0, 1, 1, 0, 0, 1, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001100000", "0000000011000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[1, 2], [3, 4], [7, 8], [7, 9], [8, 9]], "L": [1, 0, 0, 0, 0, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001100000", "0000000011000", "0000000000100", "0000000000010"], "Q": [[1, 2], [3, 4]], "L": [1, 0, 0, 0, 0, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001100000", "0000000011000", "0000000000110", "0000000000001"], "Q": [[1, 2], [3, 4], [7, 8]], "L": [1, 0, 0, 0, 0, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11]], "L": [0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11], [10, 12], [11, 12]], "L": [1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11]], "L": [1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11], [10, 12], [11, 12]], "L": [0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11]], "L": [0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11], [10, 12], [11, 12]], "L": [1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9]], "L": [1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7], [8, 9], [10, 11]], "L": [1, 1, 0, 0, 0, 0, 1, 1, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[2, 3], [4, 5], [6, 7], [8, 9], [8, 10], [9, 10]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[2, 3], [4, 5], [6, 7]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001000000", "0000000100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[2, 3], [4, 5], [6, 7], [8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [2, 3], [6, 7], [8, 9], [8, 10], [9, 10]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001100000", "0000000010000", "0000000001000", "0000000000100", "0000000000010"], "Q": [[0, 1], [2, 3], [6, 7]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001100000", "0000000010000", "0000000001000", "0000000000110", "0000000000001"], "Q": [[0, 1], [2, 3], [6, 7], [8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001000000", "0000000100000", "0000000011000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[1, 2], [4, 5], [7, 8], [7, 9], [8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001000000", "0000000100000", "0000000011000", "0000000000100", "0000000000010"], "Q": [[1, 2], [4, 5]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1100000000000", "0010000000000", "0001000000000", "0000110000000", "0000001000000", "0000000100000", "0000000011000", "0000000000110", "0000000000001"], "Q": [[1, 2], [4, 5], [7, 8]], "L": [1, 1, 1, 1, 1, 1, 1, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001100000", "0000000011000", "0000000000100", "0000000000010", "0000000000001"], "Q": [[0, 1], [3, 4], [7, 8], [7, 9], [8, 9]], "L": [1, 1, 1, 1, 1, 1, 1, 3, 3, 0]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001100000", "0000000011000", "0000000000100", "0000000000010"], "Q": [[0, 1], [3, 4]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "0000000000000", "G": ["1000000000000", "0100000000000", "0011000000000", "0000100000000", "0000010000000", "0000001100000", "0000000011000", "0000000000110", "0000000000001"], "Q": [[0, 1], [3, 4], [7, 8]], "L": [1, 1, 1, 1, 1, 1, 1, 3, 0]}]}