graph G {
    compound="true"
    rankdir="TB"
    bgcolor="white"
    fontname="Tahoma"

    node [
        fixedsize="false"
        fontname="Tahoma"
        color="white"
        fillcolor="deepskyblue2"
        fontcolor="black"
        shape="box"
        style="filled"
        penwidth="1.0"
    ]
    edge [
        fontname="Arial"
        color="#00688b"
        fontcolor="black"
        fontsize="12"
        arrowsize="0.5"
        penwidth="1.0"
    ]




    "[Formula/hhvm-4.87.rb]" -- "[Formula/hhvm-4.84.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.96.rb]" -- "[Formula/hhvm-4.92.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.96.rb]" -- "[Formula/hhvm-4.94.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.56.rb]" -- "[Formula/hhvm-4.39.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.91.rb]" -- "[Formula/hhvm-4.87.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.97.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.95.rb]" -- "[Formula/hhvm-4.84.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.39.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.94.rb]" -- "[Formula/hhvm-4.92.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.96.rb]" -- "[Formula/hhvm-4.91.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.86.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.93.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.95.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.39.rb]" -- "[Formula/hhvm-4.100.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.98.rb]" -- "[Formula/hhvm-4.88.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.56.rb]" -- "[Formula/hhvm-4.100.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.95.rb]" -- "[Formula/hhvm-4.103.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.98.rb]" -- "[Formula/hhvm-4.80.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.97.rb]" -- "[Formula/hhvm-4.88.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.88.rb]" -- "[Formula/hhvm-4.39.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.93.rb]" -- "[Formula/hhvm-4.100.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.92.rb]" -- "[Formula/hhvm-4.102.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.92.rb]" -- "[Formula/hhvm-4.86.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.102.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.92.rb]" -- "[Formula/hhvm-4.87.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.93.rb]" -- "[Formula/hhvm-4.102.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.91.rb]" -- "[Formula/hhvm-4.100.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.86.rb]" -- "[Formula/hhvm-4.39.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.87.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.92.rb]" -- "[Formula/hhvm-4.39.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.97.rb]" -- "[Formula/hhvm-4.39.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.98.rb]" -- "[Formula/hhvm-4.56.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.95.rb]" -- "[Formula/hhvm-4.86.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.95.rb]" -- "[Formula/hhvm-4.94.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.91.rb]" -- "[Formula/hhvm-4.103.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.93.rb]" -- "[Formula/hhvm-4.86.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.84.rb]" -- "[Formula/hhvm-4.56.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.97.rb]" -- "[Formula/hhvm-4.80.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.94.rb]" -- "[Formula/hhvm-4.101.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.56.rb]" -- "[Formula/hhvm-4.103.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.96.rb]" -- "[Formula/hhvm-4.95.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.98.rb]" -- "[Formula/hhvm-4.103.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.94.rb]" -- "[Formula/hhvm-4.93.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.96.rb]" -- "[Formula/hhvm-4.101.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.92.rb]" -- "[Formula/hhvm-4.88.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.97.rb]" -- "[Formula/hhvm-4.100.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.95.rb]" -- "[Formula/hhvm-4.101.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.99.rb]" -- "[Formula/hhvm-4.56.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.94.rb]" -- "[Formula/hhvm-4.103.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[Formula/hhvm-4.88.rb]" -- "[Formula/hhvm-4.101.rb]" [label=" 2 ", penwidth="2", color="#00688b70"];

}