< tc19
< uslin.648
< newtst53.tst
< uslin.1469
../inputs/uslin.1065
../inputs/uslin.279
< newtst388.tst
< uslin.33
< tc346
../inputs/garbage/nothing
