(ORGANIZE-SYMBOLS-BY-PKG-AUX
 (233 121 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 1))
 (174 96 (:REWRITE DEFAULT-CAR))
 (143 9 (:DEFINITION MEMBER-EQUAL))
 (121 121 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 2))
 (88 25 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (62 3 (:REWRITE SYMBOL-LISTP-OF-CDR-WHEN-SYMBOL-LISTP))
 (56 18 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (52 37 (:REWRITE DEFAULT-CDR))
 (32 14 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (32 14 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (30 30 (:REWRITE SUBSETP-TRANS2))
 (30 30 (:REWRITE SUBSETP-TRANS))
 (28 4 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (24 6 (:REWRITE MEMBER-WHEN-ATOM))
 (24 1 (:REWRITE SUBSETP-OF-CONS))
 (21 3 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (18 18 (:REWRITE SUBSETP-MEMBER . 2))
 (18 18 (:REWRITE SUBSETP-MEMBER . 1))
 (16 4 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (14 1 (:DEFINITION PUT-ASSOC-EQUAL))
 (8 8 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (6 6 (:REWRITE SUBSETP-MEMBER . 4))
 (6 6 (:REWRITE SUBSETP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 3))
 (6 6 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(STRING-SYMBOLLIST-ALISTP-OF-ORGANIZE-SYMBOLS-BY-PKG-AUX
 (467 201 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 1))
 (246 18 (:DEFINITION ASSOC-EQUAL))
 (220 8 (:DEFINITION MEMBER-EQUAL))
 (207 121 (:REWRITE DEFAULT-CAR))
 (205 63 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (201 201 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-STRING-SYMBOLLIST-ALISTP . 2))
 (198 63 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (170 37 (:REWRITE STRING-SYMBOLLIST-ALISTP-WHEN-NOT-CONSP))
 (136 24 (:REWRITE DEFAULT-SYMBOL-PACKAGE-NAME))
 (120 66 (:REWRITE DEFAULT-CDR))
 (116 8 (:DEFINITION PUT-ASSOC-EQUAL))
 (87 87 (:REWRITE SUBSETP-TRANS2))
 (87 87 (:REWRITE SUBSETP-TRANS))
 (72 16 (:REWRITE MEMBER-WHEN-ATOM))
 (60 2 (:REWRITE SYMBOL-LISTP-OF-CDR-WHEN-SYMBOL-LISTP))
 (43 5 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (24 1 (:REWRITE SUBSETP-OF-CONS))
 (18 18 (:REWRITE SUBSETP-MEMBER . 4))
 (18 18 (:REWRITE INTERSECTP-MEMBER . 3))
 (18 18 (:REWRITE INTERSECTP-MEMBER . 2))
 (17 17 (:REWRITE SUBSETP-MEMBER . 2))
 )
(ORGANIZE-SYMBOLS-BY-PKG)
(STRING-SYMBOLLIST-ALISTP-OF-ORGANIZE-SYMBOLS-BY-PKG)
