Daniel@0: digraph G {
Daniel@0: 	size="6,6";
Daniel@0: 	node [shape=circle,fontsize=8];
Daniel@0: 	rankdir=LR;
Daniel@0: 	st9 -> st9 [label="11/1"];
Daniel@0: 	st9 -> st10 [label="10/1"];
Daniel@0: 	st8 -> st8 [label="10/1"];
Daniel@0: 	st8 -> st0 [label="00/-"];
Daniel@0: 	st7 -> st8 [label="10/1"];
Daniel@0: 	st7 -> st7 [label="00/1"];
Daniel@0: 	st6 -> st6 [label="01/1"];
Daniel@0: 	st6 -> st0 [label="00/-"];
Daniel@0: 	st5 -> st6 [label="01/1"];
Daniel@0: 	st5 -> st5 [label="11/1"];
Daniel@0: 	st4 -> st4 [label="01/1"];
Daniel@0: 	st4 -> st0 [label="00/-"];
Daniel@0: 	st3 -> st4 [label="01/1"];
Daniel@0: 	st3 -> st3 [label="00/1"];
Daniel@0: 	st2 -> st9 [label="11/1"];
Daniel@0: 	st2 -> st7 [label="00/1"];
Daniel@0: 	st2 -> st2 [label="01/1"];
Daniel@0: 	st10 -> st10 [label="10/1"];
Daniel@0: 	st10 -> st0 [label="00/-"];
Daniel@0: 	st1 -> st5 [label="11/1"];
Daniel@0: 	st1 -> st3 [label="00/1"];
Daniel@0: 	st1 -> st1 [label="10/1"];
Daniel@0: 	st0 -> st2 [label="01/-"];
Daniel@0: 	st0 -> st1 [label="10/-"];
Daniel@0: 	st0 -> st0 [label="00/0"];
Daniel@0: }