/test/regress/regress0/arrays/
../
Makefile
Makefile.am
arrays0.smt2
arrays1.smt2
arrays2.smt2
arrays3.smt2
arrays4.smt2