
(/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;operator;2Bo;4| (|op| $)
  (PROG (|n|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |op| (QREFELT $ 21)) (SPADCALL |op| (QREFELT $ 22)))
            ((SPADCALL |op| (QREFELT $ 24)) (SPADCALL |op| (QREFELT $ 25)))
            (#1='T
             (SEQ
              (COND
               ((SPADCALL |op| (QREFELT $ 26))
                (COND
                 ((SPADCALL |op| (QREFELT $ 7) (QREFELT $ 28))
                  (EXIT
                   (SPADCALL
                    (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 30))
                    (QREFELT $ 31)))))))
              (LETT |n| (SPADCALL |op| (QREFELT $ 33)) |EXPR;operator;2Bo;4|)
              (EXIT
               (COND
                ((QEQCAR |n| 1)
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 34)))
                (#1#
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QCDR |n|)
                           (QREFELT $ 36)))))))))))) 

(DEFUN |EXPR;polytoMP| (|p| $)
  (PROG (|vl2| #1=#:G1874 |z| #2=#:G1873 |vl1| |ps|)
    (RETURN
     (SEQ (LETT |ps| |p| . #3=(|EXPR;polytoMP|))
          (LETT |vl1| (SPADCALL |ps| (QREFELT $ 40)) . #3#)
          (LETT |vl2|
                (PROGN
                 (LETT #2# NIL . #3#)
                 (SEQ (LETT |z| NIL . #3#) (LETT #1# |vl1| . #3#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |z| (CAR #1#) . #3#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #2# (CONS (SPADCALL |z| (QREFELT $ 30)) #2#)
                              . #3#)))
                      (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                      (EXIT (NREVERSE0 #2#))))
                . #3#)
          (EXIT (SPADCALL |ps| |vl1| |vl2| (QREFELT $ 44))))))) 

(DEFUN |EXPR;Zero;$;6| ($) (|spadConstant| $ 46)) 

(DEFUN |EXPR;One;$;7| ($) (|spadConstant| $ 48)) 

(DEFUN |EXPR;one?;$B;8| (|x| $)
  (SPADCALL |x| (|spadConstant| $ 49) (QREFELT $ 51))) 

(DEFUN |EXPR;zero?;$B;9| (|x| $) (SPADCALL |x| (QREFELT $ 53))) 

(DEFUN |EXPR;-;2$;10| (|x| $) (SPADCALL |x| (QREFELT $ 55))) 

(DEFUN |EXPR;*;I2$;11| (|n| |x| $) (SPADCALL |n| |x| (QREFELT $ 58))) 

(DEFUN |EXPR;coerce;I$;12| (|n| $) (SPADCALL |n| (QREFELT $ 60))) 

(DEFUN |EXPR;*;3$;13| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 62)) (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;+;3$;14| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 64)) (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;-;3$;15| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 66)) (|EXPR;commonk| |x| |y| $) $)) 

(DEFUN |EXPR;/;3$;16| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 68)) (|EXPR;commonk| |x| |y| $) $)) 

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

(DEFUN |EXPR;simplifyPower;$I$;18| (|x| |n| $)
  (PROG (|args| |k|)
    (RETURN
     (SEQ
      (LETT |k| (SPADCALL |x| (QREFELT $ 75))
            . #1=(|EXPR;simplifyPower;$I$;18|))
      (EXIT
       (COND
        ((SPADCALL |x| '|%power| (QREFELT $ 76))
         (SEQ
          (LETT |args| (SPADCALL (SPADCALL |k| (QREFELT $ 77)) (QREFELT $ 79))
                . #1#)
          (COND
           ((NULL (EQL (SPADCALL |args| (QREFELT $ 80)) 2))
            (EXIT (|error| "Too many arguments to ^"))))
          (EXIT
           (COND
            ((SPADCALL (SPADCALL |args| 1 (QREFELT $ 81)) (QREFELT $ 73))
             (SPADCALL
              (|EXPR;reduc|
               (SPADCALL (SPADCALL |args| 1 (QREFELT $ 81)) |n| (QREFELT $ 82))
               (|EXPR;algkernels|
                (SPADCALL (SPADCALL |args| 1 (QREFELT $ 81)) (QREFELT $ 75)) $)
               $)
              (SPADCALL |args| 2 (QREFELT $ 81)) (QREFELT $ 83)))
            (#2='T
             (SPADCALL (SPADCALL |args| (QREFELT $ 84))
                       (SPADCALL |n| (SPADCALL |args| (QREFELT $ 85))
                                 (QREFELT $ 59))
                       (QREFELT $ 83)))))))
        (#2#
         (|EXPR;reduc| (SPADCALL |x| |n| (QREFELT $ 82))
          (|EXPR;algkernels| |k| $) $)))))))) 

(DEFUN |EXPR;^;$Nni$;19| (|x| |n| $)
  (COND ((EQL |n| 0) (|spadConstant| $ 49)) ((EQL |n| 1) |x|)
        ('T
         (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 88)) |n| (QREFELT $ 86))
                   (SPADCALL (SPADCALL |x| (QREFELT $ 89)) |n| (QREFELT $ 86))
                   (QREFELT $ 69))))) 

(DEFUN |EXPR;^;$I$;20| (|x| |n| $)
  (COND ((EQL |n| 0) (|spadConstant| $ 49)) ((EQL |n| 1) |x|)
        (#1='T
         (COND
          ((EQL |n| -1) (SPADCALL (|spadConstant| $ 49) |x| (QREFELT $ 69)))
          (#1#
           (SPADCALL
            (SPADCALL (SPADCALL |x| (QREFELT $ 88)) |n| (QREFELT $ 86))
            (SPADCALL (SPADCALL |x| (QREFELT $ 89)) |n| (QREFELT $ 86))
            (QREFELT $ 69))))))) 

(DEFUN |EXPR;^;$Pi$;21| (|x| |n| $)
  (COND ((EQL |n| 1) |x|)
        ('T
         (SPADCALL (SPADCALL (SPADCALL |x| (QREFELT $ 88)) |n| (QREFELT $ 86))
                   (SPADCALL (SPADCALL |x| (QREFELT $ 89)) |n| (QREFELT $ 86))
                   (QREFELT $ 69))))) 

(DEFUN |EXPR;smaller?;2$B;22| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

(DEFUN |EXPR;=;2$B;23| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

(DEFUN |EXPR;numer;$Smp;24| (|x| $) (SPADCALL |x| (QREFELT $ 98))) 

(DEFUN |EXPR;denom;$Smp;25| (|x| $) (SPADCALL |x| (QREFELT $ 101))) 

(DEFUN |EXPR;coerce;Smp$;26| (|p| $) (CONS |p| (|spadConstant| $ 91))) 

(DEFUN |EXPR;coerce;P$;27| (|p| $)
  (PROG (|en|)
    (RETURN
     (SEQ (LETT |en| (|EXPR;polytoMP| |p| $) |EXPR;coerce;P$;27|)
          (EXIT (CONS |en| (|spadConstant| $ 91))))))) 

(DEFUN |EXPR;coerce;F$;28| (|pq| $)
  (PROG (|ed| |en|)
    (RETURN
     (SEQ
      (LETT |en| (|EXPR;polytoMP| (SPADCALL |pq| (QREFELT $ 108)) $)
            . #1=(|EXPR;coerce;F$;28|))
      (LETT |ed| (|EXPR;polytoMP| (SPADCALL |pq| (QREFELT $ 109)) $) . #1#)
      (EXIT (CONS |en| |ed|)))))) 

(DEFUN |EXPR;reduce;2$;29| (|x| $)
  (|EXPR;reduc| |x| (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 75)) $) $)) 

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

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

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

(DEFUN |EXPR;toprat| (|f| $)
  (SPADCALL |f| (|EXPR;algkernels| (SPADCALL |f| (QREFELT $ 75)) $)
            (QREFELT $ 115))) 

(DEFUN |EXPR;/;2Smp$;33| (|x| |y| $)
  (|EXPR;reduc| (SPADCALL |x| |y| (QREFELT $ 116))
   (|EXPR;commonk0| (|EXPR;algkernels| (SPADCALL |x| (QREFELT $ 117)) $)
    (|EXPR;algkernels| (SPADCALL |y| (QREFELT $ 117)) $) $)
   $)) 

(DEFUN |EXPR;reducedSystem;MM;34| (|m| $)
  (PROG (|mm|)
    (RETURN
     (SEQ
      (LETT |mm|
            (SPADCALL
             (SPADCALL (CONS (|function| |EXPR;toprat|) $) |m| (QREFELT $ 121))
             (QREFELT $ 124))
            |EXPR;reducedSystem;MM;34|)
      (EXIT (SPADCALL |mm| (QREFELT $ 126))))))) 

(DEFUN |EXPR;reducedSystem;MVR;35| (|m| |v| $)
  (PROG (|r|)
    (RETURN
     (SEQ
      (LETT |r|
            (SPADCALL
             (SPADCALL (CONS (|function| |EXPR;toprat|) $) |m| (QREFELT $ 121))
             (SPADCALL (CONS (|function| |EXPR;toprat|) $) |v| (QREFELT $ 129))
             (QREFELT $ 132))
            |EXPR;reducedSystem;MVR;35|)
      (EXIT (SPADCALL (QCAR |r|) (QCDR |r|) (QREFELT $ 134))))))) 

(DEFUN |EXPR;commonk0| (|x| |y| $)
  (PROG (|ans| #1=#:G1954 |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 $ 136))
                   (LETT |ans| (SPADCALL |k| |ans| (QREFELT $ 137)) . #2#)))))
               (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
          (EXIT |ans|))))) 

(DEFUN |EXPR;rootOf;SupS$;37| (|x| |v| $) (SPADCALL |x| |v| (QREFELT $ 140))) 

(DEFUN |EXPR;pi;$;38| ($) (SPADCALL (QREFELT $ 144))) 

(DEFUN |EXPR;exp;2$;39| (|x| $) (SPADCALL |x| (QREFELT $ 146))) 

(DEFUN |EXPR;log;2$;40| (|x| $) (SPADCALL |x| (QREFELT $ 148))) 

(DEFUN |EXPR;sin;2$;41| (|x| $) (SPADCALL |x| (QREFELT $ 150))) 

(DEFUN |EXPR;cos;2$;42| (|x| $) (SPADCALL |x| (QREFELT $ 152))) 

(DEFUN |EXPR;tan;2$;43| (|x| $) (SPADCALL |x| (QREFELT $ 154))) 

(DEFUN |EXPR;cot;2$;44| (|x| $) (SPADCALL |x| (QREFELT $ 156))) 

(DEFUN |EXPR;sec;2$;45| (|x| $) (SPADCALL |x| (QREFELT $ 158))) 

(DEFUN |EXPR;csc;2$;46| (|x| $) (SPADCALL |x| (QREFELT $ 160))) 

(DEFUN |EXPR;asin;2$;47| (|x| $) (SPADCALL |x| (QREFELT $ 162))) 

(DEFUN |EXPR;acos;2$;48| (|x| $) (SPADCALL |x| (QREFELT $ 164))) 

(DEFUN |EXPR;atan;2$;49| (|x| $) (SPADCALL |x| (QREFELT $ 166))) 

(DEFUN |EXPR;acot;2$;50| (|x| $) (SPADCALL |x| (QREFELT $ 168))) 

(DEFUN |EXPR;asec;2$;51| (|x| $) (SPADCALL |x| (QREFELT $ 170))) 

(DEFUN |EXPR;acsc;2$;52| (|x| $) (SPADCALL |x| (QREFELT $ 172))) 

(DEFUN |EXPR;sinh;2$;53| (|x| $) (SPADCALL |x| (QREFELT $ 174))) 

(DEFUN |EXPR;cosh;2$;54| (|x| $) (SPADCALL |x| (QREFELT $ 176))) 

(DEFUN |EXPR;tanh;2$;55| (|x| $) (SPADCALL |x| (QREFELT $ 178))) 

(DEFUN |EXPR;coth;2$;56| (|x| $) (SPADCALL |x| (QREFELT $ 180))) 

(DEFUN |EXPR;sech;2$;57| (|x| $) (SPADCALL |x| (QREFELT $ 182))) 

(DEFUN |EXPR;csch;2$;58| (|x| $) (SPADCALL |x| (QREFELT $ 184))) 

(DEFUN |EXPR;asinh;2$;59| (|x| $) (SPADCALL |x| (QREFELT $ 186))) 

(DEFUN |EXPR;acosh;2$;60| (|x| $) (SPADCALL |x| (QREFELT $ 188))) 

(DEFUN |EXPR;atanh;2$;61| (|x| $) (SPADCALL |x| (QREFELT $ 190))) 

(DEFUN |EXPR;acoth;2$;62| (|x| $) (SPADCALL |x| (QREFELT $ 192))) 

(DEFUN |EXPR;asech;2$;63| (|x| $) (SPADCALL |x| (QREFELT $ 194))) 

(DEFUN |EXPR;acsch;2$;64| (|x| $) (SPADCALL |x| (QREFELT $ 196))) 

(DEFUN |EXPR;abs;2$;65| (|x| $) (SPADCALL |x| (QREFELT $ 199))) 

(DEFUN |EXPR;Gamma;2$;66| (|x| $) (SPADCALL |x| (QREFELT $ 201))) 

(DEFUN |EXPR;Gamma;3$;67| (|a| |x| $) (SPADCALL |a| |x| (QREFELT $ 203))) 

(DEFUN |EXPR;Beta;3$;68| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 205))) 

(DEFUN |EXPR;digamma;2$;69| (|x| $) (SPADCALL |x| (QREFELT $ 207))) 

(DEFUN |EXPR;polygamma;3$;70| (|k| |x| $) (SPADCALL |k| |x| (QREFELT $ 209))) 

(DEFUN |EXPR;besselJ;3$;71| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 211))) 

(DEFUN |EXPR;besselY;3$;72| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 213))) 

(DEFUN |EXPR;besselI;3$;73| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 215))) 

(DEFUN |EXPR;besselK;3$;74| (|v| |x| $) (SPADCALL |v| |x| (QREFELT $ 217))) 

