< ts719
< uslin.537
< tc52
< uslin.1668
< newtst271.tst
../inputs/uslin.1337
< newtst247.tst
< tst189
< uslin.201
../inputs/uslin.681
< newtst413.tst
< ts598
