6 edge[weight=2, dir=forward];
7 "0" [shape=box, label="F", style=filled, height=0.3, width=0.3];
8 "8000000000000000" [shape=box, label="T", style=filled, height=0.3,
11 root -> "1b" [style=solid];
13 "1b" -> "0" [style=dashed];
14 "1b" -> "800000000000001a" [style=solid];
15 "800000000000001a" [label="14"];
16 "800000000000001a" -> "8000000000000002" [style=dashed];
17 "800000000000001a" -> "0" [style=solid];
18 "8000000000000002" [label="16"];
19 "8000000000000002" -> "8000000000000000" [style=dashed];
20 "8000000000000002" -> "0" [style=solid];
22 { rank=same; "800000000000001a"; }
23 { rank=same; "8000000000000002"; }