../inputs/uslin.410
../inputs/uslin.400
< tc220
../inputs/uslin.1843
< newtst495.tst
../inputs/uslin.501
< tc10
< tst162
< uslin.572
< uslin.1269
../inputs/uslin.1536
< uslin.1296
../inputs/uslin.641
< ts540
../inputs/garbage/nothing
one doesntliketwo
