../inputs/uslin.128
../inputs/uslin.1978
< ts726
< uslin.944
< newtst279.tst
< test103
< tc343
< tc137
< tc378
< tst289
../inputs/uslin.1709
< ts565
../inputs/uslin.1065
< uslin.1880
< newtst503.tst
< ts540
../inputs/garbage/nothing
one doesntliketwo
