(MEMB)
(DEL)
(TRUE-LISTP-DEL
 (10 10 (:REWRITE DEFAULT-CDR))
 (9 9 (:REWRITE DEFAULT-CAR))
 )
(SUBBAGP
 (6 3 (:TYPE-PRESCRIPTION TRUE-LISTP-DEL))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(BAGDIFF
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-DEL))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(TRUE-LISTP-BAGDIFF
 (23 23 (:REWRITE DEFAULT-CDR))
 (18 18 (:REWRITE DEFAULT-CAR))
 (18 9 (:DEFINITION TRUE-LISTP))
 (10 2 (:DEFINITION DEL))
 )
(BAGINT
 (2 1 (:TYPE-PRESCRIPTION TRUE-LISTP-DEL))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(TERM-LIST-TO-TYPE-TERM
 (154 76 (:REWRITE DEFAULT-+-2))
 (105 76 (:REWRITE DEFAULT-+-1))
 (72 18 (:REWRITE COMMUTATIVITY-OF-+))
 (72 18 (:DEFINITION INTEGER-ABS))
 (72 9 (:DEFINITION LENGTH))
 (45 9 (:DEFINITION LEN))
 (27 22 (:REWRITE DEFAULT-<-2))
 (26 22 (:REWRITE DEFAULT-<-1))
 (25 25 (:REWRITE DEFAULT-CDR))
 (20 20 (:REWRITE FOLD-CONSTS-IN-+))
 (18 18 (:REWRITE DEFAULT-UNARY-MINUS))
 (10 10 (:REWRITE DEFAULT-CAR))
 (9 9 (:TYPE-PRESCRIPTION LEN))
 (9 9 (:REWRITE DEFAULT-REALPART))
 (9 9 (:REWRITE DEFAULT-NUMERATOR))
 (9 9 (:REWRITE DEFAULT-IMAGPART))
 (9 9 (:REWRITE DEFAULT-DENOMINATOR))
 (9 9 (:REWRITE DEFAULT-COERCE-2))
 (9 9 (:REWRITE DEFAULT-COERCE-1))
 )
(BINARY-OP_FRINGE
 (739 344 (:REWRITE DEFAULT-+-2))
 (468 344 (:REWRITE DEFAULT-+-1))
 (422 52 (:DEFINITION LENGTH))
 (290 58 (:DEFINITION LEN))
 (272 68 (:REWRITE COMMUTATIVITY-OF-+))
 (272 68 (:DEFINITION INTEGER-ABS))
 (105 79 (:REWRITE DEFAULT-<-2))
 (88 88 (:TYPE-PRESCRIPTION LEN))
 (87 79 (:REWRITE DEFAULT-<-1))
 (68 68 (:REWRITE DEFAULT-UNARY-MINUS))
 (40 40 (:REWRITE DEFAULT-COERCE-2))
 (40 40 (:REWRITE DEFAULT-COERCE-1))
 (34 34 (:REWRITE DEFAULT-REALPART))
 (34 34 (:REWRITE DEFAULT-NUMERATOR))
 (34 34 (:REWRITE DEFAULT-IMAGPART))
 (34 34 (:REWRITE DEFAULT-DENOMINATOR))
 (25 25 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (24 24 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (18 6 (:DEFINITION SYMBOL-LISTP))
 (6 6 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(BINARY-OP_TREE)
(BINARY-OP_TREE-SIMPLE)
(REMOVE-DUPLICATES-MEMB)
(FRINGE-OCCUR
 (699 324 (:REWRITE DEFAULT-+-2))
 (448 324 (:REWRITE DEFAULT-+-1))
 (297 37 (:DEFINITION LENGTH))
 (272 68 (:REWRITE COMMUTATIVITY-OF-+))
 (272 68 (:DEFINITION INTEGER-ABS))
 (190 38 (:DEFINITION LEN))
 (105 79 (:REWRITE DEFAULT-<-2))
 (87 79 (:REWRITE DEFAULT-<-1))
 (68 68 (:REWRITE DEFAULT-UNARY-MINUS))
 (43 43 (:TYPE-PRESCRIPTION LEN))
 (35 35 (:REWRITE DEFAULT-COERCE-2))
 (35 35 (:REWRITE DEFAULT-COERCE-1))
 (34 34 (:REWRITE DEFAULT-REALPART))
 (34 34 (:REWRITE DEFAULT-NUMERATOR))
 (34 34 (:REWRITE DEFAULT-IMAGPART))
 (34 34 (:REWRITE DEFAULT-DENOMINATOR))
 (9 9 (:REWRITE TERMP-IMPLIES-PSEUDO-TERMP))
 (9 9 (:REWRITE TERM-LISTP-IMPLIES-PSEUDO-TERM-LISTP))
 (3 1 (:DEFINITION SYMBOL-LISTP))
 (1 1 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 )
