(BED::BED-OP-NAME)
(BED::BED-PRINT
 (714 342 (:REWRITE DEFAULT-+-2))
 (474 342 (:REWRITE DEFAULT-+-1))
 (304 76 (:REWRITE COMMUTATIVITY-OF-+))
 (304 76 (:DEFINITION INTEGER-ABS))
 (304 38 (:DEFINITION LENGTH))
 (190 38 (:DEFINITION LEN))
 (112 88 (:REWRITE DEFAULT-<-2))
 (98 88 (:REWRITE DEFAULT-<-1))
 (76 76 (:REWRITE DEFAULT-UNARY-MINUS))
 (38 38 (:TYPE-PRESCRIPTION LEN))
 (38 38 (:REWRITE DEFAULT-REALPART))
 (38 38 (:REWRITE DEFAULT-NUMERATOR))
 (38 38 (:REWRITE DEFAULT-IMAGPART))
 (38 38 (:REWRITE DEFAULT-DENOMINATOR))
 (38 38 (:REWRITE DEFAULT-COERCE-2))
 (38 38 (:REWRITE DEFAULT-COERCE-1))
 )
