digraph codebook1 {
  node [fontname="DejaVuSans"];
  edge [fontname="DejaVuSans"];
  margin = "0";
  size = "3,2.5";
  rankdir = "LR";

  start [shape=circle,label="start"];
  n0 [shape=circle,label=""];
  n00 [shape=box,label="Entry₀"];
  n01 [shape=circle,label=""];
  n010 [shape=circle,label=""];
  n011 [shape=plaintext,label="?"];
  n0100 [shape=box,label="Entry₁"];
  n0101 [shape=plaintext,label="?"];
  n1 [shape=plaintext,label="?"];

  start -> n0 [label="0"];
  start -> n1 [label="1"];
  n0 -> n00 [label="0"];
  n0 -> n01 [label="1"];
  n01 -> n010 [label="0"];
  n01 -> n011 [label="1"];
  n010 -> n0100 [label="0"];
  n010 -> n0101 [label="1"];
}
