(EXTRACT-NON-LOCAL-EVENTS
 (1574 757 (:REWRITE DEFAULT-+-2))
 (1016 757 (:REWRITE DEFAULT-+-1))
 (584 146 (:REWRITE COMMUTATIVITY-OF-+))
 (584 146 (:DEFINITION INTEGER-ABS))
 (584 73 (:DEFINITION LENGTH))
 (365 73 (:DEFINITION LEN))
 (296 264 (:REWRITE DEFAULT-CDR))
 (215 164 (:REWRITE DEFAULT-CAR))
 (196 163 (:REWRITE DEFAULT-<-2))
 (180 163 (:REWRITE DEFAULT-<-1))
 (146 146 (:REWRITE DEFAULT-UNARY-MINUS))
 (73 73 (:TYPE-PRESCRIPTION LEN))
 (73 73 (:REWRITE DEFAULT-REALPART))
 (73 73 (:REWRITE DEFAULT-NUMERATOR))
 (73 73 (:REWRITE DEFAULT-IMAGPART))
 (73 73 (:REWRITE DEFAULT-DENOMINATOR))
 (73 73 (:REWRITE DEFAULT-COERCE-2))
 (73 73 (:REWRITE DEFAULT-COERCE-1))
 (1 1 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(EXTRACT-NON-LOCAL-DEFUNS)
(EXTRACT-SINGLE-NON-LOCAL-DEFUN)
