../inputs/uslin.1045
< uslin.1740
< uslin.662
< tc11
../inputs/uslin.809
< uslin.1702
< ts628
< tc150
< uslin.1944
< uslin.1357
< newtst23.tst
< uslin.112
../inputs/uslin.284
< tst267
../inputs/garbage/nothing
one doesntliketwo
