PDF: external_audit/theorem_summary.pdf
SHA-256: 204ffa5174991e4c62ed1bf942076836bcb8b737bdf07f256154900aaa0b6ca1
Pages: 3
Producer: pdfTeX-1.40.24
Encrypted: False
Extracted characters: 9641
Distinct page fonts: 16
All page fonts embedded: True
