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=circle,label=""];
29  n0000000 -> n00000000 [label="0"];
30  n0000000 -> n00000001 [label="1"];
31  n00000000 [shape=circle,label=""];
32  n00000000 -> n000000000 [label="0"];
33  n00000000 -> n000000001 [label="1"];
34  n000000000 [shape=circle,label=""];
35  n000000000 -> n0000000000 [label="0"];
36  n000000000 -> n0000000001 [label="1"];
37  n0000000000 [shape=circle,label=""];
38  n0000000000 -> n00000000000 [label="0"];
39  n0000000000 -> n00000000001 [label="1"];
40  n00000000000 [shape=record,label="{7|7}"];
41  n00000000001 [shape=record,label="{6|7}"];
42  n0000000001 [shape=circle,label=""];
43  n0000000001 -> n00000000010 [label="0"];
44  n0000000001 -> n00000000011 [label="1"];
45  n00000000010 [shape=record,label="{7|6}"];
46  n00000000011 [shape=record,label="{5|7}"];
47  n000000001 [shape=circle,label=""];
48  n000000001 -> n0000000010 [label="0"];
49  n000000001 -> n0000000011 [label="1"];
50  n0000000010 [shape=circle,label=""];
51  n0000000010 -> n00000000100 [label="0"];
52  n0000000010 -> n00000000101 [label="1"];
53  n00000000100 [shape=record,label="{7|5}"];
54  n00000000101 [shape=record,label="{6|6}"];
55  n0000000011 [shape=record,label="{4|7}"];
56  n00000001 [shape=circle,label=""];
57  n00000001 -> n000000010 [label="0"];
58  n00000001 -> n000000011 [label="1"];
59  n000000010 [shape=circle,label=""];
60  n000000010 -> n0000000100 [label="0"];
61  n000000010 -> n0000000101 [label="1"];
62  n0000000100 [shape=record,label="{7|4}"];
63  n0000000101 [shape=record,label="{5|6}"];
64  n000000011 [shape=circle,label=""];
65  n000000011 -> n0000000110 [label="0"];
66  n000000011 -> n0000000111 [label="1"];
67  n0000000110 [shape=record,label="{6|5}"];
68  n0000000111 [shape=record,label="{3|7}"];
69  n0000001 [shape=circle,label=""];
70  n0000001 -> n00000010 [label="0"];
71  n0000001 -> n00000011 [label="1"];
72  n00000010 [shape=circle,label=""];
73  n00000010 -> n000000100 [label="0"];
74  n00000010 -> n000000101 [label="1"];
75  n000000100 [shape=circle,label=""];
76  n000000100 -> n0000001000 [label="0"];
77  n000000100 -> n0000001001 [label="1"];
78  n0000001000 [shape=record,label="{7|3}"];
79  n0000001001 [shape=record,label="{4|6}"];
80  n000000101 [shape=circle,label=""];
81  n000000101 -> n0000001010 [label="0"];
82  n000000101 -> n0000001011 [label="1"];
83  n0000001010 [shape=circle,label=""];
84  n0000001010 -> n00000010100 [label="0"];
85  n0000001010 -> n00000010101 [label="1"];
86  n00000010100 [shape=record,label="{5|5}"];
87  n00000010101 [shape=record,label="{5|4}"];
88  n0000001011 [shape=record,label="{6|3}"];
89  n00000011 [shape=circle,label=""];
90  n00000011 -> n000000110 [label="0"];
91  n00000011 -> n000000111 [label="1"];
92  n000000110 [shape=record,label="{2|7}"];
93  n000000111 [shape=record,label="{7|2}"];
94  n000001 [shape=circle,label=""];
95  n000001 -> n0000010 [label="0"];
96  n000001 -> n0000011 [label="1"];
97  n0000010 [shape=circle,label=""];
98  n0000010 -> n00000100 [label="0"];
99  n0000010 -> n00000101 [label="1"];
100  n00000100 [shape=circle,label=""];
101  n00000100 -> n000001000 [label="0"];
102  n00000100 -> n000001001 [label="1"];
103  n000001000 [shape=circle,label=""];
104  n000001000 -> n0000010000 [label="0"];
105  n000001000 -> n0000010001 [label="1"];
106  n0000010000 [shape=record,label="{6|4}"];
107  n0000010001 [shape=record,label="{0|7}"];
108  n000001001 [shape=record,label="{7|0}"];
109  n00000101 [shape=circle,label=""];
110  n00000101 -> n000001010 [label="0"];
111  n00000101 -> n000001011 [label="1"];
112  n000001010 [shape=record,label="{6|2}"];
113  n000001011 [shape=circle,label=""];
114  n000001011 -> n0000010110 [label="0"];
115  n000001011 -> n0000010111 [label="1"];
116  n0000010110 [shape=record,label="{4|5}"];
117  n0000010111 [shape=record,label="{3|5}"];
118  n0000011 [shape=circle,label=""];
119  n0000011 -> n00000110 [label="0"];
120  n0000011 -> n00000111 [label="1"];
121  n00000110 [shape=circle,label=""];
122  n00000110 -> n000001100 [label="0"];
123  n00000110 -> n000001101 [label="1"];
124  n000001100 [shape=record,label="{0|6}"];
125  n000001101 [shape=circle,label=""];
126  n000001101 -> n0000011010 [label="0"];
127  n000001101 -> n0000011011 [label="1"];
128  n0000011010 [shape=record,label="{5|3}"];
129  n0000011011 [shape=record,label="{4|4}"];
130  n00000111 [shape=record,label="{1|7}"];
131  n00001 [shape=circle,label=""];
132  n00001 -> n000010 [label="0"];
133  n00001 -> n000011 [label="1"];
134  n000010 [shape=circle,label=""];
135  n000010 -> n0000100 [label="0"];
136  n000010 -> n0000101 [label="1"];
137  n0000100 [shape=circle,label=""];
138  n0000100 -> n00001000 [label="0"];
139  n0000100 -> n00001001 [label="1"];
140  n00001000 [shape=record,label="{7|1}"];
141  n00001001 [shape=circle,label=""];
142  n00001001 -> n000010010 [label="0"];
143  n00001001 -> n000010011 [label="1"];
144  n000010010 [shape=record,label="{3|6}"];
145  n000010011 [shape=record,label="{2|6}"];
146  n0000101 [shape=circle,label=""];
147  n0000101 -> n00001010 [label="0"];
148  n0000101 -> n00001011 [label="1"];
149  n00001010 [shape=circle,label=""];
150  n00001010 -> n000010100 [label="0"];
151  n00001010 -> n000010101 [label="1"];
152  n000010100 [shape=circle,label=""];
153  n000010100 -> n0000101000 [label="0"];
154  n000010100 -> n0000101001 [label="1"];
155  n0000101000 [shape=record,label="{2|5}"];
156  n0000101001 [shape=record,label="{5|2}"];
157  n000010101 [shape=record,label="{1|5}"];
158  n00001011 [shape=circle,label=""];
159  n00001011 -> n000010110 [label="0"];
160  n00001011 -> n000010111 [label="1"];
161  n000010110 [shape=record,label="{5|1}"];
162  n000010111 [shape=circle,label=""];
163  n000010111 -> n0000101110 [label="0"];
164  n000010111 -> n0000101111 [label="1"];
165  n0000101110 [shape=record,label="{3|4}"];
166  n0000101111 [shape=record,label="{4|3}"];
167  n000011 [shape=circle,label=""];
168  n000011 -> n0000110 [label="0"];
169  n000011 -> n0000111 [label="1"];
170  n0000110 [shape=circle,label=""];
171  n0000110 -> n00001100 [label="0"];
172  n0000110 -> n00001101 [label="1"];
173  n00001100 [shape=record,label="{1|6}"];
174  n00001101 [shape=record,label="{6|1}"];
175  n0000111 [shape=circle,label=""];
176  n0000111 -> n00001110 [label="0"];
177  n0000111 -> n00001111 [label="1"];
178  n00001110 [shape=record,label="{6|0}"];
179  n00001111 [shape=circle,label=""];
180  n00001111 -> n000011110 [label="0"];
181  n00001111 -> n000011111 [label="1"];
182  n000011110 [shape=record,label="{0|5}"];
183  n000011111 [shape=record,label="{5|0}"];
184  n0001 [shape=circle,label=""];
185  n0001 -> n00010 [label="0"];
186  n0001 -> n00011 [label="1"];
187  n00010 [shape=circle,label=""];
188  n00010 -> n000100 [label="0"];
189  n00010 -> n000101 [label="1"];
190  n000100 [shape=circle,label=""];
191  n000100 -> n0001000 [label="0"];
192  n000100 -> n0001001 [label="1"];
193  n0001000 [shape=circle,label=""];
194  n0001000 -> n00010000 [label="0"];
195  n0001000 -> n00010001 [label="1"];
196  n00010000 [shape=circle,label=""];
197  n00010000 -> n000100000 [label="0"];
198  n00010000 -> n000100001 [label="1"];
199  n000100000 [shape=record,label="{2|4}"];
200  n000100001 [shape=record,label="{4|2}"];
201  n00010001 [shape=circle,label=""];
202  n00010001 -> n000100010 [label="0"];
203  n00010001 -> n000100011 [label="1"];
204  n000100010 [shape=record,label="{3|3}"];
205  n000100011 [shape=record,label="{0|4}"];
206  n0001001 [shape=circle,label=""];
207  n0001001 -> n00010010 [label="0"];
208  n0001001 -> n00010011 [label="1"];
209  n00010010 [shape=record,label="{1|4}"];
210  n00010011 [shape=record,label="{4|1}"];
211  n000101 [shape=circle,label=""];
212  n000101 -> n0001010 [label="0"];
213  n000101 -> n0001011 [label="1"];
214  n0001010 [shape=circle,label=""];
215  n0001010 -> n00010100 [label="0"];
216  n0001010 -> n00010101 [label="1"];
217  n00010100 [shape=record,label="{4|0}"];
218  n00010101 [shape=record,label="{2|3}"];
219  n0001011 [shape=circle,label=""];
220  n0001011 -> n00010110 [label="0"];
221  n0001011 -> n00010111 [label="1"];
222  n00010110 [shape=record,label="{3|2}"];
223  n00010111 [shape=record,label="{0|3}"];
224  n00011 [shape=circle,label=""];
225  n00011 -> n000110 [label="0"];
226  n00011 -> n000111 [label="1"];
227  n000110 [shape=circle,label=""];
228  n000110 -> n0001100 [label="0"];
229  n000110 -> n0001101 [label="1"];
230  n0001100 [shape=record,label="{1|3}"];
231  n0001101 [shape=record,label="{3|1}"];
232  n000111 [shape=circle,label=""];
233  n000111 -> n0001110 [label="0"];
234  n000111 -> n0001111 [label="1"];
235  n0001110 [shape=record,label="{3|0}"];
236  n0001111 [shape=record,label="{2|2}"];
237  n001 [shape=circle,label=""];
238  n001 -> n0010 [label="0"];
239  n001 -> n0011 [label="1"];
240  n0010 [shape=circle,label=""];
241  n0010 -> n00100 [label="0"];
242  n0010 -> n00101 [label="1"];
243  n00100 [shape=circle,label=""];
244  n00100 -> n001000 [label="0"];
245  n00100 -> n001001 [label="1"];
246  n001000 [shape=record,label="{1|2}"];
247  n001001 [shape=record,label="{2|1}"];
248  n00101 [shape=circle,label=""];
249  n00101 -> n001010 [label="0"];
250  n00101 -> n001011 [label="1"];
251  n001010 [shape=record,label="{0|2}"];
252  n001011 [shape=record,label="{2|0}"];
253  n0011 [shape=record,label="{1|1}"];
254  n01 [shape=circle,label=""];
255  n01 -> n010 [label="0"];
256  n01 -> n011 [label="1"];
257  n010 [shape=record,label="{0|1}"];
258  n011 [shape=record,label="{1|0}"];
259  n1 [shape=record,label="{0|0}"];
260}
261