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