Directory listing for tptp-0.1.2.0 candidate source tarball

tptp-0.1.2.0/test-data/szs/tff/