1 // Created by SizedVirtualHeap.write_as_dot(...)
4 0 [penwidth=1,label="{{0}}"];
5 1 [penwidth=1,label="{{1}}"];
6 4 [penwidth=1,label="{{4}}"];
7 13 [penwidth=1,label="{{13}}"];
9 14 [penwidth=1,label="{{14}}"];
11 15 [penwidth=1,label="{{15}}"];
14 5 [penwidth=1,label="{{5}}"];
15 16 [penwidth=1,label="{{16}}"];
17 17 [penwidth=1,label="{{17}}"];
19 18 [penwidth=1,label="{{18}}"];
22 6 [penwidth=1,label="{{6}}"];
23 19 [penwidth=1,label="{{19}}"];
25 20 [penwidth=1,label="{{20}}"];
27 21 [penwidth=1,label="{{21}}"];
31 2 [penwidth=1,label="{{2}}"];
32 7 [penwidth=1,label="{{7}}"];
33 22 [penwidth=1,label="{{22}}"];
35 23 [penwidth=1,label="{{23}}"];
37 24 [penwidth=1,label="{{24}}"];
40 8 [penwidth=1,label="{{8}}"];
41 25 [penwidth=1,label="{{25}}"];
43 26 [penwidth=1,label="{{26}}"];
45 27 [penwidth=1,label="{{27}}"];
48 9 [penwidth=1,label="{{9}}"];
49 28 [penwidth=1,label="{{28}}"];
51 29 [penwidth=1,label="{{29}}"];
53 30 [penwidth=1,label="{{30}}"];
57 3 [penwidth=1,label="{{3}}"];
58 10 [penwidth=1,label="{{10}}"];
59 31 [penwidth=1,label="{{31}}"];
61 32 [penwidth=1,label="{{32}}"];
63 33 [penwidth=1,label="{{33}}"];
66 11 [penwidth=1,label="{{11}}"];
67 34 [penwidth=1,label="{{34}}"];
69 35 [penwidth=1,label="{{35}}"];
71 36 [penwidth=1,label="{{36}}"];
74 12 [penwidth=1,label="{{12}}"];
75 37 [penwidth=1,label="{{37}}"];
77 38 [penwidth=1,label="{{38}}"];
79 39 [penwidth=1,label="{{39}}"];