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




    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 9 ", penwidth="9", color="#00688bED"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 8 ", penwidth="8", color="#00688bDB"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 8 ", penwidth="8", color="#00688bDB"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 8 ", penwidth="8", color="#00688bDB"];
    "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 8 ", penwidth="8", color="#00688bDB"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 8 ", penwidth="8", color="#00688bDB"];
    "[TestVectors/runtimes/rust/src/main.rs]" -- "[AwsEncryptionSDK/runtimes/rust/src/lib.rs]" [label=" 7 ", penwidth="7", color="#00688bC9"];
    "[TestVectors/runtimes/rust/Cargo.toml]" -- "[AwsEncryptionSDK/runtimes/rust/Cargo.toml]" [label=" 6 ", penwidth="6", color="#00688bB7"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[TestVectors/runtimes/java/build.gradle.kts]" -- "[AwsEncryptionSDK/runtimes/java/build.gradle.kts]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 5 ", penwidth="5", color="#00688bA5"];
    "[releases/rust/esdk/src/storm_tracker.rs]" -- "[releases/rust/esdk/src/dafny_libraries.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/operation/encrypt.rs]" -- "[releases/rust/esdk/src/aes_gcm.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/time.rs]" -- "[releases/rust/esdk/src/dafny_libraries.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectors/runtimes/java/src/main/java/software/amazon/cryptography/encryptionsdk/internaldafny/wrapped/__default.java]" -- "[TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/client.rs]" -- "[releases/rust/esdk/Cargo.toml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectors/runtimes/net/Generated/TestVectors/AwsEncryptionSdkShim.cs]" -- "[TestVectors/runtimes/java/build.gradle.kts]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/storm_tracker.rs]" -- "[releases/rust/esdk/src/rsa.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/dafny_libraries.rs]" -- "[releases/rust/esdk/Cargo.toml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/rsa.rs]" -- "[releases/rust/esdk/src/operation/encrypt.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/time.rs]" -- "[releases/rust/esdk/src/operation/encrypt.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java]" -- "[AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/ecdh.rs]" -- "[releases/rust/esdk/src/aes_gcm.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/operation/encrypt.rs]" -- "[releases/rust/esdk/Cargo.toml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/types.rs]" -- "[releases/rust/esdk/src/operation/encrypt.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/time.rs]" -- "[releases/rust/esdk/src/storm_tracker.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectors/runtimes/net/Generated/TestVectors/AwsEncryptionSdkShim.cs]" -- "[AwsEncryptionSDK/runtimes/java/build.gradle.kts]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/lib.rs]" -- "[releases/rust/esdk/src/client.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/dafny_libraries.rs]" -- "[releases/rust/esdk/src/aes_gcm.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/types.rs]" -- "[releases/rust/esdk/src/rsa.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/operation/decrypt.rs]" -- "[releases/rust/esdk/src/dafny_libraries.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/rsa.rs]" -- "[releases/rust/esdk/src/aes_gcm.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/types.rs]" -- "[releases/rust/esdk/src/dafny_libraries.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/lib.rs]" -- "[releases/rust/esdk/src/aes_gcm.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs]" -- "[TestVectors/runtimes/java/build.gradle.kts]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/types.rs]" -- "[releases/rust/esdk/src/ecdh.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/ecdh.rs]" -- "[releases/rust/esdk/Cargo.toml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs]" -- "[AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/dafny_libraries.rs]" -- "[releases/rust/esdk/src/client.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/time.rs]" -- "[releases/rust/esdk/Cargo.toml]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[releases/rust/esdk/src/types.rs]" -- "[releases/rust/esdk/src/time.rs]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 4 ", penwidth="4", color="#00688b93"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" [label=" 4 ", penwidth="4", color="#00688b93"];

}