Directory listing for tptp-0.1.3.0 source tarball

tptp-0.1.3.0/test-data/szs/tff/