
(/VERSIONCHECK 2) 

(PUT '|SAOS;create;$;1| '|SPADreplace| '(XLAM NIL "?")) 

(DEFUN |SAOS;create;$;1| ($) "?") 

(PUT '|SAOS;<;2$B;2| '|SPADreplace| '(XLAM (|a| |b|) 'NIL)) 

(DEFUN |SAOS;<;2$B;2| (|a| |b| $) 'NIL) 

(DEFUN |SAOS;coerce;$Of;3| (|a| $) (SPADCALL "?" (QREFELT $ 11))) 

(PUT '|SAOS;=;2$B;4| '|SPADreplace| '(XLAM (|a| |b|) 'T)) 

(DEFUN |SAOS;=;2$B;4| (|a| |b| $) 'T) 

(PUT '|SAOS;min;3$;5| '|SPADreplace| '(XLAM (|a| |b|) |a|)) 

(DEFUN |SAOS;min;3$;5| (|a| |b| $) |a|) 

(PUT '|SAOS;max;3$;6| '|SPADreplace| '(XLAM (|a| |b|) |a|)) 

(DEFUN |SAOS;max;3$;6| (|a| |b| $) |a|) 

(DEFUN |SAOS;convert;$S;7| (|a| $) (SPADCALL "?" (QREFELT $ 17))) 

(DEFUN |SingletonAsOrderedSet| ()
  (PROG ()
    (RETURN
      (PROG (#0=#:G1823)
        (RETURN
          (COND
            ((LETT #0#
                   (HGET |$ConstructorCache| '|SingletonAsOrderedSet|)
                   . #1=(|SingletonAsOrderedSet|))
             (|CDRwithIncrement| (CDAR #0#)))
            ('T
             (UNWIND-PROTECT
               (PROG1 (CDDAR (HPUT |$ConstructorCache|
                                   '|SingletonAsOrderedSet|
                                   (LIST
                                    (CONS NIL
                                     (CONS 1
                                      (|SingletonAsOrderedSet;|))))))
                 (LETT #0# T . #1#))
               (COND
                 ((NOT #0#)
                  (HREM |$ConstructorCache| '|SingletonAsOrderedSet|))))))))))) 

(DEFUN |SingletonAsOrderedSet;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT |dv$| '(|SingletonAsOrderedSet|)
              . #0=(|SingletonAsOrderedSet|))
        (LETT $ (GETREFV 20) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|SingletonAsOrderedSet| NIL
            (CONS 1 $))
        (|stuffDomainSlots| $)
        $)))) 

(MAKEPROP '|SingletonAsOrderedSet| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL |SAOS;create;$;1| (|Boolean|)
             |SAOS;<;2$B;2| (|String|) (|OutputForm|)
             (0 . |outputForm|) |SAOS;coerce;$Of;3| |SAOS;=;2$B;4|
             |SAOS;min;3$;5| |SAOS;max;3$;6| (|Symbol|) (5 . |coerce|)
             |SAOS;convert;$S;7| (|SingleInteger|))
          '#(~= 10 |min| 16 |max| 22 |latex| 28 |hash| 33 |create| 38
             |convert| 42 |coerce| 47 >= 52 > 58 = 64 <= 70 < 76)
          'NIL
          (CONS (|makeByteWordVec2| 1 '(0 0 0 0))
                (CONS '#(|OrderedSet&| |SetCategory&| |BasicType&| NIL)
                      (CONS '#((|OrderedSet|) (|SetCategory|)
                               (|BasicType|) (|CoercibleTo| 10))
                            (|makeByteWordVec2| 19
                                '(1 10 0 9 11 1 16 0 9 17 2 0 7 0 0 1 2
                                  0 0 0 0 14 2 0 0 0 0 15 1 0 9 0 1 1 0
                                  19 0 1 0 0 0 6 1 0 16 0 18 1 0 10 0
                                  12 2 0 7 0 0 1 2 0 7 0 0 1 2 0 7 0 0
                                  13 2 0 7 0 0 1 2 0 7 0 0 8)))))
          '|lookupComplete|)) 

(MAKEPROP '|SingletonAsOrderedSet| 'NILADIC T) 
