(OPEN-HIDE-FOR-DEFAPPLY)
(MY-GLCP-GEVAL-APPLY)
(APPLY-FOR-DEFEVALUATOR)
(MY-GLCP-GEVAL-EV)
(EVAL-LIST-KWOTE-LST)
(TRUE-LIST-FIX-EV-LST)
(EV-COMMUTES-CAR)
(EV-LST-COMMUTES-CDR)
(MY-GLCP-GEVAL-EV-OF-FNCALL-ARGS)
(MY-GLCP-GEVAL-EV-OF-VARIABLE)
(MY-GLCP-GEVAL-EV-OF-QUOTE)
(MY-GLCP-GEVAL-EV-OF-LAMBDA)
(MY-GLCP-GEVAL-EV-LST-OF-ATOM)
(MY-GLCP-GEVAL-EV-LST-OF-CONS)
(MY-GLCP-GEVAL-EV-OF-NONSYMBOL-ATOM)
(MY-GLCP-GEVAL-EV-OF-BAD-FNCALL)
(MY-GLCP-GEVAL-EV-OF-GLCP-GEVAL-EV-CONCRETE-LST-CALL)
(MY-GLCP-GEVAL-EV-OF-FLUSH-HONS-GET-HASH-TABLE-LINK-CALL)
(MY-GLCP-GEVAL-EV-OF-FAST-ALIST-FREE-CALL)
(MY-GLCP-GEVAL-EV-OF-HONS-GET-CALL)
(MY-GLCP-GEVAL-EV-OF-HONS-ACONS-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-CONCRETIZE$INLINE-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-ASSERT-FN$INLINE-CALL)
(MY-GLCP-GEVAL-EV-OF-MAKE-FAST-ALIST-CALL)
(MY-GLCP-GEVAL-EV-OF-HIDE-CALL)
(MY-GLCP-GEVAL-EV-OF-ALWAYS-EQUAL-CALL)
(MY-GLCP-GEVAL-EV-OF-GLCP-GENERIC-GEVAL-EV-CONCRETE-LST-CALL)
(MY-GLCP-GEVAL-EV-OF-LOGCONS$INLINE-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-CP-HINT-CALL)
(MY-GLCP-GEVAL-EV-OF-RETURN-LAST-CALL)
(MY-GLCP-GEVAL-EV-OF-USE-BY-HINT-CALL)
(MY-GLCP-GEVAL-EV-OF-TYPESPEC-CHECK-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-ASIDE-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-IGNORE-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-ERROR-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-HIDE-CALL)
(MY-GLCP-GEVAL-EV-OF-GL-FORCE-CHECK-FN-CALL)
(MY-GLCP-GEVAL-EV-OF-O<-CALL
 (44 2 (:DEFINITION O<))
 (22 22 (:DEFINITION O-FINP))
 (16 8 (:DEFINITION O-FIRST-EXPT))
 (16 8 (:DEFINITION O-FIRST-COEFF))
 (4 4 (:DEFINITION O-RST))
 )
