(LOG=)
(LOG<>)
(LOG<)
(LOG<=)
(LOG>)
(LOG>=)
(COMP2)
(COMP2<
 (16 8 (:REWRITE DEFAULT-UNARY-MINUS))
 (16 8 (:REWRITE DEFAULT-+-2))
 (12 8 (:REWRITE DEFAULT-+-1))
 (6 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(COMP2<=
 (16 8 (:REWRITE DEFAULT-UNARY-MINUS))
 (16 8 (:REWRITE DEFAULT-+-2))
 (12 8 (:REWRITE DEFAULT-+-1))
 (6 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(COMP2>
 (16 8 (:REWRITE DEFAULT-UNARY-MINUS))
 (16 8 (:REWRITE DEFAULT-+-2))
 (12 8 (:REWRITE DEFAULT-+-1))
 (6 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(COMP2>=
 (16 8 (:REWRITE DEFAULT-UNARY-MINUS))
 (16 8 (:REWRITE DEFAULT-+-2))
 (12 8 (:REWRITE DEFAULT-+-1))
 (6 2 (:REWRITE DEFAULT-<-2))
 (2 2 (:REWRITE DEFAULT-<-1))
 )
(LOGAND1)
(LOGIOR1)
(LOGXOR1)
(SHFT)
(OCAT)
(MULCAT)
(BITN)
(SETBITS)
(SETBITN)
(LNOT)
(DECODE)
(ENCODE)
(IF1-0
 (11 11 (:TYPE-PRESCRIPTION IF1))
 )
(IF1-NON-0
 (19 19 (:TYPE-PRESCRIPTION IF1))
 )
(IF1-X-X
 (11 11 (:TYPE-PRESCRIPTION IF1))
 (1 1 (:REWRITE IF1-NON-0))
 )
(BVECP-IF1
 (2 2 (:REWRITE IF1-NON-0))
 )
(COND1-MACRO
 (6 6 (:REWRITE DEFAULT-CAR))
 (5 1 (:DEFINITION LEN))
 (4 4 (:REWRITE DEFAULT-CDR))
 (2 1 (:REWRITE DEFAULT-<-1))
 (2 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(NATP1)
(BINARY-LAND0)
(ALL-ONES)
(BINARY-LIOR0)
(BINARY-LXOR0)
(RESET)
(BVECP-RESET
 (20 12 (:REWRITE DEFAULT-<-2))
 (14 6 (:REWRITE DEFAULT-*-2))
 (12 12 (:REWRITE DEFAULT-<-1))
 (12 4 (:REWRITE COMMUTATIVITY-OF-+))
 (8 8 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-+-1))
 (6 6 (:REWRITE DEFAULT-*-1))
 (5 5 (:REWRITE ZIP-OPEN))
 )
(UNKNOWN)
(BVECP-UNKNOWN
 (20 12 (:REWRITE DEFAULT-<-2))
 (14 6 (:REWRITE DEFAULT-*-2))
 (12 12 (:REWRITE DEFAULT-<-1))
 (12 4 (:REWRITE COMMUTATIVITY-OF-+))
 (8 8 (:REWRITE DEFAULT-+-2))
 (8 8 (:REWRITE DEFAULT-+-1))
 (6 6 (:REWRITE DEFAULT-*-1))
 (5 5 (:REWRITE ZIP-OPEN))
 )
