< tst58
< tst169
../inputs/uslin.870
< newtst419.tst
< tst64
< ts517
< newtst277.tst
< tc302
< tc163
< tc225
../inputs/uslin.1436
< uslin.266
< tc203
../inputs/uslin.1471
../inputs/uslin.1656
../inputs/garbage/nothing
one doesntliketwo
