< newtst243.tst
< newtst484.tst
< tc146
< tc322
< tc57
< test245
< ts500
< ts648
< tst183
< tst218
< tst238
< tst7
< tst86
< uslin.1106
< uslin.120
< uslin.1355
< uslin.1539
< uslin.1961
< uslin.352
< uslin.435
< uslin.586
< uslin.656
< uslin.756
< uslin.933
< uslin.999
../inputs/jk9
../inputs/uslin.1124 
../inputs/uslin.1125
../inputs/uslin.1416
../inputs/uslin.1479
../inputs/uslin.1768
../inputs/uslin.1813
../inputs/uslin.1831
../inputs/uslin.1941
../inputs/uslin.284
../inputs/uslin.326
../inputs/uslin.505
../inputs/uslin.724
../inputs/uslin.81
../inputs/uslin.846
../inputs/uslin.899
../inputs/garbage/nothing
