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




    "ironfleet/src/Dafny" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronLockServer" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronLockServer" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLClient" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLClient" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLClient" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterClient" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterClient" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterClient" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterClient" -- "ironfleet/src/IronRSLClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterServer" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterServer" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterServer" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterServer" -- "ironfleet/src/IronRSLClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLCounterServer" -- "ironfleet/src/IronRSLCounterClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/IronRSLClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/IronRSLCounterClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVClient" -- "ironfleet/src/IronRSLCounterServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVServer" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVServer" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVServer" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVServer" -- "ironfleet/src/IronRSLClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVServer" -- "ironfleet/src/IronRSLCounterClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVServer" -- "ironfleet/src/IronRSLCounterServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronRSLKVServer" -- "ironfleet/src/IronRSLKVClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/IronRSLClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/IronRSLCounterClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/IronRSLCounterServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/IronRSLKVClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTClient" -- "ironfleet/src/IronRSLKVServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/IronRSLClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/IronRSLCounterClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/IronRSLCounterServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/IronRSLKVClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/IronRSLKVServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/IronSHTServer" -- "ironfleet/src/IronSHTClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/TestIoFramework" -- "ironfleet/src/CreateIronServiceCerts" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/TestIoFramework" -- "ironfleet/src/Dafny" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/TestIoFramework" -- "ironfleet/src/IronLockServer" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/TestIoFramework" -- "ironfleet/src/IronRSLClient" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "ironfleet/src/TestIoFramework" -- "ironfleet/src/IronRSLCounterClient" [label=" 1 ", penwidth="1", color="#00688b5E"];

}