< newtst471.tst
../inputs/uslin.481
< newtst3.tst.tst
< uslin.1088
< tc252
< uslin.837
< ts532
< ts796
< test206
< uslin.68
