rw-rw-rw- 4273/0 134614 Mar 11 14:47 1994 tutorial.ez
rw-rw-rw- 4273/0 199572 Mar 11 14:48 1994 tutorial.ps