< newtst13.tst
< newtst435.tst
< newtst72.tst
< newtst87.tst
< tc29
< test132
< test331
< ts696
< tst191
< tst218
< tst89
< uslin.1172
< uslin.1355
< uslin.1702
< uslin.1873
< uslin.301
< uslin.318
< uslin.329
< uslin.456
< uslin.79
< uslin.807
< uslin.989
../inputs/jk31
../inputs/jk7
../inputs/uslin.1020
../inputs/uslin.1276
../inputs/uslin.1322
../inputs/uslin.1545
../inputs/uslin.1651
../inputs/uslin.1732
../inputs/uslin.1799
../inputs/uslin.1844
../inputs/uslin.724
../inputs/uslin.794
../inputs/uslin.800
../inputs/uslin.940
../inputs/garbage/nothing
