digraph {
	fake [style=invisible]
	s4 [shape=doublecircle]
	s0 [root=true]
	s3
	s2
	sink
	s1
	fake -> s0 [style=bold]
	s4 -> sink [label=O]
	s4 -> sink [label=E]
	s4 -> sink [label=H]
	s4 -> sink [label=L]
	s0 -> sink [label=O]
	s0 -> sink [label=E]
	s0 -> s1 [label=H]
	s0 -> sink [label=L]
	s2 -> sink [label=O]
	s2 -> sink [label=E]
	s2 -> s3 [label=L]
	s2 -> sink [label=H]
	sink -> sink [label=O]
	sink -> sink [label=E]
	sink -> sink [label=H]
	sink -> sink [label=L]
	s3 -> sink [label=L]
	s3 -> sink [label=E]
	s3 -> s4 [label=O]
	s3 -> sink [label=H]
	s1 -> sink [label=O]
	s1 -> s2 [label=E]
	s1 -> sink [label=H]
	s1 -> sink [label=L]
}
