< ts534
< test127
../inputs/uslin.73
< uslin.1056
< newtst13.tst
< newtst530.tst
../inputs/uslin.1508
< uslin.89
../inputs/jk31
< newtst60.tst
../inputs/garbage/nothing
< ts636
< tc69
< ts757
../inputs/uslin.57