(MY-GLCP-GEVAL-EV-OF-O-P-CALL)
(MY-GLCP-GEVAL-EV-OF-SSPEC-GEVAL-EV-CONCRETE-LST-CALL)
(MY-GLCP-GEVAL-EV-OF-NTH-CALL)
(MY-GLCP-GEVAL-EV-OF-LEN-CALL)
(MY-GLCP-GEVAL-EV-OF-IFF-CALL)
(MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-SLICE-TO-ENV-CALL)
(MY-GLCP-GEVAL-EV-OF-SS-APPEND-ENVS-CALL)
(MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-IFF-CALL)
(MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-CALL)
(MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-ENV-SLICE-CALL)
(MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-IFF-ENV-SLICE-CALL)
(MY-GLCP-GEVAL-EV-OF-LOGTAIL$INLINE-CALL)
(MY-GLCP-GEVAL-EV-OF-EVAL-G-BASE-EV-CONCRETE-LST-CALL)
(MY-GLCP-GEVAL-EV-OF-BINARY-*-CALL)
(MY-GLCP-GEVAL-EV-OF-BINARY-+-CALL)
(MY-GLCP-GEVAL-EV-OF-PKG-WITNESS-CALL)
(MY-GLCP-GEVAL-EV-OF-UNARY---CALL)
(MY-GLCP-GEVAL-EV-OF-COMPLEX-RATIONALP-CALL)
(MY-GLCP-GEVAL-EV-OF-ACL2-NUMBERP-CALL)
(MY-GLCP-GEVAL-EV-OF-SYMBOL-PACKAGE-NAME-CALL)
(MY-GLCP-GEVAL-EV-OF-INTERN-IN-PACKAGE-OF-SYMBOL-CALL)
(MY-GLCP-GEVAL-EV-OF-CODE-CHAR-CALL)
(MY-GLCP-GEVAL-EV-OF-DENOMINATOR-CALL)
(MY-GLCP-GEVAL-EV-OF-CDR-CALL)
(MY-GLCP-GEVAL-EV-OF-CAR-CALL)
(MY-GLCP-GEVAL-EV-OF-CONSP-CALL)
(MY-GLCP-GEVAL-EV-OF-SYMBOL-NAME-CALL)
(MY-GLCP-GEVAL-EV-OF-CHAR-CODE-CALL)
(MY-GLCP-GEVAL-EV-OF-IMAGPART-CALL)
(MY-GLCP-GEVAL-EV-OF-SYMBOLP-CALL)
(MY-GLCP-GEVAL-EV-OF-REALPART-CALL)
(MY-GLCP-GEVAL-EV-OF-NUMERATOR-CALL)
(MY-GLCP-GEVAL-EV-OF-EQUAL-CALL)
(MY-GLCP-GEVAL-EV-OF-STRINGP-CALL)
(MY-GLCP-GEVAL-EV-OF-RATIONALP-CALL)
(MY-GLCP-GEVAL-EV-OF-INTEGERP-CALL)
(MY-GLCP-GEVAL-EV-OF-CHARACTERP-CALL)
(MY-GLCP-GEVAL-EV-OF-<-CALL)
(MY-GLCP-GEVAL-EV-OF-COERCE-CALL)
(MY-GLCP-GEVAL-EV-OF-BOOLEANP-CALL)
(MY-GLCP-GEVAL-EV-OF-LOGBITP-CALL)
(MY-GLCP-GEVAL-EV-OF-BINARY-LOGAND-CALL)
(MY-GLCP-GEVAL-EV-OF-BINARY-LOGIOR-CALL)
(MY-GLCP-GEVAL-EV-OF-BINARY-LOGXOR-CALL)
(MY-GLCP-GEVAL-EV-OF-BINARY-LOGEQV-CALL)
(MY-GLCP-GEVAL-EV-OF-LOGNOT-CALL)
(MY-GLCP-GEVAL-EV-OF-ASH-CALL)
(MY-GLCP-GEVAL-EV-OF-INTEGER-LENGTH-CALL)
(MY-GLCP-GEVAL-EV-OF-FLOOR-CALL)
(MY-GLCP-GEVAL-EV-OF-MOD-CALL)
(MY-GLCP-GEVAL-EV-OF-TRUNCATE-CALL)
(MY-GLCP-GEVAL-EV-OF-REM-CALL)
(MY-GLCP-GEVAL-EV-OF-BOOL-FIX$INLINE-CALL)
(MY-GLCP-GEVAL-EV-OF-BOOL->BIT$INLINE-CALL)
(MY-GLCP-GEVAL-EV-OF-BOOL->SIGN-CALL)
(MY-GLCP-GEVAL-EV-OF-HONS-ASSOC-EQUAL-CALL)
(MY-GLCP-GEVAL-EV-OF-NOT-CALL)
(MY-GLCP-GEVAL-EV-OF-IMPLIES-CALL)
(MY-GLCP-GEVAL-EV-OF-EQ-CALL)
(MY-GLCP-GEVAL-EV-OF-ATOM-CALL)
(MY-GLCP-GEVAL-EV-OF-EQL-CALL)
(MY-GLCP-GEVAL-EV-OF-=-CALL)
(MY-GLCP-GEVAL-EV-OF-/=-CALL)
(MY-GLCP-GEVAL-EV-OF-NULL-CALL)
(MY-GLCP-GEVAL-EV-OF-ENDP-CALL)
(MY-GLCP-GEVAL-EV-OF-ZEROP-CALL)
(MY-GLCP-GEVAL-EV-OF-PLUSP-CALL)
(MY-GLCP-GEVAL-EV-OF-MINUSP-CALL)
(MY-GLCP-GEVAL-EV-OF-LISTP-CALL)
(MY-GLCP-GEVAL-EV-OF-LOGAPP-CALL)
(MY-GLCP-GEVAL-EV-OF-INT-SET-SIGN-CALL)
(MY-GLCP-GEVAL-EV-OF-MAYBE-INTEGER-CALL)
(MY-GLCP-GEVAL-EV-OF-BINARY-MINUS-FOR-GL-CALL)
(MY-GLCP-GEVAL-EV-OF-GENERIC-GEVAL-EV-CONCRETE-LST-CALL)
(MY-GLCP-GEVAL-EV-OF-CONS-CALL)
(MY-GLCP-GEVAL-EV-OF-IF-CALL)
(MY-GLCP-GEVAL-EV-OF-BASE-GEVAL-EV-CONCRETE-LST-CALL)
(MY-GLCP-GEVAL-APPLY-AGREES-WITH-MY-GLCP-GEVAL-EV)
(MY-GLCP-GEVAL-APPLY-AGREES-WITH-MY-GLCP-GEVAL-EV-REV)
(MY-GLCP-GEVAL-APPLY-OF-FNS
 (161 161 (:DEFINITION NTH))
 )
(MY-GLCP-GEVAL-EV-CONCRETE
 (1 1 (:DEFINITION MY-GLCP-GEVAL-EV-CONCRETE-LST))
 )
