digraph CFG {
  node [fontname="Helvetica"];
  n92 [label="START", shape=ellipse, style=filled, color=gray];
  n92 -> n94;
  n94 [label="2", shape=box];
  n94 -> n95;
  n95 [label="x", shape=box];
  n95 -> n96;
  n96 [label="2 < x", shape=box];
  n96 -> n97;
  n97 [label="x", shape=box];
  n97 -> n98;
  n98 [label="9", shape=box];
  n98 -> n99;
  n99 [label="x > 9", shape=box];
  n99 -> n100;
  n100 [label="(2 < x) && (x > 9)", shape=box];
  n100 -> n101;
  n101 [label="<?>", shape=diamond];
  n101 -> n105 [label="T"];
  n101 -> n106 [label="F"];
  n105 [label="1", shape=box];
  n105 -> n93;
  n93 [label="END", shape=ellipse, style=filled, color=gray];
  n106 [label="0", shape=box];
  n106 -> n93;
}