Path	Lines of Code
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorGenerator/Generator.cs	182
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/TestVectorTypes.cs	179
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/client.py	235
TestVectors/runtimes/go/TestsFromDafny-go/TestWrappedESDKMain/extern.go	13
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/KeyringToMasterKeyProvider.java	221
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java	302