More precise graphviz bounds