../inputs/jk42
../inputs/uslin.1595 
< uslin.311
< newtst70.tst
< tst36
< uslin.1912
../inputs/uslin.1426
< uslin.64
../inputs/uslin.934
< uslin.576
< newtst598.tst
< uslin.1347
< ts798
< tc52
< tst188
< ts743
