< newtst242.tst
../inputs/uslin.1317
< uslin.958
../inputs/uslin.956
< tc68
< uslin.164
< uslin.682
< newtst341.tst
< uslin.1319
< ts635
< uslin.787
< tst21
< uslin.860
< uslin.333
../inputs/garbage/nothing
< uslin.1146
../inputs/uslin.29
../inputs/uslin.1808
