digraph "parity" {
  rankdir="LR";
  graph [pad="0.25", nodesep="0.7", ranksep="0.9"];
  node [shape=circle, fontname="Times New Roman", fontsize=16];
  edge [fontname="Times New Roman", fontsize=14, arrowsize=0.8];
  "__start" [shape=point, label="", width=0.08];
  "start" [label="start", shape="circle"];
  "even_0" [label="even / 0", shape="doublecircle"];
  "even_1" [label="even / 1", shape="circle"];
  "odd_0" [label="odd / 0", shape="circle"];
  "odd_1" [label="odd / 1", shape="circle"];
  "__start" -> "start" [label="input"];
  "start" -> "even_0" [label="0"];
  "start" -> "odd_1" [label="1"];
  "even_0" -> "even_0" [label="0"];
  "even_0" -> "odd_1" [label="1"];
  "even_1" -> "even_0" [label="0"];
  "even_1" -> "odd_1" [label="1"];
  "odd_0" -> "odd_0" [label="0"];
  "odd_0" -> "even_1" [label="1"];
  "odd_1" -> "odd_0" [label="0"];
  "odd_1" -> "even_1" [label="1"];
}