< newtst4.tst.tst
< newtst484.tst
< newtst72.tst
< tc120
< tc280
< tc64
< test138
< test227
< ts581
< ts693
< tst13
< tst218
< tst253
< uslin.1070
< uslin.1355
< uslin.1357
< uslin.1527
< uslin.1829
< uslin.558
../inputs/jk42
../inputs/uslin.1109 
../inputs/uslin.1255 
../inputs/uslin.1700
../inputs/uslin.1763
../inputs/uslin.1803
../inputs/uslin.259
../inputs/uslin.326
../inputs/uslin.35
../inputs/uslin.394
../inputs/uslin.405
../inputs/uslin.43
../inputs/uslin.542
../inputs/uslin.575
../inputs/uslin.651
../inputs/uslin.725
../inputs/uslin.780
../inputs/uslin.838
../inputs/uslin.931
../inputs/uslin.980
../inputs/garbage/nothing
