{"n": 4, "states": [{"h": "0000", "G": ["1000", "0100", "0010", "0001"], "Q": [], "L": [0, 0, 0, 0]}, {"h": "1111", "G": [], "Q": [], "L": []}]}