< newtst435.tst
< newtst572.tst
< tc117
< tst208
< uslin.1405
< uslin.337
< uslin.580
< uslin.823
< uslin.933
../inputs/uslin.1233
../inputs/uslin.127
../inputs/uslin.211
../inputs/garbage/nothing
one doesntliketwo