(DEFUN |EXPR;airyAi;2$;75| (|x| $) (SPADCALL |x| (QREFELT $ 219))) 

(DEFUN |EXPR;airyAiPrime;2$;76| (|x| $) (SPADCALL |x| (QREFELT $ 221))) 

(DEFUN |EXPR;airyBi;2$;77| (|x| $) (SPADCALL |x| (QREFELT $ 223))) 

(DEFUN |EXPR;airyBiPrime;2$;78| (|x| $) (SPADCALL |x| (QREFELT $ 225))) 

(DEFUN |EXPR;lambertW;2$;79| (|x| $) (SPADCALL |x| (QREFELT $ 227))) 

(DEFUN |EXPR;polylog;3$;80| (|s| |x| $) (SPADCALL |s| |x| (QREFELT $ 229))) 

(DEFUN |EXPR;weierstrassP;4$;81| (|g2| |g3| |x| $)
  (SPADCALL |g2| |g3| |x| (QREFELT $ 231))) 

(DEFUN |EXPR;weierstrassPPrime;4$;82| (|g2| |g3| |x| $)
  (SPADCALL |g2| |g3| |x| (QREFELT $ 233))) 

(DEFUN |EXPR;weierstrassSigma;4$;83| (|g2| |g3| |x| $)
  (SPADCALL |g2| |g3| |x| (QREFELT $ 235))) 

(DEFUN |EXPR;weierstrassZeta;4$;84| (|g2| |g3| |x| $)
  (SPADCALL |g2| |g3| |x| (QREFELT $ 237))) 

(DEFUN |EXPR;whittakerM;4$;85| (|k| |m| |z| $)
  (SPADCALL |k| |m| |z| (QREFELT $ 239))) 

(DEFUN |EXPR;whittakerW;4$;86| (|k| |m| |z| $)
  (SPADCALL |k| |m| |z| (QREFELT $ 241))) 

(DEFUN |EXPR;angerJ;3$;87| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 243))) 

(DEFUN |EXPR;weberE;3$;88| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 245))) 

(DEFUN |EXPR;struveH;3$;89| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 247))) 

(DEFUN |EXPR;struveL;3$;90| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 249))) 

(DEFUN |EXPR;hankelH1;3$;91| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 251))) 

(DEFUN |EXPR;hankelH2;3$;92| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 253))) 

(DEFUN |EXPR;lommelS1;4$;93| (|mu| |nu| |z| $)
  (SPADCALL |mu| |nu| |z| (QREFELT $ 255))) 

(DEFUN |EXPR;lommelS2;4$;94| (|mu| |nu| |z| $)
  (SPADCALL |mu| |nu| |z| (QREFELT $ 257))) 

(DEFUN |EXPR;kummerM;4$;95| (|mu| |nu| |z| $)
  (SPADCALL |mu| |nu| |z| (QREFELT $ 259))) 

(DEFUN |EXPR;kummerU;4$;96| (|mu| |nu| |z| $)
  (SPADCALL |mu| |nu| |z| (QREFELT $ 261))) 

(DEFUN |EXPR;legendreP;4$;97| (|nu| |mu| |z| $)
  (SPADCALL |nu| |mu| |z| (QREFELT $ 263))) 

(DEFUN |EXPR;legendreQ;4$;98| (|nu| |mu| |z| $)
  (SPADCALL |nu| |mu| |z| (QREFELT $ 265))) 

(DEFUN |EXPR;kelvinBei;3$;99| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 267))) 

(DEFUN |EXPR;kelvinBer;3$;100| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 269))) 

(DEFUN |EXPR;kelvinKei;3$;101| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 271))) 

(DEFUN |EXPR;kelvinKer;3$;102| (|v| |z| $) (SPADCALL |v| |z| (QREFELT $ 273))) 

(DEFUN |EXPR;ellipticK;2$;103| (|m| $) (SPADCALL |m| (QREFELT $ 275))) 

(DEFUN |EXPR;ellipticE;2$;104| (|m| $) (SPADCALL |m| (QREFELT $ 277))) 

(DEFUN |EXPR;ellipticE;3$;105| (|z| |m| $) (SPADCALL |z| |m| (QREFELT $ 279))) 

(DEFUN |EXPR;ellipticF;3$;106| (|z| |m| $) (SPADCALL |z| |m| (QREFELT $ 281))) 

(DEFUN |EXPR;ellipticPi;4$;107| (|z| |n| |m| $)
  (SPADCALL |z| |n| |m| (QREFELT $ 283))) 

(DEFUN |EXPR;jacobiSn;3$;108| (|z| |m| $) (SPADCALL |z| |m| (QREFELT $ 285))) 

(DEFUN |EXPR;jacobiCn;3$;109| (|z| |m| $) (SPADCALL |z| |m| (QREFELT $ 287))) 

(DEFUN |EXPR;jacobiDn;3$;110| (|z| |m| $) (SPADCALL |z| |m| (QREFELT $ 289))) 

(DEFUN |EXPR;jacobiTheta;3$;111| (|q| |z| $) (SPADCALL |q| |z| (QREFELT $ 291))) 

(DEFUN |EXPR;lerchPhi;4$;112| (|a| |b| |z| $)
  (SPADCALL |a| |b| |z| (QREFELT $ 293))) 

(DEFUN |EXPR;riemannZeta;2$;113| (|z| $) (SPADCALL |z| (QREFELT $ 295))) 

(DEFUN |EXPR;hypergeometricF;2L2$;114| (|la| |lb| |x| $)
  (SPADCALL |la| |lb| |x| (QREFELT $ 297))) 

(DEFUN |EXPR;meijerG;4L2$;115| (|la| |lb| |lc| |ld| |x| $)
  (SPADCALL |la| |lb| |lc| |ld| |x| (QREFELT $ 300))) 

(DEFUN |EXPR;^;3$;116| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 303))) 

(DEFUN |EXPR;factorial;2$;117| (|x| $) (SPADCALL |x| (QREFELT $ 304))) 

(DEFUN |EXPR;binomial;3$;118| (|n| |m| $) (SPADCALL |n| |m| (QREFELT $ 306))) 

(DEFUN |EXPR;permutation;3$;119| (|n| |m| $) (SPADCALL |n| |m| (QREFELT $ 308))) 

(DEFUN |EXPR;factorials;2$;120| (|x| $) (SPADCALL |x| (QREFELT $ 310))) 

(DEFUN |EXPR;factorials;$S$;121| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 312))) 

(DEFUN |EXPR;summation;$S$;122| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 314))) 

(DEFUN |EXPR;summation;$Sb$;123| (|x| |s| $) (SPADCALL |x| |s| (QREFELT $ 317))) 

(DEFUN |EXPR;product;$S$;124| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 320))) 

(DEFUN |EXPR;product;$Sb$;125| (|x| |s| $) (SPADCALL |x| |s| (QREFELT $ 322))) 

(DEFUN |EXPR;erf;2$;126| (|x| $) (SPADCALL |x| (QREFELT $ 325))) 

(DEFUN |EXPR;Ei;2$;127| (|x| $) (SPADCALL |x| (QREFELT $ 327))) 

(DEFUN |EXPR;Si;2$;128| (|x| $) (SPADCALL |x| (QREFELT $ 329))) 

(DEFUN |EXPR;Ci;2$;129| (|x| $) (SPADCALL |x| (QREFELT $ 331))) 

(DEFUN |EXPR;li;2$;130| (|x| $) (SPADCALL |x| (QREFELT $ 333))) 

(DEFUN |EXPR;dilog;2$;131| (|x| $) (SPADCALL |x| (QREFELT $ 335))) 

(DEFUN |EXPR;fresnelS;2$;132| (|x| $) (SPADCALL |x| (QREFELT $ 337))) 

(DEFUN |EXPR;fresnelC;2$;133| (|x| $) (SPADCALL |x| (QREFELT $ 339))) 

(DEFUN |EXPR;integral;$S$;134| (|x| |n| $) (SPADCALL |x| |n| (QREFELT $ 341))) 

(DEFUN |EXPR;integral;$Sb$;135| (|x| |s| $) (SPADCALL |x| |s| (QREFELT $ 343))) 

(DEFUN |EXPR;operator;2Bo;136| (|op| $)
  (PROG (|n|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |op| (QREFELT $ 345)) (SPADCALL |op| (QREFELT $ 346)))
            ((SPADCALL |op| (QREFELT $ 347)) (SPADCALL |op| (QREFELT $ 348)))
            ((SPADCALL |op| (QREFELT $ 349)) (SPADCALL |op| (QREFELT $ 350)))
            ((SPADCALL |op| (QREFELT $ 351)) (SPADCALL |op| (QREFELT $ 352)))
            ((SPADCALL |op| (QREFELT $ 353)) (SPADCALL |op| (QREFELT $ 354)))
            ((SPADCALL |op| (QREFELT $ 21)) (SPADCALL |op| (QREFELT $ 22)))
            ((SPADCALL |op| (QREFELT $ 24)) (SPADCALL |op| (QREFELT $ 25)))
            (#1='T
             (SEQ
              (COND
               ((SPADCALL |op| (QREFELT $ 26))
                (COND
                 ((SPADCALL |op| (QREFELT $ 7) (QREFELT $ 28))
                  (EXIT
                   (SPADCALL
                    (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 30))
                    (QREFELT $ 31)))))))
              (LETT |n| (SPADCALL |op| (QREFELT $ 33)) |EXPR;operator;2Bo;136|)
              (EXIT
               (COND
                ((QEQCAR |n| 1)
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QREFELT $ 34)))
                (#1#
                 (SPADCALL (SPADCALL |op| (QREFELT $ 29)) (QCDR |n|)
                           (QREFELT $ 36)))))))))))) 

