< newtst4.tst.tst
< newtst516.tst
< newtst552.tst
< newtst573.tst
< tc12
< tc260
< test127
< test142
< test287
< test399
< ts737
< tst142
< tst153
< tst181
< tst279
< tst89
< uslin.101
< uslin.1220
< uslin.1319
< uslin.1355
< uslin.1405
< uslin.1740
< uslin.1845
< uslin.1998
< uslin.325
< uslin.543
< uslin.772
< uslin.784
../inputs/jk31
../inputs/uslin.1270
../inputs/uslin.1290
../inputs/uslin.148
../inputs/uslin.1994
../inputs/uslin.308 
../inputs/uslin.416
../inputs/uslin.505
../inputs/uslin.521
../inputs/uslin.635
../inputs/uslin.681
../inputs/uslin.911
../inputs/uslin.988
../inputs/garbage/nothing
