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




    "[ComAmazonawsKms/runtimes/python/pyproject.toml]" -- "[AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[AwsCryptographyPrimitives/runtimes/python/pyproject.toml]" -- "[AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[ComAmazonawsDynamodb/runtimes/python/pyproject.toml]" -- "[AwsCryptographyPrimitives/runtimes/python/pyproject.toml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[ComAmazonawsDynamodb/runtimes/python/pyproject.toml]" -- "[AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[ComAmazonawsKms/runtimes/python/pyproject.toml]" -- "[ComAmazonawsDynamodb/runtimes/python/pyproject.toml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[ComAmazonawsKms/runtimes/python/pyproject.toml]" -- "[AwsCryptographyPrimitives/runtimes/python/pyproject.toml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" -- "[AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[StandardLibrary/runtimes/net/AssemblyInfo.cs]" -- "[AwsCryptographyPrimitives/runtimes/python/pyproject.toml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go]" -- "[ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsKms/runtimes/net/AssemblyInfo.cs]" -- "[AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs]" -- "[AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsKms/runtimes/net/AssemblyInfo.cs]" -- "[ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs]" -- "[ComAmazonawsKms/runtimes/python/pyproject.toml]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];
    "[TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go]" -- "[AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go]" [label=" 3 ", penwidth="3", color="#00688b82"];

}