
(/VERSIONCHECK 2) 

(DEFUN |EVALAB-;eval;SES;1| (|f| |eq| $)
  (SPADCALL |f| (LIST |eq|) (QREFELT $ 9))) 

(DEFUN |EVALAB-;eval;S2LS;2| (|f| |xs| |vs| $)
  (PROG (#1=#:G1817 |x| #2=#:G1818 |v| #3=#:G1816)
    (RETURN
     (SEQ
      (SPADCALL |f|
                (PROGN
                 (LETT #3# NIL . #4=(|EVALAB-;eval;S2LS;2|))
                 (SEQ (LETT |v| NIL . #4#) (LETT #2# |vs| . #4#)
                      (LETT |x| NIL . #4#) (LETT #1# |xs| . #4#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |x| (CAR #1#) . #4#) NIL)
                            (ATOM #2#) (PROGN (LETT |v| (CAR #2#) . #4#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #3# (CONS (SPADCALL |x| |v| (QREFELT $ 12)) #3#)
                              . #4#)))
                      (LETT #1# (PROG1 (CDR #1#) (LETT #2# (CDR #2#) . #4#))
                            . #4#)
                      (GO G190) G191 (EXIT (NREVERSE #3#))))
                (QREFELT $ 9)))))) 

(DEFUN |Evalable&| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|Evalable&|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|Evalable&| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 15) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (SETF |pv$| (QREFELT $ 3))
      $)))) 

(MAKEPROP '|Evalable&| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|List| 10)
              (0 . |eval|) (|Equation| 7) |EVALAB-;eval;SES;1| (6 . =)
              (|List| 7) |EVALAB-;eval;S2LS;2|)
           '#(|eval| 12) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 14
                                                 '(2 6 0 0 8 9 2 10 0 7 7 12 2
                                                   0 0 0 10 11 3 0 0 0 13 13
                                                   14)))))
           '|lookupComplete|)) 
