/INSTALL
/Makefile
/Makefile.in
/aclocal.m4
/autom4te.cache
/build-aux
/config.log
/config.status
/configure
/env
*.go
*~
/z3.scm
/config.cache
/test-suite.log
/tests/*.log
/tests/*.trs