../inputs/uslin.1763
../inputs/uslin.453
< newtst286.tst
< uslin.717
< newtst580.tst
< ts557
one doesntliketwo
../inputs/garbage/nothing
< tst107
< uslin.1672
