../inputs/uslin.219
< ts582
< uslin.1161
../inputs/uslin.1940
< uslin.1336
< tst213
< tc54
< uslin.1369
< newtst421.tst
< ts762
< newtst66.tst
< newtst3.tst
../inputs/garbage/nothing
< uslin.1251
< uslin.1172
< ts638
< ts741
