../inputs/uslin.1174
../inputs/uslin.1540
../inputs/uslin.754
../inputs/uslin.1418 
< tst275
../inputs/uslin.440
< test366
< ts709
< tc377
../inputs/uslin.439
< ts558
< ts658
< uslin.333
< tst34
< newtst553.tst
< ts765
< newtst2.tst
../inputs/uslin.535
../inputs/garbage/nothing
