
(/VERSIONCHECK 2) 

(DEFUN |ES-;box;2S;1| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 17))) 

(DEFUN |ES-;paren;2S;2| (|x| $) (SPADCALL (LIST |x|) (QREFELT $ 19))) 

(DEFUN |ES-;belong?;BoB;3| (|op| $)
  (COND
    ((SPADCALL |op| (QREFELT $ 14) (QREFELT $ 22)) 'T)
    ('T (SPADCALL |op| (QREFELT $ 15) (QREFELT $ 22))))) 

(DEFUN |ES-;listk| (|f| $)
  (SPADCALL (|ES-;allKernels| |f| $) (QREFELT $ 26))) 

(DEFUN |ES-;tower;SL;5| (|f| $)
  (SPADCALL (|ES-;listk| |f| $) (QREFELT $ 27))) 

(DEFUN |ES-;allk| (|l| $)
  (PROG (#0=#:G1842 |f| #1=#:G1843)
    (RETURN
      (SEQ (SPADCALL (ELT $ 31)
               (PROGN
                 (LETT #0# NIL . #2=(|ES-;allk|))
                 (SEQ (LETT |f| NIL . #2#) (LETT #1# |l| . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |f| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS (|ES-;allKernels| |f| $)
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               (SPADCALL NIL (QREFELT $ 30)) (QREFELT $ 34)))))) 

(DEFUN |ES-;operators;SL;7| (|f| $)
  (PROG (#0=#:G1846 |k| #1=#:G1847)
    (RETURN
      (SEQ (PROGN
             (LETT #0# NIL . #2=(|ES-;operators;SL;7|))
             (SEQ (LETT |k| NIL . #2#)
                  (LETT #1# (|ES-;listk| |f| $) . #2#) G190
                  (COND
                    ((OR (ATOM #1#)
                         (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (LETT #0#
                                   (CONS (SPADCALL |k| (QREFELT $ 36))
                                    #0#) . #2#)))
                  (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                  (EXIT (NREVERSE0 #0#)))))))) 

(DEFUN |ES-;height;SNni;8| (|f| $)
  (PROG (#0=#:G1852 |k| #1=#:G1853)
    (RETURN
      (SEQ (SPADCALL (ELT $ 42)
               (PROGN
                 (LETT #0# NIL . #2=(|ES-;height;SNni;8|))
                 (SEQ (LETT |k| NIL . #2#)
                      (LETT #1# (SPADCALL |f| (QREFELT $ 39)) . #2#)
                      G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (SPADCALL |k| (QREFELT $ 41))
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               0 (QREFELT $ 45)))))) 

(DEFUN |ES-;freeOf?;SSB;9| (|x| |s| $)
  (PROG (#0=#:G1858 |k| #1=#:G1859)
    (RETURN
      (SEQ (COND
             ((SPADCALL |s|
                  (PROGN
                    (LETT #0# NIL . #2=(|ES-;freeOf?;SSB;9|))
                    (SEQ (LETT |k| NIL . #2#)
                         (LETT #1# (|ES-;listk| |x| $) . #2#) G190
                         (COND
                           ((OR (ATOM #1#)
                                (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                            (GO G191)))
                         (SEQ (EXIT (LETT #0#
                                     (CONS
                                      (SPADCALL |k| (QREFELT $ 47))
                                      #0#) . #2#)))
                         (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                         (EXIT (NREVERSE0 #0#))))
                  (QREFELT $ 49))
              'NIL)
             ('T 'T)))))) 

(DEFUN |ES-;distribute;2S;10| (|x| $)
  (PROG (#0=#:G1862 |k| #1=#:G1863)
    (RETURN
      (SEQ (|ES-;unwrap|
               (PROGN
                 (LETT #0# NIL . #2=(|ES-;distribute;2S;10|))
                 (SEQ (LETT |k| NIL . #2#)
                      (LETT #1# (|ES-;listk| |x| $) . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |k| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (COND
                                   ((SPADCALL |k| (QREFELT $ 14)
                                     (QREFELT $ 51))
                                    (LETT #0# (CONS |k| #0#) . #2#)))))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               |x| $))))) 

(DEFUN |ES-;box;LS;11| (|l| $)
  (SPADCALL (QREFELT $ 15) |l| (QREFELT $ 53))) 

(DEFUN |ES-;paren;LS;12| (|l| $)
  (SPADCALL (QREFELT $ 14) |l| (QREFELT $ 53))) 

(DEFUN |ES-;freeOf?;2SB;13| (|x| |k| $)
  (COND
    ((SPADCALL (SPADCALL |k| (QREFELT $ 57)) (|ES-;listk| |x| $)
         (QREFELT $ 58))
     'NIL)
    ('T 'T))) 

(DEFUN |ES-;kernel;Bo2S;14| (|op| |arg| $)
  (SPADCALL |op| (LIST |arg|) (QREFELT $ 60))) 

(DEFUN |ES-;elt;Bo2S;15| (|op| |x| $)
  (SPADCALL |op| (LIST |x|) (QREFELT $ 53))) 

(DEFUN |ES-;elt;Bo3S;16| (|op| |x| |y| $)
  (SPADCALL |op| (LIST |x| |y|) (QREFELT $ 53))) 

(DEFUN |ES-;elt;Bo4S;17| (|op| |x| |y| |z| $)
  (SPADCALL |op| (LIST |x| |y| |z|) (QREFELT $ 53))) 

(DEFUN |ES-;elt;Bo5S;18| (|op| |x| |y| |z| |t| $)
  (SPADCALL |op| (LIST |x| |y| |z| |t|) (QREFELT $ 53))) 

(DEFUN |ES-;eval;SSMS;19| (|x| |s| |f| $)
  (SPADCALL |x| (LIST |s|) (LIST |f|) (QREFELT $ 68))) 

(DEFUN |ES-;eval;SBoMS;20| (|x| |s| |f| $)
  (SPADCALL |x| (LIST (SPADCALL |s| (QREFELT $ 70))) (LIST |f|)
      (QREFELT $ 68))) 

(DEFUN |ES-;eval;SSMS;21| (|x| |s| |f| $)
  (SPADCALL |x| (LIST |s|)
            (LIST (CONS #'|ES-;eval;SSMS;21!0| (VECTOR |f| $)))
            (QREFELT $ 68))) 

(DEFUN |ES-;eval;SSMS;21!0| (|#1| $$)
  (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) 

(DEFUN |ES-;eval;SBoMS;22| (|x| |s| |f| $)
  (SPADCALL |x| (LIST |s|)
      (LIST (CONS #'|ES-;eval;SBoMS;22!0| (VECTOR |f| $)))
      (QREFELT $ 76))) 

(DEFUN |ES-;eval;SBoMS;22!0| (|#1| $$)
  (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) 

(DEFUN |ES-;subst;SES;23| (|x| |e| $)
  (SPADCALL |x| (LIST |e|) (QREFELT $ 79))) 

(DEFUN |ES-;eval;SLLS;24| (|x| |ls| |lf| $)
  (PROG (#0=#:G1884 |f| #1=#:G1885)
    (RETURN
      (SEQ (SPADCALL |x| |ls|
               (PROGN
                 (LETT #0# NIL . #2=(|ES-;eval;SLLS;24|))
                 (SEQ (LETT |f| NIL . #2#) (LETT #1# |lf| . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |f| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (CONS #'|ES-;eval;SLLS;24!0|
                                         (VECTOR |f| $))
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               (QREFELT $ 76)))))) 

(DEFUN |ES-;eval;SLLS;24!0| (|#1| $$)
  (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) 

(DEFUN |ES-;eval;SLLS;25| (|x| |ls| |lf| $)
  (PROG (#0=#:G1888 |f| #1=#:G1889)
    (RETURN
      (SEQ (SPADCALL |x| |ls|
               (PROGN
                 (LETT #0# NIL . #2=(|ES-;eval;SLLS;25|))
                 (SEQ (LETT |f| NIL . #2#) (LETT #1# |lf| . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |f| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (CONS #'|ES-;eval;SLLS;25!0|
                                         (VECTOR |f| $))
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               (QREFELT $ 68)))))) 

(DEFUN |ES-;eval;SLLS;25!0| (|#1| $$)
  (SPADCALL (SPADCALL |#1| (QREFELT (QREFELT $$ 1) 73)) (QREFELT $$ 0))) 

(DEFUN |ES-;eval;SLLS;26| (|x| |ls| |lf| $)
  (PROG (#0=#:G1893 |s| #1=#:G1894)
    (RETURN
      (SEQ (SPADCALL |x|
               (PROGN
                 (LETT #0# NIL . #2=(|ES-;eval;SLLS;26|))
                 (SEQ (LETT |s| NIL . #2#) (LETT #1# |ls| . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |s| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (SPADCALL |s| (QREFELT $ 70))
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               |lf| (QREFELT $ 68)))))) 

(DEFUN |ES-;map;MKS;27| (|fn| |k| $)
  (PROG (#0=#:G1909 |x| #1=#:G1910 |l|)
    (RETURN
      (SEQ (COND
             ((SPADCALL
                  (LETT |l|
                        (PROGN
                          (LETT #0# NIL . #2=(|ES-;map;MKS;27|))
                          (SEQ (LETT |x| NIL . #2#)
                               (LETT #1#
                                     (SPADCALL |k| (QREFELT $ 86)) . #2#)
                               G190
                               (COND
                                 ((OR (ATOM #1#)
                                      (PROGN
                                        (LETT |x| (CAR #1#) . #2#)
                                        NIL))
                                  (GO G191)))
                               (SEQ (EXIT
                                     (LETT #0#
                                      (CONS (SPADCALL |x| |fn|) #0#) . #2#)))
                               (LETT #1# (CDR #1#) . #2#) (GO G190)
                               G191 (EXIT (NREVERSE0 #0#)))) . #2#)
                  (SPADCALL |k| (QREFELT $ 86)) (QREFELT $ 87))
              (SPADCALL |k| (QREFELT $ 88)))
             ('T
              (SPADCALL (SPADCALL |k| (QREFELT $ 36)) |l|
                  (QREFELT $ 53)))))))) 

(DEFUN |ES-;operator;2Bo;28| (|op| $)
  (COND
    ((SPADCALL |op| (SPADCALL "%paren" (QREFELT $ 9)) (QREFELT $ 90))
     (QREFELT $ 14))
    ((SPADCALL |op| (SPADCALL "%box" (QREFELT $ 9)) (QREFELT $ 90))
     (QREFELT $ 15))
    ('T (|error| "Unknown operator")))) 

(DEFUN |ES-;mainKernel;SU;29| (|x| $)
  (PROG (|l| |kk| #0=#:G1926 |n| |k|)
    (RETURN
      (SEQ (COND
             ((NULL (LETT |l| (SPADCALL |x| (QREFELT $ 39))
                          . #1=(|ES-;mainKernel;SU;29|)))
              (CONS 1 "failed"))
             ('T
              (SEQ (LETT |n|
                         (SPADCALL (LETT |k| (|SPADfirst| |l|) . #1#)
                             (QREFELT $ 41)) . #1#)
                   (SEQ (LETT |kk| NIL . #1#)
                        (LETT #0# (CDR |l|) . #1#) G190
                        (COND
                          ((OR (ATOM #0#)
                               (PROGN (LETT |kk| (CAR #0#) . #1#) NIL))
                           (GO G191)))
                        (SEQ (EXIT (COND
                                     ((< |n|
                                       (SPADCALL |kk| (QREFELT $ 41)))
                                      (SEQ
                                       (LETT |n|
                                        (SPADCALL |kk| (QREFELT $ 41)) . #1#)
                                       (EXIT (LETT |k| |kk| . #1#)))))))
                        (LETT #0# (CDR #0#) . #1#) (GO G190) G191
                        (EXIT NIL))
                   (EXIT (CONS 0 |k|))))))))) 

(DEFUN |ES-;allKernels| (|f| $)
  (PROG (|l| |k| #0=#:G1939 |u| |s0| |n| |arg| |t| |s|)
    (RETURN
      (SEQ (LETT |s|
                 (SPADCALL
                     (LETT |l| (SPADCALL |f| (QREFELT $ 39))
                           . #1=(|ES-;allKernels|))
                     (QREFELT $ 30)) . #1#)
           (SEQ (LETT |k| NIL . #1#) (LETT #0# |l| . #1#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |k| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (LETT |t|
                           (SEQ (LETT |u|
                                      (SPADCALL
                                       (SPADCALL |k| (QREFELT $ 36))
                                       (QREFELT $ 10) (QREFELT $ 95)) . #1#)
                                (EXIT (COND
                                        ((QEQCAR |u| 0)
                                         (SEQ
                                          (LETT |arg|
                                           (SPADCALL |k|
                                            (QREFELT $ 86)) . #1#)
                                          (LETT |s0|
                                           (SPADCALL
                                            (SPADCALL
                                             (SPADCALL |arg|
                                              (QREFELT $ 96))
                                             (QREFELT $ 57))
                                            (|ES-;allKernels|
                                             (|SPADfirst| |arg|) $)
                                            (QREFELT $ 97)) . #1#)
                                          (LETT |arg|
                                           (CDR (CDR |arg|)) . #1#)
                                          (LETT |n| (QCDR |u|) . #1#)
                                          (COND
                                            ((< 1 |n|)
                                             (LETT |arg|
                                              (CDR |arg|) . #1#)))
                                          (EXIT
                                           (SPADCALL |s0|
                                            (|ES-;allk| |arg| $)
                                            (QREFELT $ 31)))))
                                        ('T
                                         (|ES-;allk|
                                          (SPADCALL |k| (QREFELT $ 86))
                                          $))))) . #1#)
                     (EXIT (LETT |s|
                                 (SPADCALL |s| |t| (QREFELT $ 31)) . #1#)))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |s|))))) 

(DEFUN |ES-;kernel;BoLS;31| (|op| |args| $)
  (COND
    ((NULL (SPADCALL |op| (QREFELT $ 98)))
     (|error| "Unknown operator"))
    ('T (|ES-;okkernel| |op| |args| $)))) 

(DEFUN |ES-;okkernel| (|op| |l| $)
  (PROG (#0=#:G1946 |f| #1=#:G1947)
    (RETURN
      (SEQ (SPADCALL
               (SPADCALL |op| |l|
                   (+ 1
                      (SPADCALL (ELT $ 42)
                          (PROGN
                            (LETT #0# NIL . #2=(|ES-;okkernel|))
                            (SEQ (LETT |f| NIL . #2#)
                                 (LETT #1# |l| . #2#) G190
                                 (COND
                                   ((OR (ATOM #1#)
                                     (PROGN
                                       (LETT |f| (CAR #1#) . #2#)
                                       NIL))
                                    (GO G191)))
                                 (SEQ (EXIT
                                       (LETT #0#
                                        (CONS
                                         (SPADCALL |f| (QREFELT $ 100))
                                         #0#) . #2#)))
                                 (LETT #1# (CDR #1#) . #2#) (GO G190)
                                 G191 (EXIT (NREVERSE0 #0#))))
                          0 (QREFELT $ 45)))
                   (QREFELT $ 101))
               (QREFELT $ 88)))))) 

(DEFUN |ES-;elt;BoLS;33| (|op| |args| $)
  (PROG (|u| #0=#:G1963 |v|)
    (RETURN
      (SEQ (EXIT (COND
                   ((NULL (SPADCALL |op| (QREFELT $ 98)))
                    (|error| "Unknown operator"))
                   ('T
                    (SEQ (SEQ (LETT |u| (SPADCALL |op| (QREFELT $ 103))
                                    . #1=(|ES-;elt;BoLS;33|))
                              (EXIT (COND
                                      ((QEQCAR |u| 0)
                                       (COND
                                         ((NULL
                                           (EQL (LENGTH |args|)
                                            (QCDR |u|)))
                                          (PROGN
                                            (LETT #0#
                                             (|error|
                                              "Wrong number of arguments") . #1#)
                                            (GO #0#))))))))
                         (LETT |v|
                               (SPADCALL |op| |args| (QREFELT $ 106)) . #1#)
                         (EXIT (COND
                                 ((QEQCAR |v| 0) (QCDR |v|))
                                 ('T (|ES-;okkernel| |op| |args| $))))))))
           #0# (EXIT #0#))))) 

(DEFUN |ES-;retract;SK;34| (|f| $)
  (PROG (|k|)
    (RETURN
      (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108))
                 |ES-;retract;SK;34|)
           (EXIT (COND
                   ((OR (QEQCAR |k| 1)
                        (NULL (SPADCALL
                                  (SPADCALL (QCDR |k|) (QREFELT $ 88))
                                  |f| (QREFELT $ 109))))
                    (|error| "not a kernel"))
                   ('T (QCDR |k|)))))))) 

(DEFUN |ES-;retractIfCan;SU;35| (|f| $)
  (PROG (|k|)
    (RETURN
      (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 108))
                 |ES-;retractIfCan;SU;35|)
           (EXIT (COND
                   ((OR (QEQCAR |k| 1)
                        (NULL (SPADCALL
                                  (SPADCALL (QCDR |k|) (QREFELT $ 88))
                                  |f| (QREFELT $ 109))))
                    (CONS 1 "failed"))
                   ('T |k|))))))) 

(DEFUN |ES-;is?;SSB;36| (|f| |s| $)
  (PROG (|k|)
    (RETURN
      (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 112)) |ES-;is?;SSB;36|)
           (EXIT (COND
                   ((QEQCAR |k| 1) 'NIL)
                   ('T (SPADCALL (QCDR |k|) |s| (QREFELT $ 113))))))))) 

(DEFUN |ES-;is?;SBoB;37| (|f| |op| $)
  (PROG (|k|)
    (RETURN
      (SEQ (LETT |k| (SPADCALL |f| (QREFELT $ 112)) |ES-;is?;SBoB;37|)
           (EXIT (COND
                   ((QEQCAR |k| 1) 'NIL)
                   ('T (SPADCALL (QCDR |k|) |op| (QREFELT $ 51))))))))) 

(DEFUN |ES-;unwrap| (|l| |x| $)
  (PROG (|k| #0=#:G1988)
    (RETURN
      (SEQ (SEQ (LETT |k| NIL . #1=(|ES-;unwrap|))
                (LETT #0# (NREVERSE |l|) . #1#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |k| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (EXIT (LETT |x|
                                 (SPADCALL |x| |k|
                                     (|SPADfirst|
                                      (SPADCALL |k| (QREFELT $ 86)))
                                     (QREFELT $ 116)) . #1#)))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |x|))))) 

(DEFUN |ES-;distribute;3S;39| (|x| |y| $)
  (PROG (|ky| #0=#:G1993 |k| #1=#:G1994)
    (RETURN
      (SEQ (LETT |ky| (SPADCALL |y| (QREFELT $ 57))
                 . #2=(|ES-;distribute;3S;39|))
           (EXIT (|ES-;unwrap|
                     (PROGN
                       (LETT #0# NIL . #2#)
                       (SEQ (LETT |k| NIL . #2#)
                            (LETT #1# (|ES-;listk| |x| $) . #2#) G190
                            (COND
                              ((OR (ATOM #1#)
                                   (PROGN
                                     (LETT |k| (CAR #1#) . #2#)
                                     NIL))
                               (GO G191)))
                            (SEQ (EXIT (COND
                                         ((COND
                                            ((SPADCALL |k|
                                              (SPADCALL "%paren"
                                               (QREFELT $ 9))
                                              (QREFELT $ 113))
                                             (SPADCALL |ky|
                                              (|ES-;listk|
                                               (SPADCALL |k|
                                                (QREFELT $ 88))
                                               $)
                                              (QREFELT $ 58)))
                                            ('T 'NIL))
                                          (LETT #0#
                                           (CONS |k| #0#) . #2#)))))
                            (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                            (EXIT (NREVERSE0 #0#))))
                     |x| $)))))) 

(DEFUN |ES-;eval;SLS;40| (|f| |leq| $)
  (PROG (|rec|)
    (RETURN
      (SEQ (LETT |rec| (|ES-;mkKerLists| |leq| $) |ES-;eval;SLS;40|)
           (EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|)
                     (QREFELT $ 118))))))) 

(DEFUN |ES-;subst;SLS;41| (|f| |leq| $)
  (PROG (|rec|)
    (RETURN
      (SEQ (LETT |rec| (|ES-;mkKerLists| |leq| $) |ES-;subst;SLS;41|)
           (EXIT (SPADCALL |f| (QCAR |rec|) (QCDR |rec|)
                     (QREFELT $ 120))))))) 

(DEFUN |ES-;mkKerLists| (|leq| $)
  (PROG (|eq| #0=#:G2011 |k| |lk| |lv|)
    (RETURN
      (SEQ (LETT |lk| NIL . #1=(|ES-;mkKerLists|))
           (LETT |lv| NIL . #1#)
           (SEQ (LETT |eq| NIL . #1#) (LETT #0# |leq| . #1#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |eq| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (LETT |k|
                           (SPADCALL (SPADCALL |eq| (QREFELT $ 123))
                               (QREFELT $ 112)) . #1#)
                     (EXIT (COND
                             ((QEQCAR |k| 1)
                              (|error| "left hand side must be a single kernel"))
                             ((NULL (SPADCALL (QCDR |k|) |lk|
                                     (QREFELT $ 58)))
                              (SEQ (LETT |lk|
                                    (CONS (QCDR |k|) |lk|) . #1#)
                                   (EXIT
                                    (LETT |lv|
                                     (CONS
                                      (SPADCALL |eq| (QREFELT $ 124))
                                      |lv|) . #1#)))))))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT (CONS |lk| |lv|)))))) 

(DEFUN |ES-;even?;SB;43| (|x| $) (|ES-;intpred?| |x| (ELT $ 126) $)) 

(DEFUN |ES-;odd?;SB;44| (|x| $) (|ES-;intpred?| |x| (ELT $ 128) $)) 

(DEFUN |ES-;intpred?| (|x| |pred?| $)
  (PROG (|u|)
    (RETURN
      (SEQ (LETT |u| (SPADCALL |x| (QREFELT $ 131)) |ES-;intpred?|)
           (EXIT (COND
                   ((QEQCAR |u| 0) (SPADCALL (QCDR |u|) |pred?|))
                   ('T 'NIL))))))) 

(DEFUN |ExpressionSpace&| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|ExpressionSpace&|))
        (LETT |dv$| (LIST '|ExpressionSpace&| DV$1) . #0#)
        (LETT $ (GETREFV 132) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1|
                                '(|RetractableTo| (|Integer|)))
                            (|HasCategory| |#1| '(|Ring|)))) . #0#))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 10 (SPADCALL "%dummyVar" (QREFELT $ 9)))
        (QSETREFV $ 14
            (SPADCALL (SPADCALL "%paren" (QREFELT $ 9)) (QREFELT $ 13)))
        (QSETREFV $ 15
            (SPADCALL (SPADCALL "%box" (QREFELT $ 9)) (QREFELT $ 13)))
        (COND
          ((|testBitVector| |pv$| 1)
           (PROGN
             (QSETREFV $ 127
                 (CONS (|dispatchFunction| |ES-;even?;SB;43|) $))
             (QSETREFV $ 129
                 (CONS (|dispatchFunction| |ES-;odd?;SB;44|) $)))))
        $)))) 

(MAKEPROP '|ExpressionSpace&| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|String|)
             (|Symbol|) (0 . |coerce|) 'DUMMYVAR (|BasicOperator|)
             (|CommonOperators|) (5 . |operator|) '|oppren| '|opbox|
             (|List| $) (10 . |box|) |ES-;box;2S;1| (15 . |paren|)
             |ES-;paren;2S;2| (|Boolean|) (20 . =) |ES-;belong?;BoB;3|
             (|List| 35) (|Set| 35) (26 . |parts|) (31 . |sort!|)
             (|List| 56) |ES-;tower;SL;5| (36 . |brace|) (41 . |union|)
             (|Mapping| 25 25 25) (|List| 25) (47 . |reduce|)
             (|Kernel| 6) (54 . |operator|) (|List| 11)
             |ES-;operators;SL;7| (59 . |kernels|)
             (|NonNegativeInteger|) (64 . |height|) (69 . |max|)
             (|Mapping| 40 40 40) (|List| 40) (75 . |reduce|)
             |ES-;height;SNni;8| (82 . |name|) (|List| 8)
             (87 . |member?|) |ES-;freeOf?;SSB;9| (93 . |is?|)
             |ES-;distribute;2S;10| (99 . |elt|) |ES-;box;LS;11|
             |ES-;paren;LS;12| (|Kernel| $) (105 . |retract|)
             (110 . |member?|) |ES-;freeOf?;2SB;13| (116 . |kernel|)
             |ES-;kernel;Bo2S;14| |ES-;elt;Bo2S;15| |ES-;elt;Bo3S;16|
             |ES-;elt;Bo4S;17| |ES-;elt;Bo5S;18| (|Mapping| $ 16)
             (|List| 66) (122 . |eval|) |ES-;eval;SSMS;19|
             (129 . |name|) |ES-;eval;SBoMS;20| (|List| 6)
             (134 . |first|) (|Mapping| $ $) |ES-;eval;SSMS;21|
             (139 . |eval|) |ES-;eval;SBoMS;22| (|List| 80)
             (146 . |subst|) (|Equation| $) |ES-;subst;SES;23|
             (|List| 74) |ES-;eval;SLLS;24| |ES-;eval;SLLS;25|
             |ES-;eval;SLLS;26| (152 . |argument|) (157 . =)
             (163 . |coerce|) |ES-;map;MKS;27| (168 . |is?|)
             |ES-;operator;2Bo;28| (|Union| 56 '"failed")
             |ES-;mainKernel;SU;29| (|Union| (|None|) '"failed")
             (174 . |property|) (180 . |second|) (185 . |remove!|)
             (191 . |belong?|) |ES-;kernel;BoLS;31| (196 . |height|)
             (201 . |kernel|) (|Union| 40 '"failed") (208 . |arity|)
             (|Union| 6 '"failed") (|BasicOperatorFunctions1| 6)
             (213 . |evaluate|) |ES-;elt;BoLS;33| (219 . |mainKernel|)
             (224 . =) |ES-;retract;SK;34| |ES-;retractIfCan;SU;35|
             (230 . |retractIfCan|) (235 . |is?|) |ES-;is?;SSB;36|
             |ES-;is?;SBoB;37| (241 . |eval|) |ES-;distribute;3S;39|
             (248 . |eval|) |ES-;eval;SLS;40| (255 . |subst|)
             |ES-;subst;SLS;41| (|Equation| 6) (262 . |lhs|)
             (267 . |rhs|) (|Integer|) (272 . |even?|) (277 . |even?|)
             (282 . |odd?|) (287 . |odd?|) (|Union| 125 '"failed")
             (292 . |retractIfCan|))
          '#(|tower| 297 |subst| 302 |retractIfCan| 314 |retract| 319
             |paren| 324 |operators| 334 |operator| 339 |odd?| 344
             |map| 349 |mainKernel| 355 |kernel| 360 |is?| 372 |height|
             384 |freeOf?| 389 |even?| 401 |eval| 406 |elt| 461
             |distribute| 497 |box| 508 |belong?| 518)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 131
                                '(1 8 0 7 9 1 12 11 8 13 1 6 0 16 17 1
                                  6 0 16 19 2 11 21 0 0 22 1 25 24 0 26
                                  1 24 0 0 27 1 25 0 24 30 2 25 0 0 0
                                  31 3 33 25 32 0 25 34 1 35 11 0 36 1
                                  6 28 0 39 1 35 40 0 41 2 40 0 0 0 42
                                  3 44 40 43 0 40 45 1 35 8 0 47 2 48
                                  21 8 0 49 2 35 21 0 11 51 2 6 0 11 16
                                  53 1 6 56 0 57 2 24 21 35 0 58 2 6 0
                                  11 16 60 3 6 0 0 48 67 68 1 11 8 0 70
                                  1 72 6 0 73 3 6 0 0 37 67 76 2 6 0 0
                                  78 79 1 35 72 0 86 2 72 21 0 0 87 1 6
                                  0 56 88 2 11 21 0 8 90 2 11 94 0 8 95
                                  1 72 6 0 96 2 25 0 35 0 97 1 6 21 11
                                  98 1 6 40 0 100 3 35 0 11 72 40 101 1
                                  11 102 0 103 2 105 104 11 72 106 1 6
                                  92 0 108 2 6 21 0 0 109 1 6 92 0 112
                                  2 35 21 0 8 113 3 6 0 0 56 0 116 3 6
                                  0 0 28 16 118 3 6 0 0 28 16 120 1 122
                                  6 0 123 1 122 6 0 124 1 125 21 0 126
                                  1 0 21 0 127 1 125 21 0 128 1 0 21 0
                                  129 1 6 130 0 131 1 0 28 0 29 2 0 0 0
                                  78 121 2 0 0 0 80 81 1 0 92 0 111 1 0
                                  56 0 110 1 0 0 0 20 1 0 0 16 55 1 0
                                  37 0 38 1 0 11 11 91 1 0 21 0 129 2 0
                                  0 74 56 89 1 0 92 0 93 2 0 0 11 16 99
                                  2 0 0 11 0 61 2 0 21 0 8 114 2 0 21 0
                                  11 115 1 0 40 0 46 2 0 21 0 8 50 2 0
                                  21 0 0 59 1 0 21 0 127 3 0 0 0 11 74
                                  77 3 0 0 0 37 67 85 3 0 0 0 11 66 71
                                  3 0 0 0 37 82 83 3 0 0 0 8 66 69 3 0
                                  0 0 8 74 75 3 0 0 0 48 82 84 2 0 0 0
                                  78 119 2 0 0 11 16 107 5 0 0 11 0 0 0
                                  0 65 3 0 0 11 0 0 63 4 0 0 11 0 0 0
                                  64 2 0 0 11 0 62 2 0 0 0 0 117 1 0 0
                                  0 52 1 0 0 16 54 1 0 0 0 18 1 0 21 11
                                  23)))))
          '|lookupComplete|)) 
