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