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




    "include" -- "benchmarks" [label=" 10 ", penwidth="10", color="#00688bFF"];
    "x86/proofs" -- "benchmarks" [label=" 10 ", penwidth="10", color="#00688bFF"];
    "x86/proofs" -- "include" [label=" 10 ", penwidth="10", color="#00688bFF"];
    "benchmarks" -- "arm/proofs" [label=" 7 ", penwidth="7", color="#00688bC9"];
    "include" -- "arm/proofs" [label=" 7 ", penwidth="7", color="#00688bC9"];
    "x86/proofs" -- "arm/proofs" [label=" 7 ", penwidth="7", color="#00688bC9"];
    "x86_att/p256" -- "x86/p256" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "benchmarks" -- "arm/p256" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "include" -- "arm/p256" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "arm/proofs" -- "arm/fastmul" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "x86/proofs" -- "arm/p256" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "arm/proofs" -- "arm/p256" [label=" 4 ", penwidth="4", color="#00688b93"];
    "benchmarks" -- "arm/fastmul" [label=" 4 ", penwidth="4", color="#00688b93"];
    "include" -- "arm/fastmul" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/p256" -- "benchmarks" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/p256" -- "include" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/p256" -- "benchmarks" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/p256" -- "include" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/fastmul" -- "arm/proofs" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/fastmul" -- "benchmarks" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/fastmul" -- "include" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/proofs" -- "arm/fastmul" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/proofs" -- "x86/fastmul" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/fastmul" -- "arm/proofs" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/fastmul" -- "benchmarks" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/fastmul" -- "include" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/fastmul" -- "x86/fastmul" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/fastmul" -- "x86/proofs" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/p256" -- "arm/p256" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86/proofs" -- "x86/p256" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/p256" -- "arm/p256" [label=" 4 ", penwidth="4", color="#00688b93"];
    "x86_att/p256" -- "x86/proofs" [label=" 4 ", penwidth="4", color="#00688b93"];
    "arm/secp256k1" -- "arm/proofs" [label=" 3 ", penwidth="3", color="#00688b82"];
    "arm/secp256k1" -- "arm/p256" [label=" 3 ", penwidth="3", color="#00688b82"];
    "benchmarks" -- "arm/p384" [label=" 3 ", penwidth="3", color="#00688b82"];
    "benchmarks" -- "arm/secp256k1" [label=" 3 ", penwidth="3", color="#00688b82"];
    "include" -- "arm/p384" [label=" 3 ", penwidth="3", color="#00688b82"];
    "include" -- "arm/secp256k1" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86/fastmul" -- "arm/fastmul" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86/p384" -- "arm/p384" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86/p384" -- "benchmarks" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86/p384" -- "include" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86/proofs" -- "arm/p384" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86/proofs" -- "x86/p384" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86_att/fastmul" -- "arm/fastmul" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86_att/p384" -- "arm/p384" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86_att/p384" -- "benchmarks" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86_att/p384" -- "include" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86_att/p384" -- "x86/p384" [label=" 3 ", penwidth="3", color="#00688b82"];
    "x86_att/p384" -- "x86/proofs" [label=" 3 ", penwidth="3", color="#00688b82"];

}