8304 Dec 14  1987 data.rep
        523 Dec 14  1987 macros
         45 Dec 14  1987 xmk
       1377 Dec 14  1987 man.0
       3125 Dec 14  1987 man.19
       7438 Dec 14  1987 man.16
       2777 Dec 14  1987 man.17
       2111 Dec 14  1987 man.18
       8556 Dec 14  1987 man.15
       3444 Dec 14  1987 man.13
       4342 Dec 14  1987 man.11
       2899 Dec 14  1987 man.14
      10409 Dec 14  1987 man.12
      19868 Dec 14  1987 man.9
       5212 Dec 14  1987 man.8
       6491 Dec 14  1987 man.10
      11504 Dec 14  1987 man.7
      13982 Dec 14  1987 man.6
       3636 Dec 14  1987 man.5
      10589 Dec 14  1987 man.4
      12828 Dec 14  1987 man.3
       2405 Dec 14  1987 man.2
        516 Dec 14  1987 man.1

.