(MY-GLCP-GEVAL-EV-CONCRETE-LST-OF-KWOTE-LST)
(MY-GLCP-GEVAL-EVAL-NTH-KWOTE-LST
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-ZEROP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-USE-BY-HINT-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-UNARY---CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-TYPESPEC-CHECK-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-TRUNCATE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOLP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-PACKAGE-NAME-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-NAME-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-STRINGP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SSPEC-GEVAL-EV-CONCRETE-LST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SS-APPEND-ENVS-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-SLICE-TO-ENV-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-IFF-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-IFF-ENV-SLICE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-ENV-SLICE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-RETURN-LAST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-REM-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-REALPART-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-RATIONALP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-PLUSP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-PKG-WITNESS-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-O<-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-O-P-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-NUMERATOR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-NULL-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-NTH-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-NOT-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-MOD-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-MINUSP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAYBE-INTEGER-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAKE-FAST-ALIST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGTAIL$INLINE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGNOT-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGCONS$INLINE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGBITP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGAPP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LISTP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LEN-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-LAMBDA))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTERN-IN-PACKAGE-OF-SYMBOL-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGERP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGER-LENGTH-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-INT-SET-SIGN-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMPLIES-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMAGPART-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-IFF-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-GET-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ASSOC-EQUAL-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ACONS-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-HIDE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GEVAL-EV-CONCRETE-LST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-IGNORE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-HIDE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-FORCE-CHECK-FN-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ERROR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CP-HINT-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CONCRETIZE$INLINE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASSERT-FN$INLINE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASIDE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLUSH-HONS-GET-HASH-TABLE-LINK-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLOOR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-FAST-ALIST-FREE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-EVAL-G-BASE-EV-CONCRETE-LST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQUAL-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQL-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQ-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-ENDP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-DENOMINATOR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-CONSP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-CONS-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-COMPLEX-RATIONALP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-COERCE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-CODE-CHAR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHARACTERP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHAR-CODE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-CDR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-CAR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOLEANP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL-FIX$INLINE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->SIGN-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->BIT$INLINE-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-MINUS-FOR-GL-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGXOR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGIOR-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGEQV-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGAND-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-+-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-*-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-BASE-GEVAL-EV-CONCRETE-LST-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-ATOM-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-ASH-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-ALWAYS-EQUAL-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-ACL2-NUMBERP-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-=-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-<-CALL))
 (7 6 (:REWRITE MY-GLCP-GEVAL-EV-OF-/=-CALL))
 )
(NTH-OF-MY-GLCP-GEVAL-EV-CONCRETE-LST)
(MY-GLCP-GEVAL-EV-CONCRETE-IS-INSTANCE-OF-MY-GLCP-GEVAL-EV)
(MY-GLCP-GEVAL)
(MY-GLCP-GEVAL
 (3672 3672 (:REWRITE CAR-CONS))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-ZEROP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-USE-BY-HINT-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-UNARY---CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-TYPESPEC-CHECK-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-TRUNCATE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOLP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-PACKAGE-NAME-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-NAME-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-STRINGP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SSPEC-GEVAL-EV-CONCRETE-LST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SS-APPEND-ENVS-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-SLICE-TO-ENV-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-IFF-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-IFF-ENV-SLICE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-ENV-SLICE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-RETURN-LAST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-REM-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-REALPART-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-RATIONALP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-PLUSP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-PKG-WITNESS-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-O<-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-O-P-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-NUMERATOR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-NULL-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-NTH-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-NOT-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-MOD-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-MINUSP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAYBE-INTEGER-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAKE-FAST-ALIST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGTAIL$INLINE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGNOT-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGCONS$INLINE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGBITP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGAPP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-LISTP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-LEN-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTERN-IN-PACKAGE-OF-SYMBOL-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGERP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGER-LENGTH-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-INT-SET-SIGN-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMPLIES-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMAGPART-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-IFF-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-GET-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ASSOC-EQUAL-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ACONS-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-HIDE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GEVAL-EV-CONCRETE-LST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-IGNORE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-HIDE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-FORCE-CHECK-FN-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ERROR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CP-HINT-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CONCRETIZE$INLINE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASSERT-FN$INLINE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASIDE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLUSH-HONS-GET-HASH-TABLE-LINK-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLOOR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-FAST-ALIST-FREE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-EVAL-G-BASE-EV-CONCRETE-LST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQUAL-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQL-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQ-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-ENDP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-DENOMINATOR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-CONSP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-CONS-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-COMPLEX-RATIONALP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-COERCE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-CODE-CHAR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHARACTERP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHAR-CODE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-CDR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-CAR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOLEANP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL-FIX$INLINE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->SIGN-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->BIT$INLINE-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-MINUS-FOR-GL-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGXOR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGIOR-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGEQV-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGAND-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-+-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-*-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-BASE-GEVAL-EV-CONCRETE-LST-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-ATOM-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-ASH-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-ALWAYS-EQUAL-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-ACL2-NUMBERP-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-=-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-<-CALL))
 (83 47 (:REWRITE MY-GLCP-GEVAL-EV-OF-/=-CALL))
 (11 11 (:TYPE-PRESCRIPTION CONSP-ASSOC-EQUAL))
 )
(GL-THM::MY-GLCP-GEVAL-IS-FUNCTIONAL-INSTANCE-OF-GENERIC-GEVAL
 (306 306 (:REWRITE NTH-0-CONS))
 (40 26 (:REWRITE MY-GLCP-GEVAL-EV-OF-BASE-GEVAL-EV-CONCRETE-LST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-ZEROP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-USE-BY-HINT-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-UNARY---CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-TYPESPEC-CHECK-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-TRUNCATE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOLP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-PACKAGE-NAME-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-NAME-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-STRINGP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SSPEC-GEVAL-EV-CONCRETE-LST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SS-APPEND-ENVS-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-SLICE-TO-ENV-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-IFF-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-IFF-ENV-SLICE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-ENV-SLICE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-RETURN-LAST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-REM-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-REALPART-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-RATIONALP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-PLUSP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-PKG-WITNESS-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-O<-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-O-P-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-NUMERATOR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-NULL-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-NTH-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-NOT-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-MOD-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-MINUSP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAYBE-INTEGER-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAKE-FAST-ALIST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGTAIL$INLINE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGNOT-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGCONS$INLINE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGBITP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGAPP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-LISTP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-LEN-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTERN-IN-PACKAGE-OF-SYMBOL-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGERP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGER-LENGTH-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-INT-SET-SIGN-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMPLIES-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMAGPART-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-IFF-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-GET-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ASSOC-EQUAL-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ACONS-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-HIDE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GEVAL-EV-CONCRETE-LST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-IGNORE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-HIDE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-FORCE-CHECK-FN-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ERROR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CP-HINT-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CONCRETIZE$INLINE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASSERT-FN$INLINE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASIDE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLUSH-HONS-GET-HASH-TABLE-LINK-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLOOR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-FAST-ALIST-FREE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-EVAL-G-BASE-EV-CONCRETE-LST-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQUAL-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQL-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQ-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-ENDP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-DENOMINATOR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-CONSP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-COMPLEX-RATIONALP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-COERCE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-CODE-CHAR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHARACTERP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHAR-CODE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-CDR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-CAR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOLEANP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL-FIX$INLINE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->SIGN-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->BIT$INLINE-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-MINUS-FOR-GL-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGXOR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGIOR-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGEQV-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGAND-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-+-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-*-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-ATOM-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-ASH-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-ALWAYS-EQUAL-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-ACL2-NUMBERP-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-=-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-<-CALL))
 (36 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-/=-CALL))
 (4 4 (:REWRITE MY-GLCP-GEVAL-APPLY-AGREES-WITH-MY-GLCP-GEVAL-EV-REV))
 )
