../inputs/jk6
< ts672
../inputs/garbage/nothing
../inputs/uslin.1335
< tst128
< uslin.1830
../inputs/uslin.1321
< tst4
../inputs/uslin.1034
../inputs/uslin.1991
../inputs/uslin.394
../inputs/uslin.1050
< uslin.1293
< newtst121.tst
< tst258
< test356
