
(/VERSIONCHECK 2) 

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

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

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

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

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

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

(DEFUN |EXPR;one?;$B;6| (|x| $)
  (SPADCALL |x| (|spadConstant| $ 24) (QREFELT $ 26))) 

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

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

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

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

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

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

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

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

(DEFUN |EXPR;number?;$B;15| (|x| $)
  (COND
   ((|HasCategory| (QREFELT $ 6) (LIST '|RetractableTo| '(|Integer|)))
    (COND ((SPADCALL |x| (QREFELT $ 45)) 'T)
          (#1='T (QEQCAR (SPADCALL |x| (QREFELT $ 47)) 0))))
   (#1# (SPADCALL |x| (QREFELT $ 45))))) 

(DEFUN |EXPR;simplifyPower;$I$;16| (|x| |n| $)
  (PROG (|args| |k|)
    (RETURN
     (SEQ
      (LETT |k| (SPADCALL |x| (QREFELT $ 50))
            . #1=(|EXPR;simplifyPower;$I$;16|))
      (EXIT
       (COND
        ((SPADCALL |x| '|%power| (QREFELT $ 52))
         (SEQ
          (LETT |args| (SPADCALL (SPADCALL |k| (QREFELT $ 54)) (QREFELT $ 56))
                . #1#)
          (COND
           ((NULL (EQL (SPADCALL |args| (QREFELT $ 58)) 2))
            (EXIT (|error| "Too many arguments to ^"))))
          (EXIT
           (COND
            ((SPADCALL (SPADCALL |args| 1 (QREFELT $ 59)) (QREFELT $ 48))
             (SPADCALL
              (|EXPR;reduc|
               (SPADCALL (SPADCALL |args| 1 (QREFELT $ 59)) |n| (QREFELT $ 60))
               (|EXPR;algkernels|
                (SPADCALL (SPADCALL |args| 1 (QREFELT $ 59)) (QREFELT $ 50)) $)
               $)
              (SPADCALL |args| 2 (QREFELT $ 59)) (QREFELT $ 61)))
            (#2='T
             (SPADCALL (SPADCALL |args| (QREFELT $ 62))
                       (SPADCALL |n| (SPADCALL |args| (QREFELT $ 63))
                                 (QREFELT $ 34))
                       (QREFELT $ 61)))))))
        (#2#
         (|EXPR;reduc| (SPADCALL |x| |n| (QREFELT $ 60))
          (|EXPR;algkernels| |k| $) $)))))))) 

(DEFUN |EXPR;^;$Nni$;17| (|x| |n| $)
  (COND ((EQL |n| 0) (|spadConstant| $ 24)) ((EQL |n| 1) |x|)
        ('T
         (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 66)) |n| (QREFELT $ 64))
                   (SPADCALL (SPADCALL |x| (QREFELT $ 67)) |n| (QREFELT $ 64))
                   (QREFELT $ 44))))) 

(DEFUN |EXPR;^;$I$;18| (|x| |n| $)
  (COND ((EQL |n| 0) (|spadConstant| $ 24)) ((EQL |n| 1) |x|)
        (#1='T
         (COND
          ((EQL |n| -1) (SPADCALL (|spadConstant| $ 24) |x| (QREFELT $ 44)))
          (#1#
           (SPADCALL
            (SPADCALL (SPADCALL |x| (QREFELT $ 66)) |n| (QREFELT $ 64))
            (SPADCALL (SPADCALL |x| (QREFELT $ 67)) |n| (QREFELT $ 64))
            (QREFELT $ 44))))))) 

(DEFUN |EXPR;^;$Pi$;19| (|x| |n| $)
  (COND ((EQL |n| 1) |x|)
        ('T
         (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 66)) |n| (QREFELT $ 64))
                   (SPADCALL (SPADCALL |x| (QREFELT $ 67)) |n| (QREFELT $ 64))
                   (QREFELT $ 44))))) 

(DEFUN |EXPR;smaller?;2$B;20| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 74))) 

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

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

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

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

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

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

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

(DEFUN |EXPR;algkernels!0| (|x| $$)
  (PROG ($ ALGOP)
    (LETT $ (QREFELT $$ 1) . #1=(|EXPR;algkernels|))
    (LETT ALGOP (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL (SPADCALL |x| (QREFELT $ 85)) ALGOP (QREFELT $ 86)))))) 

(DEFUN |EXPR;toprat| (|f| $)
  (SPADCALL |f| (|EXPR;algkernels| (SPADCALL |f| (QREFELT $ 50)) $)
            (QREFELT $ 90))) 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(DEFUN |EXPR;^;3$;73| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 199))) 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(DEFUN |EXPR;operator;2Bo;91| (|op| $)
  (PROG (|n|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |op| (QREFELT $ 237)) (SPADCALL |op| (QREFELT $ 238)))
            ((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 $ 248)) (SPADCALL |op| (QREFELT $ 249)))
            ((SPADCALL |op| (QREFELT $ 251)) (SPADCALL |op| (QREFELT $ 252)))
            (#1='T
             (SEQ
              (COND
               ((SPADCALL |op| (QREFELT $ 253))
                (COND
                 ((SPADCALL |op| (QREFELT $ 7) (QREFELT $ 86))
                  (EXIT
                   (SPADCALL
                    (SPADCALL (SPADCALL |op| (QREFELT $ 254)) (QREFELT $ 255))
                    (QREFELT $ 85)))))))
              (LETT |n| (SPADCALL |op| (QREFELT $ 257)) |EXPR;operator;2Bo;91|)
              (EXIT
               (COND
                ((QEQCAR |n| 1)
                 (SPADCALL (SPADCALL |op| (QREFELT $ 254)) (QREFELT $ 258)))
                (#1#
                 (SPADCALL (SPADCALL |op| (QREFELT $ 254)) (QCDR |n|)
                           (QREFELT $ 259)))))))))))) 