(GL-THM::GENERIC-GEVAL-GL-CONS-FOR-MY-GLCP-GEVAL)
(GL-THM::GENERIC-GEVAL-NIL-FOR-MY-GLCP-GEVAL)
(GL-THM::GENERIC-GEVAL-G-APPLY-FOR-MY-GLCP-GEVAL)
(GL-THM::GENERIC-GEVAL-LIST-GL-CONS-FOR-MY-GLCP-GEVAL)
(GL-THM::GENERIC-GEVAL-LIST-ATOM-FOR-MY-GLCP-GEVAL)
(GL-THM::MK-G-ITE-CORRECT-FOR-MY-GLCP-GEVAL)
(GL-THM::MK-G-BOOLEAN-CORRECT-FOR-MY-GLCP-GEVAL)
(GL-THM::MK-G-CONCRETE-CORRECT-FOR-MY-GLCP-GEVAL)
(GL-THM::G-CONCRETE-QUOTE-CORRECT-FOR-MY-GLCP-GEVAL)
(GL-THM::GENERAL-CONCRETE-OBJ-CORRECT-FOR-MY-GLCP-GEVAL)
(GL-THM::MY-GLCP-GEVAL-IS-FUNCTIONAL-INSTANCE-OF-EVAL-G-BASE
 (338 264 (:REWRITE MY-GLCP-GEVAL-EV-OF-BASE-GEVAL-EV-CONCRETE-LST-CALL))
 (334 262 (:REWRITE MY-GLCP-GEVAL-EV-OF-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (306 306 (:REWRITE NTH-0-CONS))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-USE-BY-HINT-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-TYPESPEC-CHECK-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-SSPEC-GEVAL-EV-CONCRETE-LST-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-SS-APPEND-ENVS-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-SLICE-TO-ENV-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-IFF-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-IFF-ENV-SLICE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-ENV-SLICE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-RETURN-LAST-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-O<-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-O-P-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-NTH-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAKE-FAST-ALIST-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGTAIL$INLINE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGCONS$INLINE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-LEN-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-IFF-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-GET-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ACONS-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-HIDE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GEVAL-EV-CONCRETE-LST-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-IGNORE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-HIDE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-FORCE-CHECK-FN-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ERROR-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CP-HINT-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CONCRETIZE$INLINE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASSERT-FN$INLINE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASIDE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLUSH-HONS-GET-HASH-TABLE-LINK-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-FAST-ALIST-FREE-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-EVAL-G-BASE-EV-CONCRETE-LST-CALL))
 (214 202 (:REWRITE MY-GLCP-GEVAL-EV-OF-ALWAYS-EQUAL-CALL))
 (4 4 (:REWRITE MY-GLCP-GEVAL-APPLY-AGREES-WITH-MY-GLCP-GEVAL-EV-REV))
 )
