Checksum: 7769838578423e7d36f566a8f3fd5e1b064c0c0af9602fc09fc9f966ef5e866e (page 1)

• acl2/8.5dfsg-5/books/quicklisp/bundle/software/xsubseq-20170830-git/t/benchmark.lisp
• acl2/8.6+dfsg-2/books/quicklisp/bundle/software/xsubseq-20170830-git/t/benchmark.lisp
• acl2/8.6+dfsg-3/books/quicklisp/bundle/software/xsubseq-20170830-git/t/benchmark.lisp