PDF: external_audit/proof_skeleton.pdf
SHA-256: f7cbe2967d69a85de730f304141b3b32bfd586bebb56353edb69ea5d0a659bfc
Pages: 6
Producer: pdfTeX-1.40.24
Encrypted: False
Extracted characters: 14022
Distinct page fonts: 15
All page fonts embedded: True
