< test379
../inputs/uslin.1024
< tc45
../inputs/uslin.1725
../inputs/uslin.278
../inputs/uslin.84
< ts679
< tc129
< newtst542.tst
< newtst410.tst
< ts508
< newtst240.tst
../inputs/uslin.1826
< uslin.1355
< tc148
< newtst392.tst
../inputs/uslin.976
< uslin.537
< tc39
../inputs/uslin.111
