< newtst176.tst
< uslin.1570
../inputs/uslin.1548
../inputs/garbage/nothing
< test47
../inputs/uslin.473
< tst56
< tst293
< test35
../inputs/uslin.578
< ts648
../inputs/uslin.439
< uslin.1710
< tst236
< newtst210.tst
../inputs/uslin.1624
../inputs/uslin.303 
../inputs/uslin.111
< tc59
< uslin.1950
