tiny-logic.lisp
tiny.lisp
run-check.txt
