graph [dpi = 300];
node [nodesep=0.75];
edge[weight=2, dir=forward];
- "0" [shape=box, label="F", style=filled, shape=box, height=0.3, width=0.3];
- "8000000000000000" [shape=box, label="T", style=filled, shape=box, height=0.3,
+ "0" [shape=box, label="F", style=filled, height=0.3, width=0.3];
+ "8000000000000000" [shape=box, label="T", style=filled, height=0.3,
width=0.3];
root [style=invis];
root -> "1b" [style=solid];