(TAKE-OF-1+-TO-RCONS
 (464 38 (:REWRITE TAKE-OF-LEN-FREE))
 (229 144 (:REWRITE DEFAULT-+-2))
 (163 130 (:REWRITE DEFAULT-<-2))
 (144 144 (:REWRITE DEFAULT-+-1))
 (130 130 (:REWRITE DEFAULT-<-1))
 (68 14 (:REWRITE REPEAT-WHEN-ZP))
 (33 33 (:REWRITE TAKE-WHEN-ATOM))
 (28 4 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 )
