< newtst448.tst
../inputs/uslin.988
../inputs/uslin.1096
< test32
../inputs/jk44
< uslin.1865
< tc364
< tc147
< ts528
../inputs/uslin.732
< ts706
../inputs/uslin.1992 
../inputs/uslin.1103
../inputs/uslin.1745
../inputs/uslin.1942
< newtst567.tst
