../inputs/uslin.1957
< newtst143.tst
../inputs/uslin.1553
< ts531
< ts790
< uslin.123
< tc127
../inputs/uslin.657
< uslin.175
< test268
../inputs/garbage/nothing
one doesntliketwo
