< newtst364.tst
< newtst48.tst
< newtst591.tst
< tc102
< tc138
< tc276
< test190
< test309
< test35
< test80
< ts512
< ts717
< ts799
< tst152
< tst162
< tst82
< tst93
< uslin.1013
< uslin.1134
< uslin.1355
< uslin.1570
< uslin.1604
< uslin.1672
< uslin.302
< uslin.318
< uslin.520
< uslin.552
< uslin.75
../inputs/uslin.1105
../inputs/uslin.1124 
../inputs/uslin.1287
../inputs/uslin.1414
../inputs/uslin.1699
../inputs/uslin.1915
../inputs/uslin.1960
../inputs/uslin.255
../inputs/uslin.284
../inputs/uslin.338
../inputs/uslin.401
../inputs/uslin.689
../inputs/uslin.846
../inputs/uslin.977
../inputs/garbage/nothing
