< tc293
< uslin.33
< test66
< newtst128.tst
../inputs/uslin.884
< test26
< tc301
../inputs/uslin.179
< newtst166.tst
< tst198
< newtst87.tst
< ts582
< uslin.1102
< tc33
../inputs/uslin.458
< uslin.1304
../inputs/uslin.261
../inputs/uslin.371
../inputs/uslin.817
< tc281
< uslin.27
< uslin.1695
