< newtst435.tst
< newtst484.tst
< newtst5.tst
< newtst72.tst
< tc4
< tc48
< tc64
< test111
< test245
< test303
< ts525
< ts569
< tst91
< uslin.1100
< uslin.1102
< uslin.1134
< uslin.1296
< uslin.1343
< uslin.1355
< uslin.1845
< uslin.1979
< uslin.237
< uslin.25
< uslin.301
< uslin.325
< uslin.42
< uslin.463
< uslin.607
< uslin.98
../inputs/jk28
../inputs/uslin.1092
../inputs/uslin.1233
../inputs/uslin.1278
../inputs/uslin.1390
../inputs/uslin.1471
../inputs/uslin.19
../inputs/uslin.1930
../inputs/uslin.505
../inputs/uslin.595
../inputs/uslin.833
../inputs/uslin.838
../inputs/uslin.947
../inputs/garbage/nothing
