/Build/source/utils/autosp/autosp-src/tests/
../
quod2.aspc
quod2.tex
quod3.aspc