< newtst64.tst
< ts713
< uslin.1563
< tc392
< newtst45.tst
< test293
< uslin.15
../inputs/uslin.939
< tc24
< ts597
< tst71
../inputs/uslin.550 
< tst147
< newtst545.tst
../inputs/jk22
< tc215
< tc397
../inputs/uslin.263
../inputs/uslin.804
../inputs/uslin.838
../inputs/uslin.536
< newtst132.tst
../inputs/uslin.1034
< tc307
