../inputs/uslin.500
../inputs/uslin.1618
../inputs/uslin.405
< newtst191.tst
< test16
< test295
< uslin.840
< uslin.1579
< test372
< uslin.1410
../inputs/garbage/nothing
< uslin.271
< newtst230.tst
