../inputs/jk6
< ts672
../inputs/garbage/nothing
../inputs/uslin.1335
< tst128
< uslin.1830
../inputs/uslin.1321
