/test/regress/regress1/proofs/