(GL-THM::|ACL2::FLUSH-HONS-GET-HASH-TABLE-LINK$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::FAST-ALIST-FREE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::HONS-GET$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::HONS-ACONS$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::HONS-ASSOC-EQUAL$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::LISTP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::MINUSP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::PLUSP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::ZEROP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::ENDP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::ATOM$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::NULL$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::/=$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::=$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::EQL$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::EQ$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::IMPLIES$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BOOL-FIX$INLINE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::COMPLEX-RATIONALP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|GL::GL-CONCRETIZE$INLINE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|GL::GL-ASSERT-FN$INLINE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::IMAGPART$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::REALPART$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::PKG-WITNESS$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::CODE-CHAR$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::CHAR-CODE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::SYMBOL-PACKAGE-NAME$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::SYMBOL-NAME$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|GL::BOOL->SIGN$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BOOL->BIT$INLINE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::REM$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::MOD$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::FLOOR$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::TRUNCATE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::MAKE-FAST-ALIST$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BINARY-*$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::RATIONALP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::INTEGERP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::CONSP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::CHARACTERP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::STRINGP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::ACL2-NUMBERP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::SYMBOLP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::NOT$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BOOLEANP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::HIDE$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::UNARY--$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::LOGBITP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::LOGNOT$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BINARY-LOGXOR$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BINARY-LOGEQV$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BINARY-LOGIOR$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BINARY-LOGAND$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::<$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::INTEGER-LENGTH$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::ALWAYS-EQUAL$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::EQUAL$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::CONS$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::CAR$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::CDR$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BINARY-MINUS-FOR-GL$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::BINARY-+$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|COMMON-LISP::ASH$-CORRECT-FOR-MY-GLCP-GEVAL|)
(GL-THM::|ACL2::LOGAPP$-CORRECT-FOR-MY-GLCP-GEVAL|)
(MY-GLCP-RUN-GIFIED)
(MY-GLCP-GEVAL-EV-DISJOIN-CONS)
(MY-GLCP-GEVAL-EV-DISJOIN-WHEN-CONSP)
(MY-GLCP-GEVAL-EV-DISJOIN-ATOM
 (1 1 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 )
(MY-GLCP-GEVAL-EV-DISJOIN-APPEND
 (23 23 (:REWRITE MY-GLCP-GEVAL-EV-OF-QUOTE))
 (23 23 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 )
(MY-GLCP-GEVAL-EV-CONJOIN-CONS)
(MY-GLCP-GEVAL-EV-CONJOIN-WHEN-CONSP)
(MY-GLCP-GEVAL-EV-CONJOIN-ATOM
 (1 1 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 )
(MY-GLCP-GEVAL-EV-CONJOIN-APPEND
 (23 23 (:REWRITE MY-GLCP-GEVAL-EV-OF-QUOTE))
 (23 23 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 )
(MY-GLCP-GEVAL-EV-CONJOIN-CLAUSES-CONS
 (100 50 (:DEFINITION DISJOIN))
 (50 50 (:DEFINITION DISJOIN2))
 (7 7 (:REWRITE MY-GLCP-GEVAL-EV-DISJOIN-ATOM))
 (5 5 (:REWRITE MY-GLCP-GEVAL-EV-CONJOIN-ATOM))
 )
(MY-GLCP-GEVAL-EV-CONJOIN-CLAUSES-WHEN-CONSP
 (24 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-QUOTE))
 (24 24 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 (18 9 (:DEFINITION DISJOIN))
 (9 9 (:REWRITE MY-GLCP-GEVAL-EV-DISJOIN-ATOM))
 (9 9 (:DEFINITION DISJOIN2))
 )
(MY-GLCP-GEVAL-EV-CONJOIN-CLAUSES-ATOM
 (1 1 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 )
(MY-GLCP-GEVAL-EV-CONJOIN-CLAUSES-APPEND
 (65 65 (:REWRITE MY-GLCP-GEVAL-EV-OF-QUOTE))
 (65 65 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 (24 12 (:DEFINITION DISJOIN))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-DISJOIN-ATOM))
 (12 12 (:DEFINITION DISJOIN2))
 )
(MY-GLCP-GEVAL-EV-THEOREMP)
(MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES)
(MY-GLCP-GEVAL-EV-THEOREMP-CONJOIN-CONS
 (87 87 (:REWRITE MY-GLCP-GEVAL-EV-CONJOIN-ATOM))
 )
(MY-GLCP-GEVAL-EV-THEOREMP-CONJOIN-NON-CONS
 (1 1 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES))
 )
(MY-GLCP-GEVAL-EV-THEOREMP-CONJOIN-APPEND)
(MY-GLCP-GEVAL-EV-THEOREMP-CONJOIN-CLAUSES-CONS
 (4 4 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-CONJOIN-NON-CONS))
 )
(MY-GLCP-GEVAL-EV-THEOREMP-CONJOIN-CLAUSES-NON-CONS
 (1 1 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES))
 )
(MY-GLCP-GEVAL-EV-THEOREMP-CONJOIN-CLAUSES-APPEND)
(MY-GLCP-GEVAL-EV-THEOREMP-DISJOIN-CONS-UNLESS-THEOREMP
 (7 7 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES))
 (4 4 (:REWRITE MY-GLCP-GEVAL-EV-DISJOIN-ATOM))
 )
(MY-GLCP-GEVAL-EV-THEOREMP-DISJOIN-WHEN-CONSP-UNLESS-THEOREMP
 (7 7 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES))
 (4 4 (:REWRITE MY-GLCP-GEVAL-EV-DISJOIN-ATOM))
 )
(MY-GLCP-GEVAL-EV-FALSIFY-SUFFICIENT)
(MY-GLCP-GEVAL-EV-META-EXTRACT-CONTEXTUAL-BADGUY-SUFFICIENT)
(MY-GLCP-GEVAL-EV-META-EXTRACT-GLOBAL-BADGUY-SUFFICIENT)
(MY-GLCP-GEVAL-EV-META-EXTRACT-GLOBAL-BADGUY-THEOREMP
 (5 3 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES))
 )
(MY-GLCP-GEVAL-EV-META-EXTRACT-GLOBAL-BADGUY-TRUE-LISTP)
(MY-GLCP-GEVAL-EV-META-EXTRACT-TYPESET
 (11 11 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES))
 )
(MY-GLCP-GEVAL-EV-META-EXTRACT-RW+-EQUAL)
(MY-GLCP-GEVAL-EV-META-EXTRACT-RW+-IFF)
(MY-GLCP-GEVAL-EV-META-EXTRACT-RW+-EQUIV)
(MY-GLCP-GEVAL-EV-META-EXTRACT-RW-EQUAL)
(MY-GLCP-GEVAL-EV-META-EXTRACT-RW-IFF)
(MY-GLCP-GEVAL-EV-META-EXTRACT-RW-EQUIV)
(MY-GLCP-GEVAL-EV-META-EXTRACT-MFC-AP)
(MY-GLCP-GEVAL-EV-META-EXTRACT-RELIEVE-HYP)
(MY-GLCP-GEVAL-EV-META-EXTRACT-FORMULA
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-VARIABLE))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-TYPESPEC-CHECK-CALL))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-QUOTE))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-NOT-CALL))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-LAMBDA))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMPLIES-CALL))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-IFF-CALL))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 (12 12 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQUAL-CALL))
 (10 10 (:REWRITE MY-GLCP-GEVAL-EV-OF-NONSYMBOL-ATOM))
 (10 10 (:REWRITE MY-GLCP-GEVAL-EV-OF-BAD-FNCALL))
 (2 2 (:REWRITE MY-GLCP-GEVAL-EV-META-EXTRACT-GLOBAL-BADGUY-SUFFICIENT))
 )
