
(/VERSIONCHECK 2) 

(PUT '|EXPR;belong?;BoB;1| '|SPADreplace| '(XLAM (|op|) 'T)) 

(DEFUN |EXPR;belong?;BoB;1| (|op| $) 'T) 

(DEFUN |EXPR;retNotUnit| (|x| $)
  (PROG (|k| |u|)
    (RETURN
      (SEQ (LETT |u|
                 (SPADCALL
                     (LETT |k| (SPADCALL |x| (QREFELT $ 16))
                           . #0=(|EXPR;retNotUnit|))
                     (QREFELT $ 20)) . #0#)
           (EXIT (COND
                   ((QEQCAR |u| 0) (QCDR |u|))
                   ('T (|error| "Not retractable")))))))) 

(DEFUN |EXPR;retNotUnitIfCan| (|x| $)
  (PROG (|r|)
    (RETURN
      (SEQ (LETT |r| (SPADCALL |x| (QREFELT $ 22))
                 |EXPR;retNotUnitIfCan|)
           (EXIT (COND
                   ((QEQCAR |r| 1) (CONS 1 "failed"))
                   ('T (SPADCALL (QCDR |r|) (QREFELT $ 20))))))))) 

(DEFUN |EXPR;Zero;$;4| ($) (|spadConstant| $ 24)) 

(DEFUN |EXPR;One;$;5| ($) (|spadConstant| $ 26)) 

(DEFUN |EXPR;one?;$B;6| (|x| $)
  (SPADCALL |x| (|spadConstant| $ 27) (QREFELT $ 29))) 

(DEFUN |EXPR;zero?;$B;7| (|x| $) (SPADCALL |x| (QREFELT $ 31))) 

(DEFUN |EXPR;-;2$;8| (|x| $) (SPADCALL |x| (QREFELT $ 33))) 

(DEFUN |EXPR;*;I2$;9| (|n| |x| $) (SPADCALL |n| |x| (QREFELT $ 36))) 

(DEFUN |EXPR;coerce;I$;10| (|n| $) (SPADCALL |n| (QREFELT $ 38))) 

(DEFUN |EXPR;*;3$;11| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 40))
      (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;+;3$;12| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 42))
      (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;-;3$;13| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 44))
      (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;/;3$;14| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 46))
      (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;number?;$B;15| (|x| $)
  (COND
    ((|HasCategory| (QREFELT $ 6) (LIST '|RetractableTo| '(|Integer|)))
     (COND
       ((SPADCALL |x| (QREFELT $ 48)) 'T)
       ('T (QEQCAR (SPADCALL |x| (QREFELT $ 50)) 0))))
    ('T (SPADCALL |x| (QREFELT $ 48))))) 

(DEFUN |EXPR;simplifyPower;$I$;16| (|x| |n| $)
  (PROG (|k| |args|)
    (RETURN
      (SEQ (LETT |k| (SPADCALL |x| (QREFELT $ 53))
                 . #0=(|EXPR;simplifyPower;$I$;16|))
           (EXIT (COND
                   ((SPADCALL |x| (SPADCALL "%power" (QREFELT $ 9))
                        (QREFELT $ 54))
                    (SEQ (LETT |args|
                               (SPADCALL (SPADCALL |k| (QREFELT $ 56))
                                   (QREFELT $ 58)) . #0#)
                         (COND
                           ((NULL (EQL (SPADCALL |args| (QREFELT $ 60))
                                       2))
                            (EXIT (|error| "Too many arguments to **"))))
                         (EXIT (COND
                                 ((SPADCALL
                                      (SPADCALL |args| 1
                                       (QREFELT $ 61))
                                      (QREFELT $ 51))
                                  (SPADCALL
                                      (|EXPR;reduc|
                                       (SPADCALL
                                        (SPADCALL |args| 1
                                         (QREFELT $ 61))
                                        |n| (QREFELT $ 62))
                                       (|EXPR;algkernels|
                                        (SPADCALL
                                         (SPADCALL |args| 1
                                          (QREFELT $ 61))
                                         (QREFELT $ 53))
                                        $)
                                       $)
                                      (SPADCALL |args| 2
                                       (QREFELT $ 61))
                                      (QREFELT $ 63)))
                                 ('T
                                  (SPADCALL
                                      (SPADCALL |args| (QREFELT $ 64))
                                      (SPADCALL |n|
                                       (SPADCALL |args| (QREFELT $ 65))
                                       (QREFELT $ 37))
                                      (QREFELT $ 63)))))))
                   ('T
                    (|EXPR;reduc| (SPADCALL |x| |n| (QREFELT $ 62))
                        (|EXPR;algkernels| |k| $) $)))))))) 

(DEFUN |EXPR;**;$Nni$;17| (|x| |n| $)
  (COND
    ((EQL |n| 0) (|spadConstant| $ 27))
    ((EQL |n| 1) |x|)
    ('T
     (SPADCALL
         (SPADCALL (SPADCALL |x| (QREFELT $ 68)) |n| (QREFELT $ 66))
         (SPADCALL (SPADCALL |x| (QREFELT $ 69)) |n| (QREFELT $ 66))
         (QREFELT $ 47))))) 

(DEFUN |EXPR;**;$I$;18| (|x| |n| $)
  (COND
    ((EQL |n| 0) (|spadConstant| $ 27))
    ((EQL |n| 1) |x|)
    ('T
     (COND
       ((EQL |n| -1)
        (SPADCALL (|spadConstant| $ 27) |x| (QREFELT $ 47)))
       ('T
        (SPADCALL
            (SPADCALL (SPADCALL |x| (QREFELT $ 68)) |n| (QREFELT $ 66))
            (SPADCALL (SPADCALL |x| (QREFELT $ 69)) |n| (QREFELT $ 66))
            (QREFELT $ 47))))))) 

(DEFUN |EXPR;**;$Pi$;19| (|x| |n| $)
  (COND
    ((EQL |n| 1) |x|)
    ('T
     (SPADCALL
         (SPADCALL (SPADCALL |x| (QREFELT $ 68)) |n| (QREFELT $ 66))
         (SPADCALL (SPADCALL |x| (QREFELT $ 69)) |n| (QREFELT $ 66))
         (QREFELT $ 47))))) 

(DEFUN |EXPR;<;2$B;20| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 76))) 

(DEFUN |EXPR;=;2$B;21| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 29))) 

(DEFUN |EXPR;numer;$Smp;22| (|x| $) (SPADCALL |x| (QREFELT $ 79))) 

(DEFUN |EXPR;denom;$Smp;23| (|x| $) (SPADCALL |x| (QREFELT $ 82))) 

(DEFUN |EXPR;coerce;Smp$;24| (|p| $) (SPADCALL |p| (QREFELT $ 84))) 

(DEFUN |EXPR;reduce;2$;25| (|x| $)
  (|EXPR;reduc| |x| (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 53)) $)
      $)) 

(DEFUN |EXPR;commonk| (|x| |y| $)
  (|EXPR;commonk0| (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 53)) $)
      (|EXPR;algkernels| (SPADCALL |y| (QREFELT $ 53)) $) $)) 

(DEFUN |EXPR;algkernels| (|l| $)
  (PROG ()
    (RETURN
      (SPADCALL (CONS #'|EXPR;algkernels!0| (VECTOR (QREFELT $ 11) $))
          |l| (QREFELT $ 90))))) 

(DEFUN |EXPR;algkernels!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 1) |EXPR;algkernels|)
    (RETURN
      (PROGN
        (SPADCALL (SPADCALL |#1| (QREFELT $ 87)) (QREFELT $$ 0)
            (QREFELT $ 88)))))) 

(DEFUN |EXPR;toprat| (|f| $)
  (SPADCALL |f| (|EXPR;algkernels| (SPADCALL |f| (QREFELT $ 53)) $)
      (QREFELT $ 92))) 

(DEFUN |EXPR;/;2Smp$;29| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 93))
      (|EXPR;commonk0|
          (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 94)) $)
          (|EXPR;algkernels| (SPADCALL |y| (QREFELT $ 94)) $) $)
      $)) 

(DEFUN |EXPR;reducedSystem;MM;30| (|m| $)
  (PROG (|mm|)
    (RETURN
      (SEQ (LETT |mm|
                 (SPADCALL
                     (SPADCALL (CONS (|function| |EXPR;toprat|) $) |m|
                         (QREFELT $ 98))
                     (QREFELT $ 101))
                 |EXPR;reducedSystem;MM;30|)
           (EXIT (SPADCALL |mm| (QREFELT $ 103))))))) 

(DEFUN |EXPR;reducedSystem;MVR;31| (|m| |v| $)
  (PROG (|r|)
    (RETURN
      (SEQ (LETT |r|
                 (SPADCALL
                     (SPADCALL (CONS (|function| |EXPR;toprat|) $) |m|
                         (QREFELT $ 98))
                     (SPADCALL (CONS (|function| |EXPR;toprat|) $) |v|
                         (QREFELT $ 106))
                     (QREFELT $ 109))
                 |EXPR;reducedSystem;MVR;31|)
           (EXIT (SPADCALL (QCAR |r|) (QCDR |r|) (QREFELT $ 111))))))) 

(DEFUN |EXPR;commonk0| (|x| |y| $)
  (PROG (|k| #0=#:G1920 |ans|)
    (RETURN
      (SEQ (LETT |ans| NIL . #1=(|EXPR;commonk0|))
           (SEQ (LETT |k| NIL . #1#) (LETT #0# (NREVERSE |x|) . #1#)
                G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |k| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (EXIT (COND
                             ((SPADCALL |k| |y| (QREFELT $ 113))
                              (LETT |ans|
                                    (SPADCALL |k| |ans|
                                     (QREFELT $ 114)) . #1#)))))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |ans|))))) 

(DEFUN |EXPR;rootOf;SupS$;33| (|x| |v| $)
  (SPADCALL |x| |v| (QREFELT $ 117))) 

(DEFUN |EXPR;pi;$;34| ($) (SPADCALL (QREFELT $ 121))) 

(DEFUN |EXPR;exp;2$;35| (|x| $) (SPADCALL |x| (QREFELT $ 123))) 

(DEFUN |EXPR;log;2$;36| (|x| $) (SPADCALL |x| (QREFELT $ 125))) 

(DEFUN |EXPR;sin;2$;37| (|x| $) (SPADCALL |x| (QREFELT $ 127))) 

(DEFUN |EXPR;cos;2$;38| (|x| $) (SPADCALL |x| (QREFELT $ 129))) 

(DEFUN |EXPR;tan;2$;39| (|x| $) (SPADCALL |x| (QREFELT $ 131))) 

(DEFUN |EXPR;cot;2$;40| (|x| $) (SPADCALL |x| (QREFELT $ 133))) 

(DEFUN |EXPR;sec;2$;41| (|x| $) (SPADCALL |x| (QREFELT $ 135))) 

(DEFUN |EXPR;csc;2$;42| (|x| $) (SPADCALL |x| (QREFELT $ 137))) 

(DEFUN |EXPR;asin;2$;43| (|x| $) (SPADCALL |x| (QREFELT $ 139))) 

(DEFUN |EXPR;acos;2$;44| (|x| $) (SPADCALL |x| (QREFELT $ 141))) 

(DEFUN |EXPR;atan;2$;45| (|x| $) (SPADCALL |x| (QREFELT $ 143))) 

(DEFUN |EXPR;acot;2$;46| (|x| $) (SPADCALL |x| (QREFELT $ 145))) 

(DEFUN |EXPR;asec;2$;47| (|x| $) (SPADCALL |x| (QREFELT $ 147))) 

(DEFUN |EXPR;acsc;2$;48| (|x| $) (SPADCALL |x| (QREFELT $ 149))) 

(DEFUN |EXPR;sinh;2$;49| (|x| $) (SPADCALL |x| (QREFELT $ 151))) 

(DEFUN |EXPR;cosh;2$;50| (|x| $) (SPADCALL |x| (QREFELT $ 153))) 

(DEFUN |EXPR;tanh;2$;51| (|x| $) (SPADCALL |x| (QREFELT $ 155))) 

(DEFUN |EXPR;coth;2$;52| (|x| $) (SPADCALL |x| (QREFELT $ 157))) 

(DEFUN |EXPR;sech;2$;53| (|x| $) (SPADCALL |x| (QREFELT $ 159))) 

(DEFUN |EXPR;csch;2$;54| (|x| $) (SPADCALL |x| (QREFELT $ 161))) 

(DEFUN |EXPR;asinh;2$;55| (|x| $) (SPADCALL |x| (QREFELT $ 163))) 

(DEFUN |EXPR;acosh;2$;56| (|x| $) (SPADCALL |x| (QREFELT $ 165))) 

(DEFUN |EXPR;atanh;2$;57| (|x| $) (SPADCALL |x| (QREFELT $ 167))) 

(DEFUN |EXPR;acoth;2$;58| (|x| $) (SPADCALL |x| (QREFELT $ 169))) 

(DEFUN |EXPR;asech;2$;59| (|x| $) (SPADCALL |x| (QREFELT $ 171))) 

(DEFUN |EXPR;acsch;2$;60| (|x| $) (SPADCALL |x| (QREFELT $ 173))) 

(DEFUN |EXPR;abs;2$;61| (|x| $) (SPADCALL |x| (QREFELT $ 176))) 

(DEFUN |EXPR;Gamma;2$;62| (|x| $) (SPADCALL |x| (QREFELT $ 178))) 

(DEFUN |EXPR;Gamma;3$;63| (|a| |x| $)
  (SPADCALL |a| |x| (QREFELT $ 180))) 

(DEFUN |EXPR;Beta;3$;64| (|x| |y| $)
  (SPADCALL |x| |y| (QREFELT $ 182))) 

(DEFUN |EXPR;digamma;2$;65| (|x| $) (SPADCALL |x| (QREFELT $ 184))) 

(DEFUN |EXPR;polygamma;3$;66| (|k| |x| $)
  (SPADCALL |k| |x| (QREFELT $ 186))) 

(DEFUN |EXPR;besselJ;3$;67| (|v| |x| $)
  (SPADCALL |v| |x| (QREFELT $ 188))) 

(DEFUN |EXPR;besselY;3$;68| (|v| |x| $)
  (SPADCALL |v| |x| (QREFELT $ 190))) 

(DEFUN |EXPR;besselI;3$;69| (|v| |x| $)
  (SPADCALL |v| |x| (QREFELT $ 192))) 

(DEFUN |EXPR;besselK;3$;70| (|v| |x| $)
  (SPADCALL |v| |x| (QREFELT $ 194))) 

(DEFUN |EXPR;airyAi;2$;71| (|x| $) (SPADCALL |x| (QREFELT $ 196))) 

(DEFUN |EXPR;airyBi;2$;72| (|x| $) (SPADCALL |x| (QREFELT $ 198))) 

(DEFUN |EXPR;**;3$;73| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 201))) 

(DEFUN |EXPR;factorial;2$;74| (|x| $) (SPADCALL |x| (QREFELT $ 202))) 

(DEFUN |EXPR;binomial;3$;75| (|n| |m| $)
  (SPADCALL |n| |m| (QREFELT $ 204))) 

(DEFUN |EXPR;permutation;3$;76| (|n| |m| $)
  (SPADCALL |n| |m| (QREFELT $ 206))) 

(DEFUN |EXPR;factorials;2$;77| (|x| $) (SPADCALL |x| (QREFELT $ 208))) 

(DEFUN |EXPR;factorials;$S$;78| (|x| |n| $)
  (SPADCALL |x| |n| (QREFELT $ 210))) 

(DEFUN |EXPR;summation;$S$;79| (|x| |n| $)
  (SPADCALL |x| |n| (QREFELT $ 212))) 

(DEFUN |EXPR;summation;$Sb$;80| (|x| |s| $)
  (SPADCALL |x| |s| (QREFELT $ 215))) 

(DEFUN |EXPR;product;$S$;81| (|x| |n| $)
  (SPADCALL |x| |n| (QREFELT $ 218))) 

(DEFUN |EXPR;product;$Sb$;82| (|x| |s| $)
  (SPADCALL |x| |s| (QREFELT $ 220))) 

(DEFUN |EXPR;erf;2$;83| (|x| $) (SPADCALL |x| (QREFELT $ 223))) 

(DEFUN |EXPR;Ei;2$;84| (|x| $) (SPADCALL |x| (QREFELT $ 225))) 

(DEFUN |EXPR;Si;2$;85| (|x| $) (SPADCALL |x| (QREFELT $ 227))) 

(DEFUN |EXPR;Ci;2$;86| (|x| $) (SPADCALL |x| (QREFELT $ 229))) 

(DEFUN |EXPR;li;2$;87| (|x| $) (SPADCALL |x| (QREFELT $ 231))) 

(DEFUN |EXPR;dilog;2$;88| (|x| $) (SPADCALL |x| (QREFELT $ 233))) 

(DEFUN |EXPR;integral;$S$;89| (|x| |n| $)
  (SPADCALL |x| |n| (QREFELT $ 235))) 

(DEFUN |EXPR;integral;$Sb$;90| (|x| |s| $)
  (SPADCALL |x| |s| (QREFELT $ 237))) 

(DEFUN |EXPR;operator;2Bo;91| (|op| $)
  (PROG (|n|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |op| (QREFELT $ 239))
              (SPADCALL |op| (QREFELT $ 240)))
             ((SPADCALL |op| (QREFELT $ 241))
              (SPADCALL |op| (QREFELT $ 242)))
             ((SPADCALL |op| (QREFELT $ 243))
              (SPADCALL |op| (QREFELT $ 244)))
             ((SPADCALL |op| (QREFELT $ 245))
              (SPADCALL |op| (QREFELT $ 246)))
             ((SPADCALL |op| (QREFELT $ 247))
              (SPADCALL |op| (QREFELT $ 248)))
             ((SPADCALL |op| (QREFELT $ 250))
              (SPADCALL |op| (QREFELT $ 251)))
             ((SPADCALL |op| (QREFELT $ 253))
              (SPADCALL |op| (QREFELT $ 254)))
             ('T
              (SEQ (COND
                     ((SPADCALL |op| (QREFELT $ 255))
                      (COND
                        ((SPADCALL |op| (QREFELT $ 10) (QREFELT $ 88))
                         (EXIT (SPADCALL
                                   (SPADCALL
                                    (SPADCALL |op| (QREFELT $ 256))
                                    (QREFELT $ 257))
                                   (QREFELT $ 87)))))))
                   (LETT |n| (SPADCALL |op| (QREFELT $ 259))
                         |EXPR;operator;2Bo;91|)
                   (EXIT (COND
                           ((QEQCAR |n| 1)
                            (SPADCALL (SPADCALL |op| (QREFELT $ 256))
                                (QREFELT $ 260)))
                           ('T
                            (SPADCALL (SPADCALL |op| (QREFELT $ 256))
                                (QCDR |n|) (QREFELT $ 261)))))))))))) 

(DEFUN |EXPR;reduc| (|x| |l| $)
  (PROG (|k| #0=#:G2000 |p|)
    (RETURN
      (SEQ (SEQ (LETT |k| NIL . #1=(|EXPR;reduc|)) (LETT #0# |l| . #1#)
                G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |k| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (LETT |p| (SPADCALL |k| (QREFELT $ 263)) . #1#)
                     (EXIT (LETT |x|
                                 (SPADCALL
                                     (|EXPR;evl|
                                      (SPADCALL |x| (QREFELT $ 81)) |k|
                                      |p| $)
                                     (|EXPR;evl|
                                      (SPADCALL |x| (QREFELT $ 83)) |k|
                                      |p| $)
                                     (QREFELT $ 46)) . #1#)))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |x|))))) 

(DEFUN |EXPR;evl0| (|p| |k| $)
  (SPADCALL
      (SPADCALL (SPADCALL |p| (QREFELT $ 265)) |k| (QREFELT $ 268))
      (QREFELT $ 270))) 

(DEFUN |EXPR;evl| (|p| |k| |m| $)
  (COND
    ((< (SPADCALL |p| |k| (QREFELT $ 271))
        (SPADCALL |m| (QREFELT $ 272)))
     (SPADCALL |p| (QREFELT $ 265)))
    ('T
     (SPADCALL (SPADCALL (|EXPR;evl0| |p| |k| $) |m| (QREFELT $ 273))
         (SPADCALL (SPADCALL |k| (QREFELT $ 274)) (QREFELT $ 265))
         (QREFELT $ 275))))) 

(DEFUN |EXPR;noalg?| (|p| $)
  (PROG (#0=#:G2008)
    (RETURN
      (SEQ (EXIT (SEQ (SEQ G190
                           (COND
                             ((NULL (COND
                                      ((SPADCALL |p|
                                        (|spadConstant| $ 276)
                                        (QREFELT $ 277))
                                       'NIL)
                                      ('T 'T)))
                              (GO G191)))
                           (SEQ (EXIT (COND
                                        ((NULL
                                          (NULL
                                           (|EXPR;algkernels|
                                            (SPADCALL
                                             (SPADCALL |p|
                                              (QREFELT $ 278))
                                             (QREFELT $ 53))
                                            $)))
                                         (PROGN
                                           (LETT #0# 'NIL
                                            . #1=(|EXPR;noalg?|))
                                           (GO #0#)))
                                        ('T
                                         (LETT |p|
                                          (SPADCALL |p|
                                           (QREFELT $ 279)) . #1#)))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (EXIT 'T)))
           #0# (EXIT #0#))))) 

(DEFUN |EXPR;gcdPolynomial;3Sup;96| (|p| |q| $)
  (SEQ (COND
         ((|EXPR;noalg?| |p| $)
          (COND
            ((|EXPR;noalg?| |q| $)
             (EXIT (SPADCALL |p| |q| (QREFELT $ 280)))))))
       (EXIT (SPADCALL |p| |q| (QREFELT $ 282))))) 

(DEFUN |EXPR;factorPolynomial;SupF;97| (|x| $)
  (PROG (|uf|)
    (RETURN
      (SEQ (LETT |uf| (SPADCALL |x| (QREFELT $ 286))
                 |EXPR;factorPolynomial;SupF;97|)
           (EXIT |uf|))))) 

(DEFUN |EXPR;squareFreePolynomial;SupF;98| (|x| $)
  (PROG (|uf|)
    (RETURN
      (SEQ (LETT |uf| (SPADCALL |x| (QREFELT $ 289))
                 |EXPR;squareFreePolynomial;SupF;98|)
           (EXIT |uf|))))) 

(DEFUN |EXPR;coerce;An$;99| (|x| $)
  (SPADCALL (SPADCALL |x| (|spadConstant| $ 292) (QREFELT $ 293))
      (QREFELT $ 85))) 

(DEFUN |EXPR;**;$F$;100| (|x| |r| $)
  (SPADCALL |x| |r| (QREFELT $ 297))) 

(DEFUN |EXPR;minPoly;KSup;101| (|k| $) (SPADCALL |k| (QREFELT $ 299))) 

(DEFUN |EXPR;definingPolynomial;2$;102| (|x| $)
  (SPADCALL |x| (QREFELT $ 300))) 

(DEFUN |EXPR;retract;$F;103| (|x| $) (SPADCALL |x| (QREFELT $ 302))) 

(DEFUN |EXPR;retractIfCan;$U;104| (|x| $)
  (SPADCALL |x| (QREFELT $ 304))) 

(DEFUN |EXPR;coerce;An$;105| (|x| $)
  (SPADCALL (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 306)) $)
      (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 307)) $)
      (QREFELT $ 47))) 

(DEFUN |EXPR;k2expr| (|k| $)
  (SPADCALL (CONS #'|EXPR;k2expr!0| $) |k| (QREFELT $ 311))) 

(DEFUN |EXPR;k2expr!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 295))) 

(DEFUN |EXPR;smp2expr| (|p| $)
  (SPADCALL (CONS (|function| |EXPR;k2expr|) $)
      (CONS #'|EXPR;smp2expr!0| $) |p| (QREFELT $ 316))) 

(DEFUN |EXPR;smp2expr!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 39))) 

(DEFUN |EXPR;retractIfCan;$U;108| (|x| $)
  (PROG (|n| |d| #0=#:G2037)
    (RETURN
      (SEQ (EXIT (SEQ (SEQ (LETT |n|
                                 (|EXPR;smp2an|
                                     (SPADCALL |x| (QREFELT $ 81)) $)
                                 . #1=(|EXPR;retractIfCan;$U;108|))
                           (EXIT (COND
                                   ((QEQCAR |n| 0)
                                    (SEQ
                                     (LETT |d|
                                      (|EXPR;smp2an|
                                       (SPADCALL |x| (QREFELT $ 83)) $) . #1#)
                                     (EXIT
                                      (COND
                                        ((QEQCAR |d| 0)
                                         (PROGN
                                           (LETT #0#
                                            (CONS 0
                                             (SPADCALL (QCDR |n|)
                                              (QCDR |d|)
                                              (QREFELT $ 317))) . #1#)
                                           (GO #0#))))))))))
                      (EXIT (CONS 1 "failed"))))
           #0# (EXIT #0#))))) 

(DEFUN |EXPR;R2AN| (|r| $)
  (PROG (|u|)
    (RETURN
      (SEQ (LETT |u|
                 (SPADCALL (SPADCALL |r| (QREFELT $ 320))
                     (QREFELT $ 50))
                 |EXPR;R2AN|)
           (EXIT (COND
                   ((QEQCAR |u| 0)
                    (CONS 0 (SPADCALL (QCDR |u|) (QREFELT $ 321))))
                   ('T (CONS 1 "failed")))))))) 

(DEFUN |EXPR;k2an| (|k| $)
  (PROG (|op| |x| #0=#:G2058 |a| #1=#:G2057 |arg|)
    (RETURN
      (SEQ (EXIT (COND
                   ((NULL (SPADCALL
                              (LETT |op| (SPADCALL |k| (QREFELT $ 87))
                                    . #2=(|EXPR;k2an|))
                              (QREFELT $ 322)))
                    (CONS 1 "failed"))
                   ('T
                    (SEQ (LETT |arg| NIL . #2#)
                         (SEQ (LETT |x| NIL . #2#)
                              (LETT #0#
                                    (SPADCALL |k| (QREFELT $ 58)) . #2#)
                              G190
                              (COND
                                ((OR (ATOM #0#)
                                     (PROGN
                                       (LETT |x| (CAR #0#) . #2#)
                                       NIL))
                                 (GO G191)))
                              (SEQ (LETT |a|
                                    (SPADCALL |x| (QREFELT $ 319)) . #2#)
                                   (EXIT
                                    (COND
                                      ((QEQCAR |a| 1)
                                       (PROGN
                                         (LETT #1#
                                          (CONS 1 "failed") . #2#)
                                         (GO #1#)))
                                      ('T
                                       (LETT |arg|
                                        (CONS (QCDR |a|) |arg|) . #2#)))))
                              (LETT #0# (CDR #0#) . #2#) (GO G190) G191
                              (EXIT NIL))
                         (EXIT (CONS 0
                                     (SPADCALL
                                      (SPADCALL |op| (QREFELT $ 323))
                                      (NREVERSE |arg|) (QREFELT $ 325))))))))
           #1# (EXIT #1#))))) 

(DEFUN |EXPR;smp2an| (|p| $)
  (PROG (|x1| |k| |t| #0=#:G2075 |ans| |up| |c|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |x1| (SPADCALL |p| (QREFELT $ 327))
                            . #1=(|EXPR;smp2an|))
                      (EXIT (COND
                              ((QEQCAR |x1| 1)
                               (|EXPR;R2AN|
                                   (SPADCALL |p| (QREFELT $ 328)) $))
                              (#2='T
                               (SEQ (LETT |up|
                                     (SPADCALL |p|
                                      (LETT |k| (QCDR |x1|) . #1#)
                                      (QREFELT $ 329)) . #1#)
                                    (LETT |t|
                                     (|EXPR;k2an| |k| $) . #1#)
                                    (EXIT
                                     (COND
                                       ((QEQCAR |t| 1)
                                        (CONS 1 "failed"))
                                       (#2#
                                        (SEQ
                                         (LETT |ans|
                                          (|spadConstant| $ 330) . #1#)
                                         (SEQ G190
                                          (COND
                                            ((NULL
                                              (COND
                                                ((SPADCALL |up|
                                                  (QREFELT $ 332))
                                                 'NIL)
                                                ('T 'T)))
                                             (GO G191)))
                                          (SEQ
                                           (LETT |c|
                                            (|EXPR;smp2an|
                                             (SPADCALL |up|
                                              (QREFELT $ 333))
                                             $) . #1#)
                                           (EXIT
                                            (COND
                                              ((QEQCAR |c| 1)
                                               (PROGN
                                                 (LETT #0#
                                                  (CONS 1 "failed") . #1#)
                                                 (GO #0#)))
                                              ('T
                                               (SEQ
                                                (LETT |ans|
                                                 (SPADCALL |ans|
                                                  (SPADCALL (QCDR |c|)
                                                   (SPADCALL (QCDR |t|)
                                                    (SPADCALL |up|
                                                     (QREFELT $ 334))
                                                    (QREFELT $ 335))
                                                   (QREFELT $ 336))
                                                  (QREFELT $ 337)) . #1#)
                                                (EXIT
                                                 (LETT |up|
                                                  (SPADCALL |up|
                                                   (QREFELT $ 338)) . #1#)))))))
                                          NIL (GO G190) G191
                                          (EXIT NIL))
                                         (LETT |c|
                                          (|EXPR;smp2an|
                                           (SPADCALL |up|
                                            (QREFELT $ 333))
                                           $) . #1#)
                                         (EXIT
                                          (COND
                                            ((QEQCAR |c| 1)
                                             (CONS 1 "failed"))
                                            (#2#
                                             (CONS 0
                                              (SPADCALL |ans|
                                               (QCDR |c|)
                                               (QREFELT $ 337))))))))))))))))
           #0# (EXIT #0#))))) 

(DEFUN |EXPR;convert;$If;112| (|x| $) (SPADCALL |x| (QREFELT $ 340))) 

(DEFUN |EXPR;eval;$Bo$S$;113| (|f| |op| |g| |x| $)
  (SPADCALL |f| (LIST |op|) (LIST |g|) |x| (QREFELT $ 343))) 

(DEFUN |EXPR;eval;$LLS$;114| (|f| |ls| |lg| |x| $)
  (PROG (#0=#:G2091 #1=#:G2092 |llsym| |lsym| |lsd| #2=#:G2093
            #3=#:G2094 #4=#:G2095 #5=#:G2096 |ns| #6=#:G2097 #7=#:G2099
            #8=#:G2098 |lforwardSubs| #9=#:G2100 |j| #10=#:G2102 |i|
            #11=#:G2101 |lbackwardSubs| #12=#:G2103 #13=#:G2104 |nlg|
            #14=#:G2105 |g| #15=#:G2106 |res|)
    (RETURN
      (SEQ (LETT |llsym|
                 (PROGN
                   (LETT #0# NIL . #16=(|EXPR;eval;$LLS$;114|))
                   (SEQ (LETT |g| NIL . #16#) (LETT #1# |lg| . #16#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |g| (CAR #1#) . #16#) NIL))
                           #17=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS
                                     (SPADCALL |g| (QREFELT $ 346))
                                     #0#) . #16#)))
                        (LETT #1# (CDR #1#) . #16#) #18=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #16#)
           (LETT |lsym|
                 (SPADCALL (SPADCALL |llsym| (QREFELT $ 347))
                     (QREFELT $ 348)) . #16#)
           (LETT |lsd|
                 (SPADCALL (ELT $ 349) |lsym| (QREFELT $ 351)) . #16#)
           (EXIT (COND
                   ((NULL |lsd|)
                    (SPADCALL |f| |ls|
                        (PROGN
                          (LETT #2# NIL . #16#)
                          (SEQ (LETT |g| NIL . #16#)
                               (LETT #3# |lg| . #16#) G190
                               (COND
                                 ((OR (ATOM #3#)
                                      (PROGN
                                        (LETT |g| (CAR #3#) . #16#)
                                        NIL))
                                  #17#))
                               (SEQ (EXIT
                                     (LETT #2#
                                      (CONS
                                       (SPADCALL |g| |x|
                                        (QREFELT $ 353))
                                       #2#) . #16#)))
                               (LETT #3# (CDR #3#) . #16#) #18# G191
                               (EXIT (NREVERSE0 #2#))))
                        (QREFELT $ 356)))
                   ('T
                    (SEQ (LETT |ns|
                               (PROGN
                                 (LETT #4# NIL . #16#)
                                 (SEQ (LETT |i| NIL . #16#)
                                      (LETT #5# |lsd| . #16#) G190
                                      (COND
                                        ((OR (ATOM #5#)
                                          (PROGN
                                            (LETT |i| (CAR #5#) . #16#)
                                            NIL))
                                         #17#))
                                      (SEQ
                                       (EXIT
                                        (LETT #4#
                                         (CONS
                                          (SPADCALL (QREFELT $ 357))
                                          #4#) . #16#)))
                                      (LETT #5# (CDR #5#) . #16#) #18#
                                      G191 (EXIT (NREVERSE0 #4#)))) . #16#)
                         (LETT |lforwardSubs|
                               (PROGN
                                 (LETT #6# NIL . #16#)
                                 (SEQ (LETT |j| NIL . #16#)
                                      (LETT #7# |ns| . #16#)
                                      (LETT |i| NIL . #16#)
                                      (LETT #8# |lsd| . #16#) G190
                                      (COND
                                        ((OR (ATOM #8#)
                                          (PROGN
                                            (LETT |i| (CAR #8#) . #16#)
                                            NIL)
                                          (ATOM #7#)
                                          (PROGN
                                            (LETT |j| (CAR #7#) . #16#)
                                            NIL))
                                         #17#))
                                      (SEQ
                                       (EXIT
                                        (LETT #6#
                                         (CONS
                                          (SPADCALL
                                           (SPADCALL |i|
                                            (QREFELT $ 358))
                                           (SPADCALL |j|
                                            (QREFELT $ 358))
                                           (QREFELT $ 360))
                                          #6#) . #16#)))
                                      (LETT #8#
                                       (PROG1 (CDR #8#)
                                         (LETT #7# (CDR #7#) . #16#)) . #16#)
                                      #18# G191 (EXIT (NREVERSE0 #6#)))) . #16#)
                         (LETT |lbackwardSubs|
                               (PROGN
                                 (LETT #9# NIL . #16#)
                                 (SEQ (LETT |j| NIL . #16#)
                                      (LETT #10# |ns| . #16#)
                                      (LETT |i| NIL . #16#)
                                      (LETT #11# |lsd| . #16#) G190
                                      (COND
                                        ((OR (ATOM #11#)
                                          (PROGN
                                            (LETT |i|
                                             (CAR #11#) . #16#)
                                            NIL)
                                          (ATOM #10#)
                                          (PROGN
                                            (LETT |j|
                                             (CAR #10#) . #16#)
                                            NIL))
                                         #17#))
                                      (SEQ
                                       (EXIT
                                        (LETT #9#
                                         (CONS
                                          (SPADCALL
                                           (SPADCALL |j|
                                            (QREFELT $ 358))
                                           (SPADCALL |i|
                                            (QREFELT $ 358))
                                           (QREFELT $ 360))
                                          #9#) . #16#)))
                                      (LETT #11#
                                       (PROG1 (CDR #11#)
                                         (LETT #10# (CDR #10#) . #16#)) . #16#)
                                      #18# G191 (EXIT (NREVERSE0 #9#)))) . #16#)
                         (LETT |nlg|
                               (PROGN
                                 (LETT #12# NIL . #16#)
                                 (SEQ (LETT |g| NIL . #16#)
                                      (LETT #13# |lg| . #16#) G190
                                      (COND
                                        ((OR (ATOM #13#)
                                          (PROGN
                                            (LETT |g|
                                             (CAR #13#) . #16#)
                                            NIL))
                                         #17#))
                                      (SEQ
                                       (EXIT
                                        (LETT #12#
                                         (CONS
                                          (SPADCALL |g| |lforwardSubs|
                                           (QREFELT $ 362))
                                          #12#) . #16#)))
                                      (LETT #13# (CDR #13#) . #16#)
                                      #18# G191
                                      (EXIT (NREVERSE0 #12#)))) . #16#)
                         (LETT |res|
                               (SPADCALL |f| |ls|
                                   (PROGN
                                     (LETT #14# NIL . #16#)
                                     (SEQ (LETT |g| NIL . #16#)
                                      (LETT #15# |nlg| . #16#) G190
                                      (COND
                                        ((OR (ATOM #15#)
                                          (PROGN
                                            (LETT |g|
                                             (CAR #15#) . #16#)
                                            NIL))
                                         #17#))
                                      (SEQ
                                       (EXIT
                                        (LETT #14#
                                         (CONS
                                          (SPADCALL |g| |x|
                                           (QREFELT $ 353))
                                          #14#) . #16#)))
                                      (LETT #15# (CDR #15#) . #16#)
                                      #18# G191
                                      (EXIT (NREVERSE0 #14#))))
                                   (QREFELT $ 356)) . #16#)
                         (EXIT (SPADCALL |res| |lbackwardSubs|
                                   (QREFELT $ 362))))))))))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;115| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (QREFELT $ 366))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;116| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (QREFELT $ 372))) 

(DEFUN |EXPR;operator;2Bo;117| (|op| $)
  (PROG (|n|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |op| (QREFELT $ 250))
              (SPADCALL |op| (QREFELT $ 251)))
             ((SPADCALL |op| (QREFELT $ 253))
              (SPADCALL |op| (QREFELT $ 254)))
             ('T
              (SEQ (COND
                     ((SPADCALL |op| (QREFELT $ 255))
                      (COND
                        ((SPADCALL |op| (QREFELT $ 10) (QREFELT $ 88))
                         (EXIT (SPADCALL
                                   (SPADCALL
                                    (SPADCALL |op| (QREFELT $ 256))
                                    (QREFELT $ 257))
                                   (QREFELT $ 87)))))))
                   (LETT |n| (SPADCALL |op| (QREFELT $ 259))
                         |EXPR;operator;2Bo;117|)
                   (EXIT (COND
                           ((QEQCAR |n| 1)
                            (SPADCALL (SPADCALL |op| (QREFELT $ 256))
                                (QREFELT $ 260)))
                           ('T
                            (SPADCALL (SPADCALL |op| (QREFELT $ 256))
                                (QCDR |n|) (QREFELT $ 261)))))))))))) 

(DEFUN |EXPR;Zero;$;118| ($) (|spadConstant| $ 24)) 

(DEFUN |EXPR;One;$;119| ($) (|spadConstant| $ 26)) 

(DEFUN |EXPR;-;2$;120| (|x| $) (SPADCALL |x| (QREFELT $ 33))) 

(DEFUN |EXPR;*;I2$;121| (|n| |x| $) (SPADCALL |n| |x| (QREFELT $ 36))) 

(DEFUN |EXPR;*;3$;122| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 40))) 

(DEFUN |EXPR;+;3$;123| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 42))) 

(DEFUN |EXPR;=;2$B;124| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 29))) 

(DEFUN |EXPR;<;2$B;125| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 76))) 

(PUT '|EXPR;numer;$Smp;126| '|SPADreplace| '(XLAM (|x|) |x|)) 

(DEFUN |EXPR;numer;$Smp;126| (|x| $) |x|) 

(PUT '|EXPR;coerce;Smp$;127| '|SPADreplace| '(XLAM (|p|) |p|)) 

(DEFUN |EXPR;coerce;Smp$;127| (|p| $) |p|) 

(DEFUN |EXPR;reducedSystem;MM;128| (|m| $)
  (SPADCALL |m| (QREFELT $ 375))) 

(DEFUN |EXPR;reducedSystem;MVR;129| (|m| |v| $)
  (SPADCALL |m| |v| (QREFELT $ 376))) 

(DEFUN |EXPR;convert;$If;130| (|x| $) (SPADCALL |x| (QREFELT $ 340))) 

(DEFUN |EXPR;kintmatch| (|k| |p| |l| $)
  (SPADCALL |k| |p| |l| (QREFELT $ 378))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;132| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (CONS (|function| |EXPR;kintmatch|) $)
      (QREFELT $ 382))) 

(DEFUN |EXPR;kfltmatch| (|k| |p| |l| $)
  (SPADCALL |k| |p| |l| (QREFELT $ 384))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;134| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (CONS (|function| |EXPR;kfltmatch|) $)
      (QREFELT $ 388))) 

(DEFUN |EXPR;Zero;$;135| ($) (|spadConstant| $ 24)) 

(DEFUN |EXPR;+;3$;136| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 42))) 

(DEFUN |EXPR;=;2$B;137| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 29))) 

(DEFUN |EXPR;<;2$B;138| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 76))) 

(DEFUN |EXPR;coerce;K$;139| (|k| $) (SPADCALL |k| (QREFELT $ 389))) 

(DEFUN |EXPR;kernels;$L;140| (|x| $)
  (PROG (#0=#:G2148 |f| #1=#:G2149)
    (RETURN
      (SEQ (PROGN
             (LETT #0# NIL . #2=(|EXPR;kernels;$L;140|))
             (SEQ (LETT |f| NIL . #2#)
                  (LETT #1# (SPADCALL |x| (QREFELT $ 393)) . #2#) G190
                  (COND
                    ((OR (ATOM #1#)
                         (PROGN (LETT |f| (CAR #1#) . #2#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (LETT #0# (CONS (QCAR |f|) #0#) . #2#)))
                  (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                  (EXIT (NREVERSE0 #0#)))))))) 

(DEFUN |EXPR;coerce;R$;141| (|x| $)
  (COND
    ((SPADCALL |x| (QREFELT $ 394)) (|spadConstant| $ 25))
    ('T (SPADCALL (SPADCALL |x| (QREFELT $ 395)) (QREFELT $ 390))))) 

(DEFUN |EXPR;retract;$R;142| (|x| $)
  (COND
    ((SPADCALL |x| (QREFELT $ 32)) (|spadConstant| $ 67))
    ('T (|EXPR;retNotUnit| |x| $)))) 

(DEFUN |EXPR;coerce;$Of;143| (|x| $) (SPADCALL |x| (QREFELT $ 398))) 

(DEFUN |EXPR;kereval| (|k| |lk| |lv| $)
  (PROG ()
    (RETURN
      (SPADCALL |lk| |lv| |k|
          (CONS #'|EXPR;kereval!1| (VECTOR |lk| |lv| $))
          (QREFELT $ 404))))) 

(DEFUN |EXPR;kereval!1| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 2) |EXPR;kereval|)
    (RETURN
      (PROGN
        (SPADCALL
            (CONS #'|EXPR;kereval!0|
                  (VECTOR $ (QREFELT $$ 1) (QREFELT $$ 0)))
            |#1| (QREFELT $ 401)))))) 

(DEFUN |EXPR;kereval!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT (QREFELT $$ 0) 400))) 

(DEFUN |EXPR;subeval| (|k| |lk| |lv| $)
  (PROG ()
    (RETURN
      (SEQ (SPADCALL |lk| |lv| |k|
               (CONS #'|EXPR;subeval!0| (VECTOR |lv| |lk| $))
               (QREFELT $ 404)))))) 

(DEFUN |EXPR;subeval!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 2) |EXPR;subeval|)
    (RETURN
      (PROGN
        (PROG (#0=#:G2158 |a| #1=#:G2159)
          (RETURN
            (SEQ (SPADCALL (SPADCALL |#1| (QREFELT $ 87))
                     (PROGN
                       (LETT #0# NIL NIL)
                       (SEQ (LETT |a| NIL NIL)
                            (LETT #1# (SPADCALL |#1| (QREFELT $ 58))
                                  NIL)
                            G190
                            (COND
                              ((OR (ATOM #1#)
                                   (PROGN
                                     (LETT |a| (CAR #1#) NIL)
                                     NIL))
                               (GO G191)))
                            (SEQ (EXIT (LETT #0#
                                        (CONS
                                         (SPADCALL |a| (QREFELT $$ 1)
                                          (QREFELT $$ 0)
                                          (QREFELT $ 405))
                                         #0#)
                                        NIL)))
                            (LETT #1# (CDR #1#) NIL) (GO G190) G191
                            (EXIT (NREVERSE0 #0#))))
                     (QREFELT $ 406))))))))) 

(DEFUN |EXPR;isPlus;$U;146| (|x| $)
  (PROG (|l| #0=#:G2173 |t| #1=#:G2174)
    (RETURN
      (SEQ (COND
             ((OR (NULL (LETT |l| (SPADCALL |x| (QREFELT $ 393))
                              . #2=(|EXPR;isPlus;$U;146|)))
                  (NULL (CDR |l|)))
              (CONS 1 "failed"))
             ('T
              (CONS 0
                    (PROGN
                      (LETT #0# NIL . #2#)
                      (SEQ (LETT |t| NIL . #2#) (LETT #1# |l| . #2#)
                           G190
                           (COND
                             ((OR (ATOM #1#)
                                  (PROGN
                                    (LETT |t| (CAR #1#) . #2#)
                                    NIL))
                              (GO G191)))
                           (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (SPADCALL (QCDR |t|) (QCAR |t|)
                                         (QREFELT $ 407))
                                        #0#) . #2#)))
                           (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                           (EXIT (NREVERSE0 #0#))))))))))) 

(DEFUN |EXPR;isMult;$U;147| (|x| $)
  (PROG (|l| |t|)
    (RETURN
      (SEQ (COND
             ((OR (NULL (LETT |l| (SPADCALL |x| (QREFELT $ 393))
                              . #0=(|EXPR;isMult;$U;147|)))
                  (NULL (NULL (CDR |l|))))
              (CONS 1 "failed"))
             ('T
              (SEQ (LETT |t| (SPADCALL |l| (QREFELT $ 410)) . #0#)
                   (EXIT (CONS 0 (CONS (QCDR |t|) (QCAR |t|))))))))))) 

(DEFUN |EXPR;eval;$LL$;148| (|x| |lk| |lv| $)
  (PROG (|t| #0=#:G2193 #1=#:G2191 #2=#:G2189 #3=#:G2190)
    (RETURN
      (SEQ (PROGN
             (LETT #3# NIL . #4=(|EXPR;eval;$LL$;148|))
             (SEQ (LETT |t| NIL . #4#)
                  (LETT #0# (SPADCALL |x| (QREFELT $ 393)) . #4#) G190
                  (COND
                    ((OR (ATOM #0#)
                         (PROGN (LETT |t| (CAR #0#) . #4#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (PROGN
                               (LETT #1#
                                     (SPADCALL (QCDR |t|)
                                      (|EXPR;kereval| (QCAR |t|) |lk|
                                       |lv| $)
                                      (QREFELT $ 36)) . #4#)
                               (COND
                                 (#3# (LETT #2#
                                       (SPADCALL #2# #1#
                                        (QREFELT $ 43)) . #4#))
                                 ('T
                                  (PROGN
                                    (LETT #2# #1# . #4#)
                                    (LETT #3# 'T . #4#)))))))
                  (LETT #0# (CDR #0#) . #4#) (GO G190) G191 (EXIT NIL))
             (COND (#3# #2#) ('T (|spadConstant| $ 25)))))))) 

(DEFUN |EXPR;subst;$LL$;149| (|x| |lk| |lv| $)
  (PROG (|t| #0=#:G2199 #1=#:G2197 #2=#:G2195 #3=#:G2196)
    (RETURN
      (SEQ (PROGN
             (LETT #3# NIL . #4=(|EXPR;subst;$LL$;149|))
             (SEQ (LETT |t| NIL . #4#)
                  (LETT #0# (SPADCALL |x| (QREFELT $ 393)) . #4#) G190
                  (COND
                    ((OR (ATOM #0#)
                         (PROGN (LETT |t| (CAR #0#) . #4#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (PROGN
                               (LETT #1#
                                     (SPADCALL (QCDR |t|)
                                      (|EXPR;subeval| (QCAR |t|) |lk|
                                       |lv| $)
                                      (QREFELT $ 36)) . #4#)
                               (COND
                                 (#3# (LETT #2#
                                       (SPADCALL #2# #1#
                                        (QREFELT $ 43)) . #4#))
                                 ('T
                                  (PROGN
                                    (LETT #2# #1# . #4#)
                                    (LETT #3# 'T . #4#)))))))
                  (LETT #0# (CDR #0#) . #4#) (GO G190) G191 (EXIT NIL))
             (COND (#3# #2#) ('T (|spadConstant| $ 25)))))))) 

(DEFUN |EXPR;retractIfCan;$U;150| (|x| $)
  (COND
    ((SPADCALL |x| (QREFELT $ 32)) (CONS 0 (|spadConstant| $ 67)))
    ('T (|EXPR;retNotUnitIfCan| |x| $)))) 

(DEFUN |EXPR;-;2$;151| (|x| $) (SPADCALL |x| (QREFELT $ 33))) 

(DEFUN |EXPR;<;2$B;152| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 76))) 

(DEFUN |EXPR;=;2$B;153| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 29))) 

(PUT '|EXPR;coerce;K$;154| '|SPADreplace| '(XLAM (|k|) |k|)) 

(DEFUN |EXPR;coerce;K$;154| (|k| $) |k|) 

(PUT '|EXPR;kernels;$L;155| '|SPADreplace| 'LIST) 

(DEFUN |EXPR;kernels;$L;155| (|x| $) (LIST |x|)) 

(DEFUN |EXPR;coerce;R$;156| (|x| $) (SPADCALL |x| (QREFELT $ 395))) 

(DEFUN |EXPR;retract;$R;157| (|x| $) (|EXPR;retNotUnit| |x| $)) 

(DEFUN |EXPR;retractIfCan;$U;158| (|x| $)
  (|EXPR;retNotUnitIfCan| |x| $)) 

(DEFUN |EXPR;coerce;$Of;159| (|x| $) (SPADCALL |x| (QREFELT $ 398))) 

(DEFUN |EXPR;eval;$LL$;160| (|x| |lk| |lv| $)
  (PROG ()
    (RETURN
      (SPADCALL |lk| |lv| |x|
          (CONS #'|EXPR;eval;$LL$;160!1| (VECTOR |lk| |lv| $))
          (QREFELT $ 404))))) 

(DEFUN |EXPR;eval;$LL$;160!1| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 2) |EXPR;eval;$LL$;160|)
    (RETURN
      (PROGN
        (SPADCALL
            (CONS #'|EXPR;eval;$LL$;160!0|
                  (VECTOR $ (QREFELT $$ 1) (QREFELT $$ 0)))
            |#1| (QREFELT $ 401)))))) 

(DEFUN |EXPR;eval;$LL$;160!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 2) (QREFELT $$ 1)
            (QREFELT (QREFELT $$ 0) 400))) 

(DEFUN |EXPR;subst;$LL$;161| (|x| |lk| |lv| $)
  (PROG ()
    (RETURN
      (SEQ (SPADCALL |lk| |lv| |x|
               (CONS #'|EXPR;subst;$LL$;161!0| (VECTOR |lv| |lk| $))
               (QREFELT $ 404)))))) 

(DEFUN |EXPR;subst;$LL$;161!0| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 2) |EXPR;subst;$LL$;161|)
    (RETURN
      (PROGN
        (PROG (#0=#:G2219 |a| #1=#:G2220)
          (RETURN
            (SEQ (SPADCALL (SPADCALL |#1| (QREFELT $ 87))
                     (PROGN
                       (LETT #0# NIL NIL)
                       (SEQ (LETT |a| NIL NIL)
                            (LETT #1# (SPADCALL |#1| (QREFELT $ 58))
                                  NIL)
                            G190
                            (COND
                              ((OR (ATOM #1#)
                                   (PROGN
                                     (LETT |a| (CAR #1#) NIL)
                                     NIL))
                               (GO G191)))
                            (SEQ (EXIT (LETT #0#
                                        (CONS
                                         (SPADCALL |a| (QREFELT $$ 1)
                                          (QREFELT $$ 0)
                                          (QREFELT $ 405))
                                         #0#)
                                        NIL)))
                            (LETT #1# (CDR #1#) NIL) (GO G190) G191
                            (EXIT (NREVERSE0 #0#))))
                     (QREFELT $ 406))))))))) 

(DEFUN |EXPR;convert;$If;162| (|x| $) (SPADCALL |x| (QREFELT $ 340))) 

(DEFUN |Expression| (#0=#:G2263)
  (PROG ()
    (RETURN
      (PROG (#1=#:G2264)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache| '|Expression|)
                       '|domainEqualList|)
                   . #2=(|Expression|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|Expression;| #0#) (LETT #1# T . #2#))
               (COND
                 ((NOT #1#) (HREM |$ConstructorCache| '|Expression|))))))))))) 

(DEFUN |Expression;| (|#1|)
  (PROG (DV$1 |dv$| $ #0=#:G2262 #1=#:G2261 #2=#:G2260 #3=#:G2259
              #4=#:G2258 #5=#:G2257 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #6=(|Expression|))
        (LETT |dv$| (LIST '|Expression| DV$1) . #6#)
        (LETT $ (GETREFV 445) . #6#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1| '(|IntegralDomain|))
                            (LETT #0#
                                  (|HasCategory| |#1| '(|Ring|)) . #6#)
                            (OR (|HasCategory| |#1|
                                    '(|IntegralDomain|))
                                #0#)
                            (|HasCategory| |#1| '(|CommutativeRing|))
                            (|HasCategory| |#1|
                                '(|CharacteristicNonZero|))
                            (|HasCategory| |#1|
                                '(|CharacteristicZero|))
                            (|HasCategory| |#1|
                                '(|LinearlyExplicitRingOver|
                                     (|Integer|)))
                            (LETT #1#
                                  (|HasCategory| |#1| '(|Group|)) . #6#)
                            (OR #1# #0#)
                            (|HasCategory| |#1|
                                '(|ConvertibleTo| (|InputForm|)))
                            (|HasCategory| |#1|
                                '(|RetractableTo| (|Integer|)))
                            (|HasCategory| |#1|
                                '(|PatternMatchable| (|Float|)))
                            (|HasCategory| |#1|
                                '(|PatternMatchable| (|Integer|)))
                            (|HasCategory| |#1|
                                '(|ConvertibleTo|
                                     (|Pattern| (|Float|))))
                            (|HasCategory| |#1|
                                '(|ConvertibleTo|
                                     (|Pattern| (|Integer|))))
                            (AND (|HasCategory| |#1|
                                     '(|IntegralDomain|))
                                 (|HasCategory| |#1|
                                     '(|RetractableTo| (|Integer|))))
                            (OR (|HasCategory| |#1|
                                    '(|LinearlyExplicitRingOver|
                                      (|Integer|)))
                                (|HasCategory| |#1|
                                    '(|CharacteristicNonZero|))
                                (|HasCategory| |#1|
                                    '(|CharacteristicZero|))
                                (|HasCategory| |#1|
                                    '(|CommutativeRing|))
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|))
                                #0#)
                            (AND (|HasCategory| |#1| '(|GcdDomain|))
                                 (|HasCategory| |#1|
                                     '(|IntegralDomain|)))
                            (OR #1#
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (AND #0#
                                 (|HasCategory| |#1|
                                     '(|LinearlyExplicitRingOver|
                                       (|Integer|))))
                            (OR #0#
                                (|HasCategory| |#1|
                                    '(|RetractableTo| (|Integer|))))
                            (LETT #2#
                                  (|HasCategory| |#1| '(|SemiGroup|)) . #6#)
                            (OR #1# #2#)
                            (OR (AND #0#
                                     (|HasCategory| |#1|
                                      '(|LinearlyExplicitRingOver|
                                        (|Integer|))))
                                #2#)
                            (LETT #3#
                                  (|HasCategory| |#1|
                                      '(|AbelianSemiGroup|)) . #6#)
                            (OR #3#
                                (AND #0#
                                     (|HasCategory| |#1|
                                      '(|LinearlyExplicitRingOver|
                                        (|Integer|))))
                                #2#)
                            (OR #3#
                                (AND #0#
                                     (|HasCategory| |#1|
                                      '(|LinearlyExplicitRingOver|
                                        (|Integer|)))))
                            (LETT #4#
                                  (|HasCategory| |#1|
                                      '(|AbelianGroup|)) . #6#)
                            (OR (|HasCategory| |#1|
                                    '(|LinearlyExplicitRingOver|
                                      (|Integer|)))
                                #4# #3#
                                (|HasCategory| |#1|
                                    '(|CharacteristicNonZero|))
                                (|HasCategory| |#1|
                                    '(|CharacteristicZero|))
                                (|HasCategory| |#1|
                                    '(|CommutativeRing|))
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|))
                                #0#)
                            (OR (|HasCategory| |#1|
                                    '(|LinearlyExplicitRingOver|
                                      (|Integer|)))
                                #4#
                                (|HasCategory| |#1|
                                    '(|CharacteristicNonZero|))
                                (|HasCategory| |#1|
                                    '(|CharacteristicZero|))
                                (|HasCategory| |#1|
                                    '(|CommutativeRing|))
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|))
                                #0#)
                            (OR #4#
                                (AND #0#
                                     (|HasCategory| |#1|
                                      '(|LinearlyExplicitRingOver|
                                        (|Integer|)))))
                            (LETT #5#
                                  (|HasCategory| |#1|
                                      '(|RetractableTo|
                                        (|Fraction| (|Integer|)))) . #6#)
                            (OR #5#
                                (AND (|HasCategory| |#1|
                                      '(|IntegralDomain|))
                                     (|HasCategory| |#1|
                                      '(|RetractableTo| (|Integer|)))))
                            (OR #5#
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (OR (AND #5#
                                     (|HasCategory| |#1|
                                      '(|IntegralDomain|)))
                                (AND (|HasCategory| |#1|
                                      '(|IntegralDomain|))
                                     (|HasCategory| |#1|
                                      '(|RetractableTo| (|Integer|))))))) . #6#))
        (|haddProp| |$ConstructorCache| '|Expression| (LIST DV$1)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (AND (|HasCategory| $ '(|Ring|))
             (|augmentPredVector| $ 34359738368))
        (AND (|HasCategory| $ '(|RetractableTo| (|Integer|)))
             (|augmentPredVector| $ 68719476736))
        (QSETREFV $ 10 (SPADCALL "%symbol" (QREFELT $ 9)))
        (QSETREFV $ 11 (SPADCALL "%alg" (QREFELT $ 9)))
        (COND
          ((|testBitVector| |pv$| 1)
           (PROGN
             (QSETREFV $ 23
                 (|Fraction|
                     (|SparseMultivariatePolynomial| |#1| (|Kernel| $))))
             (QSETREFV $ 25
                       (CONS IDENTITY
                             (FUNCALL (|dispatchFunction|
                                       |EXPR;Zero;$;4|)
                                      $)))
             (QSETREFV $ 27
                 (CONS IDENTITY
                       (FUNCALL (|dispatchFunction| |EXPR;One;$;5|) $)))
             (QSETREFV $ 30
                 (CONS (|dispatchFunction| |EXPR;one?;$B;6|) $))
             (QSETREFV $ 32
                 (CONS (|dispatchFunction| |EXPR;zero?;$B;7|) $))
             (QSETREFV $ 34
                 (CONS (|dispatchFunction| |EXPR;-;2$;8|) $))
             (QSETREFV $ 37
                 (CONS (|dispatchFunction| |EXPR;*;I2$;9|) $))
             (QSETREFV $ 39
                 (CONS (|dispatchFunction| |EXPR;coerce;I$;10|) $))
             (QSETREFV $ 41
                 (CONS (|dispatchFunction| |EXPR;*;3$;11|) $))
             (QSETREFV $ 43
                 (CONS (|dispatchFunction| |EXPR;+;3$;12|) $))
             (QSETREFV $ 45
                 (CONS (|dispatchFunction| |EXPR;-;3$;13|) $))
             (QSETREFV $ 47
                 (CONS (|dispatchFunction| |EXPR;/;3$;14|) $))
             (QSETREFV $ 51
                 (CONS (|dispatchFunction| |EXPR;number?;$B;15|) $))
             (QSETREFV $ 66
                 (CONS (|dispatchFunction| |EXPR;simplifyPower;$I$;16|)
                       $))
             (QSETREFV $ 70
                 (CONS (|dispatchFunction| |EXPR;**;$Nni$;17|) $))
             (QSETREFV $ 73
                 (CONS (|dispatchFunction| |EXPR;**;$I$;18|) $))
             (QSETREFV $ 75
                 (CONS (|dispatchFunction| |EXPR;**;$Pi$;19|) $))
             (QSETREFV $ 77
                 (CONS (|dispatchFunction| |EXPR;<;2$B;20|) $))
             (QSETREFV $ 78
                 (CONS (|dispatchFunction| |EXPR;=;2$B;21|) $))
             (QSETREFV $ 81
                 (CONS (|dispatchFunction| |EXPR;numer;$Smp;22|) $))
             (QSETREFV $ 83
                 (CONS (|dispatchFunction| |EXPR;denom;$Smp;23|) $))
             (QSETREFV $ 85
                 (CONS (|dispatchFunction| |EXPR;coerce;Smp$;24|) $))
             (QSETREFV $ 86
                 (CONS (|dispatchFunction| |EXPR;reduce;2$;25|) $))
             (QSETREFV $ 95
                 (CONS (|dispatchFunction| |EXPR;/;2Smp$;29|) $))
             (QSETREFV $ 104
                 (CONS (|dispatchFunction| |EXPR;reducedSystem;MM;30|)
                       $))
             (QSETREFV $ 112
                 (CONS (|dispatchFunction| |EXPR;reducedSystem;MVR;31|)
                       $))
             (QSETREFV $ 119
                 (CONS (|dispatchFunction| |EXPR;rootOf;SupS$;33|) $))
             (QSETREFV $ 122
                 (CONS (|dispatchFunction| |EXPR;pi;$;34|) $))
             (QSETREFV $ 124
                 (CONS (|dispatchFunction| |EXPR;exp;2$;35|) $))
             (QSETREFV $ 126
                 (CONS (|dispatchFunction| |EXPR;log;2$;36|) $))
             (QSETREFV $ 128
                 (CONS (|dispatchFunction| |EXPR;sin;2$;37|) $))
             (QSETREFV $ 130
                 (CONS (|dispatchFunction| |EXPR;cos;2$;38|) $))
             (QSETREFV $ 132
                 (CONS (|dispatchFunction| |EXPR;tan;2$;39|) $))
             (QSETREFV $ 134
                 (CONS (|dispatchFunction| |EXPR;cot;2$;40|) $))
             (QSETREFV $ 136
                 (CONS (|dispatchFunction| |EXPR;sec;2$;41|) $))
             (QSETREFV $ 138
                 (CONS (|dispatchFunction| |EXPR;csc;2$;42|) $))
             (QSETREFV $ 140
                 (CONS (|dispatchFunction| |EXPR;asin;2$;43|) $))
             (QSETREFV $ 142
                 (CONS (|dispatchFunction| |EXPR;acos;2$;44|) $))
             (QSETREFV $ 144
                 (CONS (|dispatchFunction| |EXPR;atan;2$;45|) $))
             (QSETREFV $ 146
                 (CONS (|dispatchFunction| |EXPR;acot;2$;46|) $))
             (QSETREFV $ 148
                 (CONS (|dispatchFunction| |EXPR;asec;2$;47|) $))
             (QSETREFV $ 150
                 (CONS (|dispatchFunction| |EXPR;acsc;2$;48|) $))
             (QSETREFV $ 152
                 (CONS (|dispatchFunction| |EXPR;sinh;2$;49|) $))
             (QSETREFV $ 154
                 (CONS (|dispatchFunction| |EXPR;cosh;2$;50|) $))
             (QSETREFV $ 156
                 (CONS (|dispatchFunction| |EXPR;tanh;2$;51|) $))
             (QSETREFV $ 158
                 (CONS (|dispatchFunction| |EXPR;coth;2$;52|) $))
             (QSETREFV $ 160
                 (CONS (|dispatchFunction| |EXPR;sech;2$;53|) $))
             (QSETREFV $ 162
                 (CONS (|dispatchFunction| |EXPR;csch;2$;54|) $))
             (QSETREFV $ 164
                 (CONS (|dispatchFunction| |EXPR;asinh;2$;55|) $))
             (QSETREFV $ 166
                 (CONS (|dispatchFunction| |EXPR;acosh;2$;56|) $))
             (QSETREFV $ 168
                 (CONS (|dispatchFunction| |EXPR;atanh;2$;57|) $))
             (QSETREFV $ 170
                 (CONS (|dispatchFunction| |EXPR;acoth;2$;58|) $))
             (QSETREFV $ 172
                 (CONS (|dispatchFunction| |EXPR;asech;2$;59|) $))
             (QSETREFV $ 174
                 (CONS (|dispatchFunction| |EXPR;acsch;2$;60|) $))
             (QSETREFV $ 177
                 (CONS (|dispatchFunction| |EXPR;abs;2$;61|) $))
             (QSETREFV $ 179
                 (CONS (|dispatchFunction| |EXPR;Gamma;2$;62|) $))
             (QSETREFV $ 181
                 (CONS (|dispatchFunction| |EXPR;Gamma;3$;63|) $))
             (QSETREFV $ 183
                 (CONS (|dispatchFunction| |EXPR;Beta;3$;64|) $))
             (QSETREFV $ 185
                 (CONS (|dispatchFunction| |EXPR;digamma;2$;65|) $))
             (QSETREFV $ 187
                 (CONS (|dispatchFunction| |EXPR;polygamma;3$;66|) $))
             (QSETREFV $ 189
                 (CONS (|dispatchFunction| |EXPR;besselJ;3$;67|) $))
             (QSETREFV $ 191
                 (CONS (|dispatchFunction| |EXPR;besselY;3$;68|) $))
             (QSETREFV $ 193
                 (CONS (|dispatchFunction| |EXPR;besselI;3$;69|) $))
             (QSETREFV $ 195
                 (CONS (|dispatchFunction| |EXPR;besselK;3$;70|) $))
             (QSETREFV $ 197
                 (CONS (|dispatchFunction| |EXPR;airyAi;2$;71|) $))
             (QSETREFV $ 199
                 (CONS (|dispatchFunction| |EXPR;airyBi;2$;72|) $))
             (QSETREFV $ 63
                 (CONS (|dispatchFunction| |EXPR;**;3$;73|) $))
             (QSETREFV $ 203
                 (CONS (|dispatchFunction| |EXPR;factorial;2$;74|) $))
             (QSETREFV $ 205
                 (CONS (|dispatchFunction| |EXPR;binomial;3$;75|) $))
             (QSETREFV $ 207
                 (CONS (|dispatchFunction| |EXPR;permutation;3$;76|) $))
             (QSETREFV $ 209
                 (CONS (|dispatchFunction| |EXPR;factorials;2$;77|) $))
             (QSETREFV $ 211
                 (CONS (|dispatchFunction| |EXPR;factorials;$S$;78|) $))
             (QSETREFV $ 213
                 (CONS (|dispatchFunction| |EXPR;summation;$S$;79|) $))
             (QSETREFV $ 217
                 (CONS (|dispatchFunction| |EXPR;summation;$Sb$;80|) $))
             (QSETREFV $ 219
                 (CONS (|dispatchFunction| |EXPR;product;$S$;81|) $))
             (QSETREFV $ 221
                 (CONS (|dispatchFunction| |EXPR;product;$Sb$;82|) $))
             (QSETREFV $ 224
                 (CONS (|dispatchFunction| |EXPR;erf;2$;83|) $))
             (QSETREFV $ 226
                 (CONS (|dispatchFunction| |EXPR;Ei;2$;84|) $))
             (QSETREFV $ 228
                 (CONS (|dispatchFunction| |EXPR;Si;2$;85|) $))
             (QSETREFV $ 230
                 (CONS (|dispatchFunction| |EXPR;Ci;2$;86|) $))
             (QSETREFV $ 232
                 (CONS (|dispatchFunction| |EXPR;li;2$;87|) $))
             (QSETREFV $ 234
                 (CONS (|dispatchFunction| |EXPR;dilog;2$;88|) $))
             (QSETREFV $ 236
                 (CONS (|dispatchFunction| |EXPR;integral;$S$;89|) $))
             (QSETREFV $ 238
                 (CONS (|dispatchFunction| |EXPR;integral;$Sb$;90|) $))
             (QSETREFV $ 262
                 (CONS (|dispatchFunction| |EXPR;operator;2Bo;91|) $))
             (COND
               ((|HasCategory| |#1| '(|GcdDomain|))
                (PROGN
                  (QSETREFV $ 283
                      (CONS (|dispatchFunction|
                                |EXPR;gcdPolynomial;3Sup;96|)
                            $))
                  (QSETREFV $ 288
                      (CONS (|dispatchFunction|
                                |EXPR;factorPolynomial;SupF;97|)
                            $))
                  (QSETREFV $ 290
                      (CONS (|dispatchFunction|
                                |EXPR;squareFreePolynomial;SupF;98|)
                            $)))))
             (COND
               ((|domainEqual| |#1| (|AlgebraicNumber|))
                (QSETREFV $ 295
                    (CONS (|dispatchFunction| |EXPR;coerce;An$;99|) $))))
             (COND
               ((|testBitVector| |pv$| 11)
                (PROGN
                  (QSETREFV $ 298
                      (CONS (|dispatchFunction| |EXPR;**;$F$;100|) $))
                  (QSETREFV $ 263
                      (CONS (|dispatchFunction|
                                |EXPR;minPoly;KSup;101|)
                            $))
                  (QSETREFV $ 301
                      (CONS (|dispatchFunction|
                                |EXPR;definingPolynomial;2$;102|)
                            $))
                  (QSETREFV $ 303
                      (CONS (|dispatchFunction| |EXPR;retract;$F;103|)
                            $))
                  (QSETREFV $ 50
                      (CONS (|dispatchFunction|
                                |EXPR;retractIfCan;$U;104|)
                            $))
                  (COND
                    ((|domainEqual| |#1| (|AlgebraicNumber|)))
                    ('T
                     (PROGN
                       (QSETREFV $ 295
                           (CONS (|dispatchFunction|
                                     |EXPR;coerce;An$;105|)
                                 $))
                       (QSETREFV $ 319
                           (CONS (|dispatchFunction|
                                     |EXPR;retractIfCan;$U;108|)
                                 $))))))))
             (COND
               ((|testBitVector| |pv$| 10)
                (PROGN
                  (QSETREFV $ 341
                      (CONS (|dispatchFunction| |EXPR;convert;$If;112|)
                            $))
                  (QSETREFV $ 344
                      (CONS (|dispatchFunction| |EXPR;eval;$Bo$S$;113|)
                            $))
                  (QSETREFV $ 343
                      (CONS (|dispatchFunction| |EXPR;eval;$LLS$;114|)
                            $)))))
             (COND
               ((|testBitVector| |pv$| 13)
                (QSETREFV $ 368
                    (CONS (|dispatchFunction|
                              |EXPR;patternMatch;$P2Pmr;115|)
                          $))))
             (COND
               ((|testBitVector| |pv$| 12)
                (QSETREFV $ 374
                    (CONS (|dispatchFunction|
                              |EXPR;patternMatch;$P2Pmr;116|)
                          $))))))
          ('T
           (PROGN
             (QSETREFV $ 262
                 (CONS (|dispatchFunction| |EXPR;operator;2Bo;117|) $))
             (COND
               ((|testBitVector| |pv$| 2)
                (PROGN
                  (SETELT $ 23
                          (|SparseMultivariatePolynomial| |#1|
                              (|Kernel| $)))
                  (QSETREFV $ 25
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction|
                                      |EXPR;Zero;$;118|)
                                     $)))
                  (QSETREFV $ 27
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction|
                                      |EXPR;One;$;119|)
                                     $)))
                  (QSETREFV $ 34
                      (CONS (|dispatchFunction| |EXPR;-;2$;120|) $))
                  (QSETREFV $ 37
                      (CONS (|dispatchFunction| |EXPR;*;I2$;121|) $))
                  (QSETREFV $ 41
                      (CONS (|dispatchFunction| |EXPR;*;3$;122|) $))
                  (QSETREFV $ 43
                      (CONS (|dispatchFunction| |EXPR;+;3$;123|) $))
                  (QSETREFV $ 78
                      (CONS (|dispatchFunction| |EXPR;=;2$B;124|) $))
                  (QSETREFV $ 77
                      (CONS (|dispatchFunction| |EXPR;<;2$B;125|) $))
                  (QSETREFV $ 81
                      (CONS (|dispatchFunction| |EXPR;numer;$Smp;126|)
                            $))
                  (QSETREFV $ 85
                      (CONS (|dispatchFunction| |EXPR;coerce;Smp$;127|)
                            $))
                  (QSETREFV $ 104
                      (CONS (|dispatchFunction|
                                |EXPR;reducedSystem;MM;128|)
                            $))
                  (QSETREFV $ 112
                      (CONS (|dispatchFunction|
                                |EXPR;reducedSystem;MVR;129|)
                            $))
                  (COND
                    ((|testBitVector| |pv$| 10)
                     (QSETREFV $ 341
                         (CONS (|dispatchFunction|
                                   |EXPR;convert;$If;130|)
                               $))))
                  (COND
                    ((|testBitVector| |pv$| 13)
                     (PROGN
                       (QSETREFV $ 368
                           (CONS (|dispatchFunction|
                                     |EXPR;patternMatch;$P2Pmr;132|)
                                 $)))))
                  (COND
                    ((|testBitVector| |pv$| 12)
                     (PROGN
                       (QSETREFV $ 374
                           (CONS (|dispatchFunction|
                                     |EXPR;patternMatch;$P2Pmr;134|)
                                 $)))))))
               ((|HasCategory| |#1| '(|AbelianMonoid|))
                (PROGN
                  (SETELT $ 23 (|FreeAbelianGroup| (|Kernel| $)))
                  (QSETREFV $ 25
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction|
                                      |EXPR;Zero;$;135|)
                                     $)))
                  (QSETREFV $ 43
                      (CONS (|dispatchFunction| |EXPR;+;3$;136|) $))
                  (QSETREFV $ 78
                      (CONS (|dispatchFunction| |EXPR;=;2$B;137|) $))
                  (QSETREFV $ 77
                      (CONS (|dispatchFunction| |EXPR;<;2$B;138|) $))
                  (QSETREFV $ 390
                      (CONS (|dispatchFunction| |EXPR;coerce;K$;139|)
                            $))
                  (QSETREFV $ 53
                      (CONS (|dispatchFunction| |EXPR;kernels;$L;140|)
                            $))
                  (QSETREFV $ 320
                      (CONS (|dispatchFunction| |EXPR;coerce;R$;141|)
                            $))
                  (QSETREFV $ 396
                      (CONS (|dispatchFunction| |EXPR;retract;$R;142|)
                            $))
                  (QSETREFV $ 399
                      (CONS (|dispatchFunction| |EXPR;coerce;$Of;143|)
                            $))
                  (QSETREFV $ 409
                      (CONS (|dispatchFunction| |EXPR;isPlus;$U;146|)
                            $))
                  (QSETREFV $ 413
                      (CONS (|dispatchFunction| |EXPR;isMult;$U;147|)
                            $))
                  (QSETREFV $ 400
                      (CONS (|dispatchFunction| |EXPR;eval;$LL$;148|)
                            $))
                  (QSETREFV $ 405
                      (CONS (|dispatchFunction| |EXPR;subst;$LL$;149|)
                            $))
                  (QSETREFV $ 414
                      (CONS (|dispatchFunction|
                                |EXPR;retractIfCan;$U;150|)
                            $))
                  (COND
                    ((|testBitVector| |pv$| 28)
                     (QSETREFV $ 34
                         (CONS (|dispatchFunction| |EXPR;-;2$;151|) $))))))
               ('T
                (PROGN
                  (SETELT $ 23 (|Kernel| $))
                  (QSETREFV $ 77
                      (CONS (|dispatchFunction| |EXPR;<;2$B;152|) $))
                  (QSETREFV $ 78
                      (CONS (|dispatchFunction| |EXPR;=;2$B;153|) $))
                  (QSETREFV $ 390
                      (CONS (|dispatchFunction| |EXPR;coerce;K$;154|)
                            $))
                  (QSETREFV $ 53
                      (CONS (|dispatchFunction| |EXPR;kernels;$L;155|)
                            $))
                  (QSETREFV $ 320
                      (CONS (|dispatchFunction| |EXPR;coerce;R$;156|)
                            $))
                  (QSETREFV $ 396
                      (CONS (|dispatchFunction| |EXPR;retract;$R;157|)
                            $))
                  (QSETREFV $ 414
                      (CONS (|dispatchFunction|
                                |EXPR;retractIfCan;$U;158|)
                            $))
                  (QSETREFV $ 399
                      (CONS (|dispatchFunction| |EXPR;coerce;$Of;159|)
                            $))
                  (QSETREFV $ 400
                      (CONS (|dispatchFunction| |EXPR;eval;$LL$;160|)
                            $))
                  (QSETREFV $ 405
                      (CONS (|dispatchFunction| |EXPR;subst;$LL$;161|)
                            $))
                  (COND
                    ((|testBitVector| |pv$| 10)
                     (QSETREFV $ 341
                         (CONS (|dispatchFunction|
                                   |EXPR;convert;$If;162|)
                               $))))))))))
        $)))) 

(MAKEPROP '|Expression| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|String|)
             (|Symbol|) (0 . |coerce|) 'SYMBOL 'ALGOP (|Boolean|)
             (|BasicOperator|) |EXPR;belong?;BoB;1| (|Kernel| $)
             (5 . |retract|) (|Union| 6 '"failed") (|Kernel| $$)
             (|KernelFunctions2| 6 $$) (10 . |constantIfCan|)
             (|Union| 15 '"failed") (15 . |retractIfCan|) '|Rep|
             (20 . |Zero|) (24 . |Zero|) (28 . |One|) (32 . |One|)
             (36 . |One|) (40 . =) (46 . |one?|) (51 . |zero?|)
             (56 . |zero?|) (61 . -) (66 . -) (|Integer|) (71 . *)
             (77 . *) (83 . |coerce|) (88 . |coerce|) (93 . *) (99 . *)
             (105 . +) (111 . +) (117 . -) (123 . -) (129 . /)
             (135 . /) (141 . |ground?|) (|Union| 296 '"failed")
             (146 . |retractIfCan|) (151 . |number?|) (|List| 15)
             (156 . |kernels|) (161 . |is?|) (|List| 18)
             (167 . |first|) (|List| $$) (172 . |argument|)
             (|NonNegativeInteger|) (177 . |#|) (182 . |elt|)
             (188 . **) (194 . **) (200 . |first|) (205 . |second|)
             (210 . |simplifyPower|) (216 . |Zero|) (220 . |numerator|)
             (225 . |denominator|) (230 . **)
             (|SparseMultivariatePolynomial| 6 18) (236 . |One|)
             (240 . **) (|PositiveInteger|) (246 . **) (252 . <)
             (258 . <) (264 . =) (270 . |numer|)
             (|SparseMultivariatePolynomial| 6 15) (275 . |numer|)
             (280 . |denom|) (285 . |denom|) (290 . |coerce|)
             (295 . |coerce|) (300 . |reduce|) (305 . |operator|)
             (310 . |has?|) (|Mapping| 12 18) (316 . |select!|)
             (|AlgebraicManipulations| 6 $$) (322 . |ratDenom|)
             (328 . /) (334 . |variables|) (339 . /) (|Mapping| $$ $$)
             (|Matrix| $$) (345 . |map|) (|Matrix| 71) (|Matrix| $)
             (351 . |reducedSystem|) (|Matrix| 6)
             (356 . |reducedSystem|) (361 . |reducedSystem|)
             (|Vector| $$) (366 . |map|)
             (|Record| (|:| |mat| 99) (|:| |vec| (|Vector| 71)))
             (|Vector| $) (372 . |reducedSystem|)
             (|Record| (|:| |mat| 102) (|:| |vec| (|Vector| 6)))
             (378 . |reducedSystem|) (384 . |reducedSystem|)
             (390 . |member?|) (396 . |concat|)
             (|SparseUnivariatePolynomial| $$)
             (|AlgebraicFunction| 6 $$) (402 . |rootOf|)
             (|SparseUnivariatePolynomial| $) (408 . |rootOf|)
             (|ElementaryFunction| 6 $$) (414 . |pi|) (418 . |pi|)
             (422 . |exp|) (427 . |exp|) (432 . |log|) (437 . |log|)
             (442 . |sin|) (447 . |sin|) (452 . |cos|) (457 . |cos|)
             (462 . |tan|) (467 . |tan|) (472 . |cot|) (477 . |cot|)
             (482 . |sec|) (487 . |sec|) (492 . |csc|) (497 . |csc|)
             (502 . |asin|) (507 . |asin|) (512 . |acos|)
             (517 . |acos|) (522 . |atan|) (527 . |atan|)
             (532 . |acot|) (537 . |acot|) (542 . |asec|)
             (547 . |asec|) (552 . |acsc|) (557 . |acsc|)
             (562 . |sinh|) (567 . |sinh|) (572 . |cosh|)
             (577 . |cosh|) (582 . |tanh|) (587 . |tanh|)
             (592 . |coth|) (597 . |coth|) (602 . |sech|)
             (607 . |sech|) (612 . |csch|) (617 . |csch|)
             (622 . |asinh|) (627 . |asinh|) (632 . |acosh|)
             (637 . |acosh|) (642 . |atanh|) (647 . |atanh|)
             (652 . |acoth|) (657 . |acoth|) (662 . |asech|)
             (667 . |asech|) (672 . |acsch|) (677 . |acsch|)
             (|FunctionalSpecialFunction| 6 $$) (682 . |abs|)
             (687 . |abs|) (692 . |Gamma|) (697 . |Gamma|)
             (702 . |Gamma|) (708 . |Gamma|) (714 . |Beta|)
             (720 . |Beta|) (726 . |digamma|) (731 . |digamma|)
             (736 . |polygamma|) (742 . |polygamma|) (748 . |besselJ|)
             (754 . |besselJ|) (760 . |besselY|) (766 . |besselY|)
             (772 . |besselI|) (778 . |besselI|) (784 . |besselK|)
             (790 . |besselK|) (796 . |airyAi|) (801 . |airyAi|)
             (806 . |airyBi|) (811 . |airyBi|)
             (|CombinatorialFunction| 6 $$) (816 . **)
             (822 . |factorial|) (827 . |factorial|) (832 . |binomial|)
             (838 . |binomial|) (844 . |permutation|)
             (850 . |permutation|) (856 . |factorials|)
             (861 . |factorials|) (866 . |factorials|)
             (872 . |factorials|) (878 . |summation|)
             (884 . |summation|) (|SegmentBinding| $$)
             (890 . |summation|) (|SegmentBinding| $)
             (896 . |summation|) (902 . |product|) (908 . |product|)
             (914 . |product|) (920 . |product|)
             (|LiouvillianFunction| 6 $$) (926 . |erf|) (931 . |erf|)
             (936 . |Ei|) (941 . |Ei|) (946 . |Si|) (951 . |Si|)
             (956 . |Ci|) (961 . |Ci|) (966 . |li|) (971 . |li|)
             (976 . |dilog|) (981 . |dilog|) (986 . |integral|)
             (992 . |integral|) (998 . |integral|) (1004 . |integral|)
             (1010 . |belong?|) (1015 . |operator|) (1020 . |belong?|)
             (1025 . |operator|) (1030 . |belong?|) (1035 . |operator|)
             (1040 . |belong?|) (1045 . |operator|) (1050 . |belong?|)
             (1055 . |operator|) (|FunctionSpace&| $$ 6)
             (1060 . |belong?|) (1065 . |operator|)
             (|ExpressionSpace&| $$) (1070 . |belong?|)
             (1075 . |operator|) (1080 . |nullary?|) (1085 . |name|)
             (1090 . |kernel|) (|Union| 59 '"failed") (1095 . |arity|)
             (1100 . |operator|) (1105 . |operator|)
             (1111 . |operator|) (1116 . |minPoly|) (|Fraction| 71)
             (1121 . |coerce|) (|Fraction| 269)
             (|PolynomialCategoryQuotientFunctions| 291 18 6 71 264)
             (1126 . |univariate|) (|SparseUnivariatePolynomial| 264)
             (1132 . |numer|) (1137 . |degree|) (1143 . |degree|)
             (1148 . |rem|) (1154 . |coerce|) (1159 . |elt|)
             (1165 . |Zero|) (1169 . =) (1175 . |leadingCoefficient|)
             (1180 . |reductum|) (1185 . |gcdPolynomial|)
             (|GcdDomain&| $$) (1191 . |gcdPolynomial|)
             (1197 . |gcdPolynomial|) (|Factored| 269)
             (|SupFractionFactorizer| 291 18 6 71) (1203 . |factor|)
             (|Factored| 118) (1208 . |factorPolynomial|)
             (1213 . |squareFree|) (1218 . |squareFreePolynomial|)
             (|IndexedExponents| 18) (1223 . |Zero|)
             (1227 . |monomial|) (|AlgebraicNumber|) (1233 . |coerce|)
             (|Fraction| 35) (1238 . **) (1244 . **) (1250 . |minPoly|)
             (1255 . |definingPolynomial|)
             (1260 . |definingPolynomial|) (1265 . |retract|)
             (1270 . |retract|) (1275 . |retractIfCan|)
             (|SparseMultivariatePolynomial| 35 15) (1280 . |numer|)
             (1285 . |denom|) (|Mapping| $$ 294) (|Kernel| 294)
             (|ExpressionSpaceFunctions2| 294 $$) (1290 . |map|)
             (|Mapping| $$ 309) (|Mapping| $$ 35)
             (|SparseMultivariatePolynomial| 35 309)
             (|PolynomialCategoryLifting| (|IndexedExponents| 309) 309
                 35 314 $$)
             (1296 . |map|) (1303 . /) (|Union| 294 '"failed")
             (1309 . |retractIfCan|) (1314 . |coerce|)
             (1319 . |coerce|) (1324 . |belong?|) (1329 . |operator|)
             (|List| $) (1334 . |elt|) (|Union| 18 '"failed")
             (1340 . |mainVariable|) (1345 . |leadingCoefficient|)
             (1350 . |univariate|) (1356 . |Zero|)
             (|SparseUnivariatePolynomial| 71) (1360 . |ground?|)
             (1365 . |leadingCoefficient|) (1370 . |degree|)
             (1375 . **) (1381 . *) (1387 . +) (1393 . |reductum|)
             (|InputForm|) (1398 . |convert|) (1403 . |convert|)
             (|List| 13) (1408 . |eval|) (1416 . |eval|) (|List| 8)
             (1424 . |variables|) (1429 . |concat|)
             (1434 . |removeDuplicates|) (1439 . |scripted?|)
             (|Mapping| 12 8) (1444 . |select|)
             (|MakeUnaryCompiledFunction| $$ $$ $$)
             (1450 . |compiledFunction|) (|Mapping| $ $) (|List| 354)
             (1456 . |eval|) (1463 . |new|) (1467 . |coerce|)
             (|Equation| $$) (1472 . =) (|List| 443) (1478 . |subst|)
             (|PatternMatchResult| 35 $$) (|Pattern| 35)
             (|PatternMatchFunctionSpace| 35 6 $$)
             (1484 . |patternMatch|) (|PatternMatchResult| 35 $)
             (1491 . |patternMatch|)
             (|PatternMatchResult| (|Float|) $$) (|Pattern| (|Float|))
             (|PatternMatchFunctionSpace| (|Float|) 6 $$)
             (1498 . |patternMatch|) (|PatternMatchResult| (|Float|) $)
             (1505 . |patternMatch|) (1512 . |reducedSystem|)
             (1517 . |reducedSystem|) (|PatternMatchKernel| 35 $$)
             (1523 . |patternMatch|) (|PatternMatchResult| 35 23)
             (|Mapping| 379 18 364 379)
             (|PatternMatchPolynomialCategory| 35 291 18 6 23)
             (1530 . |patternMatch|)
             (|PatternMatchKernel| (|Float|) $$)
             (1538 . |patternMatch|)
             (|PatternMatchResult| (|Float|) 23)
             (|Mapping| 385 18 370 385)
             (|PatternMatchPolynomialCategory| (|Float|) 291 18 6 23)
             (1545 . |patternMatch|) (1553 . |coerce|)
             (1558 . |coerce|) (|Record| (|:| |gen| 18) (|:| |exp| 35))
             (|List| 391) (1563 . |terms|) (1568 . |zero?|)
             (1573 . |constantKernel|) (1578 . |retract|)
             (|OutputForm|) (1583 . |coerce|) (1588 . |coerce|)
             (1593 . |eval|) (1600 . |map|) (|Mapping| $$ 18)
             (|ListToMap| 18 $$) (1606 . |match|) (1614 . |subst|)
             (1621 . |kernel|) (1627 . *) (|Union| 324 '"failed")
             (1633 . |isPlus|) (1638 . |first|)
             (|Record| (|:| |coef| 35) (|:| |var| 15))
             (|Union| 411 '"failed") (1643 . |isMult|)
             (1648 . |retractIfCan|) (|Matrix| 35)
             (|Record| (|:| |mat| 415) (|:| |vec| (|Vector| 35)))
             (|Union| $ '"failed") (|Polynomial| $)
             (|Union| 420 '"failed") (|Fraction| 433) (|Fraction| 424)
             (|Fraction| 118) (|Fraction| 6) (|Polynomial| 423)
             (|Factored| $)
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                       (|:| |associate| $))
             (|Record| (|:| |coef| 324) (|:| |generator| $))
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                 (|:| |generator| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 430 '"failed") (|Union| 35 '"failed")
             (|Polynomial| 6) (|Union| 433 '"failed") (|List| 59)
             (|Mapping| $ 324) (|List| 436)
             (|Record| (|:| |var| 15) (|:| |exponent| 35))
             (|Union| 438 '"failed")
             (|Record| (|:| |val| $) (|:| |exponent| 35))
             (|Union| 440 '"failed") (|Union| 8 '"failed")
             (|Equation| $) (|SingleInteger|))
          '#(~= 1653 |zerosOf| 1659 |zeroOf| 1686 |zero?| 1713
             |variables| 1718 |univariate| 1723 |unitNormal| 1729
             |unitCanonical| 1734 |unit?| 1739 |tower| 1744 |tanh| 1749
             |tan| 1754 |summation| 1759 |subtractIfCan| 1771 |subst|
             1777 |squareFreePolynomial| 1796 |squareFreePart| 1801
             |squareFree| 1806 |sqrt| 1811 |sizeLess?| 1816 |sinh| 1822
             |sin| 1827 |simplifyPower| 1832 |sech| 1838 |sec| 1843
             |sample| 1848 |rootsOf| 1852 |rootOf| 1879 |retractIfCan|
             1906 |retract| 1946 |rem| 1986 |reducedSystem| 1992
             |reduce| 2014 |recip| 2019 |quo| 2024 |product| 2030
             |principalIdeal| 2042 |prime?| 2047 |polygamma| 2052 |pi|
             2058 |permutation| 2062 |patternMatch| 2068 |paren| 2082
             |operators| 2092 |operator| 2097 |one?| 2102 |odd?| 2107
             |numerator| 2112 |numer| 2117 |number?| 2122 |nthRoot|
             2127 |multiEuclidean| 2133 |minPoly| 2139 |min| 2144 |max|
             2150 |map| 2156 |mainKernel| 2162 |log| 2167 |li| 2172
             |lcm| 2177 |latex| 2188 |kernels| 2193 |kernel| 2198
             |isTimes| 2210 |isPower| 2215 |isPlus| 2220 |isMult| 2225
             |isExpt| 2230 |is?| 2247 |inv| 2259 |integral| 2264
             |height| 2276 |hash| 2281 |ground?| 2286 |ground| 2291
             |gcdPolynomial| 2296 |gcd| 2302 |freeOf?| 2313
             |factorials| 2325 |factorial| 2336 |factorPolynomial| 2341
             |factor| 2346 |extendedEuclidean| 2351 |exquo| 2364
             |expressIdealMember| 2370 |exp| 2376 |even?| 2381 |eval|
             2386 |euclideanSize| 2547 |erf| 2552 |elt| 2557 |divide|
             2593 |distribute| 2599 |dilog| 2610 |digamma| 2615
             |differentiate| 2620 |denominator| 2646 |denom| 2651
             |definingPolynomial| 2656 |csch| 2661 |csc| 2666 |coth|
             2671 |cot| 2676 |cosh| 2681 |cos| 2686 |convert| 2691
             |conjugate| 2711 |commutator| 2717 |coerce| 2723
             |charthRoot| 2793 |characteristic| 2798 |box| 2802
             |binomial| 2812 |besselY| 2818 |besselK| 2824 |besselJ|
             2830 |besselI| 2836 |belong?| 2842 |atanh| 2847 |atan|
             2852 |associates?| 2857 |asinh| 2863 |asin| 2868 |asech|
             2873 |asec| 2878 |applyQuote| 2883 |airyBi| 2919 |airyAi|
             2924 |acsch| 2929 |acsc| 2934 |acoth| 2939 |acot| 2944
             |acosh| 2949 |acos| 2954 |abs| 2959 ^ 2964 |Zero| 2982
             |Si| 2986 |One| 2991 |Gamma| 2995 |Ei| 3006 D 3011 |Ci|
             3037 |Beta| 3042 >= 3048 > 3054 = 3060 <= 3066 < 3072 /
             3078 - 3090 + 3101 ** 3107 * 3137)
          'NIL
          (CONS (|makeByteWordVec2| 33
                    '(1 0 1 1 1 1 1 1 1 1 1 1 4 2 1 1 1 4 5 6 2 7 2 1 1
                      1 4 17 1 3 1 1 4 4 17 30 2 8 30 0 0 2 23 29 0 23
                      12 13 1 29 0 0 0 0 1 1 0 0 0 0 0 0 0 0 33 1 1 1 9
                      1 1 2 10 11 14 15 16 1 1 1 1 1 1 1 1 1))
                (CONS '#(|AlgebraicallyClosedFunctionSpace&|
                         |FunctionSpace&| |AlgebraicallyClosedField&|
                         |Field&| |EuclideanDomain&|
                         |UniqueFactorizationDomain&| NIL |GcdDomain&|
                         |DivisionRing&| |IntegralDomain&| |Algebra&|
                         |Algebra&| |Algebra&|
                         |FullyLinearlyExplicitRingOver&| |Module&| NIL
                         |Module&| |Module&| NIL NIL NIL NIL
                         |PartialDifferentialRing&| NIL NIL NIL NIL
                         |Ring&| NIL NIL NIL NIL NIL NIL NIL
                         |AbelianGroup&| NIL |Group&| NIL
                         |ExpressionSpace&| NIL NIL |Monoid&|
                         |AbelianMonoid&| |OrderedSet&| |SemiGroup&|
                         NIL NIL NIL |AbelianSemiGroup&| |SetCategory&|
                         |FullyRetractableTo&| NIL |Evalable&|
                         |TranscendentalFunctionCategory&| NIL
                         |BasicType&| |RetractableTo&| NIL
                         |RetractableTo&| |InnerEvalable&|
                         |InnerEvalable&| |RetractableTo&| NIL
                         |RetractableTo&| |RetractableTo&| NIL NIL NIL
                         NIL NIL |RetractableTo&| NIL |RetractableTo&|
                         NIL NIL |RetractableTo&| NIL NIL
                         |TrigonometricFunctionCategory&|
                         |ArcTrigonometricFunctionCategory&|
                         |HyperbolicFunctionCategory&| NIL
                         |ElementaryFunctionCategory&| NIL
                         |RadicalCategory&|)
                      (CONS '#((|AlgebraicallyClosedFunctionSpace| 6)
                               (|FunctionSpace| 6)
                               (|AlgebraicallyClosedField|) (|Field|)
                               (|EuclideanDomain|)
                               (|UniqueFactorizationDomain|)
                               (|PrincipalIdealDomain|) (|GcdDomain|)
                               (|DivisionRing|) (|IntegralDomain|)
                               (|Algebra| $$) (|Algebra| 296)
                               (|Algebra| 6)
                               (|FullyLinearlyExplicitRingOver| 6)
                               (|Module| $$) (|EntireRing|)
                               (|Module| 296) (|Module| 6)
                               (|CharacteristicNonZero|)
                               (|CharacteristicZero|)
                               (|LinearlyExplicitRingOver| 6)
                               (|LinearlyExplicitRingOver| 35)
                               (|PartialDifferentialRing| 8)
                               (|CommutativeRing|) (|BiModule| $$ $$)
                               (|BiModule| 296 296) (|BiModule| 6 6)
                               (|Ring|) (|RightModule| $$)
                               (|LeftModule| $$) (|LeftModule| 296)
                               (|RightModule| 296) (|LeftModule| 6)
                               (|RightModule| 6) (|Rng|)
                               (|AbelianGroup|) (|SemiRing|) (|Group|)
                               (|CancellationAbelianMonoid|)
                               (|ExpressionSpace|)
                               (|FullyPatternMatchable| 6) (|SemiRng|)
                               (|Monoid|) (|AbelianMonoid|)
                               (|OrderedSet|) (|SemiGroup|)
                               (|PatternMatchable| (|Float|))
                               (|PatternMatchable| 35)
                               (|LiouvillianFunctionCategory|)
                               (|AbelianSemiGroup|) (|SetCategory|)
                               (|FullyRetractableTo| 6)
                               (|Patternable| 6) (|Evalable| $$)
                               (|TranscendentalFunctionCategory|)
                               (|CombinatorialOpsCategory|)
                               (|BasicType|) (|RetractableTo| 6)
                               (|Type|) (|RetractableTo| 8)
                               (|InnerEvalable| $$ $$)
                               (|InnerEvalable| 18 $$)
                               (|RetractableTo| 18) (|CoercibleTo| 397)
                               (|RetractableTo| 296)
                               (|RetractableTo|
                                   (|Fraction| (|Polynomial| 6)))
                               (|CommutativeStar|) (|noZeroDivisors|)
                               (|unitsKnown|) (|canonicalUnitNormal|)
                               (|canonicalsClosed|)
                               (|RetractableTo| (|Polynomial| 6))
                               (|ConvertibleTo| 339)
                               (|RetractableTo| 35)
                               (|ConvertibleTo| 370)
                               (|ConvertibleTo| 364)
                               (|RetractableTo| 294)
                               (|SpecialFunctionCategory|)
                               (|PrimitiveFunctionCategory|)
                               (|TrigonometricFunctionCategory|)
                               (|ArcTrigonometricFunctionCategory|)
                               (|HyperbolicFunctionCategory|)
                               (|ArcHyperbolicFunctionCategory|)
                               (|ElementaryFunctionCategory|)
                               (|CombinatorialFunctionCategory|)
                               (|RadicalCategory|))
                            (|makeByteWordVec2| 444
                                '(1 8 0 7 9 1 0 15 0 16 1 19 17 18 20 1
                                  0 21 0 22 0 23 0 24 0 0 0 25 0 23 0
                                  26 0 0 0 27 0 6 0 28 2 23 12 0 0 29 1
                                  0 12 0 30 1 23 12 0 31 1 0 12 0 32 1
                                  23 0 0 33 1 0 0 0 34 2 23 0 35 0 36 2
                                  0 0 35 0 37 1 23 0 35 38 1 0 0 35 39
                                  2 23 0 0 0 40 2 0 0 0 0 41 2 23 0 0 0
                                  42 2 0 0 0 0 43 2 23 0 0 0 44 2 0 0 0
                                  0 45 2 23 0 0 0 46 2 0 0 0 0 47 1 0
                                  12 0 48 1 0 49 0 50 1 0 12 0 51 1 0
                                  52 0 53 2 0 12 0 8 54 1 55 18 0 56 1
                                  18 57 0 58 1 57 59 0 60 2 57 2 0 35
                                  61 2 23 0 0 35 62 2 0 0 0 0 63 1 57 2
                                  0 64 1 57 2 0 65 2 0 0 0 35 66 0 6 0
                                  67 1 0 0 0 68 1 0 0 0 69 2 0 0 0 59
                                  70 0 71 0 72 2 0 0 0 35 73 2 0 0 0 74
                                  75 2 23 12 0 0 76 2 0 12 0 0 77 2 0
                                  12 0 0 78 1 23 71 0 79 1 0 80 0 81 1
                                  23 71 0 82 1 0 80 0 83 1 23 0 71 84 1
                                  0 0 80 85 1 0 0 0 86 1 18 13 0 87 2
                                  13 12 0 8 88 2 55 0 89 0 90 2 91 2 2
                                  55 92 2 23 0 71 71 93 1 71 55 0 94 2
                                  0 0 80 80 95 2 97 0 96 0 98 1 23 99
                                  100 101 1 71 102 100 103 1 0 102 100
                                  104 2 105 0 96 0 106 2 23 107 100 108
                                  109 2 71 110 100 108 111 2 0 110 100
                                  108 112 2 55 12 18 0 113 2 55 0 18 0
                                  114 2 116 2 115 8 117 2 0 0 118 8 119
                                  0 120 2 121 0 0 0 122 1 120 2 2 123 1
                                  0 0 0 124 1 120 2 2 125 1 0 0 0 126 1
                                  120 2 2 127 1 0 0 0 128 1 120 2 2 129
                                  1 0 0 0 130 1 120 2 2 131 1 0 0 0 132
                                  1 120 2 2 133 1 0 0 0 134 1 120 2 2
                                  135 1 0 0 0 136 1 120 2 2 137 1 0 0 0
                                  138 1 120 2 2 139 1 0 0 0 140 1 120 2
                                  2 141 1 0 0 0 142 1 120 2 2 143 1 0 0
                                  0 144 1 120 2 2 145 1 0 0 0 146 1 120
                                  2 2 147 1 0 0 0 148 1 120 2 2 149 1 0
                                  0 0 150 1 120 2 2 151 1 0 0 0 152 1
                                  120 2 2 153 1 0 0 0 154 1 120 2 2 155
                                  1 0 0 0 156 1 120 2 2 157 1 0 0 0 158
                                  1 120 2 2 159 1 0 0 0 160 1 120 2 2
                                  161 1 0 0 0 162 1 120 2 2 163 1 0 0 0
                                  164 1 120 2 2 165 1 0 0 0 166 1 120 2
                                  2 167 1 0 0 0 168 1 120 2 2 169 1 0 0
                                  0 170 1 120 2 2 171 1 0 0 0 172 1 120
                                  2 2 173 1 0 0 0 174 1 175 2 2 176 1 0
                                  0 0 177 1 175 2 2 178 1 0 0 0 179 2
                                  175 2 2 2 180 2 0 0 0 0 181 2 175 2 2
                                  2 182 2 0 0 0 0 183 1 175 2 2 184 1 0
                                  0 0 185 2 175 2 2 2 186 2 0 0 0 0 187
                                  2 175 2 2 2 188 2 0 0 0 0 189 2 175 2
                                  2 2 190 2 0 0 0 0 191 2 175 2 2 2 192
                                  2 0 0 0 0 193 2 175 2 2 2 194 2 0 0 0
                                  0 195 1 175 2 2 196 1 0 0 0 197 1 175
                                  2 2 198 1 0 0 0 199 2 200 2 2 2 201 1
                                  200 2 2 202 1 0 0 0 203 2 200 2 2 2
                                  204 2 0 0 0 0 205 2 200 2 2 2 206 2 0
                                  0 0 0 207 1 200 2 2 208 1 0 0 0 209 2
                                  200 2 2 8 210 2 0 0 0 8 211 2 200 2 2
                                  8 212 2 0 0 0 8 213 2 200 2 2 214 215
                                  2 0 0 0 216 217 2 200 2 2 8 218 2 0 0
                                  0 8 219 2 200 2 2 214 220 2 0 0 0 216
                                  221 1 222 2 2 223 1 0 0 0 224 1 222 2
                                  2 225 1 0 0 0 226 1 222 2 2 227 1 0 0
                                  0 228 1 222 2 2 229 1 0 0 0 230 1 222
                                  2 2 231 1 0 0 0 232 1 222 2 2 233 1 0
                                  0 0 234 2 222 2 2 8 235 2 0 0 0 8 236
                                  2 222 2 2 214 237 2 0 0 0 216 238 1
                                  116 12 13 239 1 116 13 13 240 1 120
                                  12 13 241 1 120 13 13 242 1 200 12 13
                                  243 1 200 13 13 244 1 222 12 13 245 1
                                  222 13 13 246 1 175 12 13 247 1 175
                                  13 13 248 1 249 12 13 250 1 249 13 13
                                  251 1 252 12 13 253 1 252 13 13 254 1
                                  13 12 0 255 1 13 8 0 256 1 18 0 8 257
                                  1 13 258 0 259 1 13 0 8 260 2 13 0 8
                                  59 261 1 0 13 13 262 1 0 118 15 263 1
                                  264 0 71 265 2 267 266 264 18 268 1
                                  266 269 0 270 2 71 59 0 18 271 1 115
                                  59 0 272 2 115 0 0 0 273 1 71 0 18
                                  274 2 269 264 0 264 275 0 115 0 276 2
                                  115 12 0 0 277 1 115 2 0 278 1 115 0
                                  0 279 2 23 118 118 118 280 2 281 118
                                  118 118 282 2 0 118 118 118 283 1 285
                                  284 269 286 1 0 287 118 288 1 285 284
                                  269 289 1 0 287 118 290 0 291 0 292 2
                                  71 0 6 291 293 1 0 0 294 295 2 116 2
                                  2 296 297 2 0 0 0 296 298 1 116 115
                                  18 299 1 116 2 2 300 1 0 0 0 301 1 23
                                  296 0 302 1 0 296 0 303 1 23 49 0 304
                                  1 294 305 0 306 1 294 305 0 307 2 310
                                  2 308 309 311 3 315 2 312 313 314 316
                                  2 294 0 0 0 317 1 0 318 0 319 1 0 0 6
                                  320 1 294 0 296 321 1 294 12 13 322 1
                                  294 13 13 323 2 294 0 13 324 325 1 71
                                  326 0 327 1 71 6 0 328 2 71 118 0 18
                                  329 0 294 0 330 1 331 12 0 332 1 331
                                  71 0 333 1 331 59 0 334 2 294 0 0 59
                                  335 2 294 0 0 0 336 2 294 0 0 0 337 1
                                  331 0 0 338 1 23 339 0 340 1 0 339 0
                                  341 4 0 0 0 342 324 8 343 4 0 0 0 13
                                  0 8 344 1 0 345 0 346 1 345 0 324 347
                                  1 345 0 0 348 1 8 12 0 349 2 345 0
                                  350 0 351 2 352 96 2 8 353 3 0 0 0
                                  342 355 356 0 8 0 357 1 0 0 8 358 2
                                  359 0 2 2 360 2 0 0 0 361 362 3 365
                                  363 2 364 363 366 3 0 367 0 364 367
                                  368 3 371 369 2 370 369 372 3 0 373 0
                                  370 373 374 1 23 102 100 375 2 23 110
                                  100 108 376 3 377 363 18 364 363 378
                                  4 381 379 23 364 379 380 382 3 383
                                  369 18 370 369 384 4 387 385 23 370
                                  385 386 388 1 23 0 18 389 1 0 0 15
                                  390 1 23 392 0 393 1 6 12 0 394 1 19
                                  18 6 395 1 0 6 0 396 1 23 397 0 398 1
                                  0 397 0 399 3 0 0 0 52 324 400 2 0 0
                                  354 15 401 4 403 2 55 57 18 402 404 3
                                  0 0 0 52 324 405 2 0 0 13 324 406 2
                                  23 0 35 18 407 1 0 408 0 409 1 392
                                  391 0 410 1 0 412 0 413 1 0 17 0 414
                                  2 0 12 0 0 1 1 1 324 418 1 2 1 324
                                  118 8 1 1 1 324 118 1 1 1 324 0 1 2 1
                                  324 0 8 1 1 1 0 118 1 1 1 0 418 1 2 1
                                  0 118 8 1 1 1 0 0 1 2 1 0 0 8 1 1 27
                                  12 0 32 1 0 345 0 346 2 1 422 0 15 1
                                  1 1 426 0 1 1 1 0 0 1 1 1 12 0 1 1 0
                                  52 0 1 1 1 0 0 156 1 1 0 0 132 2 1 0
                                  0 8 213 2 1 0 0 216 217 2 31 417 0 0
                                  1 3 0 0 0 52 324 405 2 0 0 0 443 1 2
                                  0 0 0 361 362 1 18 287 118 290 1 1 0
                                  0 1 1 1 425 0 1 1 1 0 0 1 2 1 12 0 0
                                  1 1 1 0 0 152 1 1 0 0 128 2 1 0 0 35
                                  66 1 1 0 0 160 1 1 0 0 136 0 26 0 1 1
                                  1 324 418 1 2 1 324 118 8 1 1 1 324
                                  118 1 1 1 324 0 1 2 1 324 0 8 1 1 1 0
                                  118 1 1 1 0 418 1 2 1 0 118 8 119 1 1
                                  0 0 1 2 1 0 0 8 1 1 16 318 0 319 1 33
                                  49 0 50 1 1 419 0 1 1 11 432 0 1 1 2
                                  434 0 1 1 0 17 0 414 1 0 442 0 1 1 0
                                  21 0 22 1 16 294 0 1 1 33 296 0 303 1
                                  1 420 0 1 1 11 35 0 1 1 2 433 0 1 1 0
                                  6 0 396 1 0 8 0 1 1 0 15 0 16 2 1 0 0
                                  0 1 1 20 415 100 1 2 20 416 100 108 1
                                  1 2 102 100 104 2 2 110 100 108 112 1
                                  1 0 0 86 1 24 417 0 1 2 1 0 0 0 1 2 1
                                  0 0 8 219 2 1 0 0 216 221 1 1 427 324
                                  1 1 1 12 0 1 2 1 0 0 0 187 0 1 0 122
                                  2 1 0 0 0 207 3 12 373 0 370 373 374
                                  3 13 367 0 364 367 368 1 0 0 324 1 1
                                  0 0 0 1 1 0 342 0 1 1 0 13 13 262 1
                                  24 12 0 30 1 37 12 0 1 1 2 0 0 68 1 2
                                  80 0 81 1 1 12 0 51 2 1 0 0 35 1 2 1
                                  408 324 0 1 1 36 118 15 263 2 0 0 0 0
                                  1 2 0 0 0 0 1 2 0 0 354 15 401 1 0 21
                                  0 1 1 1 0 0 126 1 1 0 0 232 2 1 0 0 0
                                  1 1 1 0 324 1 1 0 7 0 1 1 0 52 0 53 2
                                  0 0 13 324 406 2 0 0 13 0 1 1 22 408
                                  0 1 1 2 441 0 1 1 25 408 0 409 1 25
                                  412 0 413 2 2 439 0 8 1 2 2 439 0 13
                                  1 1 22 439 0 1 2 0 12 0 8 54 2 0 12 0
                                  13 1 1 19 0 0 1 2 1 0 0 216 238 2 1 0
                                  0 8 236 1 0 59 0 1 1 0 444 0 1 1 0 12
                                  0 48 1 0 6 0 1 2 1 118 118 118 283 1
                                  1 0 324 1 2 1 0 0 0 1 2 0 12 0 0 1 2
                                  0 12 0 8 1 2 1 0 0 8 211 1 1 0 0 209
                                  1 1 0 0 203 1 18 287 118 288 1 1 425
                                  0 1 2 1 429 0 0 1 3 1 431 0 0 0 1 2 1
                                  417 0 0 1 2 1 408 324 0 1 1 1 0 0 124
                                  1 37 12 0 1 4 10 0 0 342 324 8 343 1
                                  10 0 0 1 4 10 0 0 13 0 8 344 2 10 0 0
                                  8 1 2 10 0 0 345 1 4 2 0 0 8 59 436 1
                                  4 2 0 0 8 59 354 1 4 2 0 0 345 435
                                  355 1 4 2 0 0 345 435 437 1 3 0 0 0
                                  13 354 1 3 0 0 0 13 436 1 3 0 0 0 342
                                  355 356 3 0 0 0 342 437 1 3 0 0 0 8
                                  436 1 3 0 0 0 8 354 1 3 0 0 0 345 355
                                  1 3 0 0 0 345 437 1 3 0 0 0 0 0 1 3 0
                                  0 0 324 324 1 2 0 0 0 361 1 2 0 0 0
                                  443 1 3 0 0 0 15 0 1 3 0 0 0 52 324
                                  400 1 1 59 0 1 1 1 0 0 224 5 0 0 13 0
                                  0 0 0 1 2 0 0 13 324 1 3 0 0 13 0 0 1
                                  4 0 0 13 0 0 0 1 2 0 0 13 0 1 2 1 428
                                  0 0 1 2 0 0 0 0 1 1 0 0 0 1 1 1 0 0
                                  234 1 1 0 0 185 2 2 0 0 8 1 3 2 0 0 8
                                  59 1 2 2 0 0 345 1 3 2 0 0 345 435 1
                                  1 1 0 0 69 1 1 80 0 83 1 36 0 0 301 1
                                  1 0 0 162 1 1 0 0 138 1 1 0 0 158 1 1
                                  0 0 134 1 1 0 0 154 1 1 0 0 130 1 10
                                  339 0 341 1 14 370 0 1 1 15 364 0 1 1
                                  1 0 425 1 2 8 0 0 0 1 2 8 0 0 0 1 1
                                  16 0 294 295 1 34 0 296 1 1 21 0 35
                                  39 1 1 0 420 1 1 1 0 421 1 1 1 0 423
                                  1 1 1 0 424 1 1 1 0 0 1 1 2 0 433 1 1
                                  2 0 80 85 1 0 0 6 320 1 0 0 8 358 1 0
                                  0 15 390 1 0 397 0 399 1 5 417 0 1 0
                                  2 59 1 1 0 0 324 1 1 0 0 0 1 2 1 0 0
                                  0 205 2 1 0 0 0 191 2 1 0 0 0 195 2 1
                                  0 0 0 189 2 1 0 0 0 193 1 0 12 13 14
                                  1 1 0 0 168 1 1 0 0 144 2 1 12 0 0 1
                                  1 1 0 0 164 1 1 0 0 140 1 1 0 0 172 1
                                  1 0 0 148 2 0 0 8 324 1 4 0 0 8 0 0 0
                                  1 5 0 0 8 0 0 0 0 1 2 0 0 8 0 1 3 0 0
                                  8 0 0 1 1 1 0 0 199 1 1 0 0 197 1 1 0
                                  0 174 1 1 0 0 150 1 1 0 0 170 1 1 0 0
                                  146 1 1 0 0 166 1 1 0 0 142 1 1 0 0
                                  177 2 24 0 0 74 1 2 24 0 0 59 1 2 19
                                  0 0 35 1 0 27 0 25 1 1 0 0 228 0 24 0
                                  27 2 1 0 0 0 181 1 1 0 0 179 1 1 0 0
                                  226 2 2 0 0 8 1 3 2 0 0 8 59 1 2 2 0
                                  0 345 1 3 2 0 0 345 435 1 1 1 0 0 230
                                  2 1 0 0 0 183 2 0 12 0 0 1 2 0 12 0 0
                                  1 2 0 12 0 0 78 2 0 12 0 0 1 2 0 12 0
                                  0 77 2 19 0 0 0 47 2 1 0 80 80 95 1
                                  31 0 0 34 2 31 0 0 0 45 2 27 0 0 0 43
                                  2 24 0 0 74 75 2 24 0 0 59 70 2 19 0
                                  0 35 73 2 1 0 0 296 298 2 1 0 0 0 63
                                  2 24 0 0 0 41 2 31 0 35 0 37 2 27 0
                                  74 0 1 2 27 0 59 0 1 2 4 0 6 0 1 2 4
                                  0 0 6 1 2 1 0 0 296 1 2 1 0 296 0 1)))))
          '|lookupComplete|)) 
