6 edge[weight=2, dir=forward];
7 "0" [shape=box, label="F", style=filled, shape=box, height=0.3, width=0.3];
8 "8000000000000000" [shape=box, label="T", style=filled, shape=box, height=0.3,
11 root -> "19" [style=solid];
13 "19" -> "0" [style=dashed];
14 "19" -> "18" [style=solid];
16 "18" -> "17" [style=dashed];
17 "18" -> "0" [style=solid];
19 "17" -> "0" [style=dashed];
20 "17" -> "16" [style=solid];
22 "16" -> "15" [style=dashed];
23 "16" -> "0" [style=solid];
25 "15" -> "0" [style=dashed];
26 "15" -> "14" [style=solid];
28 "14" -> "13" [style=dashed];
29 "14" -> "0" [style=solid];
31 "13" -> "4" [style=dashed];
32 "13" -> "0" [style=solid];
34 "4" -> "0" [style=dashed];
35 "4" -> "2" [style=solid];
37 "2" -> "0" [style=dashed];
38 "2" -> "8000000000000000" [style=solid];