< test71
../inputs/uslin.1601
< uslin.349
< newtst521.tst
../inputs/uslin.86
< tc379
< tc345
../inputs/uslin.921
< tc252
< ts633
< tc326
