< tst286
../inputs/uslin.782
< tc197
< newtst474.tst
../inputs/uslin.1543
< test363
../inputs/uslin.1241
< uslin.1146
< tst63
< uslin.1106
< uslin.534
../inputs/uslin.983
< uslin.1347
< uslin.669
< ts770
../inputs/garbage/nothing
../inputs/uslin.192
