11/10/88 08:59:00 HOST MACIVORY by Lispm.  Old timestamp was 2804161946.
11/10/88 09:06:14 HOST MACIVORY by Lispm.  Old timestamp was 2804162443.
11/10/88 09:41:13 HOST MACIVORY by Lispm.  Old timestamp was 2804162776.
12/02/88 09:51:38 NAMESPACE STANDALONE by Lispm.  Old timestamp was 2804164875.
12/02/88 09:58:46 SITE STANDALONE by Lispm.  Old timestamp was 2806066300.
12/02/88 14:47:55 HOST MACIVORY by LISPM.  Old timestamp was 2806066727.
12/05/88 14:10:24 HOST MACIVORY by Lispm.  Old timestamp was 2806084076.
12/05/88 14:38:03 SITE STANDALONE by Lispm.  Old timestamp was 2806341030.