(LOG2
 (8 5 (:REWRITE DEFAULT-<-1))
 (7 7 (:REWRITE A10))
 (5 5 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-*-2))
 (3 3 (:REWRITE DEFAULT-*-1))
 )
(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)
