1 // Created by SizedVirtualHeap.write_as_dot(...)
4 0 [penwidth=1,label="''}"];
5 1 [penwidth=1,label="'0'}"];
6 4 [penwidth=1,label="'00'}"];
7 13 [penwidth=1,label="'000'}"];
9 14 [penwidth=1,label="'001'}"];
11 15 [penwidth=1,label="'002'}"];
14 5 [penwidth=1,label="'01'}"];
15 16 [penwidth=1,label="'010'}"];
17 17 [penwidth=1,label="'011'}"];
19 18 [penwidth=1,label="'012'}"];
22 6 [penwidth=1,label="'02'}"];
23 19 [penwidth=1,label="'020'}"];
25 20 [penwidth=1,label="'021'}"];
27 21 [penwidth=1,label="'022'}"];
31 2 [penwidth=1,label="'1'}"];
32 7 [penwidth=1,label="'10'}"];
33 22 [penwidth=1,label="'100'}"];
35 23 [penwidth=1,label="'101'}"];
37 24 [penwidth=1,label="'102'}"];
40 8 [penwidth=1,label="'11'}"];
41 25 [penwidth=1,label="'110'}"];
43 26 [penwidth=1,label="'111'}"];
45 27 [penwidth=1,label="'112'}"];
48 9 [penwidth=1,label="'12'}"];
49 28 [penwidth=1,label="'120'}"];
51 29 [penwidth=1,label="'121'}"];
53 30 [penwidth=1,label="'122'}"];
57 3 [penwidth=1,label="'2'}"];
58 10 [penwidth=1,label="'20'}"];
59 31 [penwidth=1,label="'200'}"];
61 32 [penwidth=1,label="'201'}"];
63 33 [penwidth=1,label="'202'}"];
66 11 [penwidth=1,label="'21'}"];
67 34 [penwidth=1,label="'210'}"];
69 35 [penwidth=1,label="'211'}"];
71 36 [penwidth=1,label="'212'}"];
74 12 [penwidth=1,label="'22'}"];
75 37 [penwidth=1,label="'220'}"];
77 38 [penwidth=1,label="'221'}"];
79 39 [penwidth=1,label="'222'}"];