
(/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 (|g1| |g0|)
    (RETURN
     (SEQ (LETT |g0| (GENSYM) . #1=(|MAPPKG1;fixedPoint;MA;3|))
          (LETT |g1| (SPADCALL |g0| |faa|) . #1#)
          (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 (#1=#:G672 #2=#:G671 #3=#:G673 #4=#:G678 |e0| #5=#:G679 |e1| |g1| |g0|
         |i| #6=#:G677)
    (RETURN
     (SEQ
      (LETT |g0|
            (PROGN
             (LETT #6# NIL . #7=(|MAPPKG1;fixedPoint;MIL;4|))
             (SEQ (LETT |i| 1 . #7#) G190
                  (COND ((QSGREATERP |i| |n|) #8=(GO G191)))
                  (SEQ (EXIT (LETT #6# (CONS (GENSYM) #6#) . #7#)))
                  (LETT |i| (QSADD1 |i|) . #7#) #9=(GO G190) G191
                  (EXIT (NREVERSE0 #6#))))
            . #7#)
      (LETT |g1| (SPADCALL |g0| |fll|) . #7#)
      (EXIT
       (COND
        ((PROGN
          (LETT #1# NIL . #7#)
          (SEQ (LETT |e1| NIL . #7#) (LETT #5# |g1| . #7#)
               (LETT |e0| NIL . #7#) (LETT #4# |g0| . #7#) G190
               (COND
                ((OR (ATOM #4#) (PROGN (LETT |e0| (CAR #4#) . #7#) NIL)
                     (ATOM #5#) (PROGN (LETT |e1| (CAR #5#) . #7#) NIL))
                 #8#))
               (SEQ
                (EXIT
                 (PROGN
                  (LETT #3# (EQ |e0| |e1|) . #7#)
                  (COND (#1# (LETT #2# (COND (#2# 'T) ('T #3#)) . #7#))
                        ('T
                         (PROGN (LETT #2# #3# . #7#) (LETT #1# 'T . #7#)))))))
               (LETT #4# (PROG1 (CDR #4#) (LETT #5# (CDR #5#) . #7#)) . #7#)
               #9# G191 (EXIT NIL))
          (COND (#1# #2#) (#10='T 'NIL)))
         (|error| "All points are fixed points"))
        (#10# (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| $)
  (PROG () (RETURN (CONS #'|MAPPKG1;^;MNniM;6!0| (VECTOR $ |n| |g|))))) 

(DEFUN |MAPPKG1;^;MNniM;6!0| (|a1| $$)
  (PROG (|g| |n| $)
    (LETT |g| (QREFELT $$ 2) . #1=(|MAPPKG1;^;MNniM;6|))
    (LETT |n| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |g| |n| |a1| (QREFELT $ 19)))))) 

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

(DEFUN |MAPPKG1;recur;2M;7!0| (|n1| |a2| $$)
  (PROG (|fnaa| $)
    (LETT |fnaa| (QREFELT $$ 1) . #1=(|MAPPKG1;recur;2M;7|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |fnaa| |n1| |a2| (QREFELT $ 22)))))) 

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

(DEFUN |MappingPackage1;| (|#1|)
  (PROG (|pv$| $ |dv$| DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|MappingPackage1|))
      (LETT |dv$| (LIST '|MappingPackage1| DV$1) . #1#)
      (LETT $ (GETREFV 24) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|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|)) 
