../inputs/uslin.1775
../inputs/jk11
< newtst597.tst
< ts517
< newtst596.tst
< newtst343.tst
< uslin.1691
< uslin.1891
< newtst436.tst
< test243
../inputs/garbage/nothing
../inputs/uslin.1595 
< newtst547.tst
< uslin.1215
