(LOG2
 (6 1 (:REWRITE FL-OF-EVEN/2))
 (5 5 (:REWRITE DEFAULT-*-2))
 (5 5 (:REWRITE DEFAULT-*-1))
 (4 4 (:REWRITE NON-INTEGERP-<-INTEGERP))
 (4 4 (:REWRITE INTEGERP-<-NON-INTEGERP))
 (4 4 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 (3 1 (:REWRITE FL-OF-ODD/2))
 (1 1 (:REWRITE FL-OF-NON-RATIONAL))
 (1 1 (:REWRITE FL-MINUS-GEN))
 (1 1 (:REWRITE FL-INT))
 (1 1 (:REWRITE A10))
 )
(BINARY-STRINGP)
(CHK-BINARY)
(BINARY-STRING-TO-RAT)
(STRING-OR-SYMBOL-TO-RAT)
(BRAT)
(NAT-TO-BINARY-CHARLIST)
(RAT-TO-STR2)
(RAT-TO-STR1)
(BSTR)
(BSYM)
