digraph "AndInv" {
  rotate=90;
  margin=0.5;
  label="AndInv";
  size="10,7.5";
  ratio="fill";
Node12  [label="a_0 "];
Node24  [label="b_0 "];
Node36  [label="c_0 "];
Node48  [label="Nd12_24 "];
Node60  [label="Nd36_48 "];
Node72  [label="Nd37_49 "];
Node84  [label="Nd36_49 "];
Node96  [label="Nd37_48 "];
Node108  [label="Nd85_97 "];
Node24 -> Node48;
Node12 -> Node48;
Node48 -> Node60;
Node36 -> Node60;
Node48 -> Node72 [color = red];
Node36 -> Node72 [color = red];
Node48 -> Node84 [color = red];
Node36 -> Node84;
Node48 -> Node96;
Node36 -> Node96 [color = red];
Node96 -> Node108 [color = red];
Node84 -> Node108 [color = red];
}