< newtst562.tst
../inputs/uslin.199
< uslin.275
< tst157
< uslin.1087
< tc123
< uslin.837
../inputs/uslin.314
< newtst10.tst
< test341
< uslin.323
< uslin.1122
../inputs/garbage/nothing
