../inputs/uslin.1875
../inputs/uslin.304
< uslin.1282
< newtst215.tst
< newtst587.tst
../inputs/uslin.1978
< tst173
< ts534
< uslin.1468
< tc56
< uslin.1613
< uslin.1886
< ts696
< uslin.1671
../inputs/garbage/nothing
one doesntliketwo
