1digraph huffman {
2  node [fontname="DejaVuSans"];
3  edge [fontname="DejaVuSans"];
4  margin = "0";
5  rankdir = "LR";
6
7  start [shape=circle,label="start"];
8  start -> n0 [label="0"];
9  start -> n1 [label="1"];
10  n0 [shape=circle,label=""];
11  n0 -> n00 [label="0"];
12  n0 -> n01 [label="1"];
13  n00 [shape=circle,label=""];
14  n00 -> n000 [label="0"];
15  n00 -> n001 [label="1"];
16  n000 [shape=circle,label=""];
17  n000 -> n0000 [label="0"];
18  n000 -> n0001 [label="1"];
19  n0000 [shape=circle,label=""];
20  n0000 -> n00000 [label="0"];
21  n0000 -> n00001 [label="1"];
22  n00000 [shape=circle,label=""];
23  n00000 -> n000000 [label="0"];
24  n00000 -> n000001 [label="1"];
25  n000000 [shape=circle,label=""];
26  n000000 -> n0000000 [label="0"];
27  n000000 -> n0000001 [label="1"];
28  n0000000 [shape=record,label="{3|3}"];
29  n0000001 [shape=record,label="{0|3}"];
30  n000001 [shape=record,label="{2|3}"];
31  n00001 [shape=circle,label=""];
32  n00001 -> n000010 [label="0"];
33  n00001 -> n000011 [label="1"];
34  n000010 [shape=record,label="{3|2}"];
35  n000011 [shape=record,label="{3|0}"];
36  n0001 [shape=circle,label=""];
37  n0001 -> n00010 [label="0"];
38  n0001 -> n00011 [label="1"];
39  n00010 [shape=record,label="{1|3}"];
40  n00011 [shape=record,label="{3|1}"];
41  n001 [shape=circle,label=""];
42  n001 -> n0010 [label="0"];
43  n001 -> n0011 [label="1"];
44  n0010 [shape=circle,label=""];
45  n0010 -> n00100 [label="0"];
46  n0010 -> n00101 [label="1"];
47  n00100 [shape=record,label="{2|2}"];
48  n00101 [shape=record,label="{0|2}"];
49  n0011 [shape=record,label="{1|2}"];
50  n01 [shape=circle,label=""];
51  n01 -> n010 [label="0"];
52  n01 -> n011 [label="1"];
53  n010 [shape=circle,label=""];
54  n010 -> n0100 [label="0"];
55  n010 -> n0101 [label="1"];
56  n0100 [shape=record,label="{2|1}"];
57  n0101 [shape=record,label="{2|0}"];
58  n011 [shape=record,label="{0|1}"];
59  n1 [shape=circle,label=""];
60  n1 -> n10 [label="0"];
61  n1 -> n11 [label="1"];
62  n10 [shape=record,label="{1|1}"];
63  n11 [shape=circle,label=""];
64  n11 -> n110 [label="0"];
65  n11 -> n111 [label="1"];
66  n110 [shape=record,label="{1|0}"];
67  n111 [shape=record,label="{0|0}"];
68}
69