(SUFFIXP)
(SUFFIXP-OF-CONS-RIGHT
 (3 3 (:REWRITE DEFAULT-CDR))
 )
(NOT-SUFFIXP-OF-CONS-LEFT
 (8 8 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-CAR))
 )
(SUFFIXP-OF-SELF)
(SUFFIXP-TRANSITIVE
 (13 13 (:REWRITE DEFAULT-CDR))
 )
(SUFFIXP-EQUALS-NTHCDR
 (143 83 (:REWRITE DEFAULT-+-2))
 (106 83 (:REWRITE DEFAULT-+-1))
 (54 54 (:REWRITE DEFAULT-CDR))
 (37 13 (:REWRITE DEFAULT-<-2))
 (34 17 (:REWRITE DEFAULT-UNARY-MINUS))
 (21 21 (:REWRITE SUFFIXP-TRANSITIVE))
 (13 13 (:REWRITE DEFAULT-<-1))
 )
