(TOP$AP)
(TOP-CORR)
(CREATE-TOP$A)
(LOOKUP1$A)
(UPDATE1$A)
(LOOKUP2$A)
(UPDATE2$A)
(CREATE-TOP{CORRESPONDENCE})
(CREATE-TOP{PRESERVED})
(LOOKUP1{CORRESPONDENCE}
 (59 59 (:REWRITE DEFAULT-CDR))
 (52 52 (:REWRITE DEFAULT-CAR))
 (32 4 (:DEFINITION HONS-ASSOC-EQUAL))
 (22 5 (:DEFINITION STRIP-CDRS))
 (17 1 (:DEFINITION HT2P))
 (10 2 (:DEFINITION SYMBOL-ALISTP))
 (10 2 (:DEFINITION RATIONAL-LISTP))
 (10 1 (:DEFINITION ST$CP))
 (8 4 (:REWRITE DEFAULT-+-2))
 (8 2 (:DEFINITION ALISTP))
 (6 1 (:DEFINITION HT1P))
 (5 1 (:DEFINITION TRUE-LIST-LISTP))
 (5 1 (:DEFINITION ALL-NILS))
 (4 4 (:REWRITE DEFAULT-+-1))
 (4 4 (:DEFINITION HONS-EQUAL))
 )
(UPDATE1{CORRESPONDENCE}
 (83 82 (:REWRITE DEFAULT-CDR))
 (60 59 (:REWRITE DEFAULT-CAR))
 (12 6 (:REWRITE DEFAULT-+-2))
 (6 6 (:REWRITE DEFAULT-+-1))
 )
(UPDATE1{PRESERVED}
 (39 38 (:REWRITE DEFAULT-CDR))
 (31 30 (:REWRITE DEFAULT-CAR))
 (4 2 (:DEFINITION TRUE-LISTP))
 )
(LOOKUP2{CORRESPONDENCE}
 (58 58 (:REWRITE DEFAULT-CDR))
 (41 41 (:REWRITE DEFAULT-CAR))
 (22 5 (:DEFINITION STRIP-CDRS))
 (17 1 (:DEFINITION HT2P))
 (10 2 (:DEFINITION SYMBOL-ALISTP))
 (10 2 (:DEFINITION RATIONAL-LISTP))
 (10 1 (:DEFINITION ST$CP))
 (8 4 (:REWRITE DEFAULT-+-2))
 (8 2 (:DEFINITION ALISTP))
 (6 1 (:DEFINITION HT1P))
 (5 1 (:DEFINITION TRUE-LIST-LISTP))
 (5 1 (:DEFINITION ALL-NILS))
 (4 4 (:REWRITE DEFAULT-+-1))
 (2 2 (:DEFINITION HONS-EQUAL))
 )
(EQUAL-LEN-1
 (32 16 (:REWRITE DEFAULT-+-2))
 (27 27 (:REWRITE DEFAULT-CDR))
 (16 16 (:REWRITE DEFAULT-+-1))
 )
(UPDATE2{CORRESPONDENCE}
 (858 813 (:REWRITE DEFAULT-CDR))
 (554 491 (:REWRITE DEFAULT-CAR))
 (128 64 (:REWRITE DEFAULT-+-2))
 (64 64 (:REWRITE DEFAULT-+-1))
 )
(UPDATE2{PRESERVED}
 (52 49 (:REWRITE DEFAULT-CDR))
 (35 32 (:REWRITE DEFAULT-CAR))
 (5 1 (:DEFINITION LEN))
 (4 2 (:DEFINITION TRUE-LISTP))
 (2 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
