digraph CFG {
  node [fontname="Helvetica"];
  n405 [label="START", shape=ellipse, style=filled, color=gray];
  n405 -> n439;
  n439 [label="2", shape=box];
  n439 -> n440;
  n440 [label="8", shape=box];
  n440 -> n441;
  n441 [label="CALL ggT", shape=box, style=filled, color=orange];
  n441 -> n407;
  n441 -> n443;
  n407 [label="START ggT(a, b)", shape=ellipse, style=filled, color=green];
  n407 -> n410;
  n410 [label="a", shape=box];
  n410 -> n411;
  n411 [label="b", shape=box];
  n411 -> n412;
  n412 [label="a == b", shape=box];
  n412 -> n413;
  n413 [label="<?>", shape=diamond];
  n413 -> n417 [label="T"];
  n413 -> n418 [label="F"];
  n417 [label="a", shape=box];
  n417 -> n408;
  n408 [label="END ggT(a, b)", shape=ellipse, style=filled, color=green];
  n408 -> n431;
  n408 -> n438;
  n408 -> n443;
  n431 [label="RET ggT", shape=box, style=filled, color=orange];
  n431 -> n408;
  n438 [label="RET ggT", shape=box, style=filled, color=orange];
  n438 -> n408;
  n443 [label="RET ggT", shape=box, style=filled, color=orange];
  n443 -> n406;
  n406 [label="END", shape=ellipse, style=filled, color=gray];
  n418 [label="a", shape=box];
  n418 -> n419;
  n419 [label="b", shape=box];
  n419 -> n420;
  n420 [label="a > b", shape=box];
  n420 -> n421;
  n421 [label="<?>", shape=diamond];
  n421 -> n425 [label="T"];
  n421 -> n432 [label="F"];
  n425 [label="a", shape=box];
  n425 -> n426;
  n426 [label="b", shape=box];
  n426 -> n427;
  n427 [label="a - b", shape=box];
  n427 -> n428;
  n428 [label="b", shape=box];
  n428 -> n429;
  n429 [label="CALL ggT", shape=box, style=filled, color=orange];
  n429 -> n407;
  n429 -> n431;
  n432 [label="b", shape=box];
  n432 -> n433;
  n433 [label="a", shape=box];
  n433 -> n434;
  n434 [label="b - a", shape=box];
  n434 -> n435;
  n435 [label="a", shape=box];
  n435 -> n436;
  n436 [label="CALL ggT", shape=box, style=filled, color=orange];
  n436 -> n407;
  n436 -> n438;
}