< newtst490.tst
../inputs/uslin.1048
< newtst478.tst
< newtst20.tst
../inputs/garbage/nothing
< test144
../inputs/jk50
< ts637
< ts626
< tst79
../inputs/uslin.604
../inputs/uslin.917
< tc235
< newtst393.tst
