Proof

Counted from the files, not typed in

Every number here is read from Alibi's proof files when you open this page.