< newtst23.tst
< newtst241.tst
< newtst292.tst
< newtst355.tst
< newtst391.tst
< newtst424.tst
< tc128
< tc28
< tc38
< test162
< test315
< test375
< test39
< ts565
< ts650
< ts798
< tst218
< tst76
< uslin.124
< uslin.1355
< uslin.1369
< uslin.1658
< uslin.1975
< uslin.4
< uslin.518
../inputs/uslin.1040
../inputs/uslin.1080
../inputs/uslin.1105
../inputs/uslin.1212
../inputs/uslin.1358
../inputs/uslin.1403
../inputs/uslin.1472
../inputs/uslin.1626 
../inputs/uslin.1693
../inputs/uslin.1747
../inputs/uslin.359
../inputs/uslin.368
../inputs/uslin.371
../inputs/uslin.453
../inputs/uslin.551
../inputs/uslin.884
../inputs/uslin.980
../inputs/garbage/nothing
