report2/toy2.dot

   1 digraph "DD" {
   2         rankdir=LR;
   3         center = true;
   4         graph [dpi = 300];
   5         node [nodesep=0.75];
   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,
   9         width=0.3];
  10         root [style=invis];
  11         root -> "1b" [style=solid];
  12         "1b" [label="12"];
  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];
  21         { rank=same; "1b"; }
  22         { rank=same; "800000000000001a"; }
  23         { rank=same; "8000000000000002"; }
  24 }