digraph automate {
  rankdir=LR;
  node [shape = point]; init ;
  node [shape = circle]; stop ;
  node [shape = circle]; start ;
  node [shape = circle]; lbl81 ;
  node [shape = circle]; lbl91 ;
  init -> start ;
  start -> stop [ label = "t13tsplit0" ];
  start -> stop [ label = "t13tsplit1" ];
  start -> stop [ label = "t23" ];
  start -> lbl81 [ label = "t24" ];
  start -> lbl91 [ label = "t25" ];
  lbl81 -> stop [ label = "t17" ];
  lbl81 -> lbl81 [ label = "t18" ];
  lbl81 -> lbl91 [ label = "t19" ];
  lbl91 -> stop [ label = "t20" ];
  lbl91 -> lbl81 [ label = "t21" ];
  lbl91 -> lbl91 [ label = "t22" ];
}
