(LTREE-SORT-IS-ISORT
 (348 7 (:DEFINITION MEMB))
 (342 2 (:DEFINITION PERM-COUNTER-EXAMPLE))
 (264 22 (:DEFINITION ORDEREDP))
 (196 2 (:DEFINITION HOW-MANY))
 (145 4 (:REWRITE NOT-MEMB-IMPLIES-HOW-MANY-IS-0))
 (130 23 (:DEFINITION TRUE-LISTP))
 (106 2 (:REWRITE NOT-MEMB-IMPLIES-RM-IS-NO-OP))
 (104 2 (:DEFINITION RM))
 (95 95 (:REWRITE DEFAULT-CDR))
 (69 63 (:REWRITE DEFAULT-CAR))
 (44 44 (:TYPE-PRESCRIPTION LEXORDER))
 (22 22 (:REWRITE LEXORDER-TRANSITIVE))
 (5 5 (:TYPE-PRESCRIPTION MEMB))
 (4 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:TYPE-PRESCRIPTION HOW-MANY))
 (2 2 (:REWRITE DEFAULT-+-1))
 )
