< newtst488.tst
< newtst182.tst
< tc81
< ts686
../inputs/uslin.1465
../inputs/uslin.977
< uslin.1100
< test309
< uslin.1098
< ts507
< tst233
../inputs/uslin.1757
< uslin.1197
../inputs/uslin.1986
< tc298
../inputs/uslin.652
../inputs/garbage/nothing
< tst116
../inputs/uslin.1101
