< newtst157.tst
< newtst288.tst
< newtst32.tst
< newtst458.tst
< newtst566.tst
< tc12
< tc150
< tc18
< tc270
< tc283
< tc357
< test271
< test376
< test77
< ts624
< ts704
< ts775
< tst31
< uslin.102
< uslin.1070
< uslin.1134
< uslin.1151
< uslin.1296
< uslin.1355
< uslin.1377
< uslin.1773
< uslin.1845
< uslin.1905
< uslin.302
< uslin.668
< uslin.77
../inputs/garbage/nothing
../inputs/jk50
../inputs/uslin.1105
../inputs/uslin.1403
../inputs/uslin.1531
../inputs/uslin.159
../inputs/uslin.1594
../inputs/uslin.1626 
../inputs/uslin.186
