(OLDP)
(NEWP)
(FORTH
 (1 1 (:TYPE-PRESCRIPTION FORTH))
 )
(BACK
 (1 1 (:TYPE-PRESCRIPTION BACK))
 )
(A)
(B)
(C)
(D)
(M)
(G)
(FORTH-IMAGE)
(BACK-IMAGE)
(BACK-OF-FORTH
 (6 3 (:TYPE-PRESCRIPTION BACK))
 (3 3 (:TYPE-PRESCRIPTION FORTH))
 )
(O-P-OF-M)
(O<-OF-M
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(G-OF-D)
(OLDP-OF-D)
(OLDP-OF-B)
(OLDP-OF-C)
(OLDP-WHEN-G)
(F)
(ALPHA-IMAGE
 (1 1 (:REWRITE OLDP-WHEN-G))
 )
(BETA-IMAGE
 (1 1 (:REWRITE OLDP-WHEN-G))
 )
(ALPHA-OF-BETA
 (1 1 (:REWRITE OLDP-WHEN-G))
 )
(DOMA-GUARD)
(DOMB-GUARD)
(ALPHA-GUARD)
(BETA-GUARD)
(SURJMAP.ALPHA-IMAGE)
(SURJMAP.BETA-IMAGE)
(SURJMAP.ALPHA-OF-BETA)
(SURJMAP.DOMA-GUARD)
(SURJMAP.DOMB-GUARD)
(SURJMAP.ALPHA-GUARD)
(SURJMAP.BETA-GUARD)
(SURJMAP.BETA-INJECTIVE)
(OLDP-OF-OLD
 (11 10 (:REWRITE OLDP-WHEN-G))
 (1 1 (:REWRITE G-OF-D))
 )
(OLDP-OF-REC-CALL-ARGS
 (3 2 (:REWRITE OLDP-WHEN-G))
 (1 1 (:REWRITE G-OF-D))
 )
(OLD-GUARD)
(F$NOT-NORMALIZED)
(F1)
(F1$NOT-NORMALIZED)
(F1-TO-F)
(F-TO-F1)
(F1-NEW-REPRESENTATION)
(F1)
(IN-OLDP)
(IN-NEWP)
(IN-FORTH
 (1 1 (:TYPE-PRESCRIPTION IN-FORTH))
 )
(IN-BACK
 (1 1 (:TYPE-PRESCRIPTION IN-BACK))
 )
(OUT-OLDP)
(OUT-NEWP)
(OUT-FORTH
 (1 1 (:TYPE-PRESCRIPTION OUT-FORTH))
 )
(OUT-BACK
 (1 1 (:TYPE-PRESCRIPTION OUT-BACK))
 )
(A)
(B)
(C)
(D)
(M)
(G)
(IN-FORTH-IMAGE)
(IN-BACK-IMAGE)
(IN-BACK-OF-FORTH
 (6 3 (:TYPE-PRESCRIPTION IN-BACK))
 (3 3 (:TYPE-PRESCRIPTION IN-FORTH))
 )
(OUT-FORTH-IMAGE)
(OUT-BACK-IMAGE)
(OUT-BACK-OF-FORTH
 (6 3 (:TYPE-PRESCRIPTION OUT-BACK))
 (3 3 (:TYPE-PRESCRIPTION OUT-FORTH))
 )
(O-P-OF-M)
(O<-OF-M
 (3 3 (:REWRITE DEFAULT-<-2))
 (3 3 (:REWRITE DEFAULT-<-1))
 (1 1 (:REWRITE ZP-OPEN))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
(G-OF-D)
(OLDP-OF-D)
(OLDP-OF-B)
(OLDP-OF-C)
(OLDP-WHEN-G)
(F)
(ALPHA-IMAGE
 (1 1 (:REWRITE OLDP-WHEN-G))
 )
(BETA-IMAGE
 (1 1 (:REWRITE OLDP-WHEN-G))
 )
(ALPHA-OF-BETA
 (1 1 (:REWRITE OLDP-WHEN-G))
 )
(DOMA-GUARD)
(DOMB-GUARD)
(ALPHA-GUARD)
(BETA-GUARD)
(IN-SURJMAP.ALPHA-IMAGE)
(IN-SURJMAP.BETA-IMAGE)
(IN-SURJMAP.ALPHA-OF-BETA)
(IN-SURJMAP.DOMA-GUARD)
(IN-SURJMAP.DOMB-GUARD)
(IN-SURJMAP.ALPHA-GUARD)
(IN-SURJMAP.BETA-GUARD)
(IN-SURJMAP.BETA-INJECTIVE)
(ALPHA-IMAGE)
(BETA-IMAGE)
(ALPHA-OF-BETA)
(DOMA-GUARD)
(DOMB-GUARD)
(ALPHA-GUARD)
(BETA-GUARD)
(OUT-SURJMAP.ALPHA-IMAGE)
(OUT-SURJMAP.BETA-IMAGE)
(OUT-SURJMAP.ALPHA-OF-BETA)
(OUT-SURJMAP.DOMA-GUARD)
(OUT-SURJMAP.DOMB-GUARD)
(OUT-SURJMAP.ALPHA-GUARD)
(OUT-SURJMAP.BETA-GUARD)
(OUT-SURJMAP.BETA-INJECTIVE)
(OLDP-OF-OLD
 (6 5 (:REWRITE OLDP-WHEN-G))
 (1 1 (:REWRITE G-OF-D))
 )
(OLDP-OF-REC-CALL-ARGS
 (3 2 (:REWRITE OLDP-WHEN-G))
 (1 1 (:REWRITE G-OF-D))
 )
(OLD-GUARD)
(F$NOT-NORMALIZED)
(F1)
(F1$NOT-NORMALIZED)
(F1-TO-F)
(F-TO-F1)
(F1-NEW-REPRESENTATION)
(F1)
(ALPHA-IMAGE)
(BETA-IMAGE)
(ALPHA-OF-BETA
 (3 1 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (2 2 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (1 1 (:REWRITE SET::IN-SET))
 )
(DOMA-GUARD)
(DOMB-GUARD)
(ALPHA-GUARD)
(BETA-GUARD)
(LISTS-TO-OSETS.ALPHA-IMAGE)
(LISTS-TO-OSETS.BETA-IMAGE
 (2 2 (:TYPE-PRESCRIPTION IDENTITY))
 )
(LISTS-TO-OSETS.ALPHA-OF-BETA)
(LISTS-TO-OSETS.DOMA-GUARD)
(LISTS-TO-OSETS.DOMB-GUARD)
(LISTS-TO-OSETS.ALPHA-GUARD)
(LISTS-TO-OSETS.BETA-GUARD)
(LISTS-TO-OSETS.BETA-INJECTIVE)
(F)
(SETP-OF-F
 (14 14 (:REWRITE SET::IN-SET))
 (8 8 (:REWRITE SET::IN-TAIL-OR-HEAD))
 (8 8 (:REWRITE SET::HEAD-WHEN-EMPTYP))
 (5 1 (:REWRITE SET::INSERT-IDENTITY))
 (3 3 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (3 1 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (2 2 (:REWRITE SET::TAIL-WHEN-EMPTYP))
 (2 1 (:REWRITE SET::IN-TAIL))
 )
(F)
(OLDP-OF-REC-CALL-ARGS)
(OLD-GUARD)
(F$NOT-NORMALIZED)
(F{1}
 (4 4 (:TYPE-PRESCRIPTION IDENTITY))
 )
(F{1}$NOT-NORMALIZED)
(F{1}-TO-F)
(F-TO-F{1})
(F{1})
(ALPHA-IMAGE)
(BETA-IMAGE)
(ALPHA-OF-BETA)
(DOMA-GUARD)
(DOMB-GUARD)
(ALPHA-GUARD)
(BETA-GUARD)
(APT::DEFSURJ-IDENTITY-BETA-IMAGE)
(APT::DEFSURJ-IDENTITY-ALPHA-IMAGE)
(APT::DEFSURJ-IDENTITY-BETA-OF-ALPHA)
(APT::DEFSURJ-IDENTITY-DOMB-GUARD)
(APT::DEFSURJ-IDENTITY-DOMA-GUARD)
(APT::DEFSURJ-IDENTITY-BETA-GUARD)
(APT::DEFSURJ-IDENTITY-ALPHA-GUARD)
(APT::DEFSURJ-IDENTITY-ALPHA-INJECTIVE)
(OLDP-OF-OLD)
(OLDP-OF-REC-CALL-ARGS)
(OLD-GUARD)
(F$NOT-NORMALIZED)
(F{2})
(F{2}$NOT-NORMALIZED)
(F{2}-TO-F)
(F-TO-F{2})
(F{2}-NEW-REPRESENTATION)
(F{2})
(OLDP-OF-OLD)
(OLDP-OF-REC-CALL-ARGS)
(OLD-GUARD)
(F$NOT-NORMALIZED)
(F{3})
(F{3}$NOT-NORMALIZED)
(F{3}-TO-F)
(F-TO-F{3})
(F{3}-NEW-REPRESENTATION)
(F{3})
