./acl2-theorems.run