0000000000000000000000000000000000000000 283d207ec8183d0dc99088a13e2f78f088349e37 root <root@ip-100-80-146-250.us-west-2.compute.internal> 1760718625 +0000	clone: from https://github.com/awslabs/aws-templates-for-cbmc-proofs
