< newtst141.tst
< newtst589.tst
< tc128
< tc352
< test145
< ts638
< ts773
< tst193
< tst239
< uslin.1053
< uslin.993
../inputs/uslin.1046
../inputs/uslin.1805
../inputs/garbage/nothing
one doesntliketwo
