digraph CFG {
  node [fontname="Helvetica"];
  n1027 [label="START", shape=ellipse, style=filled, color=gray];
  n1027 -> n1029;
  n1029 [label="True", shape=box];
  n1029 -> n1030;
  n1030 [label="<?>", shape=diamond];
  n1030 -> n1028 [label="T"];
  n1030 -> n1032 [label="F"];
  n1028 [label="END", shape=ellipse, style=filled, color=gray];
  n1032 [label="3", shape=box];
  n1032 -> n1027;
}