< tc343
< ts517
< tst78
< tc291
< test256
< tc312
< ts612
< test57
< uslin.1794
< tc185
../inputs/jk33
< newtst194.tst
../inputs/uslin.51
../inputs/uslin.886
../inputs/uslin.505
< uslin.1524
< uslin.1269
< uslin.787
< newtst475.tst
< ts587
< uslin.102
< tc170
< newtst286.tst
< newtst186.tst
