
(/VERSIONCHECK 2) 

(DEFUN |PATLRES;new;$;1| ($)
  (CONS (SPADCALL (QREFELT $ 11)) (SPADCALL (QREFELT $ 13)))) 

(PUT '|PATLRES;atoms;$Pmr;2| '|SPADreplace| 'QCAR) 

(DEFUN |PATLRES;atoms;$Pmr;2| (|r| $) (QCAR |r|)) 

(PUT '|PATLRES;lists;$Pmr;3| '|SPADreplace| 'QCDR) 

(DEFUN |PATLRES;lists;$Pmr;3| (|r| $) (QCDR |r|)) 

(DEFUN |PATLRES;failed;$;4| ($)
  (CONS (SPADCALL (QREFELT $ 17)) (SPADCALL (QREFELT $ 18)))) 

(DEFUN |PATLRES;failed?;$B;5| (|r| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 15)) (QREFELT $ 21))) 

(DEFUN |PATLRES;=;2$B;6| (|x| |y| $)
  (COND
   ((SPADCALL (SPADCALL |x| (QREFELT $ 15)) (SPADCALL |y| (QREFELT $ 15))
              (QREFELT $ 23))
    (SPADCALL (SPADCALL |x| (QREFELT $ 16)) (SPADCALL |y| (QREFELT $ 16))
              (QREFELT $ 24)))
   ('T 'NIL))) 

(DEFUN |PATLRES;makeResult;PmrPmr$;7| (|r1| |r2| $)
  (COND
   ((OR (SPADCALL |r1| (QREFELT $ 21)) (SPADCALL |r2| (QREFELT $ 26)))
    (SPADCALL (QREFELT $ 19)))
   ('T (CONS |r1| |r2|)))) 

(DEFUN |PATLRES;coerce;$Of;8| (|r| $)
  (COND
   ((SPADCALL |r| (QREFELT $ 22))
    (SPADCALL (SPADCALL |r| (QREFELT $ 15)) (QREFELT $ 29)))
   ('T (|RecordPrint| |r| (QREFELT $ 9))))) 

(DEFUN |PatternMatchListResult| (&REST #1=#:G1818)
  (PROG ()
    (RETURN
     (PROG (#2=#:G1819)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|PatternMatchListResult|)
                                           '|domainEqualList|)
                . #3=(|PatternMatchListResult|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |PatternMatchListResult;|) #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache| '|PatternMatchListResult|))))))))))) 

(DEFUN |PatternMatchListResult;| (|#1| |#2| |#3|)
  (PROG (|pv$| $ |dv$| DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|PatternMatchListResult|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT |dv$| (LIST '|PatternMatchListResult| DV$1 DV$2 DV$3) . #1#)
      (LETT $ (GETREFV 33) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|PatternMatchListResult|
                  (LIST DV$1 DV$2 DV$3) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 8 |#3|)
      (SETF |pv$| (QREFELT $ 3))
      (QSETREFV $ 9
                (|Record| (|:| |a| (|PatternMatchResult| |#1| |#2|))
                          (|:| |l| (|PatternMatchResult| |#1| |#3|))))
      $)))) 

(MAKEPROP '|PatternMatchListResult| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|local| |#3|) '|Rep| (|PatternMatchResult| 6 7) (0 . |new|)
              (|PatternMatchResult| 6 8) (4 . |new|) |PATLRES;new;$;1|
              |PATLRES;atoms;$Pmr;2| |PATLRES;lists;$Pmr;3| (8 . |failed|)
              (12 . |failed|) |PATLRES;failed;$;4| (|Boolean|) (16 . |failed?|)
              |PATLRES;failed?;$B;5| (21 . =) (27 . =) |PATLRES;=;2$B;6|
              (33 . |failed?|) |PATLRES;makeResult;PmrPmr$;7| (|OutputForm|)
              (38 . |coerce|) |PATLRES;coerce;$Of;8| (|SingleInteger|)
              (|String|))
           '#(~= 43 |new| 49 |makeResult| 53 |lists| 59 |latex| 64 |hash| 69
              |failed?| 74 |failed| 79 |coerce| 83 |atoms| 88 = 93)
           'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0))
                 (CONS '#(|SetCategory&| |BasicType&| NIL)
                       (CONS
                        '#((|SetCategory|) (|BasicType|) (|CoercibleTo| 28))
                        (|makeByteWordVec2| 32
                                            '(0 10 0 11 0 12 0 13 0 10 0 17 0
                                              12 0 18 1 10 20 0 21 2 10 20 0 0
                                              23 2 12 20 0 0 24 1 12 20 0 26 1
                                              10 28 0 29 2 0 20 0 0 1 0 0 0 14
                                              2 0 0 10 12 27 1 0 12 0 16 1 0 32
                                              0 1 1 0 31 0 1 1 0 20 0 22 0 0 0
                                              19 1 0 28 0 30 1 0 10 0 15 2 0 20
                                              0 0 25)))))
           '|lookupComplete|)) 
