
(/VERSIONCHECK 2) 

(DEFUN |MAPPKG1;nullary;AM;1| (|a| $)
  (CONS #'|MAPPKG1;nullary;AM;1!0| |a|)) 

(DEFUN |MAPPKG1;nullary;AM;1!0| (|a|) |a|) 

(DEFUN |MAPPKG1;coerce;AM;2| (|a| $) (SPADCALL |a| (QREFELT $ 8))) 

(DEFUN |MAPPKG1;fixedPoint;MA;3| (|faa| $)
  (PROG (|g0| |g1|)
    (RETURN
      (SEQ (LETT |g0| (GENSYM) . #0=(|MAPPKG1;fixedPoint;MA;3|))
           (LETT |g1| (SPADCALL |g0| |faa|) . #0#)
           (EXIT (COND
                   ((EQ |g0| |g1|)
                    (|error| "All points are fixed points"))
                   ('T
                    (GEQNSUBSTLIST (|construct| |g0|)
                        (|construct| |g1|) |g1|)))))))) 

(DEFUN |MAPPKG1;fixedPoint;MIL;4| (|fll| |n| $)
  (PROG (#0=#:G1831 |i| |g0| |g1| |e1| #1=#:G1833 |e0| #2=#:G1832
            #3=#:G1827 #4=#:G1825 #5=#:G1826)
    (RETURN
      (SEQ (LETT |g0|
                 (PROGN
                   (LETT #0# NIL . #6=(|MAPPKG1;fixedPoint;MIL;4|))
                   (SEQ (LETT |i| 1 . #6#) G190
                        (COND ((QSGREATERP |i| |n|) #7=(GO G191)))
                        (SEQ (EXIT (LETT #0# (CONS (GENSYM) #0#) . #6#)))
                        (LETT |i| (QSADD1 |i|) . #6#) #8=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #6#)
           (LETT |g1| (SPADCALL |g0| |fll|) . #6#)
           (EXIT (COND
                   ((PROGN
                      (LETT #5# NIL . #6#)
                      (SEQ (LETT |e1| NIL . #6#) (LETT #1# |g1| . #6#)
                           (LETT |e0| NIL . #6#) (LETT #2# |g0| . #6#)
                           G190
                           (COND
                             ((OR (ATOM #2#)
                                  (PROGN
                                    (LETT |e0| (CAR #2#) . #6#)
                                    NIL)
                                  (ATOM #1#)
                                  (PROGN
                                    (LETT |e1| (CAR #1#) . #6#)
                                    NIL))
                              #7#))
                           (SEQ (EXIT (PROGN
                                        (LETT #3# (EQ |e0| |e1|) . #6#)
                                        (COND
                                          (#5#
                                           (LETT #4#
                                            (COND (#4# 'T) ('T #3#)) . #6#))
                                          ('T
                                           (PROGN
                                             (LETT #4# #3# . #6#)
                                             (LETT #5# 'T . #6#)))))))
                           (LETT #2#
                                 (PROG1 (CDR #2#)
                                   (LETT #1# (CDR #1#) . #6#)) . #6#)
                           #8# G191 (EXIT NIL))
                      (COND (#5# #4#) ('T 'NIL)))
                    (|error| "All points are fixed points"))
                   ('T (GEQNSUBSTLIST |g0| |g1| |g1|)))))))) 

(PUT '|MAPPKG1;id;2A;5| '|SPADreplace| '(XLAM (|a|) |a|)) 

(DEFUN |MAPPKG1;id;2A;5| (|a| $) |a|) 

(DEFUN |MAPPKG1;**;MNniM;6| (|g| |n| $)
  (CONS #'|MAPPKG1;**;MNniM;6!0| (VECTOR $ |n| |g|))) 

(DEFUN |MAPPKG1;**;MNniM;6!0| (|#1| $$)
  (SPADCALL (QREFELT $$ 2) (QREFELT $$ 1) |#1|
            (QREFELT (QREFELT $$ 0) 19))) 

(DEFUN |MAPPKG1;recur;2M;7| (|fnaa| $)
  (CONS #'|MAPPKG1;recur;2M;7!0| (VECTOR $ |fnaa|))) 

(DEFUN |MAPPKG1;recur;2M;7!0| (|#1| |#2| $$)
  (SPADCALL (QREFELT $$ 1) |#1| |#2| (QREFELT (QREFELT $$ 0) 22))) 

(DEFUN |MappingPackage1| (#0=#:G1838)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1839)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache| '|MappingPackage1|)
                       '|domainEqualList|)
                   . #2=(|MappingPackage1|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|MappingPackage1;| #0#) (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache| '|MappingPackage1|))))))))))) 

(DEFUN |MappingPackage1;| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|MappingPackage1|))
        (LETT |dv$| (LIST '|MappingPackage1| DV$1) . #0#)
        (LETT $ (GETREFV 24) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|MappingPackage1| (LIST DV$1)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        $)))) 

(MAKEPROP '|MappingPackage1| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|Mapping| 6)
             |MAPPKG1;nullary;AM;1| |MAPPKG1;coerce;AM;2|
             (|Mapping| 6 6) |MAPPKG1;fixedPoint;MA;3| (|List| 6)
             (|Mapping| 12 12) (|Integer|) |MAPPKG1;fixedPoint;MIL;4|
             |MAPPKG1;id;2A;5| (|NonNegativeInteger|)
             (|MappingPackageInternalHacks1| 6) (0 . |iter|)
             |MAPPKG1;**;MNniM;6| (|Mapping| 6 17 6) (7 . |recur|)
             |MAPPKG1;recur;2M;7|)
          '#(|recur| 14 |nullary| 19 |id| 24 |fixedPoint| 29 |coerce|
             40 ** 45)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 23
                                '(3 18 6 10 17 6 19 3 18 6 21 17 6 22 1
                                  0 21 21 23 1 0 7 6 8 1 0 6 6 16 1 0 6
                                  10 11 2 0 12 13 14 15 1 0 7 6 9 2 0
                                  10 10 17 20)))))
          '|lookupComplete|)) 
