digraph A {
  "a1 a2 b1 " [ shape = "rect"];
  "# a1 a2 a3 b1 b2 " -> "" [label="#"];
  "# a1 a2 a3 b1 b2 " -> "# a1 a2 a3 b1 b2 " [label="a"];
  "# a1 a2 a3 b1 b2 " -> "# a1 a2 b1 " [label="b"];
  "# a1 a2 b1 " -> "" [label="#"];
  "# a1 a2 b1 " -> "a1 a2 a3 b1 b2 " [label="a"];
  "# a1 a2 b1 " -> "a1 a2 b1 " [label="b"];
  "a1 a2 a3 b1 b2 " -> "# a1 a2 a3 b1 b2 " [label="a"];
  "a1 a2 a3 b1 b2 " -> "# a1 a2 b1 " [label="b"];
  "a1 a2 b1 " -> "a1 a2 a3 b1 b2 " [label="a"];
  "a1 a2 b1 " -> "a1 a2 b1 " [label="b"];
  
}