(GL::TAG$INLINE)
(GL::TAG-OF-CONS)
(GL::TAG-FORWARD-TO-CONS)
(GL::TAG-WHEN-ATOM)
(GL::LIST-TO-TREE-AUX1)
(GL::LIST-TO-TREE-AUX)
(GL::LIST-TO-TREE)
(GL::ALIST-WRAP-PAIRS)
(GL::MK-ACCS-ALIST)
(GL::MK-ACCESSORS)
(GL::MK-CONSTRUCTOR-AUX)
(GL::MK-CONSTRUCTOR)
(GL::ACCESSORS-OF-CONSTRUCTOR)
(GL::ACCESSOR-ACL2-COUNT-THMS)
(GL::DEFAGG-FN)
(GL::FOO$INLINE)
(GL::FOO->A$INLINE)
(GL::FOO->B$INLINE)
(GL::FOO->A-OF-FOO
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(GL::FOO->B-OF-FOO
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(GL::FOO->A-ACL2-COUNT-THM
 (141 66 (:REWRITE DEFAULT-+-2))
 (93 66 (:REWRITE DEFAULT-+-1))
 (48 12 (:REWRITE COMMUTATIVITY-OF-+))
 (48 12 (:DEFINITION INTEGER-ABS))
 (48 6 (:DEFINITION LENGTH))
 (30 6 (:DEFINITION LEN))
 (23 23 (:REWRITE DEFAULT-CDR))
 (21 21 (:REWRITE FOLD-CONSTS-IN-+))
 (15 15 (:REWRITE DEFAULT-CAR))
 (14 13 (:REWRITE DEFAULT-<-2))
 (14 13 (:REWRITE DEFAULT-<-1))
 (12 12 (:REWRITE DEFAULT-UNARY-MINUS))
 (6 6 (:TYPE-PRESCRIPTION LEN))
 (6 6 (:REWRITE DEFAULT-REALPART))
 (6 6 (:REWRITE DEFAULT-NUMERATOR))
 (6 6 (:REWRITE DEFAULT-IMAGPART))
 (6 6 (:REWRITE DEFAULT-DENOMINATOR))
 (6 6 (:REWRITE DEFAULT-COERCE-2))
 (6 6 (:REWRITE DEFAULT-COERCE-1))
 )
(GL::FOO->B-ACL2-COUNT-THM
 (141 66 (:REWRITE DEFAULT-+-2))
 (93 66 (:REWRITE DEFAULT-+-1))
 (48 12 (:REWRITE COMMUTATIVITY-OF-+))
 (48 12 (:DEFINITION INTEGER-ABS))
 (48 6 (:DEFINITION LENGTH))
 (30 6 (:DEFINITION LEN))
 (24 24 (:REWRITE DEFAULT-CDR))
 (21 21 (:REWRITE FOLD-CONSTS-IN-+))
 (14 14 (:REWRITE DEFAULT-CAR))
 (14 13 (:REWRITE DEFAULT-<-2))
 (14 13 (:REWRITE DEFAULT-<-1))
 (12 12 (:REWRITE DEFAULT-UNARY-MINUS))
 (6 6 (:TYPE-PRESCRIPTION LEN))
 (6 6 (:REWRITE DEFAULT-REALPART))
 (6 6 (:REWRITE DEFAULT-NUMERATOR))
 (6 6 (:REWRITE DEFAULT-IMAGPART))
 (6 6 (:REWRITE DEFAULT-DENOMINATOR))
 (6 6 (:REWRITE DEFAULT-COERCE-2))
 (6 6 (:REWRITE DEFAULT-COERCE-1))
 )
(GL::TAG-OF-FOO)
