../inputs/uslin.1741
../inputs/uslin.1508
< uslin.568
< tc106
< newtst583.tst
< ts725
< ts545
< tst213
< ts564
< test399
< uslin.379
../inputs/uslin.718
../inputs/jk29
../inputs/uslin.1040
< uslin.483
../inputs/garbage/nothing
one doesntliketwo
