--- /dev/null
+// Created by SizedVirtualHeap.write_as_dot(...)
+digraph heaptree {
+node [shape=record]
+ 0 [penwidth=1,label="''}"];
+ 1 [penwidth=1,label="'0'}"];
+ 4 [penwidth=1,label="'00'}"];
+ 13 [penwidth=1,label="'000'}"];
+ 4 -> 13 ;
+ 14 [penwidth=1,label="'001'}"];
+ 4 -> 14 ;
+ 15 [penwidth=1,label="'002'}"];
+ 4 -> 15 ;
+ 1 -> 4 ;
+ 5 [penwidth=1,label="'01'}"];
+ 16 [penwidth=1,label="'010'}"];
+ 5 -> 16 ;
+ 17 [penwidth=1,label="'011'}"];
+ 5 -> 17 ;
+ 18 [penwidth=1,label="'012'}"];
+ 5 -> 18 ;
+ 1 -> 5 ;
+ 6 [penwidth=1,label="'02'}"];
+ 19 [penwidth=1,label="'020'}"];
+ 6 -> 19 ;
+ 20 [penwidth=1,label="'021'}"];
+ 6 -> 20 ;
+ 21 [penwidth=1,label="'022'}"];
+ 6 -> 21 ;
+ 1 -> 6 ;
+ 0 -> 1 ;
+ 2 [penwidth=1,label="'1'}"];
+ 7 [penwidth=1,label="'10'}"];
+ 22 [penwidth=1,label="'100'}"];
+ 7 -> 22 ;
+ 23 [penwidth=1,label="'101'}"];
+ 7 -> 23 ;
+ 24 [penwidth=1,label="'102'}"];
+ 7 -> 24 ;
+ 2 -> 7 ;
+ 8 [penwidth=1,label="'11'}"];
+ 25 [penwidth=1,label="'110'}"];
+ 8 -> 25 ;
+ 26 [penwidth=1,label="'111'}"];
+ 8 -> 26 ;
+ 27 [penwidth=1,label="'112'}"];
+ 8 -> 27 ;
+ 2 -> 8 ;
+ 9 [penwidth=1,label="'12'}"];
+ 28 [penwidth=1,label="'120'}"];
+ 9 -> 28 ;
+ 29 [penwidth=1,label="'121'}"];
+ 9 -> 29 ;
+ 30 [penwidth=1,label="'122'}"];
+ 9 -> 30 ;
+ 2 -> 9 ;
+ 0 -> 2 ;
+ 3 [penwidth=1,label="'2'}"];
+ 10 [penwidth=1,label="'20'}"];
+ 31 [penwidth=1,label="'200'}"];
+ 10 -> 31 ;
+ 32 [penwidth=1,label="'201'}"];
+ 10 -> 32 ;
+ 33 [penwidth=1,label="'202'}"];
+ 10 -> 33 ;
+ 3 -> 10 ;
+ 11 [penwidth=1,label="'21'}"];
+ 34 [penwidth=1,label="'210'}"];
+ 11 -> 34 ;
+ 35 [penwidth=1,label="'211'}"];
+ 11 -> 35 ;
+ 36 [penwidth=1,label="'212'}"];
+ 11 -> 36 ;
+ 3 -> 11 ;
+ 12 [penwidth=1,label="'22'}"];
+ 37 [penwidth=1,label="'220'}"];
+ 12 -> 37 ;
+ 38 [penwidth=1,label="'221'}"];
+ 12 -> 38 ;
+ 39 [penwidth=1,label="'222'}"];
+ 12 -> 39 ;
+ 3 -> 12 ;
+ 0 -> 3 ;
+}