< uslin.584
< newtst272.tst
< uslin.721
< tc18
< ts738
< newtst269.tst
< uslin.964
../inputs/uslin.1522 
< tc20
< newtst596.tst
< uslin.333
< uslin.682
< tc94
< newtst258.tst
< uslin.1493
../inputs/uslin.735
