< uslin.1509
< newtst403.tst
../inputs/uslin.308 
< newtst444.tst
../inputs/uslin.699
../inputs/uslin.901
< uslin.1083
< uslin.775
< uslin.966
../inputs/garbage/nothing
../inputs/uslin.1487
../inputs/uslin.1265
< ts757
< uslin.335
< tst261
< tc308
< tst66