(MY-GLCP-GEVAL-EV-META-EXTRACT-FORMULA-THEOREMP)
(MY-GLCP-GEVAL-EV-META-EXTRACT-LEMMA-TERM)
(MY-GLCP-GEVAL-EV-META-EXTRACT-LEMMA)
(MY-GLCP-GEVAL-EV-META-EXTRACT-LINEAR-LEMMA-TERM)
(MY-GLCP-GEVAL-EV-META-EXTRACT-LINEAR-LEMMA)
(MY-GLCP-GEVAL-EV-META-EXTRACT-FNCALL-LOGIC)
(MY-GLCP-GEVAL-EV-META-EXTRACT-FNCALL)
(MY-GLCP-GEVAL-EV-META-EXTRACT-MAGIC-EV)
(MY-GLCP-GEVAL-EV-META-EXTRACT-MAGIC-EV-LST)
(MY-GLCP-GEVAL-EV-META-EXTRACT-FN-CHECK-DEF)
(MY-GLCP-GEVAL-EV-LST-OF-PAIRLIS)
(MY-GLCP-GEVAL-EV-LST-OF-PAIRLIS-APPEND-REST)
(MY-GLCP-GEVAL-EV-LST-OF-PAIRLIS-APPEND-HEAD-REST)
(MY-GLCP-GEVAL-EV-FALSIFY-COUNTEREXAMPLE
 (202 202 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (202 101 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (101 101 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOLLIST-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOLLIST-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-STRING-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-STRING-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOTERM-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOTERM-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-POS-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-POS-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-NAT-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-NAT-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOL-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOL-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRINGLIST-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRINGLIST-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRING-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRING-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-SYMBOL-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-SYMBOL-ALISTP . 1))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-POS-ALISTP . 2))
 (101 101 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-POS-ALISTP . 1))
 (101 101 (:REWRITE CONSP-BY-LEN))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-ZEROP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-USE-BY-HINT-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-UNARY---CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-TYPESPEC-CHECK-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-TRUNCATE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOLP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-PACKAGE-NAME-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SYMBOL-NAME-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-STRINGP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SSPEC-GEVAL-EV-CONCRETE-LST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SS-APPEND-ENVS-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-SLICE-TO-ENV-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-IFF-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-OBJ-IN-RANGE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-IFF-ENV-SLICE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-SHAPE-SPEC-ENV-SLICE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-RETURN-LAST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-REM-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-REALPART-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-RATIONALP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-QUOTE))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-PLUSP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-PKG-WITNESS-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-O<-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-O-P-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-NUMERATOR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-NULL-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-NTH-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-NOT-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-MOD-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-MINUSP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAYBE-INTEGER-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAKE-FAST-ALIST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGTAIL$INLINE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGNOT-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGCONS$INLINE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGBITP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LOGAPP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LISTP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LEN-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-LAMBDA))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTERN-IN-PACKAGE-OF-SYMBOL-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGERP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-INTEGER-LENGTH-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-INT-SET-SIGN-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMPLIES-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-IMAGPART-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-IFF-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-IF-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-GET-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ASSOC-EQUAL-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ACONS-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-HIDE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GEVAL-EV-CONCRETE-LST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-IGNORE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-HIDE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-FORCE-CHECK-FN-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ERROR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CP-HINT-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CONCRETIZE$INLINE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASSERT-FN$INLINE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASIDE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLUSH-HONS-GET-HASH-TABLE-LINK-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLOOR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-FAST-ALIST-FREE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-EVAL-G-BASE-EV-CONCRETE-LST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQUAL-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQL-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-EQ-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-ENDP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-DENOMINATOR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-CONSP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-CONS-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-COMPLEX-RATIONALP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-COERCE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-CODE-CHAR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHARACTERP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-CHAR-CODE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-CDR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-CAR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOLEANP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL-FIX$INLINE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->SIGN-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->BIT$INLINE-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-MINUS-FOR-GL-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGXOR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGIOR-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGEQV-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-LOGAND-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-+-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BINARY-*-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-BASE-GEVAL-EV-CONCRETE-LST-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-ATOM-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-ASH-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-ALWAYS-EQUAL-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-ACL2-NUMBERP-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-=-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-<-CALL))
 (37 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-/=-CALL))
 (4 2 (:REWRITE MY-GLCP-GEVAL-EV-OF-VARIABLE))
 (2 2 (:REWRITE SYMBOLP-WHEN-MEMBER-EQUAL-OF-SYMBOL-LISTP))
 (2 2 (:REWRITE MY-GLCP-GEVAL-EV-THEOREMP-IMPLIES))
 )
(MY-GLCP-INTERP-TEST
 (3 3 (:TYPE-PRESCRIPTION GL::NOT-G-KEYWORD-SYMBOL-WHEN-NOT-SYMBOL))
 (1 1 (:TYPE-PRESCRIPTION MK-G-CONCRETE))
 )
