TEMP-TEMPLISP-INTERNALS  UNIFY-SUBSTLISP-INTERNALS  ADD-LEMMALISP-INTERNALS  ADD-LEMMALISP-INTERNALS   ERRORLISP-INTERNALS %PUTSYMBOL CONSCONS GETSYMBOL CARCONS CADRCONS CARCONS CADRCONS CADRCONS CARCONSFsb @A @A CB@@C@A @A CFsc @A @A C(@ B C(@B(@AB(!B$E@#FE!F ADD-LEMMA-DID-NOT-LIKE-TERMLISP-INTERNALS LEMMASLISP-INTERNALS LEMMASLISP-INTERNALS EQUALLISP-INTERNALS  ADD-LEMMA-LSTLISP-INTERNALS  ADD-LEMMA-LSTLISP-INTERNALS  ADD-LEMMA-LSTLISP-INTERNALS CDRCONS  ADD-LEMMALISP-INTERNALS CARCONS @@A@A C(@B C(AFhD  APPLY-SUBSTLISP-INTERNALS  APPLY-SUBSTLISP-INTERNALS  CDRCONS  %SYMBOL-VALUESYMBOL %%SETSYMBOL ASSQLISP-INTERNALS CONSCONS APPLY-SUBST-LSTLISP-INTERNALS CDRCONS CARCONSFsb @A @A"C(#C(!BAF"A!B(@@BD@@A@AA@B(AF"D  TEMP-TEMPLISP-INTERNALS  TEMP-TEMPLISP-INTERNALS APPLY-SUBST-LSTLISP-INTERNALS APPLY-SUBST-LSTLISP-INTERNALS CONSCONS APPLY-SUBST-LSTLISP-INTERNALS CDRCONS  APPLY-SUBSTLISP-INTERNALS CARCONS "@@A@A#C( B(#C(!BAFjD FALSEPLISP-INTERNALS FALSEPLISP-INTERNALS  MEMBER-EQLLISP-INTERNALS EQUALLISP-INTERNALS  A@@ B$@@A@A$D E#F FLISP-INTERNALS  ONE-WAY-UNIFYLISP-INTERNALS  ONE-WAY-UNIFYLISP-INTERNALS ONE-WAY-UNIFY1LISP-INTERNALS %%SETSYMBOLAjB E#F  UNIFY-SUBSTLISP-INTERNALS ONE-WAY-UNIFY1LISP-INTERNALS ONE-WAY-UNIFY1LISP-INTERNALS " %%SETSYMBOL CONSCONS  %SYMBOL-VALUESYMBOL CONSCONS EQUALLISP-INTERNALS CDRCONS  %SYMBOL-VALUESYMBOL %%SETSYMBOL ASSQLISP-INTERNALS  %SYMBOL-VALUESYMBOL ONE-WAY-UNIFY1-LSTLISP-INTERNALS CDRCONS CDRCONS CARCONS CARCONS%Fsb @A @AFsb @A @A C"C@D@A @A C(#CAFjDjDAAB(#B(@@BD@@A@AA@B(AB(!F"A B(AABAB(@@B@AhD!  UNIFY-SUBSTLISP-INTERNALS  UNIFY-SUBSTLISP-INTERNALS  TEMP-TEMPLISP-INTERNALS  TEMP-TEMPLISP-INTERNALS  UNIFY-SUBSTLISP-INTERNALS ONE-WAY-UNIFY1-LSTLISP-INTERNALS ONE-WAY-UNIFY1-LSTLISP-INTERNALS   ONE-WAY-UNIFY1-LSTLISP-INTERNALS CDRCONS CDRCONS ONE-WAY-UNIFY1LISP-INTERNALS CARCONS CARCONS @@A @A C(#C@BD@@A @A C(#CAFjDhD REWRITELISP-INTERNALS REWRITELISP-INTERNALS  REWRITE-WITH-LEMMASLISP-INTERNALS GETSYMBOL CARCONS CONSCONS  REWRITE-ARGSLISP-INTERNALS CDRCONS CARCONS Fsb @A  @A C( C(AB@B( C(@ABAF D LEMMASLISP-INTERNALS  REWRITE-ARGSLISP-INTERNALS  REWRITE-ARGSLISP-INTERNALS CONSCONS  REWRITE-ARGSLISP-INTERNALS CDRCONS REWRITELISP-INTERNALS CARCONS  @@A@A C(@B( C(ABAFjD REWRITE-WITH-LEMMASLISP-INTERNALS REWRITE-WITH-LEMMASLISP-INTERNALS  REWRITE-WITH-LEMMASLISP-INTERNALS CDRCONS REWRITELISP-INTERNALS  APPLY-SUBSTLISP-INTERNALS CADDRCONS CARCONS  %SYMBOL-VALUESYMBOL  ONE-WAY-UNIFYLISP-INTERNALS CADRCONS CARCONS"@@A@A"C(AB( BD@@A@AA@B("C(AB@B(AF#C(!F D  UNIFY-SUBSTLISP-INTERNALS SETUPLISP-INTERNALS SETUPLISP-INTERNALS  ADD-LEMMA-LSTLISP-INTERNALSEAFj EQUALLISP-INTERNALS COMPILE PRIMITIVES FORMLISP-INTERNALS REVERSELISP-INTERNALS CODEGENLISP-INTERNALS OPTIMIZELISP-INTERNALS FORMLISP-INTERNALS EQUALLISP-INTERNALS EQPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS FIXLISP-INTERNALS XLISP-INTERNALS FIXLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS GREATERPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS LESSPLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS LESSEQPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES LESSPLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS  GREATEREQPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES LESSPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS BOOLEANLISP-INTERNALS XLISP-INTERNALS OR PRIMITIVES EQUALLISP-INTERNALS XLISP-INTERNALS T PRIMITIVES EQUALLISP-INTERNALS XLISP-INTERNALS FLISP-INTERNALS EQUALLISP-INTERNALS IFFLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS AND PRIMITIVES IMPLIESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS IMPLIESLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS EVEN1LISP-INTERNALS XLISP-INTERNALS IFLISP ZEROP PRIMITIVES XLISP-INTERNALS T PRIMITIVES ODDLISP-INTERNALS SUB1LISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS COUNTPS-LISP-INTERNALS LLISP-INTERNALS PREDLISP-INTERNALS  COUNTPS-LOOPLISP-INTERNALS LLISP-INTERNALS PREDLISP-INTERNALS ZEROK EQUALLISP-INTERNALS FACT-LISP-INTERNALS ILISP-INTERNALS  FACT-LOOPLISP-INTERNALS ILISP-INTERNALS EQUALLISP-INTERNALS REVERSE-LISP-INTERNALS XLISP-INTERNALS  REVERSE-LOOPLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS DIVIDESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ZEROP PRIMITIVES  REMAINDER PRIMITIVES YLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS  ASSUME-TRUELISP-INTERNALS VARLISP-INTERNALS ALISTLISP-INTERNALS CONSCONS CONSCONS VARLISP-INTERNALS T PRIMITIVES ALISTLISP-INTERNALS EQUALLISP-INTERNALS  ASSUME-FALSELISP-INTERNALS VARLISP-INTERNALS ALISTLISP-INTERNALS CONSCONS CONSCONS VARLISP-INTERNALS FLISP-INTERNALS ALISTLISP-INTERNALS EQUALLISP-INTERNALS TAUTOLOGY-CHECKERLISP-INTERNALS XLISP-INTERNALS  TAUTOLOGYPLISP-INTERNALS  NORMALIZELISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS FALSIFYLISP-INTERNALS XLISP-INTERNALS FALSIFY1LISP-INTERNALS  NORMALIZELISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS PRIMELISP-INTERNALS XLISP-INTERNALS AND PRIMITIVES NOT PRIMITIVES ZEROP PRIMITIVES XLISP-INTERNALS NOT PRIMITIVES EQUALLISP-INTERNALS XLISP-INTERNALS ADD1LISP-INTERNALS ZEROK PRIME1LISP-INTERNALS XLISP-INTERNALS SUB1LISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS AND PRIMITIVES PLISP-INTERNALS Q PRIMITIVES IFLISP PLISP-INTERNALS IFLISP Q PRIMITIVES T PRIMITIVES FLISP-INTERNALS FLISP-INTERNALS EQUALLISP-INTERNALS OR PRIMITIVES PLISP-INTERNALS Q PRIMITIVES IFLISP PLISP-INTERNALS T PRIMITIVES IFLISP Q PRIMITIVES T PRIMITIVES FLISP-INTERNALS FLISP-INTERNALS EQUALLISP-INTERNALS NOT PRIMITIVES PLISP-INTERNALS IFLISP PLISP-INTERNALS FLISP-INTERNALS T PRIMITIVES EQUALLISP-INTERNALS IMPLIESLISP-INTERNALS PLISP-INTERNALS Q PRIMITIVES IFLISP PLISP-INTERNALS IFLISP Q PRIMITIVES T PRIMITIVES FLISP-INTERNALS T PRIMITIVES EQUALLISP-INTERNALS FIXLISP-INTERNALS XLISP-INTERNALS IFLISP NUMBERPVINCULUM XLISP-INTERNALS XLISP-INTERNALS ZEROK EQUALLISP-INTERNALS IFLISP IFLISP ALISP-INTERNALS BLISP-INTERNALS CLISP-INTERNALS DLISP-INTERNALS ELISP-INTERNALS IFLISP ALISP-INTERNALS IFLISP BLISP-INTERNALS DLISP-INTERNALS ELISP-INTERNALS IFLISP CLISP-INTERNALS DLISP-INTERNALS ELISP-INTERNALS EQUALLISP-INTERNALS ZEROP PRIMITIVES XLISP-INTERNALS OR PRIMITIVES EQUALLISP-INTERNALS XLISP-INTERNALS ZEROK NOT PRIMITIVES NUMBERPVINCULUM XLISP-INTERNALS EQUALLISP-INTERNALS PLUSLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS PLUSLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS PLUSLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS ZEROK AND PRIMITIVES ZEROP PRIMITIVES ALISP-INTERNALS ZEROP PRIMITIVES BLISP-INTERNALS EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS XLISP-INTERNALS XLISP-INTERNALS ZEROK EQUALLISP-INTERNALS EQUALLISP-INTERNALS PLUSLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS PLUSLISP-INTERNALS ALISP-INTERNALS CLISP-INTERNALS EQUALLISP-INTERNALS FIXLISP-INTERNALS BLISP-INTERNALS FIXLISP-INTERNALS CLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS ZEROK  DIFFERENCELISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES LESSPLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS XLISP-INTERNALS  DIFFERENCELISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS AND PRIMITIVES NUMBERPVINCULUM XLISP-INTERNALS OR PRIMITIVES EQUALLISP-INTERNALS XLISP-INTERNALS ZEROK ZEROP PRIMITIVES YLISP-INTERNALS EQUALLISP-INTERNALS MEANINGLISP-INTERNALS  PLUS-TREELISP-INTERNALS APPEND PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS ALISP-INTERNALS PLUSLISP-INTERNALS MEANINGLISP-INTERNALS  PLUS-TREELISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS MEANINGLISP-INTERNALS  PLUS-TREELISP-INTERNALS YLISP-INTERNALS ALISP-INTERNALS EQUALLISP-INTERNALS MEANINGLISP-INTERNALS  PLUS-TREELISP-INTERNALS  PLUS-FRINGELISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS FIXLISP-INTERNALS MEANINGLISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS EQUALLISP-INTERNALS APPEND PRIMITIVES APPEND PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS APPEND PRIMITIVES XLISP-INTERNALS APPEND PRIMITIVES YLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS REVERSELISP-INTERNALS APPEND PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS APPEND PRIMITIVES REVERSELISP-INTERNALS BLISP-INTERNALS REVERSELISP-INTERNALS ALISP-INTERNALS EQUALLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS PLUSLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS PLUSLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS TIMESLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS TIMESLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ZEROK OR PRIMITIVES ZEROP PRIMITIVES XLISP-INTERNALS ZEROP PRIMITIVES YLISP-INTERNALS EQUALLISP-INTERNALS EXECLISP-INTERNALS APPEND PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS PDSLISP-INTERNALS ENVRNLISP-INTERNALS EXECLISP-INTERNALS YLISP-INTERNALS EXECLISP-INTERNALS XLISP-INTERNALS PDSLISP-INTERNALS ENVRNLISP-INTERNALS ENVRNLISP-INTERNALS EQUALLISP-INTERNALS  MC-FLATTENLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS APPEND PRIMITIVES FLATTENLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS MEMBERLISP-INTERNALS XLISP-INTERNALS APPEND PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS OR PRIMITIVES MEMBERLISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS MEMBERLISP-INTERNALS XLISP-INTERNALS BLISP-INTERNALS EQUALLISP-INTERNALS MEMBERLISP-INTERNALS XLISP-INTERNALS REVERSELISP-INTERNALS YLISP-INTERNALS MEMBERLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS LENGTHARRAY REVERSELISP-INTERNALS XLISP-INTERNALS LENGTHARRAY XLISP-INTERNALS EQUALLISP-INTERNALS MEMBERLISP-INTERNALS ALISP-INTERNALS  INTERSECTLISP-INTERNALS BLISP-INTERNALS CLISP-INTERNALS AND PRIMITIVES MEMBERLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS MEMBERLISP-INTERNALS ALISP-INTERNALS CLISP-INTERNALS EQUALLISP-INTERNALS NTHLISP-INTERNALS ZEROK ILISP-INTERNALS ZEROK EQUALLISP-INTERNALS EXPLISP-INTERNALS ILISP-INTERNALS PLUSLISP-INTERNALS JLISP-INTERNALS KLISP-INTERNALS TIMESLISP-INTERNALS EXPLISP-INTERNALS ILISP-INTERNALS JLISP-INTERNALS EXPLISP-INTERNALS ILISP-INTERNALS KLISP-INTERNALS EQUALLISP-INTERNALS EXPLISP-INTERNALS ILISP-INTERNALS TIMESLISP-INTERNALS JLISP-INTERNALS KLISP-INTERNALS EXPLISP-INTERNALS EXPLISP-INTERNALS ILISP-INTERNALS JLISP-INTERNALS KLISP-INTERNALS EQUALLISP-INTERNALS  REVERSE-LOOPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS APPEND PRIMITIVES REVERSELISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS  REVERSE-LOOPLISP-INTERNALS XLISP-INTERNALS REVERSELISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS  COUNT-LISTLISP-INTERNALS ZLISP-INTERNALS SORT-LPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS PLUSLISP-INTERNALS  COUNT-LISTLISP-INTERNALS ZLISP-INTERNALS XLISP-INTERNALS  COUNT-LISTLISP-INTERNALS ZLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS APPEND PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS APPEND PRIMITIVES ALISP-INTERNALS CLISP-INTERNALS EQUALLISP-INTERNALS BLISP-INTERNALS CLISP-INTERNALS EQUALLISP-INTERNALS PLUSLISP-INTERNALS  REMAINDER PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS TIMESLISP-INTERNALS YLISP-INTERNALS QUOTIENTLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS FIXLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS  POWER-EVALLISP-INTERNALS  BIG-PLUS1LISP-INTERNALS LLISP-INTERNALS ILISP-INTERNALS BASELISP-INTERNALS BASELISP-INTERNALS PLUSLISP-INTERNALS  POWER-EVALLISP-INTERNALS LLISP-INTERNALS BASELISP-INTERNALS ILISP-INTERNALS EQUALLISP-INTERNALS  POWER-EVALLISP-INTERNALS BIG-PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ILISP-INTERNALS BASELISP-INTERNALS BASELISP-INTERNALS PLUSLISP-INTERNALS ILISP-INTERNALS PLUSLISP-INTERNALS  POWER-EVALLISP-INTERNALS XLISP-INTERNALS BASELISP-INTERNALS  POWER-EVALLISP-INTERNALS YLISP-INTERNALS BASELISP-INTERNALS EQUALLISP-INTERNALS  REMAINDER PRIMITIVES YLISP-INTERNALS ZEROK EQUALLISP-INTERNALS LESSPLISP-INTERNALS  REMAINDER PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES ZEROP PRIMITIVES YLISP-INTERNALS EQUALLISP-INTERNALS  REMAINDER PRIMITIVES XLISP-INTERNALS XLISP-INTERNALS ZEROK EQUALLISP-INTERNALS LESSPLISP-INTERNALS QUOTIENTLISP-INTERNALS ILISP-INTERNALS JLISP-INTERNALS ILISP-INTERNALS AND PRIMITIVES NOT PRIMITIVES ZEROP PRIMITIVES ILISP-INTERNALS OR PRIMITIVES ZEROP PRIMITIVES JLISP-INTERNALS NOT PRIMITIVES EQUALLISP-INTERNALS JLISP-INTERNALS EQUALLISP-INTERNALS LESSPLISP-INTERNALS  REMAINDER PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS AND PRIMITIVES NOT PRIMITIVES ZEROP PRIMITIVES YLISP-INTERNALS NOT PRIMITIVES ZEROP PRIMITIVES XLISP-INTERNALS NOT PRIMITIVES LESSPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS  POWER-EVALLISP-INTERNALS  POWER-REPLISP-INTERNALS ILISP-INTERNALS BASELISP-INTERNALS BASELISP-INTERNALS FIXLISP-INTERNALS ILISP-INTERNALS EQUALLISP-INTERNALS  POWER-EVALLISP-INTERNALS BIG-PLUSLISP-INTERNALS  POWER-REPLISP-INTERNALS ILISP-INTERNALS BASELISP-INTERNALS  POWER-REPLISP-INTERNALS JLISP-INTERNALS BASELISP-INTERNALS ZEROK BASELISP-INTERNALS BASELISP-INTERNALS PLUSLISP-INTERNALS ILISP-INTERNALS JLISP-INTERNALS EQUALLISP-INTERNALS GCDLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS GCDLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS NTHLISP-INTERNALS APPEND PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS ILISP-INTERNALS APPEND PRIMITIVES NTHLISP-INTERNALS ALISP-INTERNALS ILISP-INTERNALS NTHLISP-INTERNALS BLISP-INTERNALS  DIFFERENCELISP-INTERNALS ILISP-INTERNALS LENGTHARRAY ALISP-INTERNALS EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS FIXLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS PLUSLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS XLISP-INTERNALS FIXLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS ZLISP-INTERNALS  DIFFERENCELISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS  DIFFERENCELISP-INTERNALS CLISP-INTERNALS WLISP-INTERNALS  DIFFERENCELISP-INTERNALS TIMESLISP-INTERNALS CLISP-INTERNALS XLISP-INTERNALS TIMESLISP-INTERNALS WLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS  REMAINDER PRIMITIVES TIMESLISP-INTERNALS XLISP-INTERNALS ZLISP-INTERNALS ZLISP-INTERNALS ZEROK EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS PLUSLISP-INTERNALS BLISP-INTERNALS PLUSLISP-INTERNALS ALISP-INTERNALS CLISP-INTERNALS ALISP-INTERNALS PLUSLISP-INTERNALS BLISP-INTERNALS CLISP-INTERNALS EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS ADD1LISP-INTERNALS PLUSLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS ZLISP-INTERNALS ADD1LISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS LESSPLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS ZLISP-INTERNALS LESSPLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS LESSPLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS ZLISP-INTERNALS TIMESLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS AND PRIMITIVES NOT PRIMITIVES ZEROP PRIMITIVES ZLISP-INTERNALS LESSPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS LESSPLISP-INTERNALS YLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES ZEROP PRIMITIVES XLISP-INTERNALS EQUALLISP-INTERNALS GCDLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS ZLISP-INTERNALS TIMESLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS TIMESLISP-INTERNALS ZLISP-INTERNALS GCDLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS VALUE PRIMITIVES  NORMALIZELISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS VALUE PRIMITIVES XLISP-INTERNALS ALISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS FLATTENLISP-INTERNALS XLISP-INTERNALS CONSCONS YLISP-INTERNALS AND PRIMITIVES NLISTPLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS LISTPVINCULUM GOPHERLISP-INTERNALS XLISP-INTERNALS LISTPVINCULUM XLISP-INTERNALS EQUALLISP-INTERNALS  SAMEFRINGELISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS FLATTENLISP-INTERNALS XLISP-INTERNALS FLATTENLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS GREATEST-FACTORLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ZEROK AND PRIMITIVES OR PRIMITIVES ZEROP PRIMITIVES YLISP-INTERNALS EQUALLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS XLISP-INTERNALS ZEROK EQUALLISP-INTERNALS EQUALLISP-INTERNALS GREATEST-FACTORLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS NUMBERPVINCULUM GREATEST-FACTORLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES AND PRIMITIVES OR PRIMITIVES ZEROP PRIMITIVES YLISP-INTERNALS EQUALLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES NUMBERPVINCULUM XLISP-INTERNALS EQUALLISP-INTERNALS  TIMES-LISTLISP-INTERNALS APPEND PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS TIMESLISP-INTERNALS  TIMES-LISTLISP-INTERNALS XLISP-INTERNALS  TIMES-LISTLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS  PRIME-LISTLISP-INTERNALS APPEND PRIMITIVES XLISP-INTERNALS YLISP-INTERNALS AND PRIMITIVES  PRIME-LISTLISP-INTERNALS XLISP-INTERNALS  PRIME-LISTLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS ZLISP-INTERNALS TIMESLISP-INTERNALS WLISP-INTERNALS ZLISP-INTERNALS AND PRIMITIVES NUMBERPVINCULUM ZLISP-INTERNALS OR PRIMITIVES EQUALLISP-INTERNALS ZLISP-INTERNALS ZEROK EQUALLISP-INTERNALS WLISP-INTERNALS EQUALLISP-INTERNALS  GREATEREQPRLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES LESSPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS XLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS OR PRIMITIVES EQUALLISP-INTERNALS XLISP-INTERNALS ZEROK AND PRIMITIVES NUMBERPVINCULUM XLISP-INTERNALS EQUALLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS  REMAINDER PRIMITIVES TIMESLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ZEROK EQUALLISP-INTERNALS EQUALLISP-INTERNALS TIMESLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS AND PRIMITIVES NOT PRIMITIVES EQUALLISP-INTERNALS ALISP-INTERNALS ZEROK NOT PRIMITIVES EQUALLISP-INTERNALS BLISP-INTERNALS ZEROK NUMBERPVINCULUM ALISP-INTERNALS NUMBERPVINCULUM BLISP-INTERNALS EQUALLISP-INTERNALS SUB1LISP-INTERNALS ALISP-INTERNALS ZEROK EQUALLISP-INTERNALS SUB1LISP-INTERNALS BLISP-INTERNALS ZEROK EQUALLISP-INTERNALS LESSPLISP-INTERNALS LENGTHARRAY DELETELISP-INTERNALS XLISP-INTERNALS LLISP-INTERNALS LENGTHARRAY LLISP-INTERNALS MEMBERLISP-INTERNALS XLISP-INTERNALS LLISP-INTERNALS EQUALLISP-INTERNALS SORT2LISP-INTERNALS DELETELISP-INTERNALS XLISP-INTERNALS LLISP-INTERNALS DELETELISP-INTERNALS XLISP-INTERNALS SORT2LISP-INTERNALS LLISP-INTERNALS EQUALLISP-INTERNALS DSORTLISP-INTERNALS XLISP-INTERNALS SORT2LISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS LENGTHARRAY CONSCONS X1LISP-INTERNALS CONSCONS X2LISP-INTERNALS CONSCONS X3LISP-INTERNALS CONSCONS X4LISP-INTERNALS CONSCONS X5LISP-INTERNALS CONSCONS X6LISP-INTERNALS X7LISP-INTERNALS PLUSLISP-INTERNALS LENGTHARRAY X7LISP-INTERNALS EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS ADD1LISP-INTERNALS ADD1LISP-INTERNALS XLISP-INTERNALS FIXLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS QUOTIENTLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS QUOTIENTLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS SIGMALISP-INTERNALS ZEROK ILISP-INTERNALS QUOTIENTLISP-INTERNALS TIMESLISP-INTERNALS ILISP-INTERNALS ADD1LISP-INTERNALS ILISP-INTERNALS EQUALLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS ADD1LISP-INTERNALS YLISP-INTERNALS IFLISP NUMBERPVINCULUM YLISP-INTERNALS ADD1LISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ADD1LISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS  DIFFERENCELISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS  DIFFERENCELISP-INTERNALS ZLISP-INTERNALS YLISP-INTERNALS IFLISP LESSPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES LESSPLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS IFLISP LESSPLISP-INTERNALS ZLISP-INTERNALS YLISP-INTERNALS NOT PRIMITIVES LESSPLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS FIXLISP-INTERNALS XLISP-INTERNALS FIXLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS MEANINGLISP-INTERNALS  PLUS-TREELISP-INTERNALS DELETELISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ALISP-INTERNALS IFLISP MEMBERLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS  DIFFERENCELISP-INTERNALS MEANINGLISP-INTERNALS  PLUS-TREELISP-INTERNALS YLISP-INTERNALS ALISP-INTERNALS MEANINGLISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS MEANINGLISP-INTERNALS  PLUS-TREELISP-INTERNALS YLISP-INTERNALS ALISP-INTERNALS EQUALLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS ADD1LISP-INTERNALS YLISP-INTERNALS IFLISP NUMBERPVINCULUM YLISP-INTERNALS PLUSLISP-INTERNALS XLISP-INTERNALS TIMESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS FIXLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS NTHLISP-INTERNALS ILISP-INTERNALS IFLISP ZEROP PRIMITIVES ILISP-INTERNALS ZEROK EQUALLISP-INTERNALS LASTLISP-INTERNALS APPEND PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS IFLISP LISTPVINCULUM BLISP-INTERNALS LASTLISP-INTERNALS BLISP-INTERNALS IFLISP LISTPVINCULUM ALISP-INTERNALS CONSCONS CARCONS LASTLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS BLISP-INTERNALS EQUALLISP-INTERNALS EQUALLISP-INTERNALS LESSPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS IFLISP LESSPLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS EQUALLISP-INTERNALS T PRIMITIVES ZLISP-INTERNALS EQUALLISP-INTERNALS FLISP-INTERNALS ZLISP-INTERNALS EQUALLISP-INTERNALS  ASSIGNMENTLISP-INTERNALS XLISP-INTERNALS APPEND PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS IFLISP  ASSIGNEDPLISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS  ASSIGNMENTLISP-INTERNALS XLISP-INTERNALS ALISP-INTERNALS  ASSIGNMENTLISP-INTERNALS XLISP-INTERNALS BLISP-INTERNALS EQUALLISP-INTERNALS CARCONS GOPHERLISP-INTERNALS XLISP-INTERNALS IFLISP LISTPVINCULUM XLISP-INTERNALS CARCONS FLATTENLISP-INTERNALS XLISP-INTERNALS ZEROK EQUALLISP-INTERNALS FLATTENLISP-INTERNALS CDRCONS GOPHERLISP-INTERNALS XLISP-INTERNALS IFLISP LISTPVINCULUM XLISP-INTERNALS CDRCONS FLATTENLISP-INTERNALS XLISP-INTERNALS CONSCONS ZEROK EQUALLISP-INTERNALS QUOTIENTLISP-INTERNALS TIMESLISP-INTERNALS YLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS IFLISP ZEROP PRIMITIVES YLISP-INTERNALS ZEROK FIXLISP-INTERNALS XLISP-INTERNALS EQUALLISP-INTERNALS GETSYMBOL JLISP-INTERNALS SETSYMBOL ILISP-INTERNALS VALLISP-INTERNALS MEMLISP-INTERNALS IFLISP EQPLISP-INTERNALS JLISP-INTERNALS ILISP-INTERNALS VALLISP-INTERNALS GETSYMBOL JLISP-INTERNALS MEMLISP-INTERNALS  TAUTOLOGYPLISP-INTERNALS  TAUTOLOGYPLISP-INTERNALS*/ $01 .  TAUTOLOGYPLISP-INTERNALS- CONSCONS, CADRCONS+ CADDDRCONS'  TAUTOLOGYPLISP-INTERNALS& CONSCONS% CADRCONS$ CADDRCONS#  TAUTOLOGYPLISP-INTERNALS! CADDDRCONS FALSEPLISP-INTERNALS CADRCONS  TAUTOLOGYPLISP-INTERNALS CADDRCONS TRUEPLISP-INTERNALS CADRCONS CARCONS FALSEPLISP-INTERNALS TRUEPLISP-INTERNALS2 A"BD@@A@AhD A$BD@@A @AjDFsb @A 1@A CB@@C@A 0@A C("BD@@A@A C("@%F C($BD@@A$@A C("@%F C( C(#B$BD@@A/@A C( C($B#FjDjDjD IFLISP TAUTPLISP-INTERNALS TAUTPLISP-INTERNALS  TAUTOLOGYPLISP-INTERNALS REWRITELISP-INTERNALS C(j@kF TESTK TESTK TAUTPLISP-INTERNALS  APPLY-SUBSTLISP-INTERNALSj"@j @A@@B!C@A"D IMPLIESLISP-INTERNALS AND PRIMITIVES IMPLIESLISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS AND PRIMITIVES IMPLIESLISP-INTERNALS YLISP-INTERNALS ZLISP-INTERNALS AND PRIMITIVES IMPLIESLISP-INTERNALS ZLISP-INTERNALS ULISP-INTERNALS IMPLIESLISP-INTERNALS ULISP-INTERNALS WLISP-INTERNALS IMPLIESLISP-INTERNALS XLISP-INTERNALS WLISP-INTERNALS XLISP-INTERNALS FLISP-INTERNALS PLUSLISP-INTERNALS PLUSLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS PLUSLISP-INTERNALS CLISP-INTERNALS ZEROK YLISP-INTERNALS FLISP-INTERNALS TIMESLISP-INTERNALS TIMESLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS PLUSLISP-INTERNALS CLISP-INTERNALS DLISP-INTERNALS ZLISP-INTERNALS FLISP-INTERNALS REVERSELISP-INTERNALS APPEND PRIMITIVES APPEND PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS ULISP-INTERNALS EQUALLISP-INTERNALS PLUSLISP-INTERNALS ALISP-INTERNALS BLISP-INTERNALS  DIFFERENCELISP-INTERNALS XLISP-INTERNALS YLISP-INTERNALS WLISP-INTERNALS LESSPLISP-INTERNALS  REMAINDER PRIMITIVES ALISP-INTERNALS BLISP-INTERNALS MEMBERLISP-INTERNALS ALISP-INTERNALS LENGTHARRAY BLISP-INTERNALS TRANS-OF-IMPLIESLISP-INTERNALS TRANS-OF-IMPLIESLISP-INTERNALS LISTLISP-INTERNALS LISTLISP-INTERNALS TRANS-OF-IMPLIES1LISP-INTERNALS!C(A`@ B@AF IMPLIESLISP-INTERNALS IMPLIESLISP-INTERNALS TRANS-OF-IMPLIES1LISP-INTERNALS TRANS-OF-IMPLIES1LISP-INTERNALS LISTLISP-INTERNALS TRANS-OF-IMPLIES1LISP-INTERNALS SUB1LISP-INTERNALS LISTLISP-INTERNALS SUB1LISP-INTERNALS LISTLISP-INTERNALS EQUALLISP-INTERNALS AbBD@@A@AE`@cF!C(@!B( C(@B@AF AND PRIMITIVES IMPLIESLISP-INTERNALS IMPLIESLISP-INTERNALS TRUEPLISP-INTERNALS TRUEPLISP-INTERNALS  MEMBER-EQLLISP-INTERNALS EQUALLISP-INTERNALS  A@@ B$@@A@A$D E#F T PRIMITIVES RUN-TESTLISP-INTERNALS RUN-TESTLISP-INTERNALS    MACRO-REPORT-ARGS-ERRORSYSTEM-INTERNALS  XR-BQ-LISTSYSTEM-INTERNALS  XR-BQ-LIST*SYSTEM-INTERNALS CARCONS CDRCONS CDRCONS CARCONS CDRCONS LENGTHARRAY LENGTHARRAYj"@ C@q0@A@A C@q0@A @A@A C(A B C(@B(@ BA&@$@@@B(@@AF Af@fB @A  WRITE-MICROSECOND-CLOCKHARDWARE UNBOXED-CONSTANTHARDWARE PROGN PRIMITIVES READ-MICROSECOND-CLOCKHARDWARE ERRORLISP-INTERNALS BOYERLISP-INTERNALS BOYERLISP-INTERNALS ERRORLISP-INTERNALS TESTK SETUPLISP-INTERNALS BOOT-STACK-GROUPSLISP-INTERNALS@C@ClF@AC(F@@@B@A BOYER ASSQLISP-INTERNALS ASSQLISP-INTERNALS    CDRCONS CARCONS CARCONS j$@"@@A @A" C$C@D@A  @A$D#C@A jD