< tc81
< ts772
../inputs/uslin.666
../inputs/uslin.1977
< uslin.1016
< uslin.110
< tc40
< uslin.1950
< uslin.1947
../inputs/uslin.1757
< tst31
../inputs/garbage/nothing
one doesntliketwo
