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}