wolffd@0: digraph g {
wolffd@0: node [shape = record,height=.1];
wolffd@0: node0[label = "<f0> |<f1> G|<f2> "];
wolffd@0: node1[label = "<f0> |<f1> E|<f2> "];
wolffd@0: node2[label = "<f0> |<f1> B|<f2> "];
wolffd@0: node3[label = "<f0> |<f1> F|<f2> "];
wolffd@0: node4[label = "<f0> |<f1> R|<f2> "];
wolffd@0: node5[label = "<f0> |<f1> H|<f2> "];
wolffd@0: node6[label = "<f0> |<f1> Y|<f2> "];
wolffd@0: node7[label = "<f0> |<f1> A|<f2> "];
wolffd@0: node8[label = "<f0> |<f1> C|<f2> "];
wolffd@0: "node0":f2 -> "node4":f1;
wolffd@0: "node0":f0 -> "node1":f1;
wolffd@0: "node1":f0 -> "node2":f1;
wolffd@0: "node1":f2 -> "node3":f1;
wolffd@0: "node2":f2 -> "node8":f1;
wolffd@0: "node2":f0 -> "node7":f1;
wolffd@0: "node4":f2 -> "node6":f1;
wolffd@0: "node4":f0 -> "node5":f1;
wolffd@0: }