< newtst6.tst.tst
< newtst405.tst
../inputs/uslin.446
< ts777
< uslin.626
../inputs/jk7
< test308
< newtst46.tst
< tst158
< ts567
< ts744
../inputs/uslin.1322
< newtst96.tst
< tc114
< tc89
< tc32
../inputs/garbage/nothing
< uslin.1070
< uslin.1695
../inputs/uslin.911
< ts683
