< newtst31.tst.tst
< newtst404.tst
< newtst574.tst
< tc12
< tc251
< tc308
< tc31
< tc314
< test136
< test391
< ts574
< ts776
< uslin.1145
< uslin.1229
< uslin.1343
< uslin.1355
< uslin.1845
< uslin.301
< uslin.325
< uslin.362
< uslin.999
../inputs/jk29
../inputs/jk43
../inputs/uslin.1162
../inputs/uslin.1179
../inputs/uslin.1339
../inputs/uslin.1485
../inputs/uslin.1677 
../inputs/uslin.1768
../inputs/uslin.19
../inputs/uslin.1915
../inputs/uslin.324
../inputs/uslin.368
../inputs/uslin.610
../inputs/uslin.653
../inputs/uslin.857
../inputs/garbage/nothing
