digraph {
	ordering=out;
	pad=0;
	ranksep=0.3;

	node [fontname="sans",height=0.2,penwidth=0];
	edge [fontname="sans",fontsize=8,arrowsize=0.6];

	subgraph {
		sa1 [label="s"];
		sa2 [label="s"];
		sa3 [label="s"];

		aa1 [label="aa",fontname="mono"];
		aa2 [label="aa",fontname="mono"];
		ea [label="[]",fontname="mono"];

		sa1 -> aa1 [label=" 2"];
		sa1 -> sa2 [label=" 2"];
		sa2 -> aa2 [label=" 2"];
		sa2 -> sa3 [label=" 2"];
		sa3 -> ea [label=" 1"];
	}

	subgraph {
		sb1 [label="s"];
		sb2 [label="s"];
		sb3 [label="s"];

		ab1 [label="aa",fontname="mono"];
		ab2 [label="aa",fontname="mono"];
		eb [label="[]",fontname="mono"];

		sb1 -> sb2 [label=" 3"];
		sb1 -> ab1 [label=" 3"];
		sb2 -> ab2 [label=" 2"];
		sb2 -> sb3 [label=" 2"];
		sb3 -> eb [label=" 1"];
	}
}