(MY-GLCP-INTERP-TOP-LEVEL-TERM)
(MY-GLCP-INTERP-CONCL)
(MY-GLCP-INTERP-HYP/CONCL)
(MY-GLCP-INTERP-TERM-UNDER-HYP
 (6 6 (:TYPE-PRESCRIPTION GL::BOOLEANP-OF-GLCP-CONFIG-P))
 (6 3 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->HYP-CLK))
 (6 3 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->CONCL-CLK))
 )
(MY-GLCP-RUN-PARAMETRIZED
 (26 26 (:TYPE-PRESCRIPTION GL::BOOLEANP-OF-GLCP-CONFIG-P))
 (22 11 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->CONCL-CLK))
 (10 5 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->N-COUNTEREXAMPLES))
 (10 5 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->HYP-CLK))
 (10 5 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->CLAUSE-PROC))
 )
(MY-GLCP-RUN-CASES)
(MY-GLCP
 (20 20 (:TYPE-PRESCRIPTION GL::BOOLEANP-OF-GLCP-CONFIG-P))
 (10 5 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->N-COUNTEREXAMPLES))
 (10 5 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->HYP-CLK))
 (10 5 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->CONCL-CLK))
 (10 5 (:TYPE-PRESCRIPTION GL::RETURN-TYPE-OF-GLCP-CONFIG->CLAUSE-PROC))
 (2 2 (:TYPE-PRESCRIPTION FLUSH-HONS-GET-HASH-TABLE-LINK))
 )