(DEFUN |EXPR;reduc| (|x| |l| $)
  (PROG (|p| #1=#:G2077 |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 $ 355)) . #2#)
                (EXIT
                 (LETT |x|
                       (SPADCALL
                        (|EXPR;evl| (SPADCALL |x| (QREFELT $ 100)) |k| |p| $)
                        (|EXPR;evl| (SPADCALL |x| (QREFELT $ 102)) |k| |p| $)
                        (QREFELT $ 68))
                       . #2#)))
           (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT |x|))))) 

(DEFUN |EXPR;evl0| (|p| |k| $)
  (SPADCALL (SPADCALL (SPADCALL |p| (QREFELT $ 357)) |k| (QREFELT $ 360))
            (QREFELT $ 362))) 

(DEFUN |EXPR;evl| (|p| |k| |m| $)
  (COND
   ((< (SPADCALL |p| |k| (QREFELT $ 363)) (SPADCALL |m| (QREFELT $ 364)))
    (SPADCALL |p| (QREFELT $ 357)))
   ('T
    (SPADCALL (SPADCALL (|EXPR;evl0| |p| |k| $) |m| (QREFELT $ 365))
              (SPADCALL (SPADCALL |k| (QREFELT $ 366)) (QREFELT $ 357))
              (QREFELT $ 367))))) 

(DEFUN |EXPR;noalg?| (|p| $)
  (PROG (#1=#:G2085)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ G190
             (COND
              ((NULL
                (COND
                 ((SPADCALL |p| (|spadConstant| $ 368) (QREFELT $ 369)) 'NIL)
                 ('T 'T)))
               (GO G191)))
             (SEQ
              (EXIT
               (COND
                ((NULL
                  (NULL
                   (|EXPR;algkernels|
                    (SPADCALL (SPADCALL |p| (QREFELT $ 370)) (QREFELT $ 75))
                    $)))
                 (PROGN (LETT #1# 'NIL . #2=(|EXPR;noalg?|)) (GO #1#)))
                ('T (LETT |p| (SPADCALL |p| (QREFELT $ 371)) . #2#)))))
             NIL (GO G190) G191 (EXIT NIL))
        (EXIT 'T)))
      #1# (EXIT #1#))))) 

(DEFUN |EXPR;gcdPolynomial;3Sup;141| (|p| |q| $)
  (SEQ
   (COND
    ((|EXPR;noalg?| |p| $)
     (COND ((|EXPR;noalg?| |q| $) (EXIT (SPADCALL |p| |q| (QREFELT $ 372)))))))
   (EXIT (SPADCALL |p| |q| (QREFELT $ 374))))) 

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

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

(DEFUN |EXPR;coerce;An$;144| (|x| $)
  (SPADCALL (SPADCALL |x| (|spadConstant| $ 384) (QREFELT $ 385))
            (QREFELT $ 104))) 

(DEFUN |EXPR;^;$F$;145| (|x| |r| $) (SPADCALL |x| |r| (QREFELT $ 389))) 

(DEFUN |EXPR;minPoly;KSup;146| (|k| $) (SPADCALL |k| (QREFELT $ 391))) 

(DEFUN |EXPR;definingPolynomial;2$;147| (|x| $) (SPADCALL |x| (QREFELT $ 392))) 

(DEFUN |EXPR;retract;$F;148| (|x| $) (SPADCALL |x| (QREFELT $ 394))) 

(DEFUN |EXPR;retractIfCan;$U;149| (|x| $) (SPADCALL |x| (QREFELT $ 396))) 

(DEFUN |EXPR;coerce;An$;150| (|x| $)
  (SPADCALL (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 398)) $)
            (|EXPR;smp2expr| (SPADCALL |x| (QREFELT $ 399)) $) (QREFELT $ 69))) 

(DEFUN |EXPR;k2expr| (|k| $) (SPADCALL (ELT $ 387) |k| (QREFELT $ 403))) 

(DEFUN |EXPR;smp2expr| (|p| $)
  (SPADCALL (CONS (|function| |EXPR;k2expr|) $) (ELT $ 61) |p| (QREFELT $ 408))) 

(DEFUN |EXPR;retractIfCan;$U;153| (|x| $)
  (PROG (#1=#:G2126 |d| |n|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (LETT |n| (|EXPR;smp2an| (SPADCALL |x| (QREFELT $ 100)) $)
               . #2=(|EXPR;retractIfCan;$U;153|))
         (EXIT
          (COND
           ((QEQCAR |n| 0)
            (SEQ
             (LETT |d| (|EXPR;smp2an| (SPADCALL |x| (QREFELT $ 102)) $) . #2#)
             (EXIT
              (COND
               ((QEQCAR |d| 0)
                (PROGN
                 (LETT #1#
                       (CONS 0
                             (SPADCALL (QCDR |n|) (QCDR |d|) (QREFELT $ 409)))
                       . #2#)
                 (GO #1#))))))))))
        (EXIT (CONS 1 "failed"))))
      #1# (EXIT #1#))))) 

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

(DEFUN |EXPR;k2an| (|k| $)
  (PROG (|arg| #1=#:G2146 |a| #2=#:G2147 |x| |op|)
    (RETURN
     (SEQ
      (EXIT
       (COND
        ((NULL
          (SPADCALL
           (LETT |op| (SPADCALL |k| (QREFELT $ 31)) . #3=(|EXPR;k2an|))
           (QREFELT $ 414)))
         (CONS 1 "failed"))
        ('T
         (SEQ (LETT |arg| NIL . #3#)
              (SEQ (LETT |x| NIL . #3#)
                   (LETT #2# (SPADCALL |k| (QREFELT $ 79)) . #3#) G190
                   (COND
                    ((OR (ATOM #2#) (PROGN (LETT |x| (CAR #2#) . #3#) NIL))
                     (GO G191)))
                   (SEQ (LETT |a| (SPADCALL |x| (QREFELT $ 411)) . #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 $ 415)) (NREVERSE |arg|)
                               (QREFELT $ 416))))))))
      #1# (EXIT #1#))))) 

(DEFUN |EXPR;smp2an| (|p| $)
  (PROG (|c| |up| |ans| #1=#:G2164 |t| |k| |x1|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |x1| (SPADCALL |p| (QREFELT $ 418)) . #2=(|EXPR;smp2an|))
            (EXIT
             (COND
              ((QEQCAR |x1| 1) (|EXPR;R2AN| (SPADCALL |p| (QREFELT $ 419)) $))
              (#3='T
               (SEQ
                (LETT |up|
                      (SPADCALL |p| (LETT |k| (QCDR |x1|) . #2#)
                                (QREFELT $ 420))
                      . #2#)
                (LETT |t| (|EXPR;k2an| |k| $) . #2#)
                (EXIT
                 (COND ((QEQCAR |t| 1) (CONS 1 "failed"))
                       (#3#
                        (SEQ (LETT |ans| (|spadConstant| $ 421) . #2#)
                             (SEQ G190
                                  (COND
                                   ((NULL
                                     (COND
                                      ((SPADCALL |up| (QREFELT $ 423)) 'NIL)
                                      ('T 'T)))
                                    (GO G191)))
                                  (SEQ
                                   (LETT |c|
                                         (|EXPR;smp2an|
                                          (SPADCALL |up| (QREFELT $ 424)) $)
                                         . #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 $
                                                                            425))
                                                                  (QREFELT $
                                                                           426))
                                                                 (QREFELT $
                                                                          427))
                                                       (QREFELT $ 428))
                                             . #2#)
                                       (EXIT
                                        (LETT |up|
                                              (SPADCALL |up| (QREFELT $ 429))
                                              . #2#)))))))
                                  NIL (GO G190) G191 (EXIT NIL))
                             (LETT |c|
                                   (|EXPR;smp2an|
                                    (SPADCALL |up| (QREFELT $ 424)) $)
                                   . #2#)
                             (EXIT
                              (COND ((QEQCAR |c| 1) (CONS 1 "failed"))
                                    (#3#
                                     (CONS 0
                                           (SPADCALL |ans| (QCDR |c|)
                                                     (QREFELT $
                                                              428))))))))))))))))
      #1# (EXIT #1#))))) 

(DEFUN |EXPR;convert;$If;157| (|x| $) (SPADCALL |x| (QREFELT $ 431))) 

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

(DEFUN |EXPR;eval;$LLS$;159| (|f| |ls| |lg| |x| $)
  (PROG (|res| #1=#:G2205 |g| #2=#:G2204 |nlg| #3=#:G2203 #4=#:G2202
         |lbackwardSubs| #5=#:G2200 |i| #6=#:G2201 |j| #7=#:G2199
         |lforwardSubs| #8=#:G2197 #9=#:G2198 #10=#:G2196 |ns| #11=#:G2195
         #12=#:G2194 #13=#:G2193 #14=#:G2192 |lsd| |lsym| |llsym| #15=#:G2191
         #16=#:G2190)
    (RETURN
     (SEQ
      (LETT |llsym|
            (PROGN
             (LETT #16# NIL . #17=(|EXPR;eval;$LLS$;159|))
             (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 $ 436)) #16#)
                          . #17#)))
                  (LETT #15# (CDR #15#) . #17#) #19=(GO G190) G191
                  (EXIT (NREVERSE0 #16#))))
            . #17#)
      (LETT |lsym|
            (SPADCALL (SPADCALL |llsym| (QREFELT $ 437)) (QREFELT $ 438))
            . #17#)
      (LETT |lsd| (SPADCALL (ELT $ 439) |lsym| (QREFELT $ 441)) . #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 $ 443)) #14#)
                                 . #17#)))
                         (LETT #13# (CDR #13#) . #17#) #19# G191
                         (EXIT (NREVERSE0 #14#))))
                   (QREFELT $ 446)))
        ('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 $ 447)) #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 $ 448))
                                         (SPADCALL |j| (QREFELT $ 448))
                                         (QREFELT $ 450))
                               #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 $ 448))
                                         (SPADCALL |i| (QREFELT $ 448))
                                         (QREFELT $ 450))
                               #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 $ 452))
                               #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 $ 443))
                                         #2#)
                                        . #17#)))
                                (LETT #1# (CDR #1#) . #17#) #19# G191
                                (EXIT (NREVERSE0 #2#))))
                          (QREFELT $ 446))
                . #17#)
          (EXIT (SPADCALL |res| |lbackwardSubs| (QREFELT $ 452))))))))))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;160| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (QREFELT $ 456))) 

(DEFUN |EXPR;patternMatch;$P2Pmr;161| (|x| |p| |l| $)
  (SPADCALL |x| |p| |l| (QREFELT $ 462))) 

(DEFUN |EXPR;Zero;$;162| ($) (|spadConstant| $ 46)) 

(DEFUN |EXPR;One;$;163| ($) (|spadConstant| $ 48)) 

(DEFUN |EXPR;-;2$;164| (|x| $) (SPADCALL |x| (QREFELT $ 55))) 

(DEFUN |EXPR;*;I2$;165| (|n| |x| $) (SPADCALL |n| |x| (QREFELT $ 58))) 

(DEFUN |EXPR;*;3$;166| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 62))) 

(DEFUN |EXPR;+;3$;167| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 64))) 

(DEFUN |EXPR;=;2$B;168| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

(DEFUN |EXPR;smaller?;2$B;169| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

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

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

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

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

(DEFUN |EXPR;coerce;P$;172| (|p| $) (|EXPR;polytoMP| |p| $)) 

(DEFUN |EXPR;reducedSystem;MM;173| (|m| $) (SPADCALL |m| (QREFELT $ 465))) 

(DEFUN |EXPR;reducedSystem;MVR;174| (|m| |v| $)
  (SPADCALL |m| |v| (QREFELT $ 466))) 

(DEFUN |EXPR;convert;$If;175| (|x| $) (SPADCALL |x| (QREFELT $ 431))) 

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

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

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

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

(DEFUN |EXPR;Zero;$;180| ($) (|spadConstant| $ 46)) 

(DEFUN |EXPR;+;3$;181| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 64))) 

(DEFUN |EXPR;=;2$B;182| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

(DEFUN |EXPR;smaller?;2$B;183| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

(DEFUN |EXPR;coerce;K$;184| (|k| $) (SPADCALL |k| (QREFELT $ 479))) 

(DEFUN |EXPR;kernels;$L;185| (|x| $)
  (PROG (#1=#:G2249 |f| #2=#:G2248)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|EXPR;kernels;$L;185|))
       (SEQ (LETT |f| NIL . #3#)
            (LETT #1# (SPADCALL |x| (QREFELT $ 483)) . #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$;186| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 484)) (|spadConstant| $ 47))
        ('T (SPADCALL (SPADCALL |x| (QREFELT $ 485)) (QREFELT $ 480))))) 

(DEFUN |EXPR;retract;$R;187| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 54)) (|spadConstant| $ 87))
        ('T (|EXPR;retNotUnit| |x| $)))) 

(DEFUN |EXPR;coerce;$Of;188| (|x| $) (SPADCALL |x| (QREFELT $ 488))) 

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

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

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

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

(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=#:G2274 |a| #3=#:G2273)
        (RETURN
         (SEQ
          (SPADCALL (SPADCALL |x| (QREFELT $ 31))
                    (PROGN
                     (LETT #3# NIL NIL)
                     (SEQ (LETT |a| NIL NIL)
                          (LETT #2# (SPADCALL |x| (QREFELT $ 79)) 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 $ 495))
                                   #3#)
                                  NIL)))
                          (LETT #2# (CDR #2#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #3#))))
                    (QREFELT $ 496))))))))) 

(DEFUN |EXPR;isPlus;$U;191| (|x| $)
  (PROG (#1=#:G2289 |t| #2=#:G2288 |l|)
    (RETURN
     (SEQ
      (COND
       ((OR
         (NULL
          (LETT |l| (SPADCALL |x| (QREFELT $ 483))
                . #3=(|EXPR;isPlus;$U;191|)))
         (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 $ 497))
                             #2#)
                            . #3#)))
                    (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                    (EXIT (NREVERSE0 #2#))))))))))) 

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

(DEFUN |EXPR;eval;$LL$;193| (|x| |lk| |lv| $)
  (PROG (#1=#:G2305 #2=#:G2304 #3=#:G2306 #4=#:G2308 |t|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|EXPR;eval;$LL$;193|))
       (SEQ (LETT |t| NIL . #5#)
            (LETT #4# (SPADCALL |x| (QREFELT $ 483)) . #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 $ 58))
                     . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 65)) . #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| $ 47)))))))) 

(DEFUN |EXPR;subst;$LL$;194| (|x| |lk| |lv| $)
  (PROG (#1=#:G2311 #2=#:G2310 #3=#:G2312 #4=#:G2314 |t|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|EXPR;subst;$LL$;194|))
       (SEQ (LETT |t| NIL . #5#)
            (LETT #4# (SPADCALL |x| (QREFELT $ 483)) . #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 $ 58))
                     . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 65)) . #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| $ 47)))))))) 

(DEFUN |EXPR;retractIfCan;$U;195| (|x| $)
  (COND ((SPADCALL |x| (QREFELT $ 54)) (CONS 0 (|spadConstant| $ 87)))
        ('T (|EXPR;retNotUnitIfCan| |x| $)))) 

(DEFUN |EXPR;-;2$;196| (|x| $) (SPADCALL |x| (QREFELT $ 55))) 

(DEFUN |EXPR;smaller?;2$B;197| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 95))) 

(DEFUN |EXPR;=;2$B;198| (|x| |y| $) (SPADCALL |x| |y| (QREFELT $ 51))) 

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

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

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

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

(DEFUN |EXPR;coerce;R$;201| (|x| $) (SPADCALL |x| (QREFELT $ 485))) 

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

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

(DEFUN |EXPR;coerce;$Of;204| (|x| $) (SPADCALL |x| (QREFELT $ 488))) 

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

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

(DEFUN |EXPR;eval;$LL$;205!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 $ 490)))))) 

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

(DEFUN |EXPR;subst;$LL$;206!0| (|x1| $$)
  (PROG ($ |lk| |lv|)
    (LETT $ (QREFELT $$ 2) . #1=(|EXPR;subst;$LL$;206|))
    (LETT |lk| (QREFELT $$ 1) . #1#)
    (LETT |lv| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (PROG (#2=#:G2350 |a| #3=#:G2349)
        (RETURN
         (SEQ
          (SPADCALL (SPADCALL |x1| (QREFELT $ 31))
                    (PROGN
                     (LETT #3# NIL NIL)
                     (SEQ (LETT |a| NIL NIL)
                          (LETT #2# (SPADCALL |x1| (QREFELT $ 79)) 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 $ 495))
                                   #3#)
                                  NIL)))
                          (LETT #2# (CDR #2#) NIL) (GO G190) G191
                          (EXIT (NREVERSE0 #3#))))
                    (QREFELT $ 496))))))))) 

(DEFUN |EXPR;convert;$If;207| (|x| $) (SPADCALL |x| (QREFELT $ 431))) 

(DEFUN |Expression| (#1=#:G2395)
  (PROG ()
    (RETURN
     (PROG (#2=#:G2396)
       (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 (#1=#:G2394 |pv$| #2=#:G2387 #3=#:G2388 #4=#:G2389 #5=#:G2390
         #6=#:G2391 #7=#:G2392 #8=#:G2393 $ |dv$| DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #9=(|Expression|))
      (LETT |dv$| (LIST '|Expression| DV$1) . #9#)
      (LETT $ (GETREFV 534) . #9#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (LETT #8#
                                                (|HasCategory| |#1| '(|Ring|))
                                                . #9#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #8#)
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasCategory| |#1|
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (LETT #7#
                                                (|HasCategory| |#1| '(|Group|))
                                                . #9#)
                                          (OR #7# #8#)
                                          (|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|
                                                          '(|RetractableTo|
                                                            (|Integer|)))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|LinearlyExplicitRingOver|
                                                            (|Integer|)))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #8#)
                                          (AND
                                           (|HasCategory| |#1| '(|GcdDomain|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (OR #7#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|RetractableTo|
                                                            (|Integer|)))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #8#)
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|ConvertibleTo|
                                                            (|Pattern|
                                                             (|Float|))))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|ConvertibleTo|
                                                            (|Pattern|
                                                             (|Integer|))))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PatternMatchable|
                                                            (|Integer|)))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PatternMatchable|
                                                            (|Float|)))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|ConvertibleTo|
                                                            (|InputForm|)))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (AND #7#
                                               (|HasCategory| |#1|
                                                              '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (LETT #6#
                                                (AND
                                                 (|HasCategory| |#1|
                                                                '(|LinearlyExplicitRingOver|
                                                                  (|Integer|)))
                                                 (|HasCategory| |#1|
                                                                '(|Ring|)))
                                                . #9#)
                                          (OR
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|LinearlyExplicitRingOver|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|IntegralDomain|)))
                                           #6#)
                                          (LETT #5#
                                                (|HasCategory| |#1|
                                                               '(|AbelianGroup|))
                                                . #9#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|LinearlyExplicitRingOver|
                                                            (|Integer|)))
                                           #5#
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #8#)
                                          (OR #6# #5#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (LETT #4#
                                                (|HasCategory| |#1|
                                                               '(|AbelianSemiGroup|))
                                                . #9#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|LinearlyExplicitRingOver|
                                                            (|Integer|)))
                                           #5# #4#
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicNonZero|))
                                           (|HasCategory| |#1|
                                                          '(|CharacteristicZero|))
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           #8#)
                                          (OR #6# #4#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (LETT #3#
                                                (|HasCategory| |#1|
                                                               '(|SemiGroup|))
                                                . #9#)
                                          (OR #7# #3#)
                                          (OR #6#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|))
                                              #3#)
                                          (OR #6# #4#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|))
                                              #3#)
                                          (LETT #2#
                                                (|HasCategory| |#1|
                                                               '(|RetractableTo|
                                                                 (|Fraction|
                                                                  (|Integer|))))
                                                . #9#)
                                          (OR #2#
                                              (AND
                                               (|HasCategory| |#1|
                                                              '(|RetractableTo|
                                                                (|Integer|)))
                                               (|HasCategory| |#1|
                                                              '(|IntegralDomain|))))
                                          (OR #2#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (OR
                                           (AND #2#
                                                (|HasCategory| |#1|
                                                               '(|IntegralDomain|)))
                                           (AND
                                            (|HasCategory| |#1|
                                                           '(|RetractableTo|
                                                             (|Integer|)))
                                            (|HasCategory| |#1|
                                                           '(|IntegralDomain|))))))
                      . #9#))
      (|haddProp| |$ConstructorCache| '|Expression| (LIST DV$1) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (AND (|HasCategory| $ '(|Ring|)) (|augmentPredVector| $ 17592186044416))
      (AND (LETT #1# (|HasCategory| $ '(|RetractableTo| (|Integer|))) . #9#)
           (|augmentPredVector| $ 35184372088832))
      (AND (|HasCategory| |#1| '(|IntegralDomain|)) #1#
           (|augmentPredVector| $ 70368744177664))
      (SETF |pv$| (QREFELT $ 3))
      (QSETREFV $ 7 '|%symbol|)
      (QSETREFV $ 8 '|%alg|)
      (COND ((|testBitVector| |pv$| 1))
            ('T
             (QSETREFV $ 37
                       (CONS (|dispatchFunction| |EXPR;operator;2Bo;4|) $))))
      (COND
       ((|testBitVector| |pv$| 2)
        (PROGN
         (COND
          ((|testBitVector| |pv$| 1)
           (PROGN
            (QSETREFV $ 45
                      (|Fraction|
                       (|SparseMultivariatePolynomial| |#1| (|Kernel| $))))
            (QSETREFV $ 47
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;Zero;$;6|) $)))
            (QSETREFV $ 49
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;One;$;7|) $)))
            (QSETREFV $ 52 (CONS (|dispatchFunction| |EXPR;one?;$B;8|) $))
            (QSETREFV $ 54 (CONS (|dispatchFunction| |EXPR;zero?;$B;9|) $))
            (QSETREFV $ 56 (CONS (|dispatchFunction| |EXPR;-;2$;10|) $))
            (QSETREFV $ 59 (CONS (|dispatchFunction| |EXPR;*;I2$;11|) $))
            (QSETREFV $ 61 (CONS (|dispatchFunction| |EXPR;coerce;I$;12|) $))
            (QSETREFV $ 63 (CONS (|dispatchFunction| |EXPR;*;3$;13|) $))
            (QSETREFV $ 65 (CONS (|dispatchFunction| |EXPR;+;3$;14|) $))
            (QSETREFV $ 67 (CONS (|dispatchFunction| |EXPR;-;3$;15|) $))
            (QSETREFV $ 69 (CONS (|dispatchFunction| |EXPR;/;3$;16|) $))
            (QSETREFV $ 73 (CONS (|dispatchFunction| |EXPR;number?;$B;17|) $))
            (QSETREFV $ 86
                      (CONS (|dispatchFunction| |EXPR;simplifyPower;$I$;18|)
                            $))
            (QSETREFV $ 90 (CONS (|dispatchFunction| |EXPR;^;$Nni$;19|) $))
            (QSETREFV $ 92 (CONS (|dispatchFunction| |EXPR;^;$I$;20|) $))
            (QSETREFV $ 94 (CONS (|dispatchFunction| |EXPR;^;$Pi$;21|) $))
            (QSETREFV $ 96
                      (CONS (|dispatchFunction| |EXPR;smaller?;2$B;22|) $))
            (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;23|) $))
            (QSETREFV $ 100 (CONS (|dispatchFunction| |EXPR;numer;$Smp;24|) $))
            (QSETREFV $ 102 (CONS (|dispatchFunction| |EXPR;denom;$Smp;25|) $))
            (QSETREFV $ 103
                      (|Record|
                       (|:| |num|
                            (|SparseMultivariatePolynomial| |#1| (|Kernel| $)))
                       (|:| |den|
                            (|SparseMultivariatePolynomial| |#1|
                                                            (|Kernel| $)))))
            (QSETREFV $ 104
                      (CONS (|dispatchFunction| |EXPR;coerce;Smp$;26|) $))
            (QSETREFV $ 106 (CONS (|dispatchFunction| |EXPR;coerce;P$;27|) $))
            (QSETREFV $ 110 (CONS (|dispatchFunction| |EXPR;coerce;F$;28|) $))
            (QSETREFV $ 111 (CONS (|dispatchFunction| |EXPR;reduce;2$;29|) $))
            (QSETREFV $ 118 (CONS (|dispatchFunction| |EXPR;/;2Smp$;33|) $))
            (QSETREFV $ 127
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MM;34|) $))
            (QSETREFV $ 135
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MVR;35|)
                            $))
            (QSETREFV $ 142
                      (CONS (|dispatchFunction| |EXPR;rootOf;SupS$;37|) $))
            (QSETREFV $ 145 (CONS (|dispatchFunction| |EXPR;pi;$;38|) $))
            (QSETREFV $ 147 (CONS (|dispatchFunction| |EXPR;exp;2$;39|) $))
            (QSETREFV $ 149 (CONS (|dispatchFunction| |EXPR;log;2$;40|) $))
            (QSETREFV $ 151 (CONS (|dispatchFunction| |EXPR;sin;2$;41|) $))
            (QSETREFV $ 153 (CONS (|dispatchFunction| |EXPR;cos;2$;42|) $))
            (QSETREFV $ 155 (CONS (|dispatchFunction| |EXPR;tan;2$;43|) $))
            (QSETREFV $ 157 (CONS (|dispatchFunction| |EXPR;cot;2$;44|) $))
            (QSETREFV $ 159 (CONS (|dispatchFunction| |EXPR;sec;2$;45|) $))
            (QSETREFV $ 161 (CONS (|dispatchFunction| |EXPR;csc;2$;46|) $))
            (QSETREFV $ 163 (CONS (|dispatchFunction| |EXPR;asin;2$;47|) $))
            (QSETREFV $ 165 (CONS (|dispatchFunction| |EXPR;acos;2$;48|) $))
            (QSETREFV $ 167 (CONS (|dispatchFunction| |EXPR;atan;2$;49|) $))
            (QSETREFV $ 169 (CONS (|dispatchFunction| |EXPR;acot;2$;50|) $))
            (QSETREFV $ 171 (CONS (|dispatchFunction| |EXPR;asec;2$;51|) $))
            (QSETREFV $ 173 (CONS (|dispatchFunction| |EXPR;acsc;2$;52|) $))
            (QSETREFV $ 175 (CONS (|dispatchFunction| |EXPR;sinh;2$;53|) $))
            (QSETREFV $ 177 (CONS (|dispatchFunction| |EXPR;cosh;2$;54|) $))
            (QSETREFV $ 179 (CONS (|dispatchFunction| |EXPR;tanh;2$;55|) $))
            (QSETREFV $ 181 (CONS (|dispatchFunction| |EXPR;coth;2$;56|) $))
            (QSETREFV $ 183 (CONS (|dispatchFunction| |EXPR;sech;2$;57|) $))
            (QSETREFV $ 185 (CONS (|dispatchFunction| |EXPR;csch;2$;58|) $))
            (QSETREFV $ 187 (CONS (|dispatchFunction| |EXPR;asinh;2$;59|) $))
            (QSETREFV $ 189 (CONS (|dispatchFunction| |EXPR;acosh;2$;60|) $))
            (QSETREFV $ 191 (CONS (|dispatchFunction| |EXPR;atanh;2$;61|) $))
            (QSETREFV $ 193 (CONS (|dispatchFunction| |EXPR;acoth;2$;62|) $))
            (QSETREFV $ 195 (CONS (|dispatchFunction| |EXPR;asech;2$;63|) $))
            (QSETREFV $ 197 (CONS (|dispatchFunction| |EXPR;acsch;2$;64|) $))
            (QSETREFV $ 200 (CONS (|dispatchFunction| |EXPR;abs;2$;65|) $))
            (QSETREFV $ 202 (CONS (|dispatchFunction| |EXPR;Gamma;2$;66|) $))
            (QSETREFV $ 204 (CONS (|dispatchFunction| |EXPR;Gamma;3$;67|) $))
            (QSETREFV $ 206 (CONS (|dispatchFunction| |EXPR;Beta;3$;68|) $))
            (QSETREFV $ 208 (CONS (|dispatchFunction| |EXPR;digamma;2$;69|) $))
            (QSETREFV $ 210
                      (CONS (|dispatchFunction| |EXPR;polygamma;3$;70|) $))
            (QSETREFV $ 212 (CONS (|dispatchFunction| |EXPR;besselJ;3$;71|) $))
            (QSETREFV $ 214 (CONS (|dispatchFunction| |EXPR;besselY;3$;72|) $))
            (QSETREFV $ 216 (CONS (|dispatchFunction| |EXPR;besselI;3$;73|) $))
            (QSETREFV $ 218 (CONS (|dispatchFunction| |EXPR;besselK;3$;74|) $))
            (QSETREFV $ 220 (CONS (|dispatchFunction| |EXPR;airyAi;2$;75|) $))
            (QSETREFV $ 222
                      (CONS (|dispatchFunction| |EXPR;airyAiPrime;2$;76|) $))
            (QSETREFV $ 224 (CONS (|dispatchFunction| |EXPR;airyBi;2$;77|) $))
            (QSETREFV $ 226
                      (CONS (|dispatchFunction| |EXPR;airyBiPrime;2$;78|) $))
            (QSETREFV $ 228
                      (CONS (|dispatchFunction| |EXPR;lambertW;2$;79|) $))
            (QSETREFV $ 230 (CONS (|dispatchFunction| |EXPR;polylog;3$;80|) $))
            (QSETREFV $ 232
                      (CONS (|dispatchFunction| |EXPR;weierstrassP;4$;81|) $))
            (QSETREFV $ 234
                      (CONS (|dispatchFunction| |EXPR;weierstrassPPrime;4$;82|)
                            $))
            (QSETREFV $ 236
                      (CONS (|dispatchFunction| |EXPR;weierstrassSigma;4$;83|)
                            $))
            (QSETREFV $ 238
                      (CONS (|dispatchFunction| |EXPR;weierstrassZeta;4$;84|)
                            $))
            (QSETREFV $ 240
                      (CONS (|dispatchFunction| |EXPR;whittakerM;4$;85|) $))
            (QSETREFV $ 242
                      (CONS (|dispatchFunction| |EXPR;whittakerW;4$;86|) $))
            (QSETREFV $ 244 (CONS (|dispatchFunction| |EXPR;angerJ;3$;87|) $))
            (QSETREFV $ 246 (CONS (|dispatchFunction| |EXPR;weberE;3$;88|) $))
            (QSETREFV $ 248 (CONS (|dispatchFunction| |EXPR;struveH;3$;89|) $))
            (QSETREFV $ 250 (CONS (|dispatchFunction| |EXPR;struveL;3$;90|) $))
            (QSETREFV $ 252
                      (CONS (|dispatchFunction| |EXPR;hankelH1;3$;91|) $))
            (QSETREFV $ 254
                      (CONS (|dispatchFunction| |EXPR;hankelH2;3$;92|) $))
            (QSETREFV $ 256
                      (CONS (|dispatchFunction| |EXPR;lommelS1;4$;93|) $))
            (QSETREFV $ 258
                      (CONS (|dispatchFunction| |EXPR;lommelS2;4$;94|) $))
            (QSETREFV $ 260 (CONS (|dispatchFunction| |EXPR;kummerM;4$;95|) $))
            (QSETREFV $ 262 (CONS (|dispatchFunction| |EXPR;kummerU;4$;96|) $))
            (QSETREFV $ 264
                      (CONS (|dispatchFunction| |EXPR;legendreP;4$;97|) $))
            (QSETREFV $ 266
                      (CONS (|dispatchFunction| |EXPR;legendreQ;4$;98|) $))
            (QSETREFV $ 268
                      (CONS (|dispatchFunction| |EXPR;kelvinBei;3$;99|) $))
            (QSETREFV $ 270
                      (CONS (|dispatchFunction| |EXPR;kelvinBer;3$;100|) $))
            (QSETREFV $ 272
                      (CONS (|dispatchFunction| |EXPR;kelvinKei;3$;101|) $))
            (QSETREFV $ 274
                      (CONS (|dispatchFunction| |EXPR;kelvinKer;3$;102|) $))
            (QSETREFV $ 276
                      (CONS (|dispatchFunction| |EXPR;ellipticK;2$;103|) $))
            (QSETREFV $ 278
                      (CONS (|dispatchFunction| |EXPR;ellipticE;2$;104|) $))
            (QSETREFV $ 280
                      (CONS (|dispatchFunction| |EXPR;ellipticE;3$;105|) $))
            (QSETREFV $ 282
                      (CONS (|dispatchFunction| |EXPR;ellipticF;3$;106|) $))
            (QSETREFV $ 284
                      (CONS (|dispatchFunction| |EXPR;ellipticPi;4$;107|) $))
            (QSETREFV $ 286
                      (CONS (|dispatchFunction| |EXPR;jacobiSn;3$;108|) $))
            (QSETREFV $ 288
                      (CONS (|dispatchFunction| |EXPR;jacobiCn;3$;109|) $))
            (QSETREFV $ 290
                      (CONS (|dispatchFunction| |EXPR;jacobiDn;3$;110|) $))
            (QSETREFV $ 292
                      (CONS (|dispatchFunction| |EXPR;jacobiTheta;3$;111|) $))
            (QSETREFV $ 294
                      (CONS (|dispatchFunction| |EXPR;lerchPhi;4$;112|) $))
            (QSETREFV $ 296
                      (CONS (|dispatchFunction| |EXPR;riemannZeta;2$;113|) $))
            (COND
             ((|testBitVector| |pv$| 46)
              (PROGN
               (QSETREFV $ 299
                         (CONS
                          (|dispatchFunction| |EXPR;hypergeometricF;2L2$;114|)
                          (|getDomainView| $ '(|RetractableTo| (|Integer|)))))
               (QSETREFV $ 301
                         (CONS (|dispatchFunction| |EXPR;meijerG;4L2$;115|)
                               (|getDomainView| $
                                                '(|RetractableTo|
                                                  (|Integer|))))))))
            (QSETREFV $ 83 (CONS (|dispatchFunction| |EXPR;^;3$;116|) $))
            (QSETREFV $ 305
                      (CONS (|dispatchFunction| |EXPR;factorial;2$;117|) $))
            (QSETREFV $ 307
                      (CONS (|dispatchFunction| |EXPR;binomial;3$;118|) $))
            (QSETREFV $ 309
                      (CONS (|dispatchFunction| |EXPR;permutation;3$;119|) $))
            (QSETREFV $ 311
                      (CONS (|dispatchFunction| |EXPR;factorials;2$;120|) $))
            (QSETREFV $ 313
                      (CONS (|dispatchFunction| |EXPR;factorials;$S$;121|) $))
            (QSETREFV $ 315
                      (CONS (|dispatchFunction| |EXPR;summation;$S$;122|) $))
            (QSETREFV $ 319
                      (CONS (|dispatchFunction| |EXPR;summation;$Sb$;123|) $))
            (QSETREFV $ 321
                      (CONS (|dispatchFunction| |EXPR;product;$S$;124|) $))
            (QSETREFV $ 323
                      (CONS (|dispatchFunction| |EXPR;product;$Sb$;125|) $))
            (QSETREFV $ 326 (CONS (|dispatchFunction| |EXPR;erf;2$;126|) $))
            (QSETREFV $ 328 (CONS (|dispatchFunction| |EXPR;Ei;2$;127|) $))
            (QSETREFV $ 330 (CONS (|dispatchFunction| |EXPR;Si;2$;128|) $))
            (QSETREFV $ 332 (CONS (|dispatchFunction| |EXPR;Ci;2$;129|) $))
            (QSETREFV $ 334 (CONS (|dispatchFunction| |EXPR;li;2$;130|) $))
            (QSETREFV $ 336 (CONS (|dispatchFunction| |EXPR;dilog;2$;131|) $))
            (QSETREFV $ 338
                      (CONS (|dispatchFunction| |EXPR;fresnelS;2$;132|) $))
            (QSETREFV $ 340
                      (CONS (|dispatchFunction| |EXPR;fresnelC;2$;133|) $))
            (QSETREFV $ 342
                      (CONS (|dispatchFunction| |EXPR;integral;$S$;134|) $))
            (QSETREFV $ 344
                      (CONS (|dispatchFunction| |EXPR;integral;$Sb$;135|) $))
            (QSETREFV $ 37
                      (CONS (|dispatchFunction| |EXPR;operator;2Bo;136|) $))
            (COND
             ((|HasCategory| |#1| '(|GcdDomain|))
              (PROGN
               (QSETREFV $ 375
                         (CONS
                          (|dispatchFunction| |EXPR;gcdPolynomial;3Sup;141|)
                          $))
               (QSETREFV $ 380
                         (CONS
                          (|dispatchFunction| |EXPR;factorPolynomial;SupF;142|)
                          $))
               (QSETREFV $ 382
                         (CONS
                          (|dispatchFunction|
                           |EXPR;squareFreePolynomial;SupF;143|)
                          $)))))
            (COND
             ((|domainEqual| |#1| (|AlgebraicNumber|))
              (QSETREFV $ 387
                        (CONS (|dispatchFunction| |EXPR;coerce;An$;144|) $))))
            (COND
             ((|testBitVector| |pv$| 11)
              (PROGN
               (QSETREFV $ 390 (CONS (|dispatchFunction| |EXPR;^;$F$;145|) $))
               (QSETREFV $ 355
                         (CONS (|dispatchFunction| |EXPR;minPoly;KSup;146|) $))
               (QSETREFV $ 393
                         (CONS
                          (|dispatchFunction| |EXPR;definingPolynomial;2$;147|)
                          $))
               (QSETREFV $ 395
                         (CONS (|dispatchFunction| |EXPR;retract;$F;148|) $))
               (QSETREFV $ 72
                         (CONS (|dispatchFunction| |EXPR;retractIfCan;$U;149|)
                               $))
               (COND ((|domainEqual| |#1| (|AlgebraicNumber|)))
                     ('T
                      (PROGN
                       (QSETREFV $ 387
                                 (CONS
                                  (|dispatchFunction| |EXPR;coerce;An$;150|)
                                  $))
                       (QSETREFV $ 411
                                 (CONS
                                  (|dispatchFunction|
                                   |EXPR;retractIfCan;$U;153|)
                                  $))))))))
            (COND
             ((|testBitVector| |pv$| 10)
              (PROGN
               (QSETREFV $ 432
                         (CONS (|dispatchFunction| |EXPR;convert;$If;157|) $))
               (QSETREFV $ 435
                         (CONS (|dispatchFunction| |EXPR;eval;$Bo$S$;158|) $))
               (QSETREFV $ 434
                         (CONS (|dispatchFunction| |EXPR;eval;$LLS$;159|)
                               $)))))
            (COND
             ((|testBitVector| |pv$| 13)
              (QSETREFV $ 458
                        (CONS
                         (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;160|)
                         $))))
            (COND
             ((|testBitVector| |pv$| 12)
              (QSETREFV $ 464
                        (CONS
                         (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;161|)
                         $))))))
          ('T
           (PROGN
            (SETELT $ 45 (|SparseMultivariatePolynomial| |#1| (|Kernel| $)))
            (QSETREFV $ 47
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;Zero;$;162|)
                                     $)))
            (QSETREFV $ 49
                      (CONS IDENTITY
                            (FUNCALL (|dispatchFunction| |EXPR;One;$;163|) $)))
            (QSETREFV $ 56 (CONS (|dispatchFunction| |EXPR;-;2$;164|) $))
            (QSETREFV $ 59 (CONS (|dispatchFunction| |EXPR;*;I2$;165|) $))
            (QSETREFV $ 63 (CONS (|dispatchFunction| |EXPR;*;3$;166|) $))
            (QSETREFV $ 65 (CONS (|dispatchFunction| |EXPR;+;3$;167|) $))
            (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;168|) $))
            (QSETREFV $ 96
                      (CONS (|dispatchFunction| |EXPR;smaller?;2$B;169|) $))
            (QSETREFV $ 100
                      (CONS (|dispatchFunction| |EXPR;numer;$Smp;170|) $))
            (QSETREFV $ 104
                      (CONS (|dispatchFunction| |EXPR;coerce;Smp$;171|) $))
            (QSETREFV $ 106 (CONS (|dispatchFunction| |EXPR;coerce;P$;172|) $))
            (QSETREFV $ 127
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MM;173|)
                            $))
            (QSETREFV $ 135
                      (CONS (|dispatchFunction| |EXPR;reducedSystem;MVR;174|)
                            $))
            (COND
             ((|testBitVector| |pv$| 10)
              (QSETREFV $ 432
                        (CONS (|dispatchFunction| |EXPR;convert;$If;175|) $))))
            (COND
             ((|testBitVector| |pv$| 13)
              (PROGN
               (QSETREFV $ 458
                         (CONS
                          (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;177|)
                          $)))))
            (COND
             ((|testBitVector| |pv$| 12)
              (PROGN
               (QSETREFV $ 464
                         (CONS
                          (|dispatchFunction| |EXPR;patternMatch;$P2Pmr;179|)
                          $))))))))))
       ((|HasCategory| |#1| '(|AbelianMonoid|))
        (PROGN
         (SETELT $ 45 (|FreeAbelianGroup| (|Kernel| $)))
         (QSETREFV $ 47
                   (CONS IDENTITY
                         (FUNCALL (|dispatchFunction| |EXPR;Zero;$;180|) $)))
         (QSETREFV $ 65 (CONS (|dispatchFunction| |EXPR;+;3$;181|) $))
         (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;182|) $))
         (QSETREFV $ 96 (CONS (|dispatchFunction| |EXPR;smaller?;2$B;183|) $))
         (QSETREFV $ 480 (CONS (|dispatchFunction| |EXPR;coerce;K$;184|) $))
         (QSETREFV $ 75 (CONS (|dispatchFunction| |EXPR;kernels;$L;185|) $))
         (QSETREFV $ 412 (CONS (|dispatchFunction| |EXPR;coerce;R$;186|) $))
         (QSETREFV $ 486 (CONS (|dispatchFunction| |EXPR;retract;$R;187|) $))
         (QSETREFV $ 489 (CONS (|dispatchFunction| |EXPR;coerce;$Of;188|) $))
         (QSETREFV $ 499 (CONS (|dispatchFunction| |EXPR;isPlus;$U;191|) $))
         (QSETREFV $ 503 (CONS (|dispatchFunction| |EXPR;isMult;$U;192|) $))
         (QSETREFV $ 490 (CONS (|dispatchFunction| |EXPR;eval;$LL$;193|) $))
         (QSETREFV $ 495 (CONS (|dispatchFunction| |EXPR;subst;$LL$;194|) $))
         (QSETREFV $ 504
                   (CONS (|dispatchFunction| |EXPR;retractIfCan;$U;195|) $))
         (COND
          ((|testBitVector| |pv$| 31)
           (QSETREFV $ 56 (CONS (|dispatchFunction| |EXPR;-;2$;196|) $))))))
       ('T
        (PROGN
         (SETELT $ 45 (|Kernel| $))
         (QSETREFV $ 96 (CONS (|dispatchFunction| |EXPR;smaller?;2$B;197|) $))
         (QSETREFV $ 97 (CONS (|dispatchFunction| |EXPR;=;2$B;198|) $))
         (QSETREFV $ 480 (CONS (|dispatchFunction| |EXPR;coerce;K$;199|) $))
         (QSETREFV $ 75 (CONS (|dispatchFunction| |EXPR;kernels;$L;200|) $))
         (QSETREFV $ 412 (CONS (|dispatchFunction| |EXPR;coerce;R$;201|) $))
         (QSETREFV $ 486 (CONS (|dispatchFunction| |EXPR;retract;$R;202|) $))
         (QSETREFV $ 504
                   (CONS (|dispatchFunction| |EXPR;retractIfCan;$U;203|) $))
         (QSETREFV $ 489 (CONS (|dispatchFunction| |EXPR;coerce;$Of;204|) $))
         (QSETREFV $ 490 (CONS (|dispatchFunction| |EXPR;eval;$LL$;205|) $))
         (QSETREFV $ 495 (CONS (|dispatchFunction| |EXPR;subst;$LL$;206|) $))
         (COND
          ((|testBitVector| |pv$| 10)
           (QSETREFV $ 432
                     (CONS (|dispatchFunction| |EXPR;convert;$If;207|) $)))))))
      $)))) 

(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|)
              (|FunctionSpace&| $$ 6) (15 . |belong?|) (20 . |operator|)
              (|ExpressionSpace&| $$) (25 . |belong?|) (30 . |operator|)
              (35 . |nullary?|) (|Symbol|) (40 . |has?|) (46 . |name|)
              (51 . |kernel|) (56 . |operator|) (|Union| 35 '"failed")
              (61 . |arity|) (66 . |operator|) (|NonNegativeInteger|)
              (71 . |operator|) (77 . |operator|) (|List| 27)
              (|SparseMultivariatePolynomial| 6 27) (82 . |variables|)
              (|SparseMultivariatePolynomial| 6 15) (|List| 15)
              (|SparsePolynomialCoercionHelpers| 6 27 15)
              (87 . |remapvariables|) '|Rep| (94 . |Zero|) (98 . |Zero|)
              (102 . |One|) (106 . |One|) (110 . |One|) (114 . =)
              (120 . |one?|) (125 . |zero?|) (130 . |zero?|) (135 . -)
              (140 . -) (|Integer|) (145 . *) (151 . *) (157 . |coerce|)
              (162 . |coerce|) (167 . *) (173 . *) (179 . +) (185 . +)
              (191 . -) (197 . -) (203 . /) (209 . /) (215 . |ground?|)
              (|Union| 388 '#1#) (220 . |retractIfCan|) (225 . |number?|)
              (|List| 12) (230 . |kernels|) (235 . |is?|) (241 . |first|)
              (|List| $$) (246 . |argument|) (251 . |#|) (256 . |elt|)
              (262 . ^) (268 . ^) (274 . |first|) (279 . |second|)
              (284 . |simplifyPower|) (290 . |Zero|) (294 . |numerator|)
              (299 . |denominator|) (304 . ^) (310 . |One|) (314 . ^)
              (|PositiveInteger|) (320 . ^) (326 . |smaller?|)
              (332 . |smaller?|) (338 . =) (344 . |numer|)
              (|SparseMultivariatePolynomial| 6 12) (349 . |numer|)
              (354 . |denom|) (359 . |denom|) 'EREP (364 . |coerce|)
              (|Polynomial| 6) (369 . |coerce|) (|Fraction| 105)
              (374 . |numer|) (379 . |denom|) (384 . |coerce|) (389 . |reduce|)
              (|Mapping| 9 15) (394 . |select!|)
              (|AlgebraicManipulations| 6 $$) (400 . |ratDenom|) (406 . /)
              (412 . |variables|) (417 . /) (|Mapping| $$ $$) (|Matrix| $$)
              (423 . |map|) (|Matrix| 41) (|Matrix| $) (429 . |reducedSystem|)
              (|Matrix| 6) (434 . |reducedSystem|) (439 . |reducedSystem|)
              (|Vector| $$) (444 . |map|)
              (|Record| (|:| |mat| 122) (|:| |vec| (|Vector| 41))) (|Vector| $)
              (450 . |reducedSystem|)
              (|Record| (|:| |mat| 125) (|:| |vec| (|Vector| 6)))
              (456 . |reducedSystem|) (462 . |reducedSystem|) (468 . |member?|)
              (474 . |concat|) (|SparseUnivariatePolynomial| $$)
              (|AlgebraicFunction| 6 $$) (480 . |rootOf|)
              (|SparseUnivariatePolynomial| $) (486 . |rootOf|)
              (|ElementaryFunction| 6 $$) (492 . |pi|) (496 . |pi|)
              (500 . |exp|) (505 . |exp|) (510 . |log|) (515 . |log|)
              (520 . |sin|) (525 . |sin|) (530 . |cos|) (535 . |cos|)
              (540 . |tan|) (545 . |tan|) (550 . |cot|) (555 . |cot|)
              (560 . |sec|) (565 . |sec|) (570 . |csc|) (575 . |csc|)
              (580 . |asin|) (585 . |asin|) (590 . |acos|) (595 . |acos|)
              (600 . |atan|) (605 . |atan|) (610 . |acot|) (615 . |acot|)
              (620 . |asec|) (625 . |asec|) (630 . |acsc|) (635 . |acsc|)
              (640 . |sinh|) (645 . |sinh|) (650 . |cosh|) (655 . |cosh|)
              (660 . |tanh|) (665 . |tanh|) (670 . |coth|) (675 . |coth|)
              (680 . |sech|) (685 . |sech|) (690 . |csch|) (695 . |csch|)
              (700 . |asinh|) (705 . |asinh|) (710 . |acosh|) (715 . |acosh|)
              (720 . |atanh|) (725 . |atanh|) (730 . |acoth|) (735 . |acoth|)
              (740 . |asech|) (745 . |asech|) (750 . |acsch|) (755 . |acsch|)
              (|FunctionalSpecialFunction| 6 $$) (760 . |abs|) (765 . |abs|)
              (770 . |Gamma|) (775 . |Gamma|) (780 . |Gamma|) (786 . |Gamma|)
              (792 . |Beta|) (798 . |Beta|) (804 . |digamma|) (809 . |digamma|)
              (814 . |polygamma|) (820 . |polygamma|) (826 . |besselJ|)
              (832 . |besselJ|) (838 . |besselY|) (844 . |besselY|)
              (850 . |besselI|) (856 . |besselI|) (862 . |besselK|)
              (868 . |besselK|) (874 . |airyAi|) (879 . |airyAi|)
              (884 . |airyAiPrime|) (889 . |airyAiPrime|) (894 . |airyBi|)
              (899 . |airyBi|) (904 . |airyBiPrime|) (909 . |airyBiPrime|)
              (914 . |lambertW|) (919 . |lambertW|) (924 . |polylog|)
              (930 . |polylog|) (936 . |weierstrassP|) (943 . |weierstrassP|)
              (950 . |weierstrassPPrime|) (957 . |weierstrassPPrime|)
              (964 . |weierstrassSigma|) (971 . |weierstrassSigma|)
              (978 . |weierstrassZeta|) (985 . |weierstrassZeta|)
              (992 . |whittakerM|) (999 . |whittakerM|) (1006 . |whittakerW|)
              (1013 . |whittakerW|) (1020 . |angerJ|) (1026 . |angerJ|)
              (1032 . |weberE|) (1038 . |weberE|) (1044 . |struveH|)
              (1050 . |struveH|) (1056 . |struveL|) (1062 . |struveL|)
              (1068 . |hankelH1|) (1074 . |hankelH1|) (1080 . |hankelH2|)
              (1086 . |hankelH2|) (1092 . |lommelS1|) (1099 . |lommelS1|)
              (1106 . |lommelS2|) (1113 . |lommelS2|) (1120 . |kummerM|)
              (1127 . |kummerM|) (1134 . |kummerU|) (1141 . |kummerU|)
              (1148 . |legendreP|) (1155 . |legendreP|) (1162 . |legendreQ|)
              (1169 . |legendreQ|) (1176 . |kelvinBei|) (1182 . |kelvinBei|)
              (1188 . |kelvinBer|) (1194 . |kelvinBer|) (1200 . |kelvinKei|)
              (1206 . |kelvinKei|) (1212 . |kelvinKer|) (1218 . |kelvinKer|)
              (1224 . |ellipticK|) (1229 . |ellipticK|) (1234 . |ellipticE|)
              (1239 . |ellipticE|) (1244 . |ellipticE|) (1250 . |ellipticE|)
              (1256 . |ellipticF|) (1262 . |ellipticF|) (1268 . |ellipticPi|)
              (1275 . |ellipticPi|) (1282 . |jacobiSn|) (1288 . |jacobiSn|)
              (1294 . |jacobiCn|) (1300 . |jacobiCn|) (1306 . |jacobiDn|)
              (1312 . |jacobiDn|) (1318 . |jacobiTheta|) (1324 . |jacobiTheta|)
              (1330 . |lerchPhi|) (1337 . |lerchPhi|) (1344 . |riemannZeta|)
              (1349 . |riemannZeta|) (1354 . |hypergeometricF|) (|List| $)
              (1361 . |hypergeometricF|) (1368 . |meijerG|) (1377 . |meijerG|)
              (|CombinatorialFunction| 6 $$) (1386 . ^) (1392 . |factorial|)
              (1397 . |factorial|) (1402 . |binomial|) (1408 . |binomial|)
              (1414 . |permutation|) (1420 . |permutation|)
              (1426 . |factorials|) (1431 . |factorials|) (1436 . |factorials|)
              (1442 . |factorials|) (1448 . |summation|) (1454 . |summation|)
              (|SegmentBinding| $$) (1460 . |summation|) (|SegmentBinding| $)
              (1466 . |summation|) (1472 . |product|) (1478 . |product|)
              (1484 . |product|) (1490 . |product|)
              (|LiouvillianFunction| 6 $$) (1496 . |erf|) (1501 . |erf|)
              (1506 . |Ei|) (1511 . |Ei|) (1516 . |Si|) (1521 . |Si|)
              (1526 . |Ci|) (1531 . |Ci|) (1536 . |li|) (1541 . |li|)
              (1546 . |dilog|) (1551 . |dilog|) (1556 . |fresnelS|)
              (1561 . |fresnelS|) (1566 . |fresnelC|) (1571 . |fresnelC|)
              (1576 . |integral|) (1582 . |integral|) (1588 . |integral|)
              (1594 . |integral|) (1600 . |belong?|) (1605 . |operator|)
              (1610 . |belong?|) (1615 . |operator|) (1620 . |belong?|)
              (1625 . |operator|) (1630 . |belong?|) (1635 . |operator|)
              (1640 . |belong?|) (1645 . |operator|) (1650 . |minPoly|)
              (|Fraction| 41) (1655 . |coerce|) (|Fraction| 361)
              (|PolynomialCategoryQuotientFunctions| 383 15 6 41 356)
              (1660 . |univariate|) (|SparseUnivariatePolynomial| 356)
              (1666 . |numer|) (1671 . |degree|) (1677 . |degree|)
              (1682 . |rem|) (1688 . |coerce|) (1693 . |elt|) (1699 . |Zero|)
              (1703 . =) (1709 . |leadingCoefficient|) (1714 . |reductum|)
              (1719 . |gcdPolynomial|) (|GcdDomain&| $$)
              (1725 . |gcdPolynomial|) (1731 . |gcdPolynomial|)
              (|Factored| 361) (|SupFractionFactorizer| 383 15 6 41)
              (1737 . |factor|) (|Factored| 141) (1742 . |factorPolynomial|)
              (1747 . |squareFree|) (1752 . |squareFreePolynomial|)
              (|IndexedExponents| 15) (1757 . |Zero|) (1761 . |monomial|)
              (|AlgebraicNumber|) (1767 . |coerce|) (|Fraction| 57) (1772 . ^)
              (1778 . ^) (1784 . |minPoly|) (1789 . |definingPolynomial|)
              (1794 . |definingPolynomial|) (1799 . |retract|)
              (1804 . |retract|) (1809 . |retractIfCan|)
              (|SparseMultivariatePolynomial| 57 12) (1814 . |numer|)
              (1819 . |denom|) (|Mapping| $$ 386) (|Kernel| 386)
              (|ExpressionSpaceFunctions2| 386 $$) (1824 . |map|)
              (|Mapping| $$ 401) (|Mapping| $$ 57)
              (|SparseMultivariatePolynomial| 57 401)
              (|PolynomialCategoryLifting| (|IndexedExponents| 401) 401 57 406
                                           $$)
              (1830 . |map|) (1837 . /) (|Union| 386 '"failed")
              (1843 . |retractIfCan|) (1848 . |coerce|) (1853 . |coerce|)
              (1858 . |belong?|) (1863 . |operator|) (1868 . |elt|)
              (|Union| 15 '"failed") (1874 . |mainVariable|)
              (1879 . |leadingCoefficient|) (1884 . |univariate|)
              (1890 . |Zero|) (|SparseUnivariatePolynomial| 41)
              (1894 . |ground?|) (1899 . |leadingCoefficient|)
              (1904 . |degree|) (1909 . ^) (1915 . *) (1921 . +)
              (1927 . |reductum|) (|InputForm|) (1932 . |convert|)
              (1937 . |convert|) (|List| 10) (1942 . |eval|) (1950 . |eval|)
              (1958 . |variables|) (1963 . |concat|)
              (1968 . |removeDuplicates|) (1973 . |scripted?|) (|Mapping| 9 27)
              (1978 . |select|) (|MakeUnaryCompiledFunction| $$ $$ $$)
              (1984 . |compiledFunction|) (|Mapping| $ $) (|List| 444)
              (1990 . |eval|) (1997 . |new|) (2001 . |coerce|) (|Equation| $$)
              (2006 . =) (|List| 531) (2012 . |subst|)
              (|PatternMatchResult| 57 $$) (|Pattern| 57)
              (|PatternMatchFunctionSpace| 57 6 $$) (2018 . |patternMatch|)
              (|PatternMatchResult| 57 $) (2025 . |patternMatch|)
              (|PatternMatchResult| (|Float|) $$) (|Pattern| (|Float|))
              (|PatternMatchFunctionSpace| (|Float|) 6 $$)
              (2032 . |patternMatch|) (|PatternMatchResult| (|Float|) $)
              (2039 . |patternMatch|) (2046 . |reducedSystem|)
              (2051 . |reducedSystem|) (|PatternMatchKernel| 57 $$)
              (2057 . |patternMatch|) (|PatternMatchResult| 57 45)
              (|Mapping| 469 15 454 469)
              (|PatternMatchPolynomialCategory| 57 383 15 6 45)
              (2064 . |patternMatch|) (|PatternMatchKernel| (|Float|) $$)
              (2072 . |patternMatch|) (|PatternMatchResult| (|Float|) 45)
              (|Mapping| 475 15 460 475)
              (|PatternMatchPolynomialCategory| (|Float|) 383 15 6 45)
              (2079 . |patternMatch|) (2087 . |coerce|) (2092 . |coerce|)
              (|Record| (|:| |gen| 15) (|:| |exp| 57)) (|List| 481)
              (2097 . |terms|) (2102 . |zero?|) (2107 . |constantKernel|)
              (2112 . |retract|) (|OutputForm|) (2117 . |coerce|)
              (2122 . |coerce|) (2127 . |eval|) (2134 . |map|)
              (|Mapping| $$ 15) (|ListToMap| 15 $$) (2140 . |match|)
              (2148 . |subst|) (2155 . |kernel|) (2161 . *)
              (|Union| 298 '#2="failed") (2167 . |isPlus|) (2172 . |first|)
              (|Record| (|:| |coef| 57) (|:| |var| 12)) (|Union| 501 '#2#)
              (2177 . |isMult|) (2182 . |retractIfCan|) (|Matrix| 57)
              (|Record| (|:| |mat| 505) (|:| |vec| (|Vector| 57)))
              (|Union| $ '"failed")
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|Record| (|:| |coef| 298) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 512 '"failed") (|Factored| $) (|Union| 107 '#1#)
              (|Fraction| 518) (|Fraction| 141) (|Polynomial| 519)
              (|Fraction| 6) (|Polynomial| $) (|Union| 57 '#1#)
              (|Union| 105 '#1#) (|List| 35) (|Mapping| $ 298) (|List| 524)
              (|Record| (|:| |val| $) (|:| |exponent| 57)) (|Union| 526 '#2#)
              (|Record| (|:| |var| 12) (|:| |exponent| 57)) (|Union| 528 '#2#)
              (|Union| 27 '#1#) (|Equation| $) (|SingleInteger|) (|String|))
           '#(~= 2187 |zerosOf| 2193 |zeroOf| 2220 |zero?| 2247 |whittakerW|
              2252 |whittakerM| 2259 |weierstrassZeta| 2266 |weierstrassSigma|
              2273 |weierstrassPPrime| 2280 |weierstrassP| 2287 |weberE| 2294
              |variables| 2300 |univariate| 2305 |unitNormal| 2311
              |unitCanonical| 2316 |unit?| 2321 |tower| 2326 |tanh| 2331 |tan|
              2336 |summation| 2341 |subtractIfCan| 2353 |subst| 2359 |struveL|
              2378 |struveH| 2384 |squareFreePolynomial| 2390 |squareFreePart|
              2395 |squareFree| 2400 |sqrt| 2405 |smaller?| 2410 |sizeLess?|
              2416 |sinh| 2422 |sin| 2427 |simplifyPower| 2432 |sech| 2438
              |sec| 2443 |sample| 2448 |rootsOf| 2452 |rootOf| 2479
              |riemannZeta| 2506 |retractIfCan| 2511 |retract| 2551 |rem| 2591
              |reducedSystem| 2597 |reduce| 2619 |recip| 2624 |quo| 2629
              |product| 2635 |principalIdeal| 2647 |prime?| 2652 |polylog| 2657
              |polygamma| 2663 |pi| 2669 |permutation| 2673 |patternMatch| 2679
              |paren| 2693 |operators| 2703 |operator| 2708 |one?| 2713 |odd?|
              2718 |numerator| 2723 |numer| 2728 |number?| 2733 |nthRoot| 2738
              |multiEuclidean| 2744 |minPoly| 2750 |meijerG| 2755 |map| 2764
              |mainKernel| 2770 |lommelS2| 2775 |lommelS1| 2782 |log| 2789 |li|
              2794 |lerchPhi| 2799 |legendreQ| 2806 |legendreP| 2813 |lcm| 2820
              |latex| 2831 |lambertW| 2836 |kummerU| 2841 |kummerM| 2848
              |kernels| 2855 |kernel| 2860 |kelvinKer| 2872 |kelvinKei| 2878
              |kelvinBer| 2884 |kelvinBei| 2890 |jacobiTheta| 2896 |jacobiSn|
              2902 |jacobiDn| 2908 |jacobiCn| 2914 |isTimes| 2920 |isPower|
              2925 |isPlus| 2930 |isMult| 2935 |isExpt| 2940 |is?| 2957 |inv|
              2969 |integral| 2974 |hypergeometricF| 2986 |height| 2993 |hash|
              2998 |hankelH2| 3003 |hankelH1| 3009 |ground?| 3015 |ground| 3020
              |gcdPolynomial| 3025 |gcd| 3031 |fresnelS| 3042 |fresnelC| 3047
              |freeOf?| 3052 |factorials| 3064 |factorial| 3075
              |factorPolynomial| 3080 |factor| 3085 |extendedEuclidean| 3090
              |exquo| 3103 |expressIdealMember| 3109 |exp| 3115 |even?| 3120
              |eval| 3125 |euclideanSize| 3286 |erf| 3291 |elt| 3296
              |ellipticPi| 3392 |ellipticK| 3399 |ellipticF| 3404 |ellipticE|
              3410 |divide| 3421 |distribute| 3427 |dilog| 3438 |digamma| 3443
              |differentiate| 3448 |denominator| 3474 |denom| 3479
              |definingPolynomial| 3484 |csch| 3489 |csc| 3494 |coth| 3499
              |cot| 3504 |cosh| 3509 |cos| 3514 |convert| 3519 |conjugate| 3539
              |commutator| 3545 |coerce| 3551 |charthRoot| 3621
              |characteristic| 3626 |box| 3630 |binomial| 3640 |besselY| 3646
              |besselK| 3652 |besselJ| 3658 |besselI| 3664 |belong?| 3670
              |atanh| 3675 |atan| 3680 |associates?| 3685 |asinh| 3691 |asin|
              3696 |asech| 3701 |asec| 3706 |applyQuote| 3711 |angerJ| 3747
              |airyBiPrime| 3753 |airyBi| 3758 |airyAiPrime| 3763 |airyAi| 3768
              |acsch| 3773 |acsc| 3778 |acoth| 3783 |acot| 3788 |acosh| 3793
              |acos| 3798 |abs| 3803 ^ 3808 |Zero| 3838 |Si| 3842 |One| 3847
              |Gamma| 3851 |Ei| 3862 D 3867 |Ci| 3893 |Beta| 3898 = 3904 / 3910
              - 3922 + 3933 * 3939)
           'NIL
           (CONS
            (|makeByteWordVec2| 42
                                '(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 32 2 8 32 0 0 2 38
                                  35 0 38 12 13 1 35 0 0 0 0 1 1 0 0 0 0 0 0 0
                                  0 42 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| 388) (|Algebra| 6)
                 (|FullyLinearlyExplicitRingOver| 6) (|Module| $$)
                 (|EntireRing|) (|Module| 388) (|Module| 6)
                 (|CharacteristicNonZero|) (|CharacteristicZero|)
                 (|LinearlyExplicitRingOver| 6) (|LinearlyExplicitRingOver| 57)
                 (|PartialDifferentialRing| 27) (|CommutativeRing|)
                 (|BiModule| $$ $$) (|BiModule| 388 388) (|BiModule| 6 6)
                 (|Ring|) (|RightModule| $$) (|LeftModule| $$)
                 (|LeftModule| 388) (|RightModule| 388) (|LeftModule| 6)
                 (|RightModule| 6) (|Rng|) (|AbelianGroup|) (|SemiRing|)
                 (|Group|) (|CancellationAbelianMonoid|) (|ExpressionSpace|)
                 (|FullyPatternMatchable| 6) (|SemiRng|) (|Monoid|)
                 (|AbelianMonoid|) (|Comparable|) (|SemiGroup|)
                 (|PatternMatchable| (|Float|)) (|PatternMatchable| 57)
                 (|LiouvillianFunctionCategory|) (|AbelianSemiGroup|)
                 (|SetCategory|) (|FullyRetractableTo| 6) (|Patternable| 6)
                 (|Evalable| $$) (|TranscendentalFunctionCategory|)
                 (|CombinatorialOpsCategory|) (|BasicType|) (|RetractableTo| 6)
                 (|Type|) (|RetractableTo| 27) (|InnerEvalable| $$ $$)
                 (|InnerEvalable| 15 $$) (|RetractableTo| 15)
                 (|CoercibleTo| 487) (|RetractableTo| 388)
                 (|RetractableTo| (|Fraction| (|Polynomial| 6)))
                 (|CommutativeStar|) (|noZeroDivisors|) (|unitsKnown|)
                 (|canonicalUnitNormal|) (|canonicalsClosed|)
                 (|RetractableTo| (|Polynomial| 6)) (|ConvertibleTo| 430)
                 (|RetractableTo| 57) (|ConvertibleTo| 460)
                 (|ConvertibleTo| 454) (|RetractableTo| 386)
                 (|SpecialFunctionCategory|) (|PrimitiveFunctionCategory|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|)
                 (|CombinatorialFunctionCategory|) (|RadicalCategory|))
              (|makeByteWordVec2| 533
                                  '(1 0 12 0 13 1 16 14 15 17 1 0 18 0 19 1 20
                                    9 10 21 1 20 10 10 22 1 23 9 10 24 1 23 10
                                    10 25 1 10 9 0 26 2 10 9 0 27 28 1 10 27 0
                                    29 1 15 0 27 30 1 15 10 0 31 1 10 32 0 33 1
                                    10 0 27 34 2 10 0 27 35 36 1 0 10 10 37 1
                                    39 38 0 40 3 43 41 39 38 42 44 0 45 0 46 0
                                    0 0 47 0 45 0 48 0 0 0 49 0 6 0 50 2 45 9 0
                                    0 51 1 0 9 0 52 1 45 9 0 53 1 0 9 0 54 1 45
                                    0 0 55 1 0 0 0 56 2 45 0 57 0 58 2 0 0 57 0
                                    59 1 45 0 57 60 1 0 0 57 61 2 45 0 0 0 62 2
                                    0 0 0 0 63 2 45 0 0 0 64 2 0 0 0 0 65 2 45
                                    0 0 0 66 2 0 0 0 0 67 2 45 0 0 0 68 2 0 0 0
                                    0 69 1 0 9 0 70 1 0 71 0 72 1 0 9 0 73 1 0
                                    74 0 75 2 0 9 0 27 76 1 42 15 0 77 1 15 78
                                    0 79 1 78 35 0 80 2 78 2 0 57 81 2 45 0 0
                                    57 82 2 0 0 0 0 83 1 78 2 0 84 1 78 2 0 85
                                    2 0 0 0 57 86 0 6 0 87 1 0 0 0 88 1 0 0 0
                                    89 2 0 0 0 35 90 0 41 0 91 2 0 0 0 57 92 2
                                    0 0 0 93 94 2 45 9 0 0 95 2 0 9 0 0 96 2 0
                                    9 0 0 97 1 45 41 0 98 1 0 99 0 100 1 45 41
                                    0 101 1 0 99 0 102 1 0 0 99 104 1 0 0 105
                                    106 1 107 105 0 108 1 107 105 0 109 1 0 0
                                    107 110 1 0 0 0 111 2 42 0 112 0 113 2 114
                                    2 2 42 115 2 45 0 41 41 116 1 41 42 0 117 2
                                    0 0 99 99 118 2 120 0 119 0 121 1 45 122
                                    123 124 1 41 125 123 126 1 0 125 123 127 2
                                    128 0 119 0 129 2 45 130 123 131 132 2 41
                                    133 123 131 134 2 0 133 123 131 135 2 42 9
                                    15 0 136 2 42 0 15 0 137 2 139 2 138 27 140
                                    2 0 0 141 27 142 0 143 2 144 0 0 0 145 1
                                    143 2 2 146 1 0 0 0 147 1 143 2 2 148 1 0 0
                                    0 149 1 143 2 2 150 1 0 0 0 151 1 143 2 2
                                    152 1 0 0 0 153 1 143 2 2 154 1 0 0 0 155 1
                                    143 2 2 156 1 0 0 0 157 1 143 2 2 158 1 0 0
                                    0 159 1 143 2 2 160 1 0 0 0 161 1 143 2 2
                                    162 1 0 0 0 163 1 143 2 2 164 1 0 0 0 165 1
                                    143 2 2 166 1 0 0 0 167 1 143 2 2 168 1 0 0
                                    0 169 1 143 2 2 170 1 0 0 0 171 1 143 2 2
                                    172 1 0 0 0 173 1 143 2 2 174 1 0 0 0 175 1
                                    143 2 2 176 1 0 0 0 177 1 143 2 2 178 1 0 0
                                    0 179 1 143 2 2 180 1 0 0 0 181 1 143 2 2
                                    182 1 0 0 0 183 1 143 2 2 184 1 0 0 0 185 1
                                    143 2 2 186 1 0 0 0 187 1 143 2 2 188 1 0 0
                                    0 189 1 143 2 2 190 1 0 0 0 191 1 143 2 2
                                    192 1 0 0 0 193 1 143 2 2 194 1 0 0 0 195 1
                                    143 2 2 196 1 0 0 0 197 1 198 2 2 199 1 0 0
                                    0 200 1 198 2 2 201 1 0 0 0 202 2 198 2 2 2
                                    203 2 0 0 0 0 204 2 198 2 2 2 205 2 0 0 0 0
                                    206 1 198 2 2 207 1 0 0 0 208 2 198 2 2 2
                                    209 2 0 0 0 0 210 2 198 2 2 2 211 2 0 0 0 0
                                    212 2 198 2 2 2 213 2 0 0 0 0 214 2 198 2 2
                                    2 215 2 0 0 0 0 216 2 198 2 2 2 217 2 0 0 0
                                    0 218 1 198 2 2 219 1 0 0 0 220 1 198 2 2
                                    221 1 0 0 0 222 1 198 2 2 223 1 0 0 0 224 1
                                    198 2 2 225 1 0 0 0 226 1 198 2 2 227 1 0 0
                                    0 228 2 198 2 2 2 229 2 0 0 0 0 230 3 198 2
                                    2 2 2 231 3 0 0 0 0 0 232 3 198 2 2 2 2 233
                                    3 0 0 0 0 0 234 3 198 2 2 2 2 235 3 0 0 0 0
                                    0 236 3 198 2 2 2 2 237 3 0 0 0 0 0 238 3
                                    198 2 2 2 2 239 3 0 0 0 0 0 240 3 198 2 2 2
                                    2 241 3 0 0 0 0 0 242 2 198 2 2 2 243 2 0 0
                                    0 0 244 2 198 2 2 2 245 2 0 0 0 0 246 2 198
                                    2 2 2 247 2 0 0 0 0 248 2 198 2 2 2 249 2 0
                                    0 0 0 250 2 198 2 2 2 251 2 0 0 0 0 252 2
                                    198 2 2 2 253 2 0 0 0 0 254 3 198 2 2 2 2
                                    255 3 0 0 0 0 0 256 3 198 2 2 2 2 257 3 0 0
                                    0 0 0 258 3 198 2 2 2 2 259 3 0 0 0 0 0 260
                                    3 198 2 2 2 2 261 3 0 0 0 0 0 262 3 198 2 2
                                    2 2 263 3 0 0 0 0 0 264 3 198 2 2 2 2 265 3
                                    0 0 0 0 0 266 2 198 2 2 2 267 2 0 0 0 0 268
                                    2 198 2 2 2 269 2 0 0 0 0 270 2 198 2 2 2
                                    271 2 0 0 0 0 272 2 198 2 2 2 273 2 0 0 0 0
                                    274 1 198 2 2 275 1 0 0 0 276 1 198 2 2 277
                                    1 0 0 0 278 2 198 2 2 2 279 2 0 0 0 0 280 2
                                    198 2 2 2 281 2 0 0 0 0 282 3 198 2 2 2 2
                                    283 3 0 0 0 0 0 284 2 198 2 2 2 285 2 0 0 0
                                    0 286 2 198 2 2 2 287 2 0 0 0 0 288 2 198 2
                                    2 2 289 2 0 0 0 0 290 2 198 2 2 2 291 2 0 0
                                    0 0 292 3 198 2 2 2 2 293 3 0 0 0 0 0 294 1
                                    198 2 2 295 1 0 0 0 296 3 198 2 78 78 2 297
                                    3 0 0 298 298 0 299 5 198 2 78 78 78 78 2
                                    300 5 0 0 298 298 298 298 0 301 2 302 2 2 2
                                    303 1 302 2 2 304 1 0 0 0 305 2 302 2 2 2
                                    306 2 0 0 0 0 307 2 302 2 2 2 308 2 0 0 0 0
                                    309 1 302 2 2 310 1 0 0 0 311 2 302 2 2 27
                                    312 2 0 0 0 27 313 2 302 2 2 27 314 2 0 0 0
                                    27 315 2 302 2 2 316 317 2 0 0 0 318 319 2
                                    302 2 2 27 320 2 0 0 0 27 321 2 302 2 2 316
                                    322 2 0 0 0 318 323 1 324 2 2 325 1 0 0 0
                                    326 1 324 2 2 327 1 0 0 0 328 1 324 2 2 329
                                    1 0 0 0 330 1 324 2 2 331 1 0 0 0 332 1 324
                                    2 2 333 1 0 0 0 334 1 324 2 2 335 1 0 0 0
                                    336 1 324 2 2 337 1 0 0 0 338 1 324 2 2 339
                                    1 0 0 0 340 2 324 2 2 27 341 2 0 0 0 27 342
                                    2 324 2 2 316 343 2 0 0 0 318 344 1 139 9
                                    10 345 1 139 10 10 346 1 143 9 10 347 1 143
                                    10 10 348 1 302 9 10 349 1 302 10 10 350 1
                                    324 9 10 351 1 324 10 10 352 1 198 9 10 353
                                    1 198 10 10 354 1 0 141 12 355 1 356 0 41
                                    357 2 359 358 356 15 360 1 358 361 0 362 2
                                    41 35 0 15 363 1 138 35 0 364 2 138 0 0 0
                                    365 1 41 0 15 366 2 361 356 0 356 367 0 138
                                    0 368 2 138 9 0 0 369 1 138 2 0 370 1 138 0
                                    0 371 2 45 141 141 141 372 2 373 141 141
                                    141 374 2 0 141 141 141 375 1 377 376 361
                                    378 1 0 379 141 380 1 377 376 361 381 1 0
                                    379 141 382 0 383 0 384 2 41 0 6 383 385 1
                                    0 0 386 387 2 139 2 2 388 389 2 0 0 0 388
                                    390 1 139 138 15 391 1 139 2 2 392 1 0 0 0
                                    393 1 45 388 0 394 1 0 388 0 395 1 45 71 0
                                    396 1 386 397 0 398 1 386 397 0 399 2 402 2
                                    400 401 403 3 407 2 404 405 406 408 2 386 0
                                    0 0 409 1 0 410 0 411 1 0 0 6 412 1 386 0
                                    388 413 1 386 9 10 414 1 386 10 10 415 2
                                    386 0 10 298 416 1 41 417 0 418 1 41 6 0
                                    419 2 41 141 0 15 420 0 386 0 421 1 422 9 0
                                    423 1 422 41 0 424 1 422 35 0 425 2 386 0 0
                                    35 426 2 386 0 0 0 427 2 386 0 0 0 428 1
                                    422 0 0 429 1 45 430 0 431 1 0 430 0 432 4
                                    0 0 0 433 298 27 434 4 0 0 0 10 0 27 435 1
                                    0 38 0 436 1 38 0 298 437 1 38 0 0 438 1 27
                                    9 0 439 2 38 0 440 0 441 2 442 119 2 27 443
                                    3 0 0 0 433 445 446 0 27 0 447 1 0 0 27 448
                                    2 449 0 2 2 450 2 0 0 0 451 452 3 455 453 2
                                    454 453 456 3 0 457 0 454 457 458 3 461 459
                                    2 460 459 462 3 0 463 0 460 463 464 1 45
                                    125 123 465 2 45 133 123 131 466 3 467 453
                                    15 454 453 468 4 471 469 45 454 469 470 472
                                    3 473 459 15 460 459 474 4 477 475 45 460
                                    475 476 478 1 45 0 15 479 1 0 0 12 480 1 45
                                    482 0 483 1 6 9 0 484 1 16 15 6 485 1 0 6 0
                                    486 1 45 487 0 488 1 0 487 0 489 3 0 0 0 74
                                    298 490 2 0 0 444 12 491 4 493 2 42 78 15
                                    492 494 3 0 0 0 74 298 495 2 0 0 10 298 496
                                    2 45 0 57 15 497 1 0 498 0 499 1 482 481 0
                                    500 1 0 502 0 503 1 0 14 0 504 2 0 9 0 0 1
                                    2 1 298 0 27 1 1 1 298 0 1 1 1 298 141 1 2
                                    1 298 141 27 1 1 1 298 520 1 2 1 0 0 27 1 1
                                    1 0 0 1 2 1 0 141 27 1 1 1 0 141 1 1 1 0
                                    520 1 1 36 9 0 54 3 1 0 0 0 0 242 3 1 0 0 0
                                    0 240 3 1 0 0 0 0 238 3 1 0 0 0 0 236 3 1 0
                                    0 0 0 234 3 1 0 0 0 0 232 2 1 0 0 0 246 1 0
                                    38 0 436 2 1 517 0 12 1 1 1 508 0 1 1 1 0 0
                                    1 1 1 9 0 1 1 0 74 0 1 1 1 0 0 179 1 1 0 0
                                    155 2 1 0 0 27 315 2 1 0 0 318 319 2 33 507
                                    0 0 1 3 0 0 0 74 298 495 2 0 0 0 531 1 2 0
                                    0 0 451 452 2 1 0 0 0 250 2 1 0 0 0 248 1
                                    18 379 141 382 1 1 0 0 1 1 1 514 0 1 1 1 0
                                    0 1 2 0 9 0 0 96 2 1 9 0 0 1 1 1 0 0 175 1
                                    1 0 0 151 2 1 0 0 57 86 1 1 0 0 183 1 1 0 0
                                    159 0 40 0 1 2 1 298 0 27 1 1 1 298 0 1 2 1
                                    298 141 27 1 1 1 298 520 1 1 1 298 141 1 2
                                    1 0 0 27 1 1 1 0 0 1 1 1 0 141 1 2 1 0 141
                                    27 142 1 1 0 520 1 1 1 0 0 296 1 16 410 0
                                    411 1 42 71 0 72 1 1 515 0 1 1 11 521 0 1 1
                                    2 522 0 1 1 0 14 0 504 1 0 530 0 1 1 0 18 0
                                    19 1 16 386 0 1 1 42 388 0 395 1 1 107 0 1
                                    1 11 57 0 1 1 2 105 0 1 1 0 6 0 486 1 0 27
                                    0 1 1 0 12 0 13 2 1 0 0 0 1 1 30 505 123 1
                                    2 30 506 123 131 1 1 2 125 123 127 2 2 133
                                    123 131 135 1 1 0 0 111 1 39 507 0 1 2 1 0
                                    0 0 1 2 1 0 0 318 323 2 1 0 0 27 321 1 1
                                    509 298 1 1 1 9 0 1 2 1 0 0 0 230 2 1 0 0 0
                                    210 0 1 0 145 2 1 0 0 0 309 3 12 463 0 460
                                    463 464 3 13 457 0 454 457 458 1 0 0 0 1 1
                                    0 0 298 1 1 0 433 0 1 1 0 10 10 37 1 39 9 0
                                    52 1 46 9 0 1 1 2 0 0 88 1 2 99 0 100 1 1 9
                                    0 73 2 1 0 0 57 1 2 1 498 298 0 1 1 45 141
                                    12 355 5 47 0 298 298 298 298 0 301 2 0 0
                                    444 12 491 1 0 18 0 1 3 1 0 0 0 0 258 3 1 0
                                    0 0 0 256 1 1 0 0 149 1 1 0 0 334 3 1 0 0 0
                                    0 294 3 1 0 0 0 0 266 3 1 0 0 0 0 264 2 1 0
                                    0 0 1 1 1 0 298 1 1 0 533 0 1 1 1 0 0 228 3
                                    1 0 0 0 0 262 3 1 0 0 0 0 260 1 0 74 0 75 2
                                    0 0 10 298 496 2 0 0 10 0 1 2 1 0 0 0 274 2
                                    1 0 0 0 272 2 1 0 0 0 270 2 1 0 0 0 268 2 1
                                    0 0 0 292 2 1 0 0 0 286 2 1 0 0 0 290 2 1 0
                                    0 0 288 1 37 498 0 1 1 2 527 0 1 1 34 498 0
                                    499 1 34 502 0 503 2 2 529 0 10 1 2 2 529 0
                                    27 1 1 37 529 0 1 2 0 9 0 27 76 2 0 9 0 10
                                    1 1 19 0 0 1 2 1 0 0 27 342 2 1 0 0 318 344
                                    3 47 0 298 298 0 299 1 0 35 0 1 1 0 532 0 1
                                    2 1 0 0 0 254 2 1 0 0 0 252 1 0 9 0 70 1 0
                                    6 0 1 2 1 141 141 141 375 1 1 0 298 1 2 1 0
                                    0 0 1 1 1 0 0 338 1 1 0 0 340 2 0 9 0 27 1
                                    2 0 9 0 0 1 1 1 0 0 311 2 1 0 0 27 313 1 1
                                    0 0 305 1 18 379 141 380 1 1 514 0 1 2 1
                                    511 0 0 1 3 1 513 0 0 0 1 2 1 507 0 0 1 2 1
                                    498 298 0 1 1 1 0 0 147 1 46 9 0 1 4 10 0 0
                                    433 298 27 434 1 10 0 0 1 4 10 0 0 10 0 27
                                    435 2 10 0 0 27 1 2 10 0 0 38 1 4 2 0 0 27
                                    35 524 1 4 2 0 0 27 35 444 1 4 2 0 0 38 523
                                    445 1 4 2 0 0 38 523 525 1 3 0 0 0 10 524 1
                                    3 0 0 0 10 444 1 3 0 0 0 433 445 446 3 0 0
                                    0 433 525 1 3 0 0 0 27 444 1 3 0 0 0 38 525
                                    1 3 0 0 0 27 524 1 3 0 0 0 38 445 1 3 0 0 0
                                    0 0 1 3 0 0 0 298 298 1 2 0 0 0 531 1 3 0 0
                                    0 74 298 490 2 0 0 0 451 1 3 0 0 0 12 0 1 1
                                    1 35 0 1 1 1 0 0 326 10 0 0 10 0 0 0 0 0 0
                                    0 0 0 1 2 0 0 10 298 1 9 0 0 10 0 0 0 0 0 0
                                    0 0 1 7 0 0 10 0 0 0 0 0 0 1 8 0 0 10 0 0 0
                                    0 0 0 0 1 5 0 0 10 0 0 0 0 1 6 0 0 10 0 0 0
                                    0 0 1 4 0 0 10 0 0 0 1 2 0 0 10 0 1 3 0 0
                                    10 0 0 1 3 1 0 0 0 0 284 1 1 0 0 276 2 1 0
                                    0 0 282 2 1 0 0 0 280 1 1 0 0 278 2 1 510 0
                                    0 1 2 0 0 0 0 1 1 0 0 0 1 1 1 0 0 336 1 1 0
                                    0 208 2 2 0 0 38 1 2 2 0 0 27 1 3 2 0 0 38
                                    523 1 3 2 0 0 27 35 1 1 1 0 0 89 1 1 99 0
                                    102 1 45 0 0 393 1 1 0 0 185 1 1 0 0 161 1
                                    1 0 0 181 1 1 0 0 157 1 1 0 0 177 1 1 0 0
                                    153 1 10 430 0 432 1 14 460 0 1 1 15 454 0
                                    1 1 1 0 514 1 2 8 0 0 0 1 2 8 0 0 0 1 1 16
                                    0 386 387 1 43 0 388 1 1 20 0 57 61 1 1 0 0
                                    1 1 1 0 107 110 1 1 0 516 1 1 1 0 518 1 1 1
                                    0 519 1 1 2 0 105 106 1 2 0 99 104 1 0 0 6
                                    412 1 0 0 27 448 1 0 0 12 480 1 0 487 0 489
                                    1 5 507 0 1 0 3 35 1 1 0 0 0 1 1 0 0 298 1
                                    2 1 0 0 0 307 2 1 0 0 0 214 2 1 0 0 0 218 2
                                    1 0 0 0 212 2 1 0 0 0 216 1 0 9 10 11 1 1 0
                                    0 191 1 1 0 0 167 2 1 9 0 0 1 1 1 0 0 187 1
                                    1 0 0 163 1 1 0 0 195 1 1 0 0 171 2 0 0 27
                                    298 1 4 0 0 27 0 0 0 1 5 0 0 27 0 0 0 0 1 3
                                    0 0 27 0 0 1 2 0 0 27 0 1 2 1 0 0 0 244 1 1
                                    0 0 226 1 1 0 0 224 1 1 0 0 222 1 1 0 0 220
                                    1 1 0 0 197 1 1 0 0 173 1 1 0 0 193 1 1 0 0
                                    169 1 1 0 0 189 1 1 0 0 165 1 1 0 0 200 2
                                    19 0 0 57 92 2 39 0 0 93 94 2 39 0 0 35 90
                                    2 1 0 0 0 83 2 1 0 0 388 390 0 36 0 47 1 1
                                    0 0 330 0 39 0 49 1 1 0 0 202 2 1 0 0 0 204
                                    1 1 0 0 328 2 2 0 0 38 1 2 2 0 0 27 1 3 2 0
                                    0 27 35 1 3 2 0 0 38 523 1 1 1 0 0 332 2 1
                                    0 0 0 206 2 0 9 0 0 97 2 19 0 0 0 69 2 1 0
                                    99 99 118 2 33 0 0 0 67 1 33 0 0 56 2 36 0
                                    0 0 65 2 33 0 57 0 59 2 36 0 93 0 1 2 36 0
                                    35 0 1 2 39 0 0 0 63 2 4 0 0 6 1 2 4 0 6 0
                                    1 2 1 0 0 388 1 2 1 0 388 0 1)))))
           '|lookupComplete|)) 
