1 // Created by SizedVirtualHeap.write_as_dot(...)
4 0 [penwidth=1,label="''}"];
5 1 [penwidth=1,label="'0'}"];
6 3 [penwidth=1,label="'00'}"];
7 7 [penwidth=1,label="'000'}"];
9 8 [penwidth=1,label="'001'}"];
12 4 [penwidth=1,label="'01'}"];
13 9 [penwidth=1,label="'010'}"];
15 10 [penwidth=1,label="'011'}"];
19 2 [penwidth=1,label="'1'}"];
20 5 [penwidth=1,label="'10'}"];
21 11 [penwidth=1,label="'100'}"];
23 12 [penwidth=1,label="'101'}"];
26 6 [penwidth=1,label="'11'}"];
27 13 [penwidth=1,label="'110'}"];
29 14 [penwidth=1,label="'111'}"];