< uslin.28
../inputs/uslin.1808
../inputs/uslin.750
< newtst85.tst
< uslin.1026
< tc128
< tc388
