../inputs/uslin.263
../inputs/uslin.1499
< uslin.1878
< tc56
< ts512
< ts715
../inputs/uslin.785
< test12
< test173
< uslin.1229
../inputs/uslin.664
< newtst255.tst
../inputs/garbage/nothing
one doesntliketwo
