
(/VERSIONCHECK 2) 

(DEFUN |SET;#;$Nni;1| (|s| $) (SPADCALL |s| (QREFELT $ 9))) 

(DEFUN |SET;brace;$;2| ($) (SPADCALL (QREFELT $ 11))) 

(DEFUN |SET;set;$;3| ($) (SPADCALL (QREFELT $ 11))) 

(DEFUN |SET;empty;$;4| ($) (SPADCALL (QREFELT $ 14))) 

(DEFUN |SET;copy;2$;5| (|s| $) (SPADCALL |s| (QREFELT $ 15))) 

(DEFUN |SET;parts;$L;6| (|s| $) (SPADCALL |s| (QREFELT $ 18))) 

(DEFUN |SET;inspect;$S;7| (|s| $)
  (COND
    ((SPADCALL |s| (QREFELT $ 21)) (|error| "Empty set"))
    ('T (SPADCALL |s| (SPADCALL |s| (QREFELT $ 23)) (QREFELT $ 24))))) 

(DEFUN |SET;extract!;$S;8| (|s| $)
  (PROG (|x|)
    (RETURN
      (SEQ (LETT |x| (SPADCALL |s| (QREFELT $ 25)) |SET;extract!;$S;8|)
           (SPADCALL |s| (SPADCALL |s| (QREFELT $ 23)) (QREFELT $ 26))
           (EXIT |x|))))) 

(DEFUN |SET;find;M$U;9| (|f| |s| $) (SPADCALL |f| |s| (QREFELT $ 30))) 

(DEFUN |SET;map;M2$;10| (|f| |s| $)
  (SPADCALL |f| (SPADCALL |s| (QREFELT $ 16)) (QREFELT $ 33))) 

(DEFUN |SET;reduce;M$S;11| (|f| |s| $)
  (SPADCALL |f| |s| (QREFELT $ 36))) 

(DEFUN |SET;reduce;M$2S;12| (|f| |s| |x| $)
  (SPADCALL |f| |s| |x| (QREFELT $ 38))) 

(DEFUN |SET;reduce;M$3S;13| (|f| |s| |x| |y| $)
  (SPADCALL |f| |s| |x| |y| (QREFELT $ 40))) 

(DEFUN |SET;convert;$If;14| (|x| $)
  (SPADCALL
      (LIST (SPADCALL (SPADCALL "set" (QREFELT $ 44)) (QREFELT $ 46))
            (SPADCALL (SPADCALL |x| (QREFELT $ 19)) (QREFELT $ 47)))
      (QREFELT $ 49))) 

(DEFUN |SET;=;2$B;15| (|s| |t| $) (SPADCALL |s| |t| (QREFELT $ 51))) 

(DEFUN |SET;max;$S;16| (|s| $) (SPADCALL |s| (QREFELT $ 25))) 

(DEFUN |SET;min;$S;17| (|s| $)
  (COND
    ((SPADCALL |s| (QREFELT $ 21)) (|error| "Empty set"))
    ('T (SPADCALL |s| (SPADCALL |s| (QREFELT $ 54)) (QREFELT $ 24))))) 

(DEFUN |SET;map!;M2$;18| (|f| |s| $)
  (SEQ (SPADCALL |f| |s| (QREFELT $ 56)) (SPADCALL |s| (QREFELT $ 57))
       (EXIT (SPADCALL |s| (QREFELT $ 58))))) 

(DEFUN |SET;construct;L$;19| (|l| $)
  (PROG (|n| |a| |x| #0=#:G1869 |i|)
    (RETURN
      (SEQ (COND
             ((ZEROP (LETT |n| (LENGTH |l|)
                           . #1=(|SET;construct;L$;19|)))
              (SPADCALL (QREFELT $ 11)))
             ('T
              (SEQ (LETT |a|
                         (SPADCALL |n| (|SPADfirst| |l|)
                             (QREFELT $ 59)) . #1#)
                   (SEQ (LETT |x| NIL . #1#) (LETT #0# |l| . #1#)
                        (LETT |i| (SPADCALL |a| (QREFELT $ 54)) . #1#)
                        G190
                        (COND
                          ((OR (ATOM #0#)
                               (PROGN (LETT |x| (CAR #0#) . #1#) NIL))
                           (GO G191)))
                        (SEQ (EXIT (SPADCALL |a| |i| |x|
                                    (QREFELT $ 60))))
                        (LETT |i|
                              (PROG1 (+ |i| 1)
                                (LETT #0# (CDR #0#) . #1#)) . #1#)
                        (GO G190) G191 (EXIT NIL))
                   (EXIT (SPADCALL (SPADCALL |a| (QREFELT $ 57))
                             (QREFELT $ 58)))))))))) 

(DEFUN |SET;insert!;S2$;20| (|x| |s| $)
  (PROG (|n| |k|)
    (RETURN
      (SEQ (LETT |n| (+ (SPADCALL |s| (QREFELT $ 23)) 1)
                 . #0=(|SET;insert!;S2$;20|))
           (LETT |k| (SPADCALL |s| (QREFELT $ 54)) . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((< |k| |n|)
                            (SPADCALL (SPADCALL |s| |k| (QREFELT $ 24))
                                |x| (QREFELT $ 62)))
                           ('T 'NIL)))
                   (GO G191)))
                (SEQ (EXIT (LETT |k| (+ |k| 1) . #0#))) NIL (GO G190)
                G191 (EXIT NIL))
           (COND
             ((< |k| |n|)
              (COND
                ((SPADCALL (SPADCALL |s| |k| (QREFELT $ 24)) |x|
                     (QREFELT $ 63))
                 (EXIT |s|)))))
           (EXIT (SPADCALL |x| |s| |k| (QREFELT $ 64))))))) 

(DEFUN |SET;member?;S$B;21| (|x| |s| $)
  (PROG (|m| |b| |t|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |s| (QREFELT $ 21)) 'NIL)
             ('T
              (SEQ (LETT |t| (SPADCALL |s| (QREFELT $ 23))
                         . #0=(|SET;member?;S$B;21|))
                   (LETT |b| (SPADCALL |s| (QREFELT $ 54)) . #0#)
                   (SEQ G190 (COND ((NULL (< |b| |t|)) (GO G191)))
                        (SEQ (LETT |m| (QUOTIENT2 (+ |b| |t|) 2) . #0#)
                             (EXIT (COND
                                     ((SPADCALL
                                       (SPADCALL |s| |m|
                                        (QREFELT $ 24))
                                       |x| (QREFELT $ 62))
                                      (LETT |b| (+ |m| 1) . #0#))
                                     ('T (LETT |t| |m| . #0#)))))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT (SPADCALL |x|
                             (SPADCALL |s| |t| (QREFELT $ 24))
                             (QREFELT $ 63)))))))))) 

(DEFUN |SET;remove!;S2$;22| (|x| |s| $)
  (PROG (|n| |k|)
    (RETURN
      (SEQ (LETT |n| (+ (SPADCALL |s| (QREFELT $ 23)) 1)
                 . #0=(|SET;remove!;S2$;22|))
           (LETT |k| (SPADCALL |s| (QREFELT $ 54)) . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((< |k| |n|)
                            (SPADCALL (SPADCALL |s| |k| (QREFELT $ 24))
                                |x| (QREFELT $ 62)))
                           ('T 'NIL)))
                   (GO G191)))
                (SEQ (EXIT (LETT |k| (+ |k| 1) . #0#))) NIL (GO G190)
                G191 (EXIT NIL))
           (COND
             ((< |k| |n|)
              (COND
                ((SPADCALL |x| (SPADCALL |s| |k| (QREFELT $ 24))
                     (QREFELT $ 63))
                 (EXIT (SPADCALL |s| |k| (QREFELT $ 26)))))))
           (EXIT |s|))))) 

(DEFUN |SET;intersect;3$;23| (|s| |t| $)
  (PROG (|m| |n| |r| |i| |j|)
    (RETURN
      (SEQ (LETT |m| (SPADCALL |s| (QREFELT $ 23))
                 . #0=(|SET;intersect;3$;23|))
           (LETT |n| (SPADCALL |t| (QREFELT $ 23)) . #0#)
           (LETT |i| (SPADCALL |s| (QREFELT $ 54)) . #0#)
           (LETT |j| (SPADCALL |t| (QREFELT $ 54)) . #0#)
           (LETT |r| (SPADCALL (QREFELT $ 11)) . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((OR (< |m| |i|) (< |n| |j|)) 'NIL)
                           ('T 'T)))
                   (GO G191)))
                (SEQ (EXIT (COND
                             ((SPADCALL
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (QREFELT $ 63))
                              (SEQ (SPADCALL |r|
                                    (SPADCALL |s| |i| (QREFELT $ 24))
                                    (QREFELT $ 68))
                                   (LETT |i| (+ |i| 1) . #0#)
                                   (EXIT (LETT |j| (+ |j| 1) . #0#))))
                             ((SPADCALL
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (QREFELT $ 62))
                              (LETT |i| (+ |i| 1) . #0#))
                             ('T (LETT |j| (+ |j| 1) . #0#)))))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT |r|))))) 

(DEFUN |SET;difference;3$;24| (|s| |t| $)
  (PROG (|m| |n| |r| |j| |i|)
    (RETURN
      (SEQ (LETT |m| (SPADCALL |s| (QREFELT $ 23))
                 . #0=(|SET;difference;3$;24|))
           (LETT |n| (SPADCALL |t| (QREFELT $ 23)) . #0#)
           (LETT |i| (SPADCALL |s| (QREFELT $ 54)) . #0#)
           (LETT |j| (SPADCALL |t| (QREFELT $ 54)) . #0#)
           (LETT |r| (SPADCALL (QREFELT $ 11)) . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((OR (< |m| |i|) (< |n| |j|)) 'NIL)
                           ('T 'T)))
                   #1=(GO G191)))
                (SEQ (EXIT (COND
                             ((SPADCALL
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (QREFELT $ 63))
                              (SEQ (LETT |i| (+ |i| 1) . #0#)
                                   (EXIT (LETT |j| (+ |j| 1) . #0#))))
                             ((SPADCALL
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (QREFELT $ 62))
                              (SEQ (SPADCALL |r|
                                    (SPADCALL |s| |i| (QREFELT $ 24))
                                    (QREFELT $ 68))
                                   (EXIT (LETT |i| (+ |i| 1) . #0#))))
                             ('T (LETT |j| (+ |j| 1) . #0#)))))
                NIL #2=(GO G190) G191 (EXIT NIL))
           (SEQ G190
                (COND ((NULL (COND ((< |m| |i|) 'NIL) ('T 'T))) #1#))
                (SEQ (SPADCALL |r| (SPADCALL |s| |i| (QREFELT $ 24))
                         (QREFELT $ 68))
                     (EXIT (LETT |i| (+ |i| 1) . #0#)))
                NIL #2# G191 (EXIT NIL))
           (EXIT |r|))))) 

(DEFUN |SET;symmetricDifference;3$;25| (|s| |t| $)
  (PROG (|m| |n| |r| |i| |j|)
    (RETURN
      (SEQ (LETT |m| (SPADCALL |s| (QREFELT $ 23))
                 . #0=(|SET;symmetricDifference;3$;25|))
           (LETT |n| (SPADCALL |t| (QREFELT $ 23)) . #0#)
           (LETT |i| (SPADCALL |s| (QREFELT $ 54)) . #0#)
           (LETT |j| (SPADCALL |t| (QREFELT $ 54)) . #0#)
           (LETT |r| (SPADCALL (QREFELT $ 11)) . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((OR (< |m| |i|) (< |n| |j|)) 'NIL)
                           ('T 'T)))
                   #1=(GO G191)))
                (SEQ (EXIT (COND
                             ((SPADCALL
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (QREFELT $ 62))
                              (SEQ (SPADCALL |r|
                                    (SPADCALL |s| |i| (QREFELT $ 24))
                                    (QREFELT $ 68))
                                   (EXIT (LETT |i| (+ |i| 1) . #0#))))
                             ((SPADCALL
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (QREFELT $ 62))
                              (SEQ (SPADCALL |r|
                                    (SPADCALL |t| |j| (QREFELT $ 24))
                                    (QREFELT $ 68))
                                   (EXIT (LETT |j| (+ |j| 1) . #0#))))
                             ('T
                              (SEQ (LETT |i| (+ |i| 1) . #0#)
                                   (EXIT (LETT |j| (+ |j| 1) . #0#)))))))
                NIL #2=(GO G190) G191 (EXIT NIL))
           (SEQ G190
                (COND ((NULL (COND ((< |m| |i|) 'NIL) ('T 'T))) #1#))
                (SEQ (SPADCALL |r| (SPADCALL |s| |i| (QREFELT $ 24))
                         (QREFELT $ 68))
                     (EXIT (LETT |i| (+ |i| 1) . #0#)))
                NIL #2# G191 (EXIT NIL))
           (SEQ G190
                (COND ((NULL (COND ((< |n| |j|) 'NIL) ('T 'T))) #1#))
                (SEQ (SPADCALL |r| (SPADCALL |t| |j| (QREFELT $ 24))
                         (QREFELT $ 68))
                     (EXIT (LETT |j| (+ |j| 1) . #0#)))
                NIL #2# G191 (EXIT NIL))
           (EXIT |r|))))) 

(DEFUN |SET;subset?;2$B;26| (|s| |t| $)
  (PROG (|m| |n| |i| |j| #0=#:G1916)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |m| (SPADCALL |s| (QREFELT $ 23))
                            . #1=(|SET;subset?;2$B;26|))
                      (LETT |n| (SPADCALL |t| (QREFELT $ 23)) . #1#)
                      (EXIT (COND
                              ((< |n| |m|) 'NIL)
                              ('T
                               (SEQ (LETT |i|
                                     (SPADCALL |s| (QREFELT $ 54)) . #1#)
                                    (LETT |j|
                                     (SPADCALL |t| (QREFELT $ 54)) . #1#)
                                    (SEQ G190
                                     (COND
                                       ((NULL
                                         (COND
                                           ((OR (< |m| |i|)
                                             (< |n| |j|))
                                            'NIL)
                                           ('T 'T)))
                                        (GO G191)))
                                     (SEQ
                                      (EXIT
                                       (COND
                                         ((SPADCALL
                                           (SPADCALL |s| |i|
                                            (QREFELT $ 24))
                                           (SPADCALL |t| |j|
                                            (QREFELT $ 24))
                                           (QREFELT $ 63))
                                          (SEQ
                                           (LETT |i| (+ |i| 1) . #1#)
                                           (EXIT
                                            (LETT |j| (+ |j| 1) . #1#))))
                                         ((SPADCALL
                                           (SPADCALL |t| |j|
                                            (QREFELT $ 24))
                                           (SPADCALL |s| |i|
                                            (QREFELT $ 24))
                                           (QREFELT $ 62))
                                          (LETT |j| (+ |j| 1) . #1#))
                                         ('T
                                          (PROGN
                                            (LETT #0# 'NIL . #1#)
                                            (GO #0#))))))
                                     NIL (GO G190) G191 (EXIT NIL))
                                    (EXIT (< |m| |i|))))))))
           #0# (EXIT #0#))))) 

(DEFUN |SET;union;3$;27| (|s| |t| $)
  (PROG (|m| |n| |r| |i| |j|)
    (RETURN
      (SEQ (LETT |m| (SPADCALL |s| (QREFELT $ 23))
                 . #0=(|SET;union;3$;27|))
           (LETT |n| (SPADCALL |t| (QREFELT $ 23)) . #0#)
           (LETT |i| (SPADCALL |s| (QREFELT $ 54)) . #0#)
           (LETT |j| (SPADCALL |t| (QREFELT $ 54)) . #0#)
           (LETT |r| (SPADCALL (QREFELT $ 11)) . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((OR (< |m| |i|) (< |n| |j|)) 'NIL)
                           ('T 'T)))
                   #1=(GO G191)))
                (SEQ (EXIT (COND
                             ((SPADCALL
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (QREFELT $ 63))
                              (SEQ (SPADCALL |r|
                                    (SPADCALL |s| |i| (QREFELT $ 24))
                                    (QREFELT $ 68))
                                   (LETT |i| (+ |i| 1) . #0#)
                                   (EXIT (LETT |j| (+ |j| 1) . #0#))))
                             ((SPADCALL
                                  (SPADCALL |s| |i| (QREFELT $ 24))
                                  (SPADCALL |t| |j| (QREFELT $ 24))
                                  (QREFELT $ 62))
                              (SEQ (SPADCALL |r|
                                    (SPADCALL |s| |i| (QREFELT $ 24))
                                    (QREFELT $ 68))
                                   (EXIT (LETT |i| (+ |i| 1) . #0#))))
                             ('T
                              (SEQ (SPADCALL |r|
                                    (SPADCALL |t| |j| (QREFELT $ 24))
                                    (QREFELT $ 68))
                                   (EXIT (LETT |j| (+ |j| 1) . #0#)))))))
                NIL #2=(GO G190) G191 (EXIT NIL))
           (SEQ G190
                (COND ((NULL (COND ((< |m| |i|) 'NIL) ('T 'T))) #1#))
                (SEQ (SPADCALL |r| (SPADCALL |s| |i| (QREFELT $ 24))
                         (QREFELT $ 68))
                     (EXIT (LETT |i| (+ |i| 1) . #0#)))
                NIL #2# G191 (EXIT NIL))
           (SEQ G190
                (COND ((NULL (COND ((< |n| |j|) 'NIL) ('T 'T))) #1#))
                (SEQ (SPADCALL |r| (SPADCALL |t| |j| (QREFELT $ 24))
                         (QREFELT $ 68))
                     (EXIT (LETT |j| (+ |j| 1) . #0#)))
                NIL #2# G191 (EXIT NIL))
           (EXIT |r|))))) 

(DEFUN |SET;insert!;S2$;28| (|x| |s| $)
  (PROG (|k| #0=#:G1933 #1=#:G1932 #2=#:G1930)
    (RETURN
      (SEQ (EXIT (SEQ (SEQ (EXIT (SEQ (LETT |k|
                                       (SPADCALL |s| (QREFELT $ 54))
                                       . #3=(|SET;insert!;S2$;28|))
                                      (LETT #0#
                                       (SPADCALL |s| (QREFELT $ 23)) . #3#)
                                      G190
                                      (COND ((> |k| #0#) (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (COND
                                          ((SPADCALL
                                            (SPADCALL |s| |k|
                                             (QREFELT $ 24))
                                            |x| (QREFELT $ 63))
                                           (PROGN
                                             (LETT #2#
                                              (PROGN
                                                (LETT #1# |s| . #3#)
                                                (GO #1#)) . #3#)
                                             (GO #2#))))))
                                      (LETT |k| (+ |k| 1) . #3#)
                                      (GO G190) G191 (EXIT NIL)))
                           #2# (EXIT #2#))
                      (EXIT (SPADCALL |x| |s|
                                (+ (SPADCALL |s| (QREFELT $ 23)) 1)
                                (QREFELT $ 64)))))
           #1# (EXIT #1#))))) 

(DEFUN |SET;remove!;S2$;29| (|x| |s| $)
  (PROG (|n| #0=#:G1937 |k|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |n| (+ (SPADCALL |s| (QREFELT $ 23)) 1)
                            . #1=(|SET;remove!;S2$;29|))
                      (LETT |k| (SPADCALL |s| (QREFELT $ 54)) . #1#)
                      (SEQ G190 (COND ((NULL (< |k| |n|)) (GO G191)))
                           (SEQ (EXIT (COND
                                        ((SPADCALL |x|
                                          (SPADCALL |s| |k|
                                           (QREFELT $ 24))
                                          (QREFELT $ 63))
                                         (PROGN
                                           (LETT #0#
                                            (SPADCALL |s| |k|
                                             (QREFELT $ 26)) . #1#)
                                           (GO #0#)))
                                        ('T (LETT |k| (+ |k| 1) . #1#)))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (EXIT |s|)))
           #0# (EXIT #0#))))) 

(DEFUN |SET;map!;M2$;30| (|f| |s| $)
  (SEQ (SPADCALL |f| |s| (QREFELT $ 56))
       (EXIT (SPADCALL |s| (QREFELT $ 58))))) 

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

(DEFUN |Set;| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$| #0=#:G1941)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #1=(|Set|))
        (LETT |dv$| (LIST '|Set| DV$1) . #1#)
        (LETT $ (GETREFV 79) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1|
                                '(|ConvertibleTo| (|InputForm|)))
                            (|HasCategory| |#1| '(|Finite|))
                            (|HasCategory| |#1| '(|SetCategory|))
                            (|HasCategory| |#1| '(|OrderedSet|))
                            (AND (|HasCategory| |#1| '(|SetCategory|))
                                 (|HasCategory| |#1|
                                     (LIST '|Evalable|
                                      (|devaluate| |#1|))))
                            (OR (AND (|HasCategory| |#1| '(|Finite|))
                                     (|HasCategory| |#1|
                                      (LIST '|Evalable|
                                       (|devaluate| |#1|))))
                                (AND (|HasCategory| |#1|
                                      '(|SetCategory|))
                                     (|HasCategory| |#1|
                                      (LIST '|Evalable|
                                       (|devaluate| |#1|))))))) . #1#))
        (|haddProp| |$ConstructorCache| '|Set| (LIST DV$1) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (AND (|HasCategory| $ '(|shallowlyMutable|))
             (|augmentPredVector| $ 64))
        (AND (LETT #0# (|HasCategory| $ '(|finiteAggregate|)) . #1#)
             (|augmentPredVector| $ 128))
        (AND #0# (|HasCategory| |#1| '(|SetCategory|))
             (|augmentPredVector| $ 256))
        (QSETREFV $ 7 (|FlexibleArray| |#1|))
        (COND
          ((|testBitVector| |pv$| 1)
           (QSETREFV $ 50
               (CONS (|dispatchFunction| |SET;convert;$If;14|) $))))
        (COND
          ((|testBitVector| |pv$| 4)
           (PROGN
             (QSETREFV $ 52
                 (CONS (|dispatchFunction| |SET;=;2$B;15|) $))
             (QSETREFV $ 53
                 (CONS (|dispatchFunction| |SET;max;$S;16|) $))
             (QSETREFV $ 55
                 (CONS (|dispatchFunction| |SET;min;$S;17|) $))
             (QSETREFV $ 33
                 (CONS (|dispatchFunction| |SET;map!;M2$;18|) $))
             (QSETREFV $ 61
                 (CONS (|dispatchFunction| |SET;construct;L$;19|) $))
             (QSETREFV $ 65
                 (CONS (|dispatchFunction| |SET;insert!;S2$;20|) $))
             (QSETREFV $ 66
                 (CONS (|dispatchFunction| |SET;member?;S$B;21|) $))
             (QSETREFV $ 67
                 (CONS (|dispatchFunction| |SET;remove!;S2$;22|) $))
             (QSETREFV $ 69
                 (CONS (|dispatchFunction| |SET;intersect;3$;23|) $))
             (QSETREFV $ 70
                 (CONS (|dispatchFunction| |SET;difference;3$;24|) $))
             (QSETREFV $ 71
                 (CONS (|dispatchFunction|
                           |SET;symmetricDifference;3$;25|)
                       $))
             (QSETREFV $ 72
                 (CONS (|dispatchFunction| |SET;subset?;2$B;26|) $))
             (QSETREFV $ 73
                 (CONS (|dispatchFunction| |SET;union;3$;27|) $))))
          ('T
           (PROGN
             (QSETREFV $ 65
                 (CONS (|dispatchFunction| |SET;insert!;S2$;28|) $))
             (QSETREFV $ 67
                 (CONS (|dispatchFunction| |SET;remove!;S2$;29|) $))
             (QSETREFV $ 33
                 (CONS (|dispatchFunction| |SET;map!;M2$;30|) $)))))
        $)))) 

(MAKEPROP '|Set| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) '|Rep|
             (|NonNegativeInteger|) (0 . |#|) |SET;#;$Nni;1|
             |SET;empty;$;4| |SET;brace;$;2| |SET;set;$;3|
             (5 . |empty|) (9 . |copy|) |SET;copy;2$;5| (|List| 6)
             (14 . |parts|) |SET;parts;$L;6| (|Boolean|)
             (19 . |empty?|) (|Integer|) (24 . |maxIndex|) (29 . |elt|)
             |SET;inspect;$S;7| (35 . |delete!|) |SET;extract!;$S;8|
             (|Union| 6 '"failed") (|Mapping| 20 6) (41 . |find|)
             |SET;find;M$U;9| (|Mapping| 6 6) (47 . |map!|)
             |SET;map;M2$;10| (|Mapping| 6 6 6) (53 . |reduce|)
             |SET;reduce;M$S;11| (59 . |reduce|) |SET;reduce;M$2S;12|
             (66 . |reduce|) |SET;reduce;M$3S;13| (|String|) (|Symbol|)
             (74 . |coerce|) (|InputForm|) (79 . |convert|)
             (84 . |convert|) (|List| $) (89 . |convert|)
             (94 . |convert|) (99 . =) (105 . =) (111 . |max|)
             (116 . |minIndex|) (121 . |min|) (126 . |map!|)
             (132 . |sort!|) (137 . |removeDuplicates!|) (142 . |new|)
             (148 . |setelt|) (155 . |construct|) (160 . <) (166 . =)
             (172 . |insert!|) (179 . |insert!|) (185 . |member?|)
             (191 . |remove!|) (197 . |concat!|) (203 . |intersect|)
             (209 . |difference|) (215 . |symmetricDifference|)
             (221 . |subset?|) (227 . |union|) (|List| 75)
             (|Equation| 6) (|PositiveInteger|) (|SingleInteger|)
             (|OutputForm|))
          '#(~= 233 |universe| 239 |union| 243 |symmetricDifference|
             261 |subset?| 267 |size?| 273 |size| 279 |set| 283
             |select!| 292 |select| 298 |sample| 304 |removeDuplicates|
             308 |remove!| 313 |remove| 325 |reduce| 337 |random| 358
             |parts| 362 |more?| 367 |min| 373 |members| 378 |member?|
             383 |max| 389 |map!| 394 |map| 400 |lookup| 406 |less?|
             411 |latex| 417 |intersect| 422 |inspect| 428 |insert!|
             433 |index| 439 |hash| 444 |find| 449 |extract!| 455
             |every?| 460 |eval| 466 |eq?| 492 |enumerate| 498 |empty?|
             502 |empty| 507 |difference| 511 |dictionary| 523 |count|
             532 |copy| 544 |convert| 549 |construct| 554 |complement|
             559 |coerce| 564 |cardinality| 569 |brace| 574 |bag| 583
             |any?| 588 = 594 < 600 |#| 606)
          'NIL
          (CONS (|makeByteWordVec2| 6
                    '(0 0 0 0 0 0 0 2 0 0 6 0 0 0 0 0 0 6 1))
                (CONS '#(|FiniteSetAggregate&| |Dictionary&|
                         |DictionaryOperations&| |SetAggregate&|
                         |BagAggregate&| |Collection&|
                         |HomogeneousAggregate&| |Finite&|
                         |SetCategory&| |Aggregate&| |Evalable&| NIL
                         NIL |BasicType&| NIL NIL NIL |InnerEvalable&|
                         NIL)
                      (CONS '#((|FiniteSetAggregate| 6)
                               (|Dictionary| 6)
                               (|DictionaryOperations| 6)
                               (|SetAggregate| 6) (|BagAggregate| 6)
                               (|Collection| 6)
                               (|HomogeneousAggregate| 6) (|Finite|)
                               (|SetCategory|) (|Aggregate|)
                               (|Evalable| 6) (|finiteAggregate|)
                               (|partiallyOrderedSet|) (|BasicType|)
                               (|Type|) (|shallowlyMutable|)
                               (|CoercibleTo| 78) (|InnerEvalable| 6 6)
                               (|ConvertibleTo| 45))
                            (|makeByteWordVec2| 78
                                '(1 7 8 0 9 0 7 0 14 1 7 0 0 15 1 7 17
                                  0 18 1 0 20 0 21 1 7 22 0 23 2 7 6 0
                                  22 24 2 7 0 0 22 26 2 7 28 29 0 30 2
                                  0 0 32 0 33 2 7 6 35 0 36 3 7 6 35 0
                                  6 38 4 7 6 35 0 6 6 40 1 43 0 42 44 1
                                  45 0 43 46 1 17 45 0 47 1 45 0 48 49
                                  1 0 45 0 50 2 7 20 0 0 51 2 0 20 0 0
                                  52 1 0 6 0 53 1 7 22 0 54 1 0 6 0 55
                                  2 7 0 32 0 56 1 7 0 0 57 1 7 0 0 58 2
                                  7 0 8 6 59 3 7 6 0 22 6 60 1 0 0 17
                                  61 2 6 20 0 0 62 2 6 20 0 0 63 3 7 0
                                  6 0 22 64 2 0 0 6 0 65 2 0 20 6 0 66
                                  2 0 0 6 0 67 2 7 0 0 6 68 2 0 0 0 0
                                  69 2 0 0 0 0 70 2 0 0 0 0 71 2 0 20 0
                                  0 72 2 0 0 0 0 73 2 0 20 0 0 1 0 2 0
                                  1 2 0 0 0 6 1 2 0 0 0 0 73 2 0 0 6 0
                                  1 2 0 0 0 0 71 2 0 20 0 0 72 2 0 20 0
                                  8 1 0 2 8 1 0 0 0 13 1 0 0 17 1 2 8 0
                                  29 0 1 2 8 0 29 0 1 0 0 0 1 1 9 0 0 1
                                  2 8 0 6 0 67 2 8 0 29 0 1 2 9 0 6 0 1
                                  2 8 0 29 0 1 4 9 6 35 0 6 6 41 2 8 6
                                  35 0 37 3 8 6 35 0 6 39 0 2 0 1 1 8
                                  17 0 19 2 0 20 0 8 1 1 4 6 0 55 1 8
                                  17 0 1 2 9 20 6 0 66 1 4 6 0 53 2 7 0
                                  32 0 33 2 0 0 32 0 34 1 2 76 0 1 2 0
                                  20 0 8 1 1 0 42 0 1 2 0 0 0 0 69 1 0
                                  6 0 25 2 0 0 6 0 65 1 2 0 76 1 1 0 77
                                  0 1 2 0 28 29 0 31 1 0 6 0 27 2 8 20
                                  29 0 1 3 5 0 0 17 17 1 3 5 0 0 6 6 1
                                  2 5 0 0 74 1 2 5 0 0 75 1 2 0 20 0 0
                                  1 0 2 48 1 1 0 20 0 21 0 0 0 11 2 0 0
                                  0 6 1 2 0 0 0 0 70 1 0 0 17 1 0 0 0 1
                                  2 9 8 6 0 1 2 8 8 29 0 1 1 0 0 0 16 1
                                  1 45 0 50 1 0 0 17 61 1 2 0 0 1 1 0
                                  78 0 1 1 0 8 0 1 0 0 0 12 1 0 0 17 1
                                  1 0 0 17 1 2 8 20 29 0 1 2 0 20 0 0
                                  52 2 0 20 0 0 1 1 8 8 0 10)))))
          '|lookupComplete|)) 
