;;cpu time (non-gc) 984 msec user, 133 msec system
;;cpu time (gc)     0 msec user, 0 msec system
;;cpu time (total)  984 msec user, 133 msec system
;;real time  2173 msec
;;space allocation:
;; 48273 cons cells, 67 symbols, 554112 other bytes,


(setq *SAVED-RULES* (quote 
NIL))