digraph CFG {
  node [fontname="Helvetica"];
  n879 [label="START", shape=ellipse, style=filled, color=gray];
  n879 -> n881;
  n881 [label="1", shape=box];
  n881 -> n882;
  n882 [label="2", shape=box];
  n882 -> n883;
  n883 [label="1 > 2", shape=box];
  n883 -> n884;
  n884 [label="<?>", shape=diamond];
  n884 -> n888 [label="T"];
  n884 -> n889 [label="F"];
  n888 [label="1", shape=box];
  n888 -> n880;
  n880 [label="END", shape=ellipse, style=filled, color=gray];
  n889 [label="0", shape=box];
  n889 -> n880;
}