(DEFDIGIT-GROUPING-FIND-EXP
 (15 6 (:REWRITE /R-WHEN-ABS-NUMERATOR=1))
 (8 8 (:META CANCEL_PLUS-LESSP-CORRECT))
 (8 1 (:REWRITE NATP-POSP))
 (5 5 (:REWRITE DEFAULT-<-2))
 (5 5 (:REWRITE DEFAULT-<-1))
 (5 5 (:REWRITE DEFAULT-*-2))
 (5 5 (:REWRITE DEFAULT-*-1))
 (5 5 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (5 5 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (4 4 (:TYPE-PRESCRIPTION NATP))
 (4 1 (:REWRITE NATP-*))
 (4 1 (:LINEAR X*Y>1-POSITIVE))
 (3 3 (:REWRITE NUMERATOR-WHEN-INTEGERP))
 (3 3 (:REWRITE DEFAULT-UNARY-/))
 (2 2 (:REWRITE POSP-WHEN-MEMBER-EQUAL-OF-ZP-LISTP))
 (2 2 (:REWRITE NATP-RW))
 (1 1 (:REWRITE POSP-RW))
 )
(MAYBE-POSP-OF-DEFDIGIT-GROUPING-FIND-EXP)
(DEFDIGIT-GROUPING-FIND-EXP)
(DEFDIGIT-GROUPING-FN)
