(FACTORIAL)
(PROGRAM-COMPONENT)
(PCNT)
(MEM)
(UPDATE-MEM
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-UPDATE-NTH))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(NEXT)
(HALTED)
(PRE)
(MODIFY)
(|STEPW-arity-1-defpun-test|)
(|STEPW-arity-1-defpun-base|)
(|STEPW-arity-1-step|)
(|STEPW-arity-1-defpun-stn|)
(|STEPW-arity-1-defpun-fn|
 (4 4 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(|STEPW-arity-1|
 (1 1 (:TYPE-PRESCRIPTION |STEPW-arity-1-defpun-stn|))
 )
(|STEPW-arity-1-DEF|)
(STEPW)
(STEPW-DEF)
(==)
(UPDATE-NTH-UPDATE-NTH
 (73 22 (:REWRITE DEFAULT-CDR))
 (60 15 (:REWRITE DEFAULT-CAR))
 (8 8 (:REWRITE ZP-OPEN))
 (7 7 (:REWRITE DEFAULT-+-2))
 (7 7 (:REWRITE DEFAULT-+-1))
 )
(NEXT-IS-HALTED
 (6 2 (:DEFINITION UPDATE-NTH))
 (2 2 (:REWRITE DEFAULT-CDR))
 (2 2 (:REWRITE DEFAULT-CAR))
 )
(PRE-IS-NOT-HALTED
 (16 8 (:DEFINITION NTH))
 (4 4 (:REWRITE DEFAULT-<-2))
 (4 4 (:REWRITE DEFAULT-<-1))
 )
(NEXT-OF-MODIFY
 (12 4 (:DEFINITION UPDATE-NTH))
 (10 1 (:DEFINITION FACTORIAL))
 (9 9 (:REWRITE DEFAULT-CDR))
 (6 6 (:REWRITE DEFAULT-CAR))
 (4 1 (:REWRITE ZP-OPEN))
 (2 1 (:REWRITE DEFAULT-*-2))
 (2 1 (:DEFINITION NTH))
 (1 1 (:TYPE-PRESCRIPTION FACTORIAL))
 (1 1 (:REWRITE DEFAULT-<-2))
 (1 1 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE DEFAULT-*-1))
 (1 1 (:DEFINITION NOT))
 )
(PARTIAL-CORRECTNESS
 (65 36 (:REWRITE DEFAULT-CDR))
 (40 16 (:REWRITE DEFAULT-CAR))
 (30 10 (:DEFINITION NTH))
 (6 6 (:REWRITE DEFAULT-<-2))
 (6 6 (:REWRITE DEFAULT-<-1))
 )
