digraph CFG {
  node [fontname="Helvetica"];
  n561 [label="START", shape=ellipse, style=filled, color=gray];
  n561 -> n563;
  n563 [label="True", shape=box];
  n563 -> n564;
  n564 [label="True", shape=box];
  n564 -> n565;
  n565 [label="True", shape=box];
  n565 -> n566;
  n566 [label="True == True", shape=box];
  n566 -> n567;
  n567 [label="True || (True == True)", shape=box];
  n567 -> n568;
  n568 [label="<?>", shape=diamond];
  n568 -> n572 [label="T"];
  n568 -> n573 [label="F"];
  n572 [label="1", shape=box];
  n572 -> n562;
  n562 [label="END", shape=ellipse, style=filled, color=gray];
  n573 [label="0", shape=box];
  n573 -> n562;
}