../inputs/uslin.878
< ts756
< test163
../inputs/garbage/nothing
../inputs/uslin.1904
< test400
< tst58
../inputs/uslin.536
../inputs/uslin.1741
< uslin.1320
< uslin.1459
< uslin.155
../inputs/uslin.452
< newtst235.tst
../inputs/uslin.1406
