../inputs/uslin.575
< ts733
< uslin.574
../inputs/garbage/nothing
< tc117
../inputs/uslin.32
< tst177
< test74
< newtst138.tst
../inputs/uslin.356
< tc80
../inputs/uslin.1902
../inputs/uslin.1943
