../inputs/uslin.338
< newtst503.tst
../inputs/uslin.1552
< uslin.924
< ts557
one doesntliketwo
../inputs/jk38
../inputs/garbage/nothing
< tc177
../inputs/uslin.688
