--- /dev/null
+// Created by SizedVirtualHeap.write_as_dot(...)
+digraph heaptree {
+node [shape=record]
+ 0 [penwidth=1,label="{{0}}"];
+ 1 [penwidth=1,label="{{1}}"];
+ 4 [penwidth=1,label="{{4}}"];
+ 13 [penwidth=1,label="{{13}}"];
+ 4 -> 13 ;
+ 14 [penwidth=1,label="{{14}}"];
+ 4 -> 14 ;
+ 15 [penwidth=1,label="{{15}}"];
+ 4 -> 15 ;
+ 1 -> 4 ;
+ 5 [penwidth=1,label="{{5}}"];
+ 16 [penwidth=1,label="{{16}}"];
+ 5 -> 16 ;
+ 17 [penwidth=1,label="{{17}}"];
+ 5 -> 17 ;
+ 18 [penwidth=1,label="{{18}}"];
+ 5 -> 18 ;
+ 1 -> 5 ;
+ 6 [penwidth=1,label="{{6}}"];
+ 19 [penwidth=1,label="{{19}}"];
+ 6 -> 19 ;
+ 20 [penwidth=1,label="{{20}}"];
+ 6 -> 20 ;
+ 21 [penwidth=1,label="{{21}}"];
+ 6 -> 21 ;
+ 1 -> 6 ;
+ 0 -> 1 ;
+ 2 [penwidth=1,label="{{2}}"];
+ 7 [penwidth=1,label="{{7}}"];
+ 22 [penwidth=1,label="{{22}}"];
+ 7 -> 22 ;
+ 23 [penwidth=1,label="{{23}}"];
+ 7 -> 23 ;
+ 24 [penwidth=1,label="{{24}}"];
+ 7 -> 24 ;
+ 2 -> 7 ;
+ 8 [penwidth=1,label="{{8}}"];
+ 25 [penwidth=1,label="{{25}}"];
+ 8 -> 25 ;
+ 26 [penwidth=1,label="{{26}}"];
+ 8 -> 26 ;
+ 27 [penwidth=1,label="{{27}}"];
+ 8 -> 27 ;
+ 2 -> 8 ;
+ 9 [penwidth=1,label="{{9}}"];
+ 28 [penwidth=1,label="{{28}}"];
+ 9 -> 28 ;
+ 29 [penwidth=1,label="{{29}}"];
+ 9 -> 29 ;
+ 30 [penwidth=1,label="{{30}}"];
+ 9 -> 30 ;
+ 2 -> 9 ;
+ 0 -> 2 ;
+ 3 [penwidth=1,label="{{3}}"];
+ 10 [penwidth=1,label="{{10}}"];
+ 31 [penwidth=1,label="{{31}}"];
+ 10 -> 31 ;
+ 32 [penwidth=1,label="{{32}}"];
+ 10 -> 32 ;
+ 33 [penwidth=1,label="{{33}}"];
+ 10 -> 33 ;
+ 3 -> 10 ;
+ 11 [penwidth=1,label="{{11}}"];
+ 34 [penwidth=1,label="{{34}}"];
+ 11 -> 34 ;
+ 35 [penwidth=1,label="{{35}}"];
+ 11 -> 35 ;
+ 36 [penwidth=1,label="{{36}}"];
+ 11 -> 36 ;
+ 3 -> 11 ;
+ 12 [penwidth=1,label="{{12}}"];
+ 37 [penwidth=1,label="{{37}}"];
+ 12 -> 37 ;
+ 38 [penwidth=1,label="{{38}}"];
+ 12 -> 38 ;
+ 39 [penwidth=1,label="{{39}}"];
+ 12 -> 39 ;
+ 3 -> 12 ;
+ 0 -> 3 ;
+}