(MASERIAL-STATE)
(MASERIAL-P)
(SERIAL-STEP-LATCH2
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(MASERIAL-STEP-REGS)
(COMMITTED-MASERIAL
 (12 6 (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(MASERIAL-STEP)
(GOOD-MASERIAL)
(MASERIAL-TO-MA)
(MASERIAL-RANK)
(VALUE-OF-CONVERT-REGS
 (152 76 (:REWRITE DEFAULT-*-2))
 (76 76 (:REWRITE DEFAULT-*-1))
 (76 38 (:REWRITE DEFAULT-+-2))
 (46 46 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (46 46 (:META CANCEL_PLUS-EQUAL-CORRECT))
 (38 38 (:REWRITE DEFAULT-+-1))
 )
(VALUE-OF-X)
(CONVERT-REGS-UPDATE-VAL
 (598 46 (:DEFINITION N))
 (276 242 (:REWRITE DEFAULT-CDR))
 (184 92 (:REWRITE DEFAULT-*-2))
 (139 139 (:TYPE-PRESCRIPTION N))
 (92 92 (:REWRITE DEFAULT-*-1))
 (92 46 (:REWRITE DEFAULT-+-2))
 (46 46 (:REWRITE DEFAULT-+-1))
 (31 31 (:META CANCEL_TIMES-EQUAL-CORRECT))
 (31 31 (:META CANCEL_PLUS-EQUAL-CORRECT))
 )
(NFIX-N
 (26 2 (:DEFINITION N))
 (8 4 (:REWRITE DEFAULT-*-2))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 4 (:REWRITE DEFAULT-*-1))
 (4 2 (:REWRITE DEFAULT-+-2))
 (2 2 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-+-1))
 (2 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:META CANCEL_PLUS-LESSP-CORRECT))
 )
