< ts537
< tc136
< uslin.767
../inputs/uslin.1986
< uslin.398
< uslin.592
< ts674
../inputs/uslin.609 
< uslin.1529
< ts559
< tc174
< uslin.1559
< ts540
../inputs/uslin.1942
< newtst23.tst
../inputs/garbage/nothing
one doesntliketwo
