../inputs/uslin.303 
../inputs/jk13
< uslin.1116
../inputs/uslin.1708
< tst137
../inputs/uslin.1548
../inputs/uslin.917
< test347
< uslin.1469
../inputs/uslin.1167
< ts692
< test270
../inputs/uslin.1617
../inputs/uslin.732
< test324
< newtst385.tst
