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=" 3 ", penwidth="3", color="#00688b82"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[releases/rust/esdk/Cargo.toml]" -- "[AwsEncryptionSDK/runtimes/rust/Cargo.toml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[TestVectors/runtimes/rust/Cargo.toml]" -- "[AwsEncryptionSDK/runtimes/rust/Cargo.toml]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 2 ", penwidth="2", color="#00688b70"];
    "[releases/rust/esdk/src/error/sealed_unhandled.rs]" -- "[releases/rust/esdk/src/conversions/error.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/hmac.rs]" -- "[releases/rust/esdk/src/deps.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/kms.rs]" -- "[releases/rust/esdk/src/dafny_libraries.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/conversions/encrypt_output.rs]" -- "[releases/rust/esdk/src/conversions/client.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/types/error.rs]" -- "[releases/rust/esdk/src/types/_decrypt_output.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/conversions/encrypt_input.rs]" -- "[AwsEncryptionSDK/runtimes/rust/Cargo.toml]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/deserialize.py]" -- "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/internaldafny/__init__.py]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/types/_net_v4_0_0_retry_policy.rs]" -- "[releases/rust/esdk/src/conversions/decrypt.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/KeyringToMasterKeyProvider.java]" -- "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/deserialize.py]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/conversions/error.rs]" -- "[releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py]" -- "[AwsEncryptionSDK/runtimes/rust/Cargo.toml]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/types/_decrypt_input.rs]" -- "[releases/rust/esdk/src/conversions.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/conversions/encrypt_input.rs]" -- "[releases/rust/esdk/src/conversions/decrypt_output.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/hmac.rs]" -- "[releases/rust/esdk/src/conversions/decrypt_input.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs]" -- "[releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/serialize.py]" -- "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/__init__.py]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/operation/encrypt/builders.rs]" -- "[releases/rust/esdk/src/dafny_libraries.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/conversions/net_v4_0_0_retry_policy.rs]" -- "[releases/rust/esdk/src/conversions/decrypt.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/validation.rs]" -- "[AwsEncryptionSDK/runtimes/rust/Cargo.toml]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/types/_decrypt_output.rs]" -- "[releases/rust/esdk/src/aes_gcm.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/__init__.py]" -- "[AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/ddb.rs]" -- "[releases/rust/esdk/src/conversions/decrypt_output.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/random.rs]" -- "[releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/smithygenerated/aws_cryptography_encryptionsdk/shim.py]" -- "[AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/storm_tracker.rs]" -- "[releases/rust/esdk/src/operation/encrypt/builders.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/types/_encrypt_input.rs]" -- "[releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/conversions/decrypt.rs]" -- "[releases/rust/esdk/src/aes_gcm.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/standard_library_conversions.rs]" -- "[releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/uuid.rs]" -- "[releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go]" -- "[releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/types/error.rs]" -- "[releases/rust/esdk/src/operation/encrypt.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/storm_tracker.rs]" -- "[releases/rust/esdk/src/conversions/aws_encryption_sdk_config/_aws_encryption_sdk_config.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/time.rs]" -- "[releases/rust/esdk/src/conversions/error.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/ecdh.rs]" -- "[releases/rust/esdk/src/client.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/__init__.py]" -- "[AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/types/error.rs]" -- "[releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];
    "[releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs]" -- "[releases/rust/esdk/src/ddb.rs]" [label=" 1 ", penwidth="1", color="#00688b5E"];

}