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




    "math/src" -- "math/src" [label=" 15 ", penwidth="10", color="#a0a0a0FF"];
    "prover/src" -- "prover/src" [label=" 13 ", penwidth="8", color="#a0a0a0DB"];
    "air/src" -- "air/src" [label=" 9 ", penwidth="6", color="#a0a0a0B7"];
    "math/benches" -- "math/src" [label=" 8 ", penwidth="5", color="#00688bA5"];
    "winterfell/src" -- "prover/src" [label=" 8 ", penwidth="5", color="#00688bA5"];
    "air/src" -- "prover/src" [label=" 8 ", penwidth="5", color="#00688bA5"];
    "crypto/src" -- "crypto/src" [label=" 8 ", penwidth="5", color="#a0a0a0A5"];
    "air/src" -- "math/src" [label=" 7 ", penwidth="4", color="#00688b93"];
    "math/benches" -- "math/benches" [label=" 6 ", penwidth="4", color="#a0a0a093"];
    "utils/rand" -- "math/src" [label=" 6 ", penwidth="4", color="#00688b93"];
    "utils/rand" -- "math" [label=" 6 ", penwidth="4", color="#00688b93"];
    "crypto/src" -- "math/src" [label=" 5 ", penwidth="3", color="#00688b82"];
    "verifier/src" -- "prover/src" [label=" 5 ", penwidth="3", color="#00688b82"];
    "utils/rand" -- "utils/core" [label=" 5 ", penwidth="3", color="#00688b82"];
    "verifier/src" -- "air/src" [label=" 5 ", penwidth="3", color="#00688b82"];
    "math/src" -- "prover/src" [label=" 5 ", penwidth="3", color="#00688b82"];
    "prover" -- "fri" [label=" 4 ", penwidth="2", color="#00688b70"];
    "winterfell" -- "verifier" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/core" -- "prover" [label=" 4 ", penwidth="2", color="#00688b70"];
    "winterfell" -- "fri" [label=" 4 ", penwidth="2", color="#00688b70"];
    "math" -- "fri" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/core" -- "fri" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier" -- "math" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier" -- "utils/rand" [label=" 4 ", penwidth="2", color="#00688b70"];
    "winterfell" -- "utils/core" [label=" 4 ", penwidth="2", color="#00688b70"];
    "prover" -- "math" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier" -- "fri" [label=" 4 ", penwidth="2", color="#00688b70"];
    "winterfell" -- "utils/rand" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier" -- "prover" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier/src" -- "verifier/src" [label=" 4 ", penwidth="2", color="#a0a0a070"];
    "utils/rand" -- "math/benches" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/rand" -- "air" [label=" 4 ", penwidth="2", color="#00688b70"];
    "air" -- "crypto" [label=" 4 ", penwidth="2", color="#00688b70"];
    "fri" -- "air" [label=" 4 ", penwidth="2", color="#00688b70"];
    "math" -- "air" [label=" 4 ", penwidth="2", color="#00688b70"];
    "winterfell" -- "prover" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/rand" -- "prover" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/rand" -- "fri" [label=" 4 ", penwidth="2", color="#00688b70"];
    "winterfell" -- "math" [label=" 4 ", penwidth="2", color="#00688b70"];
    "prover" -- "air" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/rand" -- "crypto" [label=" 4 ", penwidth="2", color="#00688b70"];
    "math" -- "crypto" [label=" 4 ", penwidth="2", color="#00688b70"];
    "winterfell" -- "crypto" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier" -- "utils/core" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier" -- "crypto" [label=" 4 ", penwidth="2", color="#00688b70"];
    "prover" -- "crypto" [label=" 4 ", penwidth="2", color="#00688b70"];
    "verifier" -- "air" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/core" -- "air" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/core" -- "crypto" [label=" 4 ", penwidth="2", color="#00688b70"];
    "utils/core" -- "math" [label=" 4 ", penwidth="2", color="#00688b70"];

}