1digraph codebook2 {
2  node [fontname="DejaVuSans"];
3  edge [fontname="DejaVuSans"];
4  margin = "0";
5  size = "6,3";
6  rankdir = "LR";
7
8  n000000001 [shape=box,label="0"];
9  n00000001 [shape=box,label="1"];
10  n0000001 [shape=box,label="2"];
11  n000001 [shape=box,label="3"];
12  n00001 [shape=box,label="4"];
13  n0001 [shape=box,label="5"];
14  n001 [shape=box,label="6"];
15  n1 [shape=box,label="7"];
16  n011 [shape=box,label="8"];
17  n0101 [shape=box,label="9"];
18  n01001 [shape=box,label="10"];
19  n010001 [shape=box,label="11"];
20  n0100001 [shape=box,label="12"];
21  n01000001 [shape=box,label="13"];
22  n010000001 [shape=box,label="14"];
23
24  error [shape=box,label="-1"];
25
26  start [shape=circle,label="start"];
27  start -> n0 [label="0"];
28  start -> n1 [label="1"]; /*done*/
29
30  n0 [shape=circle,label=""];
31  n0 -> n00 [label="0"];
32  n0 -> n01 [label="1"];
33
34  n00 [shape=circle,label=""];
35  n00 -> n000 [label="0"];
36  n00 -> n001 [label="1"]; /*done*/
37
38  n000 [shape=circle,label=""];
39  n000 -> n0000 [label="0"];
40  n000 -> n0001 [label="1"]; /*done*/
41
42  n0000 [shape=circle,label=""];
43  n0000 -> n00000 [label="0"];
44  n0000 -> n00001 [label="1"]; /*done*/
45
46  n00000 [shape=circle,label=""];
47  n00000 -> n000000 [label="0"];
48  n00000 -> n000001 [label="1"]; /*done*/
49
50  n000000 [shape=circle,label=""];
51  n000000 -> n0000000 [label="0"];
52  n000000 -> n0000001 [label="1"]; /*done*/
53
54  n0000000 [shape=circle,label=""];
55  n0000000 -> n00000000 [label="0"];
56  n0000000 -> n00000001 [label="1"]; /*done*/
57
58  n00000000 [shape=circle,label=""];
59  n00000000 -> error [label="0"];
60  n00000000 -> n000000001 [label="1"];
61
62  n01 [shape=circle,label=""];
63  n01 -> n010 [label="0"];
64  n01 -> n011 [label="1"]; /*done*/
65
66  n010 [shape=circle,label=""];
67  n010 -> n0100 [label="0"];
68  n010 -> n0101 [label="1"]; /*done*/
69
70  n0100 [shape=circle,label=""];
71  n0100 -> n01000 [label="0"];
72  n0100 -> n01001 [label="1"]; /*done*/
73
74  n01000 [shape=circle,label=""];
75  n01000 -> n010000 [label="0"];
76  n01000 -> n010001 [label="1"]; /*done*/
77
78  n010000 [shape=circle,label=""];
79  n010000 -> n0100000 [label="0"];
80  n010000 -> n0100001 [label="1"]; /*done*/
81
82  n0100000 [shape=circle,label=""];
83  n0100000 -> n01000000 [label="0"];
84  n0100000 -> n01000001 [label="1"]; /*done*/
85
86  n01000000 [shape=circle,label=""];
87  n01000000 -> error [label="0"];
88  n01000000 -> n010000001 [label="1"]; /*done*/
89}