Q:["a", "b", "c", "d", "e", "f", "g", "h"]
Σ:["0", "1"]
2^Q[[], ["a"], ["b"], ["c"], ["d"], ["e"], ["f"], ["g"], ["h"], ["a", "b"], ["a", "c"], ["a", "d"], ["a", "e"], ["a", "f"], ["a", "g"], ["a", "h"], ["b", "c"], ["b", "d"], ["b", "e"], ["b", "f"], ["b", "g"], ["b", "h"], ["c", "d"], ["c", "e"], ["c", "f"], ["c", "g"], ["c", "h"], ["d", "e"], ["d", "f"], ["d", "g"], ["d", "h"], ["e", "f"], ["e", "g"], ["e", "h"], ["f", "g"], ["f", "h"], ["g", "h"], ["a", "b", "c"], ["a", "b", "d"], ["a", "b", "e"], ["a", "b", "f"], ["a", "b", "g"], ["a", "b", "h"], ["a", "c", "d"], ["a", "c", "e"], ["a", "c", "f"], ["a", "c", "g"], ["a", "c", "h"], ["a", "d", "e"], ["a", "d", "f"], ["a", "d", "g"], ["a", "d", "h"], ["a", "e", "f"], ["a", "e", "g"], ["a", "e", "h"], ["a", "f", "g"], ["a", "f", "h"], ["a", "g", "h"], ["b", "c", "d"], ["b", "c", "e"], ["b", "c", "f"], ["b", "c", "g"], ["b", "c", "h"], ["b", "d", "e"], ["b", "d", "f"], ["b", "d", "g"], ["b", "d", "h"], ["b", "e", "f"], ["b", "e", "g"], ["b", "e", "h"], ["b", "f", "g"], ["b", "f", "h"], ["b", "g", "h"], ["c", "d", "e"], ["c", "d", "f"], ["c", "d", "g"], ["c", "d", "h"], ["c", "e", "f"], ["c", "e", "g"], ["c", "e", "h"], ["c", "f", "g"], ["c", "f", "h"], ["c", "g", "h"], ["d", "e", "f"], ["d", "e", "g"], ["d", "e", "h"], ["d", "f", "g"], ["d", "f", "h"], ["d", "g", "h"], ["e", "f", "g"], ["e", "f", "h"], ["e", "g", "h"], ["f", "g", "h"], ["a", "b", "c", "d"], ["a", "b", "c", "e"], ["a", "b", "c", "f"], ["a", "b", "c", "g"], ["a", "b", "c", "h"], ["a", "b", "d", "e"], ["a", "b", "d", "f"], ["a", "b", "d", "g"], ["a", "b", "d", "h"], ["a", "b", "e", "f"], ["a", "b", "e", "g"], ["a", "b", "e", "h"], ["a", "b", "f", "g"], ["a", "b", "f", "h"], ["a", "b", "g", "h"], ["a", "c", "d", "e"], ["a", "c", "d", "f"], ["a", "c", "d", "g"], ["a", "c", "d", "h"], ["a", "c", "e", "f"], ["a", "c", "e", "g"], ["a", "c", "e", "h"], ["a", "c", "f", "g"], ["a", "c", "f", "h"], ["a", "c", "g", "h"], ["a", "d", "e", "f"], ["a", "d", "e", "g"], ["a", "d", "e", "h"], ["a", "d", "f", "g"], ["a", "d", "f", "h"], ["a", "d", "g", "h"], ["a", "e", "f", "g"], ["a", "e", "f", "h"], ["a", "e", "g", "h"], ["a", "f", "g", "h"], ["b", "c", "d", "e"], ["b", "c", "d", "f"], ["b", "c", "d", "g"], ["b", "c", "d", "h"], ["b", "c", "e", "f"], ["b", "c", "e", "g"], ["b", "c", "e", "h"], ["b", "c", "f", "g"], ["b", "c", "f", "h"], ["b", "c", "g", "h"], ["b", "d", "e", "f"], ["b", "d", "e", "g"], ["b", "d", "e", "h"], ["b", "d", "f", "g"], ["b", "d", "f", "h"], ["b", "d", "g", "h"], ["b", "e", "f", "g"], ["b", "e", "f", "h"], ["b", "e", "g", "h"], ["b", "f", "g", "h"], ["c", "d", "e", "f"], ["c", "d", "e", "g"], ["c", "d", "e", "h"], ["c", "d", "f", "g"], ["c", "d", "f", "h"], ["c", "d", "g", "h"], ["c", "e", "f", "g"], ["c", "e", "f", "h"], ["c", "e", "g", "h"], ["c", "f", "g", "h"], ["d", "e", "f", "g"], ["d", "e", "f", "h"], ["d", "e", "g", "h"], ["d", "f", "g", "h"], ["e", "f", "g", "h"], ["a", "b", "c", "d", "e"], ["a", "b", "c", "d", "f"], ["a", "b", "c", "d", "g"], ["a", "b", "c", "d", "h"], ["a", "b", "c", "e", "f"], ["a", "b", "c", "e", "g"], ["a", "b", "c", "e", "h"], ["a", "b", "c", "f", "g"], ["a", "b", "c", "f", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "d", "e", "f"], ["a", "b", "d", "e", "g"], ["a", "b", "d", "e", "h"], ["a", "b", "d", "f", "g"], ["a", "b", "d", "f", "h"], ["a", "b", "d", "g", "h"], ["a", "b", "e", "f", "g"], ["a", "b", "e", "f", "h"], ["a", "b", "e", "g", "h"], ["a", "b", "f", "g", "h"], ["a", "c", "d", "e", "f"], ["a", "c", "d", "e", "g"], ["a", "c", "d", "e", "h"], ["a", "c", "d", "f", "g"], ["a", "c", "d", "f", "h"], ["a", "c", "d", "g", "h"], ["a", "c", "e", "f", "g"], ["a", "c", "e", "f", "h"], ["a", "c", "e", "g", "h"], ["a", "c", "f", "g", "h"], ["a", "d", "e", "f", "g"], ["a", "d", "e", "f", "h"], ["a", "d", "e", "g", "h"], ["a", "d", "f", "g", "h"], ["a", "e", "f", "g", "h"], ["b", "c", "d", "e", "f"], ["b", "c", "d", "e", "g"], ["b", "c", "d", "e", "h"], ["b", "c", "d", "f", "g"], ["b", "c", "d", "f", "h"], ["b", "c", "d", "g", "h"], ["b", "c", "e", "f", "g"], ["b", "c", "e", "f", "h"], ["b", "c", "e", "g", "h"], ["b", "c", "f", "g", "h"], ["b", "d", "e", "f", "g"], ["b", "d", "e", "f", "h"], ["b", "d", "e", "g", "h"], ["b", "d", "f", "g", "h"], ["b", "e", "f", "g", "h"], ["c", "d", "e", "f", "g"], ["c", "d", "e", "f", "h"], ["c", "d", "e", "g", "h"], ["c", "d", "f", "g", "h"], ["c", "e", "f", "g", "h"], ["d", "e", "f", "g", "h"], ["a", "b", "c", "d", "e", "f"], ["a", "b", "c", "d", "e", "g"], ["a", "b", "c", "d", "e", "h"], ["a", "b", "c", "d", "f", "g"], ["a", "b", "c", "d", "f", "h"], ["a", "b", "c", "d", "g", "h"], ["a", "b", "c", "e", "f", "g"], ["a", "b", "c", "e", "f", "h"], ["a", "b", "c", "e", "g", "h"], ["a", "b", "c", "f", "g", "h"], ["a", "b", "d", "e", "f", "g"], ["a", "b", "d", "e", "f", "h"], ["a", "b", "d", "e", "g", "h"], ["a", "b", "d", "f", "g", "h"], ["a", "b", "e", "f", "g", "h"], ["a", "c", "d", "e", "f", "g"], ["a", "c", "d", "e", "f", "h"], ["a", "c", "d", "e", "g", "h"], ["a", "c", "d", "f", "g", "h"], ["a", "c", "e", "f", "g", "h"], ["a", "d", "e", "f", "g", "h"], ["b", "c", "d", "e", "f", "g"], ["b", "c", "d", "e", "f", "h"], ["b", "c", "d", "e", "g", "h"], ["b", "c", "d", "f", "g", "h"], ["b", "c", "e", "f", "g", "h"], ["b", "d", "e", "f", "g", "h"], ["c", "d", "e", "f", "g", "h"], ["a", "b", "c", "d", "e", "f", "g"], ["a", "b", "c", "d", "e", "f", "h"], ["a", "b", "c", "d", "e", "g", "h"], ["a", "b", "c", "d", "f", "g", "h"], ["a", "b", "c", "e", "f", "g", "h"], ["a", "b", "d", "e", "f", "g", "h"], ["a", "c", "d", "e", "f", "g", "h"], ["b", "c", "d", "e", "f", "g", "h"], ["a", "b", "c", "d", "e", "f", "g", "h"]]
[[[], ["b"], ["g"], ["a"], ["c"], ["h"], ["c"], ["g"], ["g"], ["b", "g"], ["a", "b"], ["b", "c"], ["b", "h"], ["b", "c"], ["b", "g"], ["b", "g"], ["a", "g"], ["c", "g"], ["g", "h"], ["c", "g"], ["g"], ["g"], ["a", "c"], ["a", "h"], ["a", "c"], ["a", "g"], ["a", "g"], ["c", "h"], ["c"], ["c", "g"], ["c", "g"], ["c", "h"], ["g", "h"], ["g", "h"], ["c", "g"], ["c", "g"], ["g"], ["a", "b", "g"], ["b", "c", "g"], ["b", "g", "h"], ["b", "c", "g"], ["b", "g"], ["b", "g"], ["a", "b", "c"], ["a", "b", "h"], ["a", "b", "c"], ["a", "b", "g"], ["a", "b", "g"], ["b", "c", "h"], ["b", "c"], ["b", "c", "g"], ["b", "c", "g"], ["b", "c", "h"], ["b", "g", "h"], ["b", "g", "h"], ["b", "c", "g"], ["b", "c", "g"], ["b", "g"], ["a", "c", "g"], ["a", "g", "h"], ["a", "c", "g"], ["a", "g"], ["a", "g"], ["c", "g", "h"], ["c", "g"], ["c", "g"], ["c", "g"], ["c", "g", "h"], ["g", "h"], ["g", "h"], ["c", "g"], ["c", "g"], ["g"], ["a", "c", "h"], ["a", "c"], ["a", "c", "g"], ["a", "c", "g"], ["a", "c", "h"], ["a", "g", "h"], ["a", "g", "h"], ["a", "c", "g"], ["a", "c", "g"], ["a", "g"], ["c", "h"], ["c", "g", "h"], ["c", "g", "h"], ["c", "g"], ["c", "g"], ["c", "g"], ["c", "g", "h"], ["c", "g", "h"], ["g", "h"], ["c", "g"], ["a", "b", "c", "g"], ["a", "b", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "g"], ["a", "b", "g"], ["b", "c", "g", "h"], ["b", "c", "g"], ["b", "c", "g"], ["b", "c", "g"], ["b", "c", "g", "h"], ["b", "g", "h"], ["b", "g", "h"], ["b", "c", "g"], ["b", "c", "g"], ["b", "g"], ["a", "b", "c", "h"], ["a", "b", "c"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "c", "h"], ["a", "b", "g", "h"], ["a", "b", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "g"], ["b", "c", "h"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "c", "g"], ["b", "c", "g"], ["b", "c", "g"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "g", "h"], ["b", "c", "g"], ["a", "c", "g", "h"], ["a", "c", "g"], ["a", "c", "g"], ["a", "c", "g"], ["a", "c", "g", "h"], ["a", "g", "h"], ["a", "g", "h"], ["a", "c", "g"], ["a", "c", "g"], ["a", "g"], ["c", "g", "h"], ["c", "g", "h"], ["c", "g", "h"], ["c", "g"], ["c", "g"], ["c", "g"], ["c", "g", "h"], ["c", "g", "h"], ["g", "h"], ["c", "g"], ["a", "c", "h"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g"], ["a", "c", "g"], ["a", "c", "g"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "g", "h"], ["a", "c", "g"], ["c", "g", "h"], ["c", "g", "h"], ["c", "g", "h"], ["c", "g"], ["c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "c", "g", "h"], ["a", "b", "g", "h"], ["a", "b", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "g"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "c", "g"], ["b", "c", "g"], ["b", "c", "g"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "g", "h"], ["b", "c", "g"], ["a", "b", "c", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "g", "h"], ["a", "b", "c", "g"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "c", "g"], ["b", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g"], ["a", "c", "g"], ["a", "c", "g"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "g", "h"], ["a", "c", "g"], ["c", "g", "h"], ["c", "g", "h"], ["c", "g", "h"], ["c", "g"], ["c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g"], ["a", "c", "g", "h"], ["c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "c", "g"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "g", "h"], ["a", "b", "c", "g"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "c", "g", "h"], ["b", "c", "g"], ["b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "c", "g", "h"], ["b", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "c", "g"], ["a", "c", "g", "h"], ["c", "g", "h"], ["a", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "b", "c", "g"], ["a", "b", "c", "g", "h"], ["b", "c", "g", "h"], ["a", "b", "c", "g", "h"], ["a", "c", "g", "h"], ["a", "b", "c", "g", "h"]], [[], ["f"], ["c"], ["c"], ["g"], ["f"], ["g"], ["e"], ["c"], ["c", "f"], ["c", "f"], ["f", "g"], ["f"], ["f", "g"], ["e", "f"], ["c", "f"], ["c"], ["c", "g"], ["c", "f"], ["c", "g"], ["c", "e"], ["c"], ["c", "g"], ["c", "f"], ["c", "g"], ["c", "e"], ["c"], ["f", "g"], ["g"], ["e", "g"], ["c", "g"], ["f", "g"], ["e", "f"], ["c", "f"], ["e", "g"], ["c", "g"], ["c", "e"], ["c", "f"], ["c", "f", "g"], ["c", "f"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "f", "g"], ["c", "f"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["f", "g"], ["f", "g"], ["e", "f", "g"], ["c", "f", "g"], ["f", "g"], ["e", "f"], ["c", "f"], ["e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "g"], ["c", "f"], ["c", "g"], ["c", "e"], ["c"], ["c", "f", "g"], ["c", "g"], ["c", "e", "g"], ["c", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "e", "g"], ["c", "g"], ["c", "e"], ["c", "f", "g"], ["c", "g"], ["c", "e", "g"], ["c", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "e", "g"], ["c", "g"], ["c", "e"], ["f", "g"], ["e", "f", "g"], ["c", "f", "g"], ["e", "g"], ["c", "g"], ["c", "e", "g"], ["e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "g"], ["c", "f", "g"], ["c", "f"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["f", "g"], ["e", "f", "g"], ["c", "f", "g"], ["e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "g"], ["c", "e", "g"], ["c", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "e", "g"], ["c", "g"], ["c", "e"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "g"], ["c", "g"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "g"], ["c", "g"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "g"], ["e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "f", "g"], ["e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "g"], ["c", "g"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"], ["c", "e", "f", "g"]]]

	0	1
[]	[]	[]
["a"]	["b"]	["f"]
["b"]	["g"]	["c"]
["c"]	["a"]	["c"]
["d"]	["c"]	["g"]
["e"]	["h"]	["f"]
["f"]	["c"]	["g"]
["g"]	["g"]	["e"]
["h"]	["g"]	["c"]
["a", "b"]	["b", "g"]	["c", "f"]
["a", "c"]	["a", "b"]	["c", "f"]
["a", "d"]	["b", "c"]	["f", "g"]
["a", "e"]	["b", "h"]	["f"]
["a", "f"]	["b", "c"]	["f", "g"]
["a", "g"]	["b", "g"]	["e", "f"]
["a", "h"]	["b", "g"]	["c", "f"]
["b", "c"]	["a", "g"]	["c"]
["b", "d"]	["c", "g"]	["c", "g"]
["b", "e"]	["g", "h"]	["c", "f"]
["b", "f"]	["c", "g"]	["c", "g"]
["b", "g"]	["g"]	["c", "e"]
["b", "h"]	["g"]	["c"]
["c", "d"]	["a", "c"]	["c", "g"]
["c", "e"]	["a", "h"]	["c", "f"]
["c", "f"]	["a", "c"]	["c", "g"]
["c", "g"]	["a", "g"]	["c", "e"]
["c", "h"]	["a", "g"]	["c"]
["d", "e"]	["c", "h"]	["f", "g"]
["d", "f"]	["c"]	["g"]
["d", "g"]	["c", "g"]	["e", "g"]
["d", "h"]	["c", "g"]	["c", "g"]
["e", "f"]	["c", "h"]	["f", "g"]
["e", "g"]	["g", "h"]	["e", "f"]
["e", "h"]	["g", "h"]	["c", "f"]
["f", "g"]	["c", "g"]	["e", "g"]
["f", "h"]	["c", "g"]	["c", "g"]
["g", "h"]	["g"]	["c", "e"]
["a", "b", "c"]	["a", "b", "g"]	["c", "f"]
["a", "b", "d"]	["b", "c", "g"]	["c", "f", "g"]
["a", "b", "e"]	["b", "g", "h"]	["c", "f"]
["a", "b", "f"]	["b", "c", "g"]	["c", "f", "g"]
["a", "b", "g"]	["b", "g"]	["c", "e", "f"]
["a", "b", "h"]	["b", "g"]	["c", "f"]
["a", "c", "d"]	["a", "b", "c"]	["c", "f", "g"]
["a", "c", "e"]	["a", "b", "h"]	["c", "f"]
["a", "c", "f"]	["a", "b", "c"]	["c", "f", "g"]
["a", "c", "g"]	["a", "b", "g"]	["c", "e", "f"]
["a", "c", "h"]	["a", "b", "g"]	["c", "f"]
["a", "d", "e"]	["b", "c", "h"]	["f", "g"]
["a", "d", "f"]	["b", "c"]	["f", "g"]
["a", "d", "g"]	["b", "c", "g"]	["e", "f", "g"]
["a", "d", "h"]	["b", "c", "g"]	["c", "f", "g"]
["a", "e", "f"]	["b", "c", "h"]	["f", "g"]
["a", "e", "g"]	["b", "g", "h"]	["e", "f"]
["a", "e", "h"]	["b", "g", "h"]	["c", "f"]
["a", "f", "g"]	["b", "c", "g"]	["e", "f", "g"]
["a", "f", "h"]	["b", "c", "g"]	["c", "f", "g"]
["a", "g", "h"]	["b", "g"]	["c", "e", "f"]
["b", "c", "d"]	["a", "c", "g"]	["c", "g"]
["b", "c", "e"]	["a", "g", "h"]	["c", "f"]
["b", "c", "f"]	["a", "c", "g"]	["c", "g"]
["b", "c", "g"]	["a", "g"]	["c", "e"]
["b", "c", "h"]	["a", "g"]	["c"]
["b", "d", "e"]	["c", "g", "h"]	["c", "f", "g"]
["b", "d", "f"]	["c", "g"]	["c", "g"]
["b", "d", "g"]	["c", "g"]	["c", "e", "g"]
["b", "d", "h"]	["c", "g"]	["c", "g"]
["b", "e", "f"]	["c", "g", "h"]	["c", "f", "g"]
["b", "e", "g"]	["g", "h"]	["c", "e", "f"]
["b", "e", "h"]	["g", "h"]	["c", "f"]
["b", "f", "g"]	["c", "g"]	["c", "e", "g"]
["b", "f", "h"]	["c", "g"]	["c", "g"]
["b", "g", "h"]	["g"]	["c", "e"]
["c", "d", "e"]	["a", "c", "h"]	["c", "f", "g"]
["c", "d", "f"]	["a", "c"]	["c", "g"]
["c", "d", "g"]	["a", "c", "g"]	["c", "e", "g"]
["c", "d", "h"]	["a", "c", "g"]	["c", "g"]
["c", "e", "f"]	["a", "c", "h"]	["c", "f", "g"]
["c", "e", "g"]	["a", "g", "h"]	["c", "e", "f"]
["c", "e", "h"]	["a", "g", "h"]	["c", "f"]
["c", "f", "g"]	["a", "c", "g"]	["c", "e", "g"]
["c", "f", "h"]	["a", "c", "g"]	["c", "g"]
["c", "g", "h"]	["a", "g"]	["c", "e"]
["d", "e", "f"]	["c", "h"]	["f", "g"]
["d", "e", "g"]	["c", "g", "h"]	["e", "f", "g"]
["d", "e", "h"]	["c", "g", "h"]	["c", "f", "g"]
["d", "f", "g"]	["c", "g"]	["e", "g"]
["d", "f", "h"]	["c", "g"]	["c", "g"]
["d", "g", "h"]	["c", "g"]	["c", "e", "g"]
["e", "f", "g"]	["c", "g", "h"]	["e", "f", "g"]
["e", "f", "h"]	["c", "g", "h"]	["c", "f", "g"]
["e", "g", "h"]	["g", "h"]	["c", "e", "f"]
["f", "g", "h"]	["c", "g"]	["c", "e", "g"]
["a", "b", "c", "d"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "b", "c", "e"]	["a", "b", "g", "h"]	["c", "f"]
["a", "b", "c", "f"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "b", "c", "g"]	["a", "b", "g"]	["c", "e", "f"]
["a", "b", "c", "h"]	["a", "b", "g"]	["c", "f"]
["a", "b", "d", "e"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "d", "f"]	["b", "c", "g"]	["c", "f", "g"]
["a", "b", "d", "g"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "d", "h"]	["b", "c", "g"]	["c", "f", "g"]
["a", "b", "e", "f"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "e", "g"]	["b", "g", "h"]	["c", "e", "f"]
["a", "b", "e", "h"]	["b", "g", "h"]	["c", "f"]
["a", "b", "f", "g"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "f", "h"]	["b", "c", "g"]	["c", "f", "g"]
["a", "b", "g", "h"]	["b", "g"]	["c", "e", "f"]
["a", "c", "d", "e"]	["a", "b", "c", "h"]	["c", "f", "g"]
["a", "c", "d", "f"]	["a", "b", "c"]	["c", "f", "g"]
["a", "c", "d", "g"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "c", "d", "h"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "c", "e", "f"]	["a", "b", "c", "h"]	["c", "f", "g"]
["a", "c", "e", "g"]	["a", "b", "g", "h"]	["c", "e", "f"]
["a", "c", "e", "h"]	["a", "b", "g", "h"]	["c", "f"]
["a", "c", "f", "g"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "c", "f", "h"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "c", "g", "h"]	["a", "b", "g"]	["c", "e", "f"]
["a", "d", "e", "f"]	["b", "c", "h"]	["f", "g"]
["a", "d", "e", "g"]	["b", "c", "g", "h"]	["e", "f", "g"]
["a", "d", "e", "h"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "d", "f", "g"]	["b", "c", "g"]	["e", "f", "g"]
["a", "d", "f", "h"]	["b", "c", "g"]	["c", "f", "g"]
["a", "d", "g", "h"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "e", "f", "g"]	["b", "c", "g", "h"]	["e", "f", "g"]
["a", "e", "f", "h"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "e", "g", "h"]	["b", "g", "h"]	["c", "e", "f"]
["a", "f", "g", "h"]	["b", "c", "g"]	["c", "e", "f", "g"]
["b", "c", "d", "e"]	["a", "c", "g", "h"]	["c", "f", "g"]
["b", "c", "d", "f"]	["a", "c", "g"]	["c", "g"]
["b", "c", "d", "g"]	["a", "c", "g"]	["c", "e", "g"]
["b", "c", "d", "h"]	["a", "c", "g"]	["c", "g"]
["b", "c", "e", "f"]	["a", "c", "g", "h"]	["c", "f", "g"]
["b", "c", "e", "g"]	["a", "g", "h"]	["c", "e", "f"]
["b", "c", "e", "h"]	["a", "g", "h"]	["c", "f"]
["b", "c", "f", "g"]	["a", "c", "g"]	["c", "e", "g"]
["b", "c", "f", "h"]	["a", "c", "g"]	["c", "g"]
["b", "c", "g", "h"]	["a", "g"]	["c", "e"]
["b", "d", "e", "f"]	["c", "g", "h"]	["c", "f", "g"]
["b", "d", "e", "g"]	["c", "g", "h"]	["c", "e", "f", "g"]
["b", "d", "e", "h"]	["c", "g", "h"]	["c", "f", "g"]
["b", "d", "f", "g"]	["c", "g"]	["c", "e", "g"]
["b", "d", "f", "h"]	["c", "g"]	["c", "g"]
["b", "d", "g", "h"]	["c", "g"]	["c", "e", "g"]
["b", "e", "f", "g"]	["c", "g", "h"]	["c", "e", "f", "g"]
["b", "e", "f", "h"]	["c", "g", "h"]	["c", "f", "g"]
["b", "e", "g", "h"]	["g", "h"]	["c", "e", "f"]
["b", "f", "g", "h"]	["c", "g"]	["c", "e", "g"]
["c", "d", "e", "f"]	["a", "c", "h"]	["c", "f", "g"]
["c", "d", "e", "g"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["c", "d", "e", "h"]	["a", "c", "g", "h"]	["c", "f", "g"]
["c", "d", "f", "g"]	["a", "c", "g"]	["c", "e", "g"]
["c", "d", "f", "h"]	["a", "c", "g"]	["c", "g"]
["c", "d", "g", "h"]	["a", "c", "g"]	["c", "e", "g"]
["c", "e", "f", "g"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["c", "e", "f", "h"]	["a", "c", "g", "h"]	["c", "f", "g"]
["c", "e", "g", "h"]	["a", "g", "h"]	["c", "e", "f"]
["c", "f", "g", "h"]	["a", "c", "g"]	["c", "e", "g"]
["d", "e", "f", "g"]	["c", "g", "h"]	["e", "f", "g"]
["d", "e", "f", "h"]	["c", "g", "h"]	["c", "f", "g"]
["d", "e", "g", "h"]	["c", "g", "h"]	["c", "e", "f", "g"]
["d", "f", "g", "h"]	["c", "g"]	["c", "e", "g"]
["e", "f", "g", "h"]	["c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "e"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "c", "d", "f"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "b", "c", "d", "g"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "h"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "b", "c", "e", "f"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "c", "e", "g"]	["a", "b", "g", "h"]	["c", "e", "f"]
["a", "b", "c", "e", "h"]	["a", "b", "g", "h"]	["c", "f"]
["a", "b", "c", "f", "g"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "c", "f", "h"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "b", "c", "g", "h"]	["a", "b", "g"]	["c", "e", "f"]
["a", "b", "d", "e", "f"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "d", "e", "g"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "d", "e", "h"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "d", "f", "g"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "d", "f", "h"]	["b", "c", "g"]	["c", "f", "g"]
["a", "b", "d", "g", "h"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "e", "f", "g"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "e", "f", "h"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "e", "g", "h"]	["b", "g", "h"]	["c", "e", "f"]
["a", "b", "f", "g", "h"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "c", "d", "e", "f"]	["a", "b", "c", "h"]	["c", "f", "g"]
["a", "c", "d", "e", "g"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "c", "d", "e", "h"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "c", "d", "f", "g"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "c", "d", "f", "h"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "c", "d", "g", "h"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "c", "e", "f", "g"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "c", "e", "f", "h"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "c", "e", "g", "h"]	["a", "b", "g", "h"]	["c", "e", "f"]
["a", "c", "f", "g", "h"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "d", "e", "f", "g"]	["b", "c", "g", "h"]	["e", "f", "g"]
["a", "d", "e", "f", "h"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "d", "e", "g", "h"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "d", "f", "g", "h"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "e", "f", "g", "h"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "c", "d", "e", "f"]	["a", "c", "g", "h"]	["c", "f", "g"]
["b", "c", "d", "e", "g"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "c", "d", "e", "h"]	["a", "c", "g", "h"]	["c", "f", "g"]
["b", "c", "d", "f", "g"]	["a", "c", "g"]	["c", "e", "g"]
["b", "c", "d", "f", "h"]	["a", "c", "g"]	["c", "g"]
["b", "c", "d", "g", "h"]	["a", "c", "g"]	["c", "e", "g"]
["b", "c", "e", "f", "g"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "c", "e", "f", "h"]	["a", "c", "g", "h"]	["c", "f", "g"]
["b", "c", "e", "g", "h"]	["a", "g", "h"]	["c", "e", "f"]
["b", "c", "f", "g", "h"]	["a", "c", "g"]	["c", "e", "g"]
["b", "d", "e", "f", "g"]	["c", "g", "h"]	["c", "e", "f", "g"]
["b", "d", "e", "f", "h"]	["c", "g", "h"]	["c", "f", "g"]
["b", "d", "e", "g", "h"]	["c", "g", "h"]	["c", "e", "f", "g"]
["b", "d", "f", "g", "h"]	["c", "g"]	["c", "e", "g"]
["b", "e", "f", "g", "h"]	["c", "g", "h"]	["c", "e", "f", "g"]
["c", "d", "e", "f", "g"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["c", "d", "e", "f", "h"]	["a", "c", "g", "h"]	["c", "f", "g"]
["c", "d", "e", "g", "h"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["c", "d", "f", "g", "h"]	["a", "c", "g"]	["c", "e", "g"]
["c", "e", "f", "g", "h"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["d", "e", "f", "g", "h"]	["c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "e", "f"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "c", "d", "e", "g"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "e", "h"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "c", "d", "f", "g"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "f", "h"]	["a", "b", "c", "g"]	["c", "f", "g"]
["a", "b", "c", "d", "g", "h"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "c", "e", "f", "g"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "e", "f", "h"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "c", "e", "g", "h"]	["a", "b", "g", "h"]	["c", "e", "f"]
["a", "b", "c", "f", "g", "h"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "d", "e", "f", "g"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "d", "e", "f", "h"]	["b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "d", "e", "g", "h"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "d", "f", "g", "h"]	["b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "e", "f", "g", "h"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "c", "d", "e", "f", "g"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "c", "d", "e", "f", "h"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "c", "d", "e", "g", "h"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "c", "d", "f", "g", "h"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "c", "e", "f", "g", "h"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "d", "e", "f", "g", "h"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "c", "d", "e", "f", "g"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "c", "d", "e", "f", "h"]	["a", "c", "g", "h"]	["c", "f", "g"]
["b", "c", "d", "e", "g", "h"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "c", "d", "f", "g", "h"]	["a", "c", "g"]	["c", "e", "g"]
["b", "c", "e", "f", "g", "h"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "d", "e", "f", "g", "h"]	["c", "g", "h"]	["c", "e", "f", "g"]
["c", "d", "e", "f", "g", "h"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "e", "f", "g"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "e", "f", "h"]	["a", "b", "c", "g", "h"]	["c", "f", "g"]
["a", "b", "c", "d", "e", "g", "h"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "f", "g", "h"]	["a", "b", "c", "g"]	["c", "e", "f", "g"]
["a", "b", "c", "e", "f", "g", "h"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "d", "e", "f", "g", "h"]	["b", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "c", "d", "e", "f", "g", "h"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]
["b", "c", "d", "e", "f", "g", "h"]	["a", "c", "g", "h"]	["c", "e", "f", "g"]
["a", "b", "c", "d", "e", "f", "g", "h"]	["a", "b", "c", "g", "h"]	["c", "e", "f", "g"]

---

Q:[["a"], ["b"], ["c"], ["e"], ["f"], ["g"], ["h"]]
Σ:["0", "1"]
q0:["a"]
F:[["c"]]

	0	1
["a"]	["b"]	["f"]
["b"]	["g"]	["c"]
["c"]	["a"]	["c"]
["e"]	["h"]	["f"]
["f"]	["c"]	["g"]
["g"]	["g"]	["e"]
["h"]	["g"]	["c"]