;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 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 139) (SDF 101) (ALIGN 40) (MARK 605) (CLEAN 38) (DIRTY 35) (BYTES 2168))