< test80
< ts553
../inputs/garbage/nothing
< tst17
../inputs/uslin.1394
< newtst193.tst
../inputs/uslin.699
< uslin.398
../inputs/uslin.531
< newtst46.tst
< test225
< tc217
../inputs/uslin.1706
< ts787
< uslin.662
