< test286
../inputs/uslin.822
< newtst525.tst
< uslin.1974
< test80
../inputs/uslin.1993
< newtst587.tst
< tst262
< tc60
< uslin.679
< newtst8.tst.tst
< tc265
../inputs/garbage/nothing
../inputs/uslin.1233
../inputs/uslin.907
< tst59
< newtst186.tst
< uslin.538
