7 duplicated lines in:
  - include/aws/cryptosdk/materials.h (566:572, 2%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (30:36, 12%)

7 duplicated lines in:
  - include/aws/cryptosdk/materials.h (566:572, 2%)
  - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (29:35, 15%)

7 duplicated lines in:
  - include/aws/cryptosdk/materials.h (665:671, 2%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_encrypt/aws_cryptosdk_keyring_on_encrypt_harness.c (30:36, 12%)

7 duplicated lines in:
  - include/aws/cryptosdk/materials.h (665:671, 2%)
  - verification/cbmc/proofs/default_cmm_generate_enc_materials/default_cmm_generate_enc_materials_harness.c (29:35, 15%)

6 duplicated lines in:
  - include/aws/cryptosdk/materials.h (566:571, 2%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:46, 8%)

6 duplicated lines in:
  - include/aws/cryptosdk/private/hkdf.h (33:38, 50%)
  - verification/cbmc/proofs/aws_cryptosdk_hkdf/aws_cryptosdk_hkdf_harness.c (22:27, 14%)

6 duplicated lines in:
  - include/aws/cryptosdk/materials.h (566:571, 2%)
  - verification/cbmc/stubs/on_encrypt_stub.c (33:38, 23%)

6 duplicated lines in:
  - include/aws/cryptosdk/materials.h (665:670, 2%)
  - verification/cbmc/stubs/on_encrypt_stub.c (33:38, 23%)

6 duplicated lines in:
  - include/aws/cryptosdk/materials.h (665:670, 2%)
  - verification/cbmc/proofs/aws_cryptosdk_keyring_on_decrypt/aws_cryptosdk_keyring_on_decrypt_harness.c (41:46, 8%)