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"
    ]




    "ironclad-apps/tools/NuBuild" -- "ironclad-apps/tools/NuBuild2" [label=" 14872 ", penwidth="10", color="#DC143CFF"];
    "ironfleet/src/Dafny" -- "ironfleet/src/IronSHTServer" [label=" 156 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/IronRSLCounterClient" -- "ironfleet/src/IronRSLKVClient" [label=" 152 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/IronLockServer" -- "ironfleet/src/TestIoFramework" [label=" 136 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/IronLockServer" -- "ironfleet/src/IronSHTServer" [label=" 134 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/Dafny" -- "ironfleet/src/IronLockServer" [label=" 106 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/TestIoFramework" [label=" 96 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/Dafny" -- "ironfleet/src/TestIoFramework" [label=" 82 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/IronRSLCounterClient" -- "ironfleet/src/IronSHTClient" [label=" 78 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/IronSHTClient" [label=" 64 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/IronSHTServer" [label=" 62 ", penwidth="1", color="#DC143C4C"];
    "ironfleet/src/Dafny" -- "ironfleet/src/IronRSLKVClient" [label=" 62 ", penwidth="1", color="#DC143C4C"];
    "ironclad-apps/src/Clients" -- "ironfleet/src/IronfleetCommon" [label=" 54 ", penwidth="1", color="#DC143C4C"];
    "ironclad-apps/tools/DafnyCC" -- "ironclad-apps/tools/DafnySpec" [label=" 52 ", penwidth="1", color="#DC143C4C"];

}