
(/VERSIONCHECK 2) 

(PUT '|DBASE;coerce;L$;1| '|SPADreplace| '(XLAM (|u|) |u|)) 

(DEFUN |DBASE;coerce;L$;1| (|u| $) |u|) 

(DEFUN |DBASE;elt;$SDl;2| (|data| |s| $)
  (PROG (#1=#:G666 |x| #2=#:G665)
    (RETURN
     (SEQ
      (SPADCALL
       (PROGN
        (LETT #2# NIL . #3=(|DBASE;elt;$SDl;2|))
        (SEQ (LETT |x| NIL . #3#) (LETT #1# |data| . #3#) G190
             (COND
              ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #3#) NIL))
               (GO G191)))
             (SEQ
              (EXIT
               (LETT #2# (CONS (SPADCALL |x| |s| (QREFELT $ 11)) #2#) . #3#)))
             (LETT #1# (CDR #1#) . #3#) (GO G190) G191 (EXIT (NREVERSE0 #2#))))
       (QREFELT $ 14)))))) 

(DEFUN |DBASE;elt;$Qe$;3| (|data| |eq| $)
  (PROG (#1=#:G671 |x| #2=#:G670 |val| |field|)
    (RETURN
     (SEQ
      (LETT |field| (SPADCALL |eq| (QREFELT $ 17)) . #3=(|DBASE;elt;$Qe$;3|))
      (LETT |val| (SPADCALL |eq| (QREFELT $ 18)) . #3#)
      (EXIT
       (PROGN
        (LETT #2# NIL . #3#)
        (SEQ (LETT |x| NIL . #3#) (LETT #1# |data| . #3#) G190
             (COND
              ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #3#) NIL))
               (GO G191)))
             (SEQ
              (EXIT
               (COND
                ((|stringMatches?| |val| (SPADCALL |x| |field| (QREFELT $ 11)))
                 (LETT #2# (CONS |x| #2#) . #3#)))))
             (LETT #1# (CDR #1#) . #3#) (GO G190) G191
             (EXIT (NREVERSE0 #2#))))))))) 

(DEFUN |DBASE;+;3$;4| (|x| |y| $)
  (SPADCALL (SPADCALL |x| |y| (QREFELT $ 20)) (QREFELT $ 21))) 

(DEFUN |DBASE;-;3$;5| (|x| |y| $)
  (SPADCALL (SPADCALL |x| (QREFELT $ 24)) |y| (QREFELT $ 26))) 

(DEFUN |DBASE;coerce;$Of;6| (|data| $)
  (SPADCALL (LENGTH |data|) (QREFELT $ 30))) 

(DEFUN |DBASE;display;$V;7| (|data| $)
  (PROG (#1=#:G677 |x|)
    (RETURN
     (SEQ (LETT |x| NIL . #2=(|DBASE;display;$V;7|)) (LETT #1# |data| . #2#)
          G190
          (COND
           ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #2#) NIL)) (GO G191)))
          (SEQ (EXIT (SPADCALL |x| (QREFELT $ 33)))) (LETT #1# (CDR #1#) . #2#)
          (GO G190) G191 (EXIT NIL))))) 

(DEFUN |DBASE;fullDisplay;$V;8| (|data| $)
  (PROG (#1=#:G680 |x|)
    (RETURN
     (SEQ (LETT |x| NIL . #2=(|DBASE;fullDisplay;$V;8|))
          (LETT #1# |data| . #2#) G190
          (COND
           ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #2#) NIL)) (GO G191)))
          (SEQ (EXIT (SPADCALL |x| (QREFELT $ 35)))) (LETT #1# (CDR #1#) . #2#)
          (GO G190) G191 (EXIT NIL))))) 

(DEFUN |DBASE;fullDisplay;$2PiV;9| (|data| |n| |m| $)
  (PROG (#1=#:G683 |x| |i|)
    (RETURN
     (SEQ (LETT |i| 1 . #2=(|DBASE;fullDisplay;$2PiV;9|)) (LETT |x| NIL . #2#)
          (LETT #1# |data| . #2#) G190
          (COND
           ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #2#) NIL)
                (QSGREATERP |i| |m|))
            (GO G191)))
          (SEQ
           (EXIT (COND ((NULL (< |i| |n|)) (SPADCALL |x| (QREFELT $ 35))))))
          (LETT #1# (PROG1 (CDR #1#) (LETT |i| (QSADD1 |i|) . #2#)) . #2#)
          (GO G190) G191 (EXIT NIL))))) 

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

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

(MAKEPROP '|Database| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|List| 6) (|local| |#1|) '|Rep|
              |DBASE;coerce;L$;1| (|String|) (|Symbol|) (0 . |elt|) (|List| 9)
              (|DataList| 9) (6 . |coerce|) |DBASE;elt;$SDl;2|
              (|QueryEquation|) (11 . |variable|) (16 . |value|)
              |DBASE;elt;$Qe$;3| (21 . |merge|) (27 . |removeDuplicates!|)
              |DBASE;+;3$;4| (32 . |copy|) (37 . |copy|) (|MergeThing| 6)
              (42 . |mergeDifference|) |DBASE;-;3$;5| (|OutputForm|)
              (|NonNegativeInteger|) (48 . |coerce|) |DBASE;coerce;$Of;6|
              (|Void|) (53 . |display|) |DBASE;display;$V;7|
              (58 . |fullDisplay|) |DBASE;fullDisplay;$V;8| (|PositiveInteger|)
              |DBASE;fullDisplay;$2PiV;9| (|SingleInteger|) (|Boolean|))
           '#(~= 63 |latex| 69 |hash| 74 |fullDisplay| 79 |elt| 91 |display|
              103 |coerce| 108 = 118 - 124 + 130)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0))
                 (CONS '#(|SetCategory&| |BasicType&| NIL)
                       (CONS
                        '#((|SetCategory|) (|BasicType|) (|CoercibleTo| 28))
                        (|makeByteWordVec2| 40
                                            '(2 6 9 0 10 11 1 13 0 12 14 1 16
                                              10 0 17 1 16 9 0 18 2 7 0 0 0 20
                                              1 7 0 0 21 1 7 0 0 23 1 5 0 0 24
                                              2 25 5 5 5 26 1 29 28 0 30 1 6 32
                                              0 33 1 6 32 0 35 2 0 40 0 0 1 1 0
                                              9 0 1 1 0 39 0 1 3 0 32 0 37 37
                                              38 1 0 32 0 36 2 0 13 0 10 15 2 0
                                              0 0 16 19 1 0 32 0 34 1 0 0 5 8 1
                                              0 28 0 31 2 0 40 0 0 1 2 0 0 0 0
                                              27 2 0 0 0 0 22)))))
           '|lookupComplete|)) 
