/test/regress/regress0/arith/
../
Makefile.am
arith.01.cvc
arith.02.cvc
arith.03.cvc