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="#DC143C"
        fontcolor="black"
        fontsize="12"
        arrowsize="0.5"
        penwidth="1.0"
    ]




    "include" -- "source" [label=" 140 ", penwidth="10", color="#DC143CFF"];
    "source" -- "verification" [label=" 139 ", penwidth="9", color="#DC143CED"];
    "include" -- "verification" [label=" 52 ", penwidth="3", color="#DC143C82"];

}