--- /dev/null
+// Created by SizedVirtualHeap.write_as_dot(...)
+digraph heaptree {
+node [shape=record]
+ 0 [penwidth=1,label="{{0}|{1}}"];
+ 1 [penwidth=1,label="{{2}|{3}}"];
+ 4 [penwidth=1,label="{{8}|{9}}"];
+ 13 [penwidth=1,label="{{26}|{27}}"];
+ 4 -> 13 ;
+ 14 [penwidth=1,label="{{28}|{29}}"];
+ 4 -> 14 ;
+ 15 [penwidth=1,label="{{30}|{31}}"];
+ 4 -> 15 ;
+ 1 -> 4 ;
+ 5 [penwidth=1,label="{{10}|{11}}"];
+ 16 [penwidth=1,label="{{32}|{33}}"];
+ 5 -> 16 ;
+ 17 [penwidth=1,label="{{34}|{35}}"];
+ 5 -> 17 ;
+ 18 [penwidth=1,label="{{36}|{37}}"];
+ 5 -> 18 ;
+ 1 -> 5 ;
+ 6 [penwidth=1,label="{{12}|{13}}"];
+ 19 [penwidth=1,label="{{38}|{39}}"];
+ 6 -> 19 ;
+ 20 [penwidth=1,label="{{40}|{41}}"];
+ 6 -> 20 ;
+ 21 [penwidth=1,label="{{42}|{43}}"];
+ 6 -> 21 ;
+ 1 -> 6 ;
+ 0 -> 1 ;
+ 2 [penwidth=1,label="{{4}|{5}}"];
+ 7 [penwidth=1,label="{{14}|{15}}"];
+ 22 [penwidth=1,label="{{44}|{45}}"];
+ 7 -> 22 ;
+ 23 [penwidth=1,label="{{46}|{47}}"];
+ 7 -> 23 ;
+ 24 [penwidth=1,label="{{48}|{49}}"];
+ 7 -> 24 ;
+ 2 -> 7 ;
+ 8 [penwidth=1,label="{{16}|{17}}"];
+ 25 [penwidth=1,label="{{50}|{51}}"];
+ 8 -> 25 ;
+ 26 [penwidth=1,label="{{52}|{53}}"];
+ 8 -> 26 ;
+ 27 [penwidth=1,label="{{54}|{55}}"];
+ 8 -> 27 ;
+ 2 -> 8 ;
+ 9 [penwidth=1,label="{{18}|{19}}"];
+ 28 [penwidth=1,label="{{56}|{57}}"];
+ 9 -> 28 ;
+ 29 [penwidth=1,label="{{58}|{59}}"];
+ 9 -> 29 ;
+ 30 [penwidth=1,label="{{60}|{61}}"];
+ 9 -> 30 ;
+ 2 -> 9 ;
+ 0 -> 2 ;
+ 3 [penwidth=1,label="{{6}|{7}}"];
+ 10 [penwidth=1,label="{{20}|{21}}"];
+ 31 [penwidth=1,label="{{62}|{63}}"];
+ 10 -> 31 ;
+ 32 [penwidth=1,label="{{64}|{65}}"];
+ 10 -> 32 ;
+ 33 [penwidth=1,label="{{66}|{67}}"];
+ 10 -> 33 ;
+ 3 -> 10 ;
+ 11 [penwidth=1,label="{{22}|{23}}"];
+ 34 [penwidth=1,label="{{68}|{69}}"];
+ 11 -> 34 ;
+ 35 [penwidth=1,label="{{70}|{71}}"];
+ 11 -> 35 ;
+ 36 [penwidth=1,label="{{72}|{73}}"];
+ 11 -> 36 ;
+ 3 -> 11 ;
+ 12 [penwidth=1,label="{{24}|{25}}"];
+ 37 [penwidth=1,label="{{74}|{75}}"];
+ 12 -> 37 ;
+ 38 [penwidth=1,label="{{76}|{77}}"];
+ 12 -> 38 ;
+ 39 [penwidth=1,label="{{78}|{79}}"];
+ 12 -> 39 ;
+ 3 -> 12 ;
+ 0 -> 3 ;
+}