(IN-PACKAGE "ACL2")
"ACL2 Version 3.6"
:BEGIN-PORTCULLIS-CMDS
:END-PORTCULLIS-CMDS
NIL
(("/Users/cce/git/planet/dracula/teachpacks/testing.lisp" "testing" "testing" ((:SKIPPED-PROOFSP) (:AXIOMSP) (:TTAGS)) . 1763299016))
2072359858