;Beginning compilation on /toe/ppg/kranz/bench/boyer.t

TEST
TRUE
FALSE
TAUT?
TAUTOLOGY?
KNOWN-TRUE?
KNOWN-FALSE?
REWRITE
REWRITE-ARGS
REWRITE-WITH-LEMMAS
ONE-WAY-UNIFY-UTIL
ONE-WAY-UNIFY-LIST
APPLY-SUBST
APPLY-SUBST-LIST
(VARIABLES
  FREE (ASSQ GET EQUAL? MEMBER NO-MORE-COND-CLAUSES *FUTURE LOAD)
  EARLY-BOUND ()
  DEFINED (TEST TRUE FALSE TAUT? TAUTOLOGY? KNOWN-TRUE? KNOWN-FALSE?
REWRITE REWRITE-ARGS REWRITE-WITH-LEMMAS ONE-WAY-UNIFY-UTIL ONE-WAY-UNIFY-LIST
APPLY-SUBST APPLY-SUBST-LIST)
  LSET ()
  SET ()
  ERROR ()
  INTEGRATED (NOT NULL? ATOM? CDR CAR EQ? ELSE CADR CONS CADDDR CADDR
NIL)
  LOCAL ()
  UNREFERENCED (TEST))
;;; 0 IBs queued, 20 IBs unqueued
(AS (IB 149) (SDF 108) (ALIGN 43) (MARK 774) (CLEAN 48) (DIRTY 34) (BYTES 3040))