{"n": 12, "states": [{"h": "000000000000", "G": [], "Q": [], "L": []}, {"h": "000000000000", "G": ["000000001000", "000000000100", "000000000010", "000000000001"], "Q": [], "L": [1, 1, 1, 1]}, {"h": "000000000000", "G": ["000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3]}, {"h": "000000000000", "G": ["000010000000", "000001000000", "000000100000", "000000010000"], "Q": [], "L": [1, 1, 1, 1]}, {"h": "000000000000", "G": ["000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["000010000000", "000001000000", "000000100000", "000000010000"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3]}, {"h": "000000000000", "G": ["000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000"], "Q": [], "L": [1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [], "L": [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[8, 9], [10, 11]], "L": [1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[4, 5], [6, 7]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[4, 5], [6, 7], [8, 9], [10, 11]], "L": [1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3], [8, 9], [10, 11]], "L": [3, 3, 3, 3, 1, 1, 1, 1, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "Q": [[0, 1], [2, 3], [4, 5], [6, 7]], "L": [3, 3, 3, 3, 3, 3, 3, 3, 1, 1, 1, 1]}, {"h": "000000000000", "G": ["100000000000", "010000000000", "001000000000", "000100000000", "000010000000", "000001000000", "000000100000", "000000010000", "000000001000", "000000000100", "000000000010", "000000000001"], "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]}]}