../inputs/uslin.1467
< ts581
../inputs/garbage/nothing
< uslin.1309
../inputs/uslin.1697
< uslin.277
< newtst152.tst
< newtst38.tst
../inputs/uslin.912
< ts543
< newtst302.tst
< uslin.1190
../inputs/uslin.830
< tc291
