< newtst39.tst
../inputs/uslin.1250
../inputs/uslin.1009
../inputs/jk32
< ts647
../inputs/uslin.1550
../inputs/garbage/nothing
< newtst383.tst
< test355
../inputs/uslin.1162
< newtst117.tst
< tst70
../inputs/uslin.1324
