../inputs/uslin.1187
< ts708
< uslin.37
< newtst366.tst
< newtst512.tst
< newtst384.tst
< tc149
< test13
