< ts539
< tc353
< uslin.766
< newtst233.tst
../inputs/uslin.1620
< newtst104.tst
< tc327
../inputs/uslin.631
< newtst492.tst
< newtst78.tst
< newtst35.tst
../inputs/garbage/nothing
< newtst432.tst
../inputs/uslin.1139
< uslin.1027
< newtst88.tst
< newtst445.tst
< uslin.1230
< ts608
< newtst310.tst
