../inputs/jk25
< ts764
< newtst512.tst
< newtst84.tst
../inputs/uslin.274
../inputs/uslin.500
< uslin.244
../inputs/uslin.1278
../inputs/uslin.1018
../inputs/uslin.1043
../inputs/uslin.1322
< tc245
< uslin.1856
< uslin.821
../inputs/uslin.1306
../inputs/uslin.1736
< tst32
< uslin.1979
