1 // Created by SizedVirtualHeap.write_as_dot(...)
4 0 [penwidth=1,label="{{0}|{1}}"];
5 1 [penwidth=1,label="{{2}|{3}}"];
6 3 [penwidth=1,label="{{6}|{7}}"];
7 7 [penwidth=1,label="{{14}|{15}}"];
9 8 [penwidth=1,label="{{16}|{17}}"];
12 4 [penwidth=1,label="{{8}|{9}}"];
13 9 [penwidth=1,label="{{18}|{19}}"];
15 10 [penwidth=1,label="{{20}|{21}}"];
19 2 [penwidth=1,label="{{4}|{5}}"];
20 5 [penwidth=1,label="{{10}|{11}}"];
21 11 [penwidth=1,label="{{22}|{23}}"];
23 12 [penwidth=1,label="{{24}|{25}}"];
26 6 [penwidth=1,label="{{12}|{13}}"];
27 13 [penwidth=1,label="{{26}|{27}}"];
29 14 [penwidth=1,label="{{28}|{29}}"];