;;; -*- Mode:LISP; Package:USER; Base:10; Readtable:T; Patch-File:T -*-
;;; Written 6-May-85 12:25:55 by rg,
;;; while running on Lambda Nine from band 0
;;; with Experimental System 104.5, microcode 1143, 104 Volatile.


("VERIFY" 1)