digraph CFG {
  node [fontname="Helvetica"];
  n848 [label="START", shape=ellipse, style=filled, color=gray];
  n848 -> n850;
  n850 [label="True", shape=box];
  n850 -> n851;
  n851 [label="<?>", shape=diamond];
  n851 -> n855 [label="T"];
  n851 -> n856 [label="F"];
  n855 [label="1", shape=box];
  n855 -> n849;
  n849 [label="END", shape=ellipse, style=filled, color=gray];
  n856 [label="0", shape=box];
  n856 -> n849;
}