digraph {
	nodesep=0
	node [shape=Mrecord]
	s0 [label="<0>sorted"]
	u0 [label="<0>unsorted|<1>?|<2>unsorted"]
	s1 [label="<0>sorted|<1>?"]
	u1 [label="<0>unsorted|<1>unsorted"]
	s0:0 -> s1:0 [style=dotted]
	u0:0 -> u1:0
	u0:1 -> s1:1
	u0:2 -> u1:1 [style=dotted]
}