(DEFUN |EXPR;reduc| (|x| |l| $)
  (PROG (|p| #1=#:G846 |k|)
    (RETURN
     (SEQ
      (SEQ (LETT |k| NIL . #2=(|EXPR;reduc|)) (LETT #1# |l| . #2#) G190
           (COND
            ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #2#) NIL)) (GO G191)))
           (SEQ (LETT |p| (SPADCALL |k| (QREFELT $ 261)) . #2#)
                (EXIT
                 (LETT |x|
                       (SPADCALL
                        (|EXPR;evl| (SPADCALL |x| (QREFELT $ 79)) |k| |p| $)
                        (|EXPR;evl| (SPADCALL |x| (QREFELT $ 81)) |k| |p| $)
                        (QREFELT $ 43))
                       . #2#)))
           (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT |x|))))) 

(DEFUN |EXPR;evl0| (|p| |k| $)
  (SPADCALL (SPADCALL (SPADCALL |p| (QREFELT $ 263)) |k| (QREFELT $ 266))
            (QREFELT $ 268))) 

(DEFUN |EXPR;evl| (|p| |k| |m| $)
  (COND
   ((< (SPADCALL |p| |k| (QREFELT $ 269)) (SPADCALL |m| (QREFELT $ 270)))
    (SPADCALL |p| (QREFELT $ 263)))
   ('T
    (SPADCALL (SPADCALL (|EXPR;evl0| |p| |k| $) |m| (QREFELT $ 271))
              (SPADCALL (SPADCALL |k| (QREFELT $ 272)) (QREFELT $ 263))
              (QREFELT $ 273))))) 

(DEFUN |EXPR;noalg?| (|p| $)
  (PROG (#1=#:G854)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ G190
             (COND
              ((NULL
                (COND
                 ((SPADCALL |p| (|spadConstant| $ 274) (QREFELT $ 275)) 'NIL)
                 ('T 'T)))
               (GO G191)))
             (SEQ
              (EXIT
               (COND
                ((NULL
                  (NULL
                   (|EXPR;algkernels|
                    (SPADCALL (SPADCALL |p| (QREFELT $ 276)) (QREFELT $ 50))
                    $)))
                 (PROGN (LETT #1# 'NIL . #2=(|EXPR;noalg?|)) (GO #1#)))
                ('T (LETT |p| (SPADCALL |p| (QREFELT $ 277)) . #2#)))))
             NIL (GO G190) G191 (EXIT NIL))
        (EXIT 'T)))
      #1# (EXIT #1#))))) 

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

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

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

(DEFUN |EXPR;coerce;An$;99| (|x| $)
  (SPADCALL (SPADCALL |x| (|spadConstant| $ 290) (QREFELT $ 291))
            (QREFELT $ 83))) 

(DEFUN |EXPR;^;$F$;100| (|x| |r| $) (SPADCALL |x| |r| (QREFELT $ 295))) 

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

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

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

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

(DEFUN |EXPR;coerce;An$;105| (|x| $)
  (SPADCALL (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 304)) $)
            (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 305)) $) (QREFELT $ 44))) 

(DEFUN |EXPR;k2expr| (|k| $) (SPADCALL (ELT $ 293) |k| (QREFELT $ 309))) 

(DEFUN |EXPR;smp2expr| (|p| $)
  (SPADCALL (CONS (|function| |EXPR;k2expr|) $) (ELT $ 36) |p| (QREFELT $ 314))) 

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

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

(DEFUN |EXPR;k2an| (|k| $)
  (PROG (|arg| #1=#:G903 |a| #2=#:G904 |x| |op|)
    (RETURN
     (SEQ
      (EXIT
       (COND
        ((NULL
          (SPADCALL
           (LETT |op| (SPADCALL |k| (QREFELT $ 85)) . #3=(|EXPR;k2an|))
           (QREFELT $ 320)))
         (CONS 1 "failed"))
        ('T
         (SEQ (LETT |arg| NIL . #3#)
              (SEQ (LETT |x| NIL . #3#)
                   (LETT #2# (SPADCALL |k| (QREFELT $ 56)) . #3#) G190
                   (COND
                    ((OR (ATOM #2#) (PROGN (LETT |x| (CAR #2#) . #3#) NIL))
                     (GO G191)))
                   (SEQ (LETT |a| (SPADCALL |x| (QREFELT $ 317)) . #3#)
                        (EXIT
                         (COND
                          ((QEQCAR |a| 1)
                           (PROGN (LETT #1# (CONS 1 "failed") . #3#) (GO #1#)))
                          ('T (LETT |arg| (CONS (QCDR |a|) |arg|) . #3#)))))
                   (LETT #2# (CDR #2#) . #3#) (GO G190) G191 (EXIT NIL))
              (EXIT
               (CONS 0
                     (SPADCALL (SPADCALL |op| (QREFELT $ 321)) (NREVERSE |arg|)
                               (QREFELT $ 323))))))))
      #1# (EXIT #1#))))) 

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

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

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

(DEFUN |EXPR;eval;$LLS$;114| (|f| |ls| |lg| |x| $)
  (PROG (|res| #1=#:G952 |g| #2=#:G951 |nlg| #3=#:G950 #4=#:G949
         |lbackwardSubs| #5=#:G947 |i| #6=#:G948 |j| #7=#:G946 |lforwardSubs|
         #8=#:G944 #9=#:G945 #10=#:G943 |ns| #11=#:G942 #12=#:G941 #13=#:G940
         #14=#:G939 |lsd| |lsym| |llsym| #15=#:G938 #16=#:G937)
    (RETURN
     (SEQ
      (LETT |llsym|
            (PROGN
             (LETT #16# NIL . #17=(|EXPR;eval;$LLS$;114|))
             (SEQ (LETT |g| NIL . #17#) (LETT #15# |lg| . #17#) G190
                  (COND
                   ((OR (ATOM #15#) (PROGN (LETT |g| (CAR #15#) . #17#) NIL))
                    #18=(GO G191)))
                  (SEQ
                   (EXIT
                    (LETT #16# (CONS (SPADCALL |g| (QREFELT $ 344)) #16#)
                          . #17#)))
                  (LETT #15# (CDR #15#) . #17#) #19=(GO G190) G191
                  (EXIT (NREVERSE0 #16#))))
            . #17#)
      (LETT |lsym|
            (SPADCALL (SPADCALL |llsym| (QREFELT $ 345)) (QREFELT $ 346))
            . #17#)
      (LETT |lsd| (SPADCALL (ELT $ 347) |lsym| (QREFELT $ 349)) . #17#)
      (EXIT
       (COND
        ((NULL |lsd|)
         (SPADCALL |f| |ls|
                   (PROGN
                    (LETT #14# NIL . #17#)
                    (SEQ (LETT |g| NIL . #17#) (LETT #13# |lg| . #17#) G190
                         (COND
                          ((OR (ATOM #13#)
                               (PROGN (LETT |g| (CAR #13#) . #17#) NIL))
                           #18#))
                         (SEQ
                          (EXIT
                           (LETT #14#
                                 (CONS (SPADCALL |g| |x| (QREFELT $ 351)) #14#)
                                 . #17#)))
                         (LETT #13# (CDR #13#) . #17#) #19# G191
                         (EXIT (NREVERSE0 #14#))))
                   (QREFELT $ 354)))
        ('T
         (SEQ
          (LETT |ns|
                (PROGN
                 (LETT #12# NIL . #17#)
                 (SEQ (LETT |i| NIL . #17#) (LETT #11# |lsd| . #17#) G190
                      (COND
                       ((OR (ATOM #11#)
                            (PROGN (LETT |i| (CAR #11#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #12# (CONS (SPADCALL (QREFELT $ 355)) #12#)
                              . #17#)))
                      (LETT #11# (CDR #11#) . #17#) #19# G191
                      (EXIT (NREVERSE0 #12#))))
                . #17#)
          (LETT |lforwardSubs|
                (PROGN
                 (LETT #10# NIL . #17#)
                 (SEQ (LETT |j| NIL . #17#) (LETT #9# |ns| . #17#)
                      (LETT |i| NIL . #17#) (LETT #8# |lsd| . #17#) G190
                      (COND
                       ((OR (ATOM #8#) (PROGN (LETT |i| (CAR #8#) . #17#) NIL)
                            (ATOM #9#) (PROGN (LETT |j| (CAR #9#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #10#
                              (CONS
                               (SPADCALL (SPADCALL |i| (QREFELT $ 356))
                                         (SPADCALL |j| (QREFELT $ 356))
                                         (QREFELT $ 358))
                               #10#)
                              . #17#)))
                      (LETT #8# (PROG1 (CDR #8#) (LETT #9# (CDR #9#) . #17#))
                            . #17#)
                      #19# G191 (EXIT (NREVERSE0 #10#))))
                . #17#)
          (LETT |lbackwardSubs|
                (PROGN
                 (LETT #7# NIL . #17#)
                 (SEQ (LETT |j| NIL . #17#) (LETT #6# |ns| . #17#)
                      (LETT |i| NIL . #17#) (LETT #5# |lsd| . #17#) G190
                      (COND
                       ((OR (ATOM #5#) (PROGN (LETT |i| (CAR #5#) . #17#) NIL)
                            (ATOM #6#) (PROGN (LETT |j| (CAR #6#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #7#
                              (CONS
                               (SPADCALL (SPADCALL |j| (QREFELT $ 356))
                                         (SPADCALL |i| (QREFELT $ 356))
                                         (QREFELT $ 358))
                               #7#)
                              . #17#)))
                      (LETT #5# (PROG1 (CDR #5#) (LETT #6# (CDR #6#) . #17#))
                            . #17#)
                      #19# G191 (EXIT (NREVERSE0 #7#))))
                . #17#)
          (LETT |nlg|
                (PROGN
                 (LETT #4# NIL . #17#)
                 (SEQ (LETT |g| NIL . #17#) (LETT #3# |lg| . #17#) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |g| (CAR #3#) . #17#) NIL))
                        #18#))
                      (SEQ
                       (EXIT
                        (LETT #4#
                              (CONS
                               (SPADCALL |g| |lforwardSubs| (QREFELT $ 360))
                               #4#)
                              . #17#)))
                      (LETT #3# (CDR #3#) . #17#) #19# G191
                      (EXIT (NREVERSE0 #4#))))
                . #17#)
          (LETT |res|
                (SPADCALL |f| |ls|
                          (PROGN
                           (LETT #2# NIL . #17#)
                           (SEQ (LETT |g| NIL . #17#) (LETT #1# |nlg| . #17#)
                                G190
                                (COND
                                 ((OR (ATOM #1#)
                                      (PROGN (LETT |g| (CAR #1#) . #17#) NIL))
                                  #18#))
                                (SEQ
                                 (EXIT
                                  (LETT #2#
                                        (CONS
                                         (SPADCALL |g| |x| (QREFELT $ 351))
                                         #2#)
                                        . #17#)))
                                (LETT #1# (CDR #1#) . #17#) #19# G191
                                (EXIT (NREVERSE0 #2#))))
                          (QREFELT $ 354))
                . #17#)
          (EXIT (SPADCALL |res| |lbackwardSubs| (QREFELT $ 360))))))))))) 

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

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

(DEFUN |EXPR;operator;2Bo;117| (|op| $)
  (PROG (|n|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |op| (QREFELT $ 248)) (SPADCALL |op| (QREFELT $ 249)))
            ((SPADCALL |op| (QREFELT $ 251)) (SPADCALL |op| (QREFELT $ 252)))
            (#1='T
             (SEQ
              (COND
               ((SPADCALL |op| (QREFELT $ 253))
                (COND
                 ((SPADCALL |op| (QREFELT $ 7) (QREFELT $ 86))
                  (EXIT
                   (SPADCALL
                    (SPADCALL (SPADCALL |op| (QREFELT $ 254)) (QREFELT $ 255))
                    (QREFELT $ 85)))))))
              (LETT |n| (SPADCALL |op| (QREFELT $ 257))
                    |EXPR;operator;2Bo;117|)
              (EXIT
               (COND
                ((QEQCAR |n| 1)
                 (SPADCALL (SPADCALL |op| (QREFELT $ 254)) (QREFELT $ 258)))
                (#1#
                 (SPADCALL (SPADCALL |op| (QREFELT $ 254)) (QCDR |n|)
                           (QREFELT $ 259)))))))))))) 

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

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

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

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

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

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

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

(DEFUN |EXPR;smaller?;2$B;125| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 74))) 

(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 $ 373))) 

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

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

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

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

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

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

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

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

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

(DEFUN |EXPR;smaller?;2$B;138| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 74))) 

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

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

(DEFUN |EXPR;coerce;R$;141| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 392)) (|spadConstant| $ 22))
        ('T (SPADCALL (SPADCALL |x| (QREFELT $ 393)) (QREFELT $ 388))))) 

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

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

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

(DEFUN |EXPR;kereval!1| (|x2| $$)
  (PROG ($ |lv| |lk|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;kereval|))
    (LETT |lv| (QREFELT $$ 1) . #1#)
    (LETT |lk| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL (CONS #'|EXPR;kereval!0| (VECTOR $ |lv| |lk|)) |x2|
                   (QREFELT $ 399)))))))) 

(DEFUN |EXPR;kereval!0| (|x1| $$)
  (PROG (|lk| |lv| $)
    (LETT |lk| (QREFELT $$ 2) NIL)
    (LETT |lv| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x1| |lk| |lv| (QREFELT $ 398)))))) 

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

(DEFUN |EXPR;subeval!0| (|x| $$)
  (PROG ($ |lk| |lv|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;subeval|))
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT |lv| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (#2=#:G1011 |a| #3=#:G1010)
        (RETURN
         (SEQ
          (SPADCALL (SPADCALL |x| (QREFELT $ 85))
                    (PROGN
                     (LETT #3# NIL NIL)
                     (SEQ (LETT |a| NIL NIL)
                          (LETT #2# (SPADCALL |x| (QREFELT $ 56)) NIL) G190
                          (COND
                           ((OR (ATOM #2#)
                                (PROGN (LETT |a| (CAR #2#) NIL) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #3#
                                  (CONS
                                   (SPADCALL |a| |lk| |lv| (QREFELT $ 403))
                                   #3#)
                                  NIL)))
                          (LETT #2# (CDR #2#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #3#))))
                    (QREFELT $ 404))))))))) 

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

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

(DEFUN |EXPR;eval;$LL$;148| (|x| |lk| |lv| $)
  (PROG (#1=#:G1042 #2=#:G1041 #3=#:G1043 #4=#:G1045 |t|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|EXPR;eval;$LL$;148|))
       (SEQ (LETT |t| NIL . #5#)
            (LETT #4# (SPADCALL |x| (QREFELT $ 391)) . #5#) G190
            (COND
             ((OR (ATOM #4#) (PROGN (LETT |t| (CAR #4#) . #5#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (PROGN
               (LETT #3#
                     (SPADCALL (QCDR |t|)
                               (|EXPR;kereval| (QCAR |t|) |lk| |lv| $)
                               (QREFELT $ 33))
                     . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 40)) . #5#))
                     ('T (PROGN (LETT #2# #3# . #5#) (LETT #1# 'T . #5#)))))))
            (LETT #4# (CDR #4#) . #5#) (GO G190) G191 (EXIT NIL))
       (COND (#1# #2#) ('T (|spadConstant| $ 22)))))))) 

(DEFUN |EXPR;subst;$LL$;149| (|x| |lk| |lv| $)
  (PROG (#1=#:G1048 #2=#:G1047 #3=#:G1049 #4=#:G1051 |t|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|EXPR;subst;$LL$;149|))
       (SEQ (LETT |t| NIL . #5#)
            (LETT #4# (SPADCALL |x| (QREFELT $ 391)) . #5#) G190
            (COND
             ((OR (ATOM #4#) (PROGN (LETT |t| (CAR #4#) . #5#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (PROGN
               (LETT #3#
                     (SPADCALL (QCDR |t|)
                               (|EXPR;subeval| (QCAR |t|) |lk| |lv| $)
                               (QREFELT $ 33))
                     . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 40)) . #5#))
                     ('T (PROGN (LETT #2# #3# . #5#) (LETT #1# 'T . #5#)))))))
            (LETT #4# (CDR #4#) . #5#) (GO G190) G191 (EXIT NIL))
       (COND (#1# #2#) ('T (|spadConstant| $ 22)))))))) 

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

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

(DEFUN |EXPR;smaller?;2$B;152| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 74))) 

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

(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 $ 393))) 

(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 $ 396))) 

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

(DEFUN |EXPR;eval;$LL$;160!1| (|x1| $$)
  (PROG ($ |lv| |lk|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;eval;$LL$;160|))
    (LETT |lv| (QREFELT $$ 1) . #1#)
    (LETT |lk| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG ()
        (RETURN
         (SPADCALL (CONS #'|EXPR;eval;$LL$;160!0| (VECTOR $ |lv| |lk|)) |x1|
                   (QREFELT $ 399)))))))) 

(DEFUN |EXPR;eval;$LL$;160!0| (|x2| $$)
  (PROG (|lk| |lv| $)
    (LETT |lk| (QREFELT $$ 2) NIL)
    (LETT |lv| (QREFELT $$ 1) NIL)
    (LETT $ (QREFELT $$ 0) NIL)
    (RETURN (PROGN (SPADCALL |x2| |lk| |lv| (QREFELT $ 398)))))) 

(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 $ 402)))))) 

(DEFUN |EXPR;subst;$LL$;161!0| (|x1| $$)
  (PROG ($ |lk| |lv|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;subst;$LL$;161|))
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT |lv| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (#2=#:G1078 |a| #3=#:G1077)
        (RETURN
         (SEQ
          (SPADCALL (SPADCALL |x1| (QREFELT $ 85))
                    (PROGN
                     (LETT #3# NIL NIL)
                     (SEQ (LETT |a| NIL NIL)
                          (LETT #2# (SPADCALL |x1| (QREFELT $ 56)) NIL) G190
                          (COND
                           ((OR (ATOM #2#)
                                (PROGN (LETT |a| (CAR #2#) NIL) NIL))
                            (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #3#
                                  (CONS
                                   (SPADCALL |a| |lk| |lv| (QREFELT $ 403))
                                   #3#)
                                  NIL)))
                          (LETT #2# (CDR #2#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #3#))))
                    (QREFELT $ 404))))))))) 

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

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

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

(MAKEPROP '|Expression| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) 'SYMBOL 'ALGOP (|Boolean|)
              (|BasicOperator|) |EXPR;belong?;BoB;1| (|Kernel| $)
              (0 . |retract|) (|Union| 6 '"failed") (|Kernel| $$)
              (|KernelFunctions2| 6 $$) (5 . |constantIfCan|)
              (|Union| 12 '#1="failed") (10 . |retractIfCan|) '|Rep|
              (15 . |Zero|) (19 . |Zero|) (23 . |One|) (27 . |One|)
              (31 . |One|) (35 . =) (41 . |one?|) (46 . |zero?|) (51 . |zero?|)
              (56 . -) (61 . -) (|Integer|) (66 . *) (72 . *) (78 . |coerce|)
              (83 . |coerce|) (88 . *) (94 . *) (100 . +) (106 . +) (112 . -)
              (118 . -) (124 . /) (130 . /) (136 . |ground?|)
              (|Union| 294 '#1#) (141 . |retractIfCan|) (146 . |number?|)
              (|List| 12) (151 . |kernels|) (|Symbol|) (156 . |is?|)
              (|List| 15) (162 . |first|) (|List| $$) (167 . |argument|)
              (|NonNegativeInteger|) (172 . |#|) (177 . |elt|) (183 . ^)
              (189 . ^) (195 . |first|) (200 . |second|)
              (205 . |simplifyPower|) (211 . |Zero|) (215 . |numerator|)
              (220 . |denominator|) (225 . ^)
              (|SparseMultivariatePolynomial| 6 15) (231 . |One|) (235 . ^)
              (|PositiveInteger|) (241 . ^) (247 . |smaller?|)
              (253 . |smaller?|) (259 . =) (265 . |numer|)
              (|SparseMultivariatePolynomial| 6 12) (270 . |numer|)
              (275 . |denom|) (280 . |denom|) (285 . |coerce|) (290 . |coerce|)
              (295 . |reduce|) (300 . |operator|) (305 . |has?|)
              (|Mapping| 9 15) (311 . |select!|)
              (|AlgebraicManipulations| 6 $$) (317 . |ratDenom|) (323 . /)
              (329 . |variables|) (334 . /) (|Mapping| $$ $$) (|Matrix| $$)
              (340 . |map|) (|Matrix| 69) (|Matrix| $) (346 . |reducedSystem|)
              (|Matrix| 6) (351 . |reducedSystem|) (356 . |reducedSystem|)
              (|Vector| $$) (361 . |map|)
              (|Record| (|:| |mat| 97) (|:| |vec| (|Vector| 69))) (|Vector| $)
              (367 . |reducedSystem|)
              (|Record| (|:| |mat| 100) (|:| |vec| (|Vector| 6)))
              (373 . |reducedSystem|) (379 . |reducedSystem|) (385 . |member?|)
              (391 . |concat|) (|SparseUnivariatePolynomial| $$)
              (|AlgebraicFunction| 6 $$) (397 . |rootOf|)
              (|SparseUnivariatePolynomial| $) (403 . |rootOf|)
              (|ElementaryFunction| 6 $$) (409 . |pi|) (413 . |pi|)
              (417 . |exp|) (422 . |exp|) (427 . |log|) (432 . |log|)
              (437 . |sin|) (442 . |sin|) (447 . |cos|) (452 . |cos|)
              (457 . |tan|) (462 . |tan|) (467 . |cot|) (472 . |cot|)
              (477 . |sec|) (482 . |sec|) (487 . |csc|) (492 . |csc|)
              (497 . |asin|) (502 . |asin|) (507 . |acos|) (512 . |acos|)
              (517 . |atan|) (522 . |atan|) (527 . |acot|) (532 . |acot|)
              (537 . |asec|) (542 . |asec|) (547 . |acsc|) (552 . |acsc|)
              (557 . |sinh|) (562 . |sinh|) (567 . |cosh|) (572 . |cosh|)
              (577 . |tanh|) (582 . |tanh|) (587 . |coth|) (592 . |coth|)
              (597 . |sech|) (602 . |sech|) (607 . |csch|) (612 . |csch|)
              (617 . |asinh|) (622 . |asinh|) (627 . |acosh|) (632 . |acosh|)
              (637 . |atanh|) (642 . |atanh|) (647 . |acoth|) (652 . |acoth|)
              (657 . |asech|) (662 . |asech|) (667 . |acsch|) (672 . |acsch|)
              (|FunctionalSpecialFunction| 6 $$) (677 . |abs|) (682 . |abs|)
              (687 . |Gamma|) (692 . |Gamma|) (697 . |Gamma|) (703 . |Gamma|)
              (709 . |Beta|) (715 . |Beta|) (721 . |digamma|) (726 . |digamma|)
              (731 . |polygamma|) (737 . |polygamma|) (743 . |besselJ|)
              (749 . |besselJ|) (755 . |besselY|) (761 . |besselY|)
              (767 . |besselI|) (773 . |besselI|) (779 . |besselK|)
              (785 . |besselK|) (791 . |airyAi|) (796 . |airyAi|)
              (801 . |airyBi|) (806 . |airyBi|) (|CombinatorialFunction| 6 $$)
              (811 . ^) (817 . |factorial|) (822 . |factorial|)
              (827 . |binomial|) (833 . |binomial|) (839 . |permutation|)
              (845 . |permutation|) (851 . |factorials|) (856 . |factorials|)
              (861 . |factorials|) (867 . |factorials|) (873 . |summation|)
              (879 . |summation|) (|SegmentBinding| $$) (885 . |summation|)
              (|SegmentBinding| $) (891 . |summation|) (897 . |product|)
              (903 . |product|) (909 . |product|) (915 . |product|)
              (|LiouvillianFunction| 6 $$) (921 . |erf|) (926 . |erf|)
              (931 . |Ei|) (936 . |Ei|) (941 . |Si|) (946 . |Si|) (951 . |Ci|)
              (956 . |Ci|) (961 . |li|) (966 . |li|) (971 . |dilog|)
              (976 . |dilog|) (981 . |integral|) (987 . |integral|)
              (993 . |integral|) (999 . |integral|) (1005 . |belong?|)
              (1010 . |operator|) (1015 . |belong?|) (1020 . |operator|)
              (1025 . |belong?|) (1030 . |operator|) (1035 . |belong?|)
              (1040 . |operator|) (1045 . |belong?|) (1050 . |operator|)
              (|FunctionSpace&| $$ 6) (1055 . |belong?|) (1060 . |operator|)
              (|ExpressionSpace&| $$) (1065 . |belong?|) (1070 . |operator|)
              (1075 . |nullary?|) (1080 . |name|) (1085 . |kernel|)
              (|Union| 57 '"failed") (1090 . |arity|) (1095 . |operator|)
              (1100 . |operator|) (1106 . |operator|) (1111 . |minPoly|)
              (|Fraction| 69) (1116 . |coerce|) (|Fraction| 267)
              (|PolynomialCategoryQuotientFunctions| 289 15 6 69 262)
              (1121 . |univariate|) (|SparseUnivariatePolynomial| 262)
              (1127 . |numer|) (1132 . |degree|) (1138 . |degree|)
              (1143 . |rem|) (1149 . |coerce|) (1154 . |elt|) (1160 . |Zero|)
              (1164 . =) (1170 . |leadingCoefficient|) (1175 . |reductum|)
              (1180 . |gcdPolynomial|) (|GcdDomain&| $$)
              (1186 . |gcdPolynomial|) (1192 . |gcdPolynomial|)
              (|Factored| 267) (|SupFractionFactorizer| 289 15 6 69)
              (1198 . |factor|) (|Factored| 116) (1203 . |factorPolynomial|)
              (1208 . |squareFree|) (1213 . |squareFreePolynomial|)
              (|IndexedExponents| 15) (1218 . |Zero|) (1222 . |monomial|)
              (|AlgebraicNumber|) (1228 . |coerce|) (|Fraction| 32) (1233 . ^)
              (1239 . ^) (1245 . |minPoly|) (1250 . |definingPolynomial|)
              (1255 . |definingPolynomial|) (1260 . |retract|)
              (1265 . |retract|) (1270 . |retractIfCan|)
              (|SparseMultivariatePolynomial| 32 12) (1275 . |numer|)
              (1280 . |denom|) (|Mapping| $$ 292) (|Kernel| 292)
              (|ExpressionSpaceFunctions2| 292 $$) (1285 . |map|)
              (|Mapping| $$ 307) (|Mapping| $$ 32)
              (|SparseMultivariatePolynomial| 32 307)
              (|PolynomialCategoryLifting| (|IndexedExponents| 307) 307 32 312
                                           $$)
              (1291 . |map|) (1298 . /) (|Union| 292 '"failed")
              (1304 . |retractIfCan|) (1309 . |coerce|) (1314 . |coerce|)
              (1319 . |belong?|) (1324 . |operator|) (|List| $) (1329 . |elt|)
              (|Union| 15 '"failed") (1335 . |mainVariable|)
              (1340 . |leadingCoefficient|) (1345 . |univariate|)
              (1351 . |Zero|) (|SparseUnivariatePolynomial| 69)
              (1355 . |ground?|) (1360 . |leadingCoefficient|)
              (1365 . |degree|) (1370 . ^) (1376 . *) (1382 . +)
              (1388 . |reductum|) (|InputForm|) (1393 . |convert|)
              (1398 . |convert|) (|List| 10) (1403 . |eval|) (1411 . |eval|)
              (|List| 51) (1419 . |variables|) (1424 . |concat|)
              (1429 . |removeDuplicates|) (1434 . |scripted?|) (|Mapping| 9 51)
              (1439 . |select|) (|MakeUnaryCompiledFunction| $$ $$ $$)
              (1445 . |compiledFunction|) (|Mapping| $ $) (|List| 352)
              (1451 . |eval|) (1458 . |new|) (1462 . |coerce|) (|Equation| $$)
              (1467 . =) (|List| 441) (1473 . |subst|)
              (|PatternMatchResult| 32 $$) (|Pattern| 32)
              (|PatternMatchFunctionSpace| 32 6 $$) (1479 . |patternMatch|)
              (|PatternMatchResult| 32 $) (1486 . |patternMatch|)
              (|PatternMatchResult| (|Float|) $$) (|Pattern| (|Float|))
              (|PatternMatchFunctionSpace| (|Float|) 6 $$)
              (1493 . |patternMatch|) (|PatternMatchResult| (|Float|) $)
              (1500 . |patternMatch|) (1507 . |reducedSystem|)
              (1512 . |reducedSystem|) (|PatternMatchKernel| 32 $$)
              (1518 . |patternMatch|) (|PatternMatchResult| 32 20)
              (|Mapping| 377 15 362 377)
              (|PatternMatchPolynomialCategory| 32 289 15 6 20)
              (1525 . |patternMatch|) (|PatternMatchKernel| (|Float|) $$)
              (1533 . |patternMatch|) (|PatternMatchResult| (|Float|) 20)
              (|Mapping| 383 15 368 383)
              (|PatternMatchPolynomialCategory| (|Float|) 289 15 6 20)
              (1540 . |patternMatch|) (1548 . |coerce|) (1553 . |coerce|)
              (|Record| (|:| |gen| 15) (|:| |exp| 32)) (|List| 389)
              (1558 . |terms|) (1563 . |zero?|) (1568 . |constantKernel|)
              (1573 . |retract|) (|OutputForm|) (1578 . |coerce|)
              (1583 . |coerce|) (1588 . |eval|) (1595 . |map|)
              (|Mapping| $$ 15) (|ListToMap| 15 $$) (1601 . |match|)
              (1609 . |subst|) (1616 . |kernel|) (1622 . *)
              (|Union| 322 '#2="failed") (1628 . |isPlus|) (1633 . |first|)
              (|Record| (|:| |coef| 32) (|:| |var| 12)) (|Union| 409 '#2#)
              (1638 . |isMult|) (1643 . |retractIfCan|)
              (|Record| (|:| |mat| 414) (|:| |vec| (|Vector| 32)))
              (|Matrix| 32) (|Union| $ '"failed") (|Polynomial| $)
              (|Fraction| 431) (|Union| 417 '#1#) (|Fraction| 116)
              (|Polynomial| 422) (|Fraction| 420) (|Fraction| 6) (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Record| (|:| |coef| 322) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 427 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Union| 32 '#1#) (|Polynomial| 6) (|Union| 431 '#1#) (|List| 57)
              (|Mapping| $ 322) (|List| 434)
              (|Record| (|:| |val| $) (|:| |exponent| 32)) (|Union| 436 '#2#)
              (|Record| (|:| |var| 12) (|:| |exponent| 32)) (|Union| 438 '#2#)
              (|Union| 51 '#1#) (|Equation| $) (|SingleInteger|) (|String|))
           '#(~= 1648 |zerosOf| 1654 |zeroOf| 1681 |zero?| 1708 |variables|
              1713 |univariate| 1718 |unitNormal| 1724 |unitCanonical| 1729
              |unit?| 1734 |tower| 1739 |tanh| 1744 |tan| 1749 |summation| 1754
              |subtractIfCan| 1766 |subst| 1772 |squareFreePolynomial| 1791
              |squareFreePart| 1796 |squareFree| 1801 |sqrt| 1806 |smaller?|
              1811 |sizeLess?| 1817 |sinh| 1823 |sin| 1828 |simplifyPower| 1833
              |sech| 1839 |sec| 1844 |sample| 1849 |rootsOf| 1853 |rootOf| 1880
              |retractIfCan| 1907 |retract| 1947 |rem| 1987 |reducedSystem|
              1993 |reduce| 2015 |recip| 2020 |quo| 2025 |product| 2031
              |principalIdeal| 2043 |prime?| 2048 |polygamma| 2053 |pi| 2059
              |permutation| 2063 |patternMatch| 2069 |paren| 2083 |operators|
              2093 |operator| 2098 |one?| 2103 |odd?| 2108 |numerator| 2113
              |numer| 2118 |number?| 2123 |nthRoot| 2128 |multiEuclidean| 2134
              |minPoly| 2140 |map| 2145 |mainKernel| 2151 |log| 2156 |li| 2161
              |lcm| 2166 |latex| 2177 |kernels| 2182 |kernel| 2187 |isTimes|
              2199 |isPower| 2204 |isPlus| 2209 |isMult| 2214 |isExpt| 2219
              |is?| 2236 |inv| 2248 |integral| 2253 |height| 2265 |hash| 2270
              |ground?| 2275 |ground| 2280 |gcdPolynomial| 2285 |gcd| 2291
              |freeOf?| 2302 |factorials| 2314 |factorial| 2325
              |factorPolynomial| 2330 |factor| 2335 |extendedEuclidean| 2340
              |exquo| 2353 |expressIdealMember| 2359 |exp| 2365 |even?| 2370
              |eval| 2375 |euclideanSize| 2536 |erf| 2541 |elt| 2546 |divide|
              2582 |distribute| 2588 |dilog| 2599 |digamma| 2604
              |differentiate| 2609 |denominator| 2635 |denom| 2640
              |definingPolynomial| 2645 |csch| 2650 |csc| 2655 |coth| 2660
              |cot| 2665 |cosh| 2670 |cos| 2675 |convert| 2680 |conjugate| 2700
              |commutator| 2706 |coerce| 2712 |charthRoot| 2782
              |characteristic| 2787 |box| 2791 |binomial| 2801 |besselY| 2807
              |besselK| 2813 |besselJ| 2819 |besselI| 2825 |belong?| 2831
              |atanh| 2836 |atan| 2841 |associates?| 2846 |asinh| 2852 |asin|
              2857 |asech| 2862 |asec| 2867 |applyQuote| 2872 |airyBi| 2908
              |airyAi| 2913 |acsch| 2918 |acsc| 2923 |acoth| 2928 |acot| 2933
              |acosh| 2938 |acos| 2943 |abs| 2948 ^ 2953 |Zero| 2983 |Si| 2987
              |One| 2992 |Gamma| 2996 |Ei| 3007 D 3012 |Ci| 3038 |Beta| 3043 =
              3049 / 3055 - 3067 + 3078 * 3084)
           '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&| NIL |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| 294) (|Algebra| 6)
                 (|FullyLinearlyExplicitRingOver| 6) (|Module| $$)
                 (|EntireRing|) (|Module| 294) (|Module| 6)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|LinearlyExplicitRingOver| 6) (|LinearlyExplicitRingOver| 32)
                 (|PartialDifferentialRing| 51) (|CommutativeRing|)
                 (|BiModule| $$ $$) (|BiModule| 294 294) (|BiModule| 6 6)
                 (|Ring|) (|RightModule| $$) (|LeftModule| $$)
                 (|LeftModule| 294) (|RightModule| 294) (|LeftModule| 6)
                 (|RightModule| 6) (|Rng|) (|AbelianGroup|) (|SemiRing|)
                 (|Group|) (|CancellationAbelianMonoid|) (|ExpressionSpace|)
                 (|FullyPatternMatchable| 6) (|SemiRng|) (|Monoid|)
                 (|AbelianMonoid|) (|Comparable|) (|SemiGroup|)
                 (|PatternMatchable| (|Float|)) (|PatternMatchable| 32)
                 (|LiouvillianFunctionCategory|) (|AbelianSemiGroup|)
                 (|SetCategory|) (|FullyRetractableTo| 6) (|Patternable| 6)
                 (|Evalable| $$) (|TranscendentalFunctionCategory|)
                 (|CombinatorialOpsCategory|) (|BasicType|) (|RetractableTo| 6)
                 (|Type|) (|RetractableTo| 51) (|InnerEvalable| $$ $$)
                 (|InnerEvalable| 15 $$) (|RetractableTo| 15)
                 (|CoercibleTo| 395) (|RetractableTo| 294)
                 (|RetractableTo| (|Fraction| (|Polynomial| 6)))
                 (|CommutativeStar|) (|noZeroDivisors|) (|unitsKnown|)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|RetractableTo| (|Polynomial| 6)) (|ConvertibleTo| 337)
                 (|RetractableTo| 32) (|ConvertibleTo| 368)
                 (|ConvertibleTo| 362) (|RetractableTo| 292)
                 (|SpecialFunctionCategory|) (|PrimitiveFunctionCategory|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|)
                 (|CombinatorialFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 443
                                  '(1 0 12 0 13 1 16 14 15 17 1 0 18 0 19 0 20
                                    0 21 0 0 0 22 0 20 0 23 0 0 0 24 0 6 0 25 2
                                    20 9 0 0 26 1 0 9 0 27 1 20 9 0 28 1 0 9 0
                                    29 1 20 0 0 30 1 0 0 0 31 2 20 0 32 0 33 2
                                    0 0 32 0 34 1 20 0 32 35 1 0 0 32 36 2 20 0
                                    0 0 37 2 0 0 0 0 38 2 20 0 0 0 39 2 0 0 0 0
                                    40 2 20 0 0 0 41 2 0 0 0 0 42 2 20 0 0 0 43
                                    2 0 0 0 0 44 1 0 9 0 45 1 0 46 0 47 1 0 9 0
                                    48 1 0 49 0 50 2 0 9 0 51 52 1 53 15 0 54 1
                                    15 55 0 56 1 55 57 0 58 2 55 2 0 32 59 2 20
                                    0 0 32 60 2 0 0 0 0 61 1 55 2 0 62 1 55 2 0
                                    63 2 0 0 0 32 64 0 6 0 65 1 0 0 0 66 1 0 0
                                    0 67 2 0 0 0 57 68 0 69 0 70 2 0 0 0 32 71
                                    2 0 0 0 72 73 2 20 9 0 0 74 2 0 9 0 0 75 2
                                    0 9 0 0 76 1 20 69 0 77 1 0 78 0 79 1 20 69
                                    0 80 1 0 78 0 81 1 20 0 69 82 1 0 0 78 83 1
                                    0 0 0 84 1 15 10 0 85 2 10 9 0 51 86 2 53 0
                                    87 0 88 2 89 2 2 53 90 2 20 0 69 69 91 1 69
                                    53 0 92 2 0 0 78 78 93 2 95 0 94 0 96 1 20
                                    97 98 99 1 69 100 98 101 1 0 100 98 102 2
                                    103 0 94 0 104 2 20 105 98 106 107 2 69 108
                                    98 106 109 2 0 108 98 106 110 2 53 9 15 0
                                    111 2 53 0 15 0 112 2 114 2 113 51 115 2 0
                                    0 116 51 117 0 118 2 119 0 0 0 120 1 118 2
                                    2 121 1 0 0 0 122 1 118 2 2 123 1 0 0 0 124
                                    1 118 2 2 125 1 0 0 0 126 1 118 2 2 127 1 0
                                    0 0 128 1 118 2 2 129 1 0 0 0 130 1 118 2 2
                                    131 1 0 0 0 132 1 118 2 2 133 1 0 0 0 134 1
                                    118 2 2 135 1 0 0 0 136 1 118 2 2 137 1 0 0
                                    0 138 1 118 2 2 139 1 0 0 0 140 1 118 2 2
                                    141 1 0 0 0 142 1 118 2 2 143 1 0 0 0 144 1
                                    118 2 2 145 1 0 0 0 146 1 118 2 2 147 1 0 0
                                    0 148 1 118 2 2 149 1 0 0 0 150 1 118 2 2
                                    151 1 0 0 0 152 1 118 2 2 153 1 0 0 0 154 1
                                    118 2 2 155 1 0 0 0 156 1 118 2 2 157 1 0 0
                                    0 158 1 118 2 2 159 1 0 0 0 160 1 118 2 2
                                    161 1 0 0 0 162 1 118 2 2 163 1 0 0 0 164 1
                                    118 2 2 165 1 0 0 0 166 1 118 2 2 167 1 0 0
                                    0 168 1 118 2 2 169 1 0 0 0 170 1 118 2 2
                                    171 1 0 0 0 172 1 173 2 2 174 1 0 0 0 175 1
                                    173 2 2 176 1 0 0 0 177 2 173 2 2 2 178 2 0
                                    0 0 0 179 2 173 2 2 2 180 2 0 0 0 0 181 1
                                    173 2 2 182 1 0 0 0 183 2 173 2 2 2 184 2 0
                                    0 0 0 185 2 173 2 2 2 186 2 0 0 0 0 187 2
                                    173 2 2 2 188 2 0 0 0 0 189 2 173 2 2 2 190
                                    2 0 0 0 0 191 2 173 2 2 2 192 2 0 0 0 0 193
                                    1 173 2 2 194 1 0 0 0 195 1 173 2 2 196 1 0
                                    0 0 197 2 198 2 2 2 199 1 198 2 2 200 1 0 0
                                    0 201 2 198 2 2 2 202 2 0 0 0 0 203 2 198 2
                                    2 2 204 2 0 0 0 0 205 1 198 2 2 206 1 0 0 0
                                    207 2 198 2 2 51 208 2 0 0 0 51 209 2 198 2
                                    2 51 210 2 0 0 0 51 211 2 198 2 2 212 213 2
                                    0 0 0 214 215 2 198 2 2 51 216 2 0 0 0 51
                                    217 2 198 2 2 212 218 2 0 0 0 214 219 1 220
                                    2 2 221 1 0 0 0 222 1 220 2 2 223 1 0 0 0
                                    224 1 220 2 2 225 1 0 0 0 226 1 220 2 2 227
                                    1 0 0 0 228 1 220 2 2 229 1 0 0 0 230 1 220
                                    2 2 231 1 0 0 0 232 2 220 2 2 51 233 2 0 0
                                    0 51 234 2 220 2 2 212 235 2 0 0 0 214 236
                                    1 114 9 10 237 1 114 10 10 238 1 118 9 10
                                    239 1 118 10 10 240 1 198 9 10 241 1 198 10
                                    10 242 1 220 9 10 243 1 220 10 10 244 1 173
                                    9 10 245 1 173 10 10 246 1 247 9 10 248 1
                                    247 10 10 249 1 250 9 10 251 1 250 10 10
                                    252 1 10 9 0 253 1 10 51 0 254 1 15 0 51
                                    255 1 10 256 0 257 1 10 0 51 258 2 10 0 51
                                    57 259 1 0 10 10 260 1 0 116 12 261 1 262 0
                                    69 263 2 265 264 262 15 266 1 264 267 0 268
                                    2 69 57 0 15 269 1 113 57 0 270 2 113 0 0 0
                                    271 1 69 0 15 272 2 267 262 0 262 273 0 113
                                    0 274 2 113 9 0 0 275 1 113 2 0 276 1 113 0
                                    0 277 2 20 116 116 116 278 2 279 116 116
                                    116 280 2 0 116 116 116 281 1 283 282 267
                                    284 1 0 285 116 286 1 283 282 267 287 1 0
                                    285 116 288 0 289 0 290 2 69 0 6 289 291 1
                                    0 0 292 293 2 114 2 2 294 295 2 0 0 0 294
                                    296 1 114 113 15 297 1 114 2 2 298 1 0 0 0
                                    299 1 20 294 0 300 1 0 294 0 301 1 20 46 0
                                    302 1 292 303 0 304 1 292 303 0 305 2 308 2
                                    306 307 309 3 313 2 310 311 312 314 2 292 0
                                    0 0 315 1 0 316 0 317 1 0 0 6 318 1 292 0
                                    294 319 1 292 9 10 320 1 292 10 10 321 2
                                    292 0 10 322 323 1 69 324 0 325 1 69 6 0
                                    326 2 69 116 0 15 327 0 292 0 328 1 329 9 0
                                    330 1 329 69 0 331 1 329 57 0 332 2 292 0 0
                                    57 333 2 292 0 0 0 334 2 292 0 0 0 335 1
                                    329 0 0 336 1 20 337 0 338 1 0 337 0 339 4
                                    0 0 0 340 322 51 341 4 0 0 0 10 0 51 342 1
                                    0 343 0 344 1 343 0 322 345 1 343 0 0 346 1
                                    51 9 0 347 2 343 0 348 0 349 2 350 94 2 51
                                    351 3 0 0 0 340 353 354 0 51 0 355 1 0 0 51
                                    356 2 357 0 2 2 358 2 0 0 0 359 360 3 363
                                    361 2 362 361 364 3 0 365 0 362 365 366 3
                                    369 367 2 368 367 370 3 0 371 0 368 371 372
                                    1 20 100 98 373 2 20 108 98 106 374 3 375
                                    361 15 362 361 376 4 379 377 20 362 377 378
                                    380 3 381 367 15 368 367 382 4 385 383 20
                                    368 383 384 386 1 20 0 15 387 1 0 0 12 388
                                    1 20 390 0 391 1 6 9 0 392 1 16 15 6 393 1
                                    0 6 0 394 1 20 395 0 396 1 0 395 0 397 3 0
                                    0 0 49 322 398 2 0 0 352 12 399 4 401 2 53
                                    55 15 400 402 3 0 0 0 49 322 403 2 0 0 10
                                    322 404 2 20 0 32 15 405 1 0 406 0 407 1
                                    390 389 0 408 1 0 410 0 411 1 0 14 0 412 2
                                    0 9 0 0 1 1 1 322 416 1 2 1 322 116 51 1 1
                                    1 322 116 1 1 1 322 0 1 2 1 322 0 51 1 1 1
                                    0 116 1 1 1 0 416 1 2 1 0 116 51 1 1 1 0 0
                                    1 2 1 0 0 51 1 1 27 9 0 29 1 0 343 0 344 2
                                    1 419 0 12 1 1 1 424 0 1 1 1 0 0 1 1 1 9 0
                                    1 1 0 49 0 1 1 1 0 0 154 1 1 0 0 130 2 1 0
                                    0 214 215 2 1 0 0 51 211 2 31 415 0 0 1 3 0
                                    0 0 49 322 403 2 0 0 0 441 1 2 0 0 0 359
                                    360 1 18 285 116 288 1 1 0 0 1 1 1 423 0 1
                                    1 1 0 0 1 2 0 9 0 0 75 2 1 9 0 0 1 1 1 0 0
                                    150 1 1 0 0 126 2 1 0 0 32 64 1 1 0 0 158 1
                                    1 0 0 134 0 26 0 1 1 1 322 416 1 2 1 322
                                    116 51 1 1 1 322 116 1 1 1 322 0 1 2 1 322
                                    0 51 1 1 1 0 416 1 1 1 0 116 1 2 1 0 116 51
                                    117 1 1 0 0 1 2 1 0 0 51 1 1 16 316 0 317 1
                                    33 46 0 47 1 1 418 0 1 1 11 430 0 1 1 2 432
                                    0 1 1 0 14 0 412 1 0 440 0 1 1 0 18 0 19 1
                                    16 292 0 1 1 33 294 0 301 1 1 417 0 1 1 11
                                    32 0 1 1 2 431 0 1 1 0 6 0 394 1 0 51 0 1 1
                                    0 12 0 13 2 1 0 0 0 1 2 20 413 98 106 1 1
                                    20 414 98 1 2 2 108 98 106 110 1 2 100 98
                                    102 1 1 0 0 84 1 24 415 0 1 2 1 0 0 0 1 2 1
                                    0 0 214 219 2 1 0 0 51 217 1 1 425 322 1 1
                                    1 9 0 1 2 1 0 0 0 185 0 1 0 120 2 1 0 0 0
                                    205 3 12 371 0 368 371 372 3 13 365 0 362
                                    365 366 1 0 0 322 1 1 0 0 0 1 1 0 340 0 1 1
                                    0 10 10 260 1 24 9 0 27 1 37 9 0 1 1 2 0 0
                                    66 1 2 78 0 79 1 1 9 0 48 2 1 0 0 32 1 2 1
                                    406 322 0 1 1 36 116 12 261 2 0 0 352 12
                                    399 1 0 18 0 1 1 1 0 0 124 1 1 0 0 230 1 1
                                    0 322 1 2 1 0 0 0 1 1 0 443 0 1 1 0 49 0 50
                                    2 0 0 10 322 404 2 0 0 10 0 1 1 22 406 0 1
                                    1 2 437 0 1 1 25 406 0 407 1 25 410 0 411 2
                                    2 439 0 10 1 2 2 439 0 51 1 1 22 439 0 1 2
                                    0 9 0 51 52 2 0 9 0 10 1 1 19 0 0 1 2 1 0 0
                                    51 234 2 1 0 0 214 236 1 0 57 0 1 1 0 442 0
                                    1 1 0 9 0 45 1 0 6 0 1 2 1 116 116 116 281
                                    1 1 0 322 1 2 1 0 0 0 1 2 0 9 0 0 1 2 0 9 0
                                    51 1 2 1 0 0 51 209 1 1 0 0 207 1 1 0 0 201
                                    1 18 285 116 286 1 1 423 0 1 3 1 428 0 0 0
                                    1 2 1 429 0 0 1 2 1 415 0 0 1 2 1 406 322 0
                                    1 1 1 0 0 122 1 37 9 0 1 4 10 0 0 340 322
                                    51 341 1 10 0 0 1 4 10 0 0 10 0 51 342 2 10
                                    0 0 51 1 2 10 0 0 343 1 4 2 0 0 51 57 352 1
                                    4 2 0 0 343 433 435 1 4 2 0 0 51 57 434 1 4
                                    2 0 0 343 433 353 1 3 0 0 0 10 434 1 3 0 0
                                    0 10 352 1 3 0 0 0 340 353 354 3 0 0 0 340
                                    435 1 3 0 0 0 51 434 1 3 0 0 0 51 352 1 3 0
                                    0 0 343 353 1 3 0 0 0 343 435 1 3 0 0 0 0 0
                                    1 3 0 0 0 322 322 1 2 0 0 0 359 1 2 0 0 0
                                    441 1 3 0 0 0 12 0 1 3 0 0 0 49 322 398 1 1
                                    57 0 1 1 1 0 0 222 2 0 0 10 322 1 4 0 0 10
                                    0 0 0 1 5 0 0 10 0 0 0 0 1 2 0 0 10 0 1 3 0
                                    0 10 0 0 1 2 1 426 0 0 1 2 0 0 0 0 1 1 0 0
                                    0 1 1 1 0 0 232 1 1 0 0 183 2 2 0 0 343 1 2
                                    2 0 0 51 1 3 2 0 0 343 433 1 3 2 0 0 51 57
                                    1 1 1 0 0 67 1 1 78 0 81 1 36 0 0 299 1 1 0
                                    0 160 1 1 0 0 136 1 1 0 0 156 1 1 0 0 132 1
                                    1 0 0 152 1 1 0 0 128 1 10 337 0 339 1 14
                                    368 0 1 1 15 362 0 1 1 1 0 423 1 2 8 0 0 0
                                    1 2 8 0 0 0 1 1 16 0 292 293 1 34 0 294 1 1
                                    21 0 32 36 1 1 0 417 1 1 1 0 420 1 1 1 0
                                    421 1 1 1 0 422 1 1 1 0 0 1 1 2 0 431 1 1 2
                                    0 78 83 1 0 0 6 318 1 0 0 51 356 1 0 0 12
                                    388 1 0 395 0 397 1 5 415 0 1 0 2 57 1 1 0
                                    0 322 1 1 0 0 0 1 2 1 0 0 0 203 2 1 0 0 0
                                    189 2 1 0 0 0 193 2 1 0 0 0 187 2 1 0 0 0
                                    191 1 0 9 10 11 1 1 0 0 166 1 1 0 0 142 2 1
                                    9 0 0 1 1 1 0 0 162 1 1 0 0 138 1 1 0 0 170
                                    1 1 0 0 146 5 0 0 51 0 0 0 0 1 2 0 0 51 322
                                    1 3 0 0 51 0 0 1 4 0 0 51 0 0 0 1 2 0 0 51
                                    0 1 1 1 0 0 197 1 1 0 0 195 1 1 0 0 172 1 1
                                    0 0 148 1 1 0 0 168 1 1 0 0 144 1 1 0 0 164
                                    1 1 0 0 140 1 1 0 0 175 2 24 0 0 72 73 2 24
                                    0 0 57 68 2 19 0 0 32 71 2 1 0 0 294 296 2
                                    1 0 0 0 61 0 27 0 22 1 1 0 0 226 0 24 0 24
                                    2 1 0 0 0 179 1 1 0 0 177 1 1 0 0 224 2 2 0
                                    0 343 1 2 2 0 0 51 1 3 2 0 0 343 433 1 3 2
                                    0 0 51 57 1 1 1 0 0 228 2 1 0 0 0 181 2 0 9
                                    0 0 76 2 19 0 0 0 44 2 1 0 78 78 93 1 31 0
                                    0 31 2 31 0 0 0 42 2 27 0 0 0 40 2 24 0 0 0
                                    38 2 31 0 32 0 34 2 27 0 72 0 1 2 27 0 57 0
                                    1 2 4 0 0 6 1 2 4 0 6 0 1 2 1 0 294 0 1 2 1
                                    0 0 294 1)))))
           '|lookupComplete|)) 
