< newtst199.tst
< newtst230.tst
< newtst503.tst
< newtst549.tst
< tc12
< test244
< ts587
< ts668
< ts681
< ts708
< ts723
< ts784
< tst218
< tst79
< tst86
< uslin.1027
< uslin.1122
< uslin.1288
< uslin.1355
< uslin.1516
< uslin.161
< uslin.353
< uslin.75
< uslin.761
< uslin.78
< uslin.829
< uslin.895
../inputs/uslin.1186
../inputs/uslin.1294
../inputs/uslin.1322
../inputs/uslin.1485
../inputs/uslin.1673
../inputs/uslin.1677 
../inputs/uslin.1745
../inputs/uslin.259
../inputs/uslin.315
../inputs/uslin.399
../inputs/uslin.505
../inputs/uslin.61
../inputs/uslin.724
../inputs/garbage/nothing