(MY-GLCP-GEVAL-IS-FUNCTIONAL-INST-OF-GENERIC-GEVAL-FOR-GL-CLAUSE-PROC)
(GL-THM::GL-EVAL-CAR-CDR-OF-GOBJ-LISTP-FOR-MY-GLCP-GEVAL)
(GL-THM::GL-EVAL-CONSP-WHEN-GOBJ-LISTP-FOR-MY-GLCP-GEVAL)
(GL-THM::GL-EVAL-OF-NIL-FOR-MY-GLCP-GEVAL)
(MY-GLCP-RUN-GIFIED-PRESERVES-HYP
 (3485 91 (:REWRITE |(< 0 (len x))|))
 (1266 39 (:REWRITE NTH-WHEN-ATOM))
 (416 416 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (416 416 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (416 208 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (325 65 (:REWRITE EQUAL-OF-BOOLEANS-REWRITE))
 (260 260 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (260 260 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (260 260 (:LINEAR LEN-WHEN-PREFIXP))
 (208 208 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOLLIST-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOLLIST-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-STRING-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-STRING-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOTERM-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOTERM-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-POS-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-POS-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-NAT-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-NAT-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOL-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOL-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRINGLIST-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRINGLIST-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRING-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRING-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-SYMBOL-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-SYMBOL-ALISTP . 1))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-POS-ALISTP . 2))
 (208 208 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-POS-ALISTP . 1))
 (208 208 (:REWRITE CONSP-BY-LEN))
 (200 100 (:REWRITE-QUOTED-CONSTANT GL::BFR-VARNAME-FIX-UNDER-BFR-VARNAME-EQUIV))
 (172 172 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (130 130 (:TYPE-PRESCRIPTION BOOLEANP))
 (130 130 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 (130 130 (:LINEAR INDEX-OF-<-LEN))
 (130 130 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (100 100 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (100 100 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (100 100 (:REWRITE NTH-WHEN-PREFIXP))
 (100 100 (:REWRITE GL::BFR-VARNAME-FIX-UNDER-BFR-VARNAME-EQUIV))
 (78 39 (:REWRITE DEFAULT-<-2))
 (39 39 (:REWRITE DEFAULT-<-1))
 (33 33 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(MY-GLCP-RUN-GIFIED-OF-BFR-HYP-FIX
 (10706 248 (:REWRITE NTH-WHEN-TOO-LARGE-CHEAP))
 (6970 182 (:REWRITE |(< 0 (len x))|))
 (2292 66 (:REWRITE NTH-WHEN-ATOM))
 (876 876 (:TYPE-PRESCRIPTION LEN))
 (640 128 (:REWRITE EQUAL-OF-BOOLEANS-REWRITE))
 (604 604 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-LISTP))
 (604 604 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-ATOM-LISTP))
 (604 302 (:REWRITE CONSP-UNDER-IFF-WHEN-TRUE-LISTP))
 (496 496 (:LINEAR LOWER-BOUND-OF-LEN-WHEN-SUBLISTP))
 (496 496 (:LINEAR LISTPOS-UPPER-BOUND-STRONG-2))
 (496 496 (:LINEAR LEN-WHEN-PREFIXP))
 (376 188 (:REWRITE-QUOTED-CONSTANT GL::BFR-VARNAME-FIX-UNDER-BFR-VARNAME-EQUIV))
 (302 302 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-TRUELIST-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOLLIST-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOLLIST-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-STRING-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-STRING-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOTERM-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOTERM-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-PSEUDOEVENTFORM-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-POS-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-POS-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-NAT-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-NAT-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOL-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOL-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRINGLIST-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRINGLIST-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRING-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-STRING-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-TRUELIST-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-SYMBOL-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-KEYWORD-SYMBOL-ALISTP . 1))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-POS-ALISTP . 2))
 (302 302 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-CONS-POS-ALISTP . 1))
 (302 302 (:REWRITE CONSP-BY-LEN))
 (256 256 (:TYPE-PRESCRIPTION BOOLEANP))
 (256 256 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 (248 248 (:TYPE-PRESCRIPTION NFIX))
 (248 248 (:REWRITE LEN-WHEN-ATOM))
 (248 248 (:LINEAR INDEX-OF-<-LEN))
 (248 248 (:LINEAR STR::COUNT-LEADING-CHARSET-LEN))
 (188 188 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (188 188 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (188 188 (:REWRITE NTH-WHEN-PREFIXP))
 (188 188 (:REWRITE GL::BFR-VARNAME-FIX-UNDER-BFR-VARNAME-EQUIV))
 (182 182 (:REWRITE CAR-WHEN-ALL-EQUALP))
 (132 66 (:REWRITE DEFAULT-<-2))
 (66 66 (:REWRITE DEFAULT-<-1))
 (60 60 (:REWRITE CONSP-OF-CDR-BY-LEN))
 )
(BFR-HYP-EQUIV-IMPLIES-EQUAL-MY-GLCP-RUN-GIFIED-3)
(MY-GLCP-RUN-GIFIED-DEPS)
(MY-GLCP-RUN-GIFIED-CORRECT)
(GL-THM::SHAPE-SPEC-TO-GOBJ-EVAL-ENV-FOR-MY-GLCP-GEVAL)
(GL-THM::GOBJ-TO-PARAM-SPACE-CORRECT-FOR-MY-GLCP-GEVAL)
(GL-THM::GENERIC-GEVAL-NON-CONS-FOR-MY-GLCP-GEVAL)
(MY-GLCP-RUN-GIFIED)
(MY-GLCP-INTERP-TERM
 (383 380 (:REWRITE MY-GLCP-GEVAL-EV-OF-BASE-GEVAL-EV-CONCRETE-LST-CALL))
 (380 377 (:REWRITE MY-GLCP-GEVAL-EV-OF-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (361 358 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ASSOC-EQUAL-CALL))
 (361 358 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->SIGN-CALL))
 (361 358 (:REWRITE MY-GLCP-GEVAL-EV-OF-BOOL->BIT$INLINE-CALL))
 (320 317 (:REWRITE MY-GLCP-GEVAL-EV-OF-EVAL-G-BASE-EV-CONCRETE-LST-CALL))
 (307 304 (:REWRITE MY-GLCP-GEVAL-EV-OF-SSPEC-GEVAL-EV-CONCRETE-LST-CALL))
 (304 304 (:REWRITE CAR-CONS))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-MAKE-FAST-ALIST-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-GET-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-HONS-ACONS-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-HIDE-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GEVAL-EV-CONCRETE-LST-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-GLCP-GENERIC-GEVAL-EV-CONCRETE-LST-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-CONCRETIZE$INLINE-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-GL-ASSERT-FN$INLINE-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-FLUSH-HONS-GET-HASH-TABLE-LINK-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-FAST-ALIST-FREE-CALL))
 (295 292 (:REWRITE MY-GLCP-GEVAL-EV-OF-ALWAYS-EQUAL-CALL))
 (1 1 (:REWRITE GL-THM::GENERIC-GEVAL-NON-CONS-FOR-MY-GLCP-GEVAL))
 )
(MY-GLCP-CORRECT)
(PLAYER-COUNT-P)
(TYPE-WHEN-PLAYER-COUNT-P)
(PLAYER-COUNT-P-POSSIBILITIES)
(PLAYER-COUNT-FIX$INLINE)
(RETURN-TYPE-OF-PLAYER-COUNT-FIX)
(PLAYER-COUNT-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(PLAYER-COUNT-EQUIV$INLINE)
(PLAYER-COUNT-EQUIV-IS-AN-EQUIVALENCE)
(PLAYER-COUNT-EQUIV-IMPLIES-EQUAL-PLAYER-COUNT-FIX-1)
(PLAYER-COUNT-FIX-UNDER-PLAYER-COUNT-EQUIV)
(BALL-P)
(TYPE-WHEN-BALL-P
 (20 4 (:REWRITE EQUAL-OF-BOOLEANS-REWRITE))
 (8 8 (:TYPE-PRESCRIPTION BOOLEANP))
 (8 8 (:REWRITE BOOLEANP-WHEN-MEMBER-EQUAL-OF-BOOLEAN-LISTP))
 )
(BALL-P-POSSIBILITIES)
(BALL-FIX$INLINE)
(RETURN-TYPE-OF-BALL-FIX)
(BALL-FIX-IDEMPOTENT)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(BALL-EQUIV$INLINE)
(BALL-EQUIV-IS-AN-EQUIVALENCE)
(BALL-EQUIV-IMPLIES-EQUAL-BALL-FIX-1)
(BALL-FIX-UNDER-BALL-EQUIV)
(SPORT-P)
(SPORT)
(HONSED-SPORT)
(SPORT->PLAYER-COUNT$INLINE)
(SPORT->BALL$INLINE)
(CONSP-OF-SPORT)
(BOOLEANP-OF-SPORT-P)
(SPORT-P-OF-SPORT)
(CONSP-WHEN-SPORT-P)
(SPORT->PLAYER-COUNT-OF-SPORT)
(SPORT->BALL-OF-SPORT)
(RETURN-TYPE-OF-SPORT->PLAYER-COUNT)
(RETURN-TYPE-OF-SPORT->BALL)
(SET-SPORT-TO-BASKETBALL)
(BASKETBALL-P-OF-SET-SPORT-TO-BASKETBALL)
(BASKETBALL-P-OF-SET-SPORT-TO-BASKETBALL-VIA-GL
 (27 27 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-OPEN-LIST-OF-G-BOOLEANS))
 (27 27 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-OPEN-ATOM))
 (15 15 (:REWRITE AND*-REM-FIRST))
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-LIST-OF-G-BOOLEANS))
 (2 2 (:REWRITE GL::SHAPE-SPEC-OBJ-IN-RANGE-BACKCHAIN-ATOM))
 )
