digraph {
  A -> B
  B -> C
  C -> A
  D -> A
  B -> E
  F -> C
}