
(/VERSIONCHECK 2) 

(DEFUN |EQ;factorAndSplit;$L;1| (|eq| $)
  (PROG (|eq0| #0=#:G1825 |rcf| #1=#:G1826)
    (RETURN
      (SEQ (COND
             ((|HasSignature| (QREFELT $ 6)
                  (LIST '|factor|
                        (LIST (LIST '|Factored|
                                    (|devaluate| (QREFELT $ 6)))
                              (|devaluate| (QREFELT $ 6)))))
              (SEQ (LETT |eq0| (SPADCALL |eq| (QREFELT $ 8))
                         . #2=(|EQ;factorAndSplit;$L;1|))
                   (EXIT (PROGN
                           (LETT #0# NIL . #2#)
                           (SEQ (LETT |rcf| NIL . #2#)
                                (LETT #1#
                                      (SPADCALL
                                       (SPADCALL
                                        (SPADCALL |eq0| (QREFELT $ 9))
                                        (QREFELT $ 11))
                                       (QREFELT $ 15)) . #2#)
                                G190
                                (COND
                                  ((OR (ATOM #1#)
                                    (PROGN
                                      (LETT |rcf| (CAR #1#) . #2#)
                                      NIL))
                                   (GO G191)))
                                (SEQ (EXIT
                                      (LETT #0#
                                       (CONS
                                        (SPADCALL (QCAR |rcf|)
                                         (|spadConstant| $ 16)
                                         (QREFELT $ 17))
                                        #0#) . #2#)))
                                (LETT #1# (CDR #1#) . #2#) (GO G190)
                                G191 (EXIT (NREVERSE0 #0#)))))))
             ('T (LIST |eq|))))))) 

(PUT '|EQ;=;2S$;2| '|SPADreplace| 'CONS) 

(DEFUN |EQ;=;2S$;2| (|l| |r| $) (CONS |l| |r|)) 

(PUT '|EQ;equation;2S$;3| '|SPADreplace| 'CONS) 

(DEFUN |EQ;equation;2S$;3| (|l| |r| $) (CONS |l| |r|)) 

(PUT '|EQ;lhs;$S;4| '|SPADreplace| 'QCAR) 

(DEFUN |EQ;lhs;$S;4| (|eqn| $) (QCAR |eqn|)) 

(PUT '|EQ;rhs;$S;5| '|SPADreplace| 'QCDR) 

(DEFUN |EQ;rhs;$S;5| (|eqn| $) (QCDR |eqn|)) 

(DEFUN |EQ;swap;2$;6| (|eqn| $)
  (CONS (SPADCALL |eqn| (QREFELT $ 21)) (SPADCALL |eqn| (QREFELT $ 9)))) 

(DEFUN |EQ;map;M2$;7| (|fn| |eqn| $)
  (SPADCALL (SPADCALL (QCAR |eqn|) |fn|) (SPADCALL (QCDR |eqn|) |fn|)
            (QREFELT $ 17))) 

(DEFUN |EQ;eval;$SS$;8| (|eqn| |s| |x| $)
  (SPADCALL (SPADCALL (QCAR |eqn|) |s| |x| (QREFELT $ 26))
      (SPADCALL (QCDR |eqn|) |s| |x| (QREFELT $ 26)) (QREFELT $ 20))) 

(DEFUN |EQ;eval;$LL$;9| (|eqn| |ls| |lx| $)
  (SPADCALL (SPADCALL (QCAR |eqn|) |ls| |lx| (QREFELT $ 30))
      (SPADCALL (QCDR |eqn|) |ls| |lx| (QREFELT $ 30)) (QREFELT $ 20))) 

(DEFUN |EQ;eval;3$;10| (|eqn1| |eqn2| $)
  (SPADCALL (SPADCALL (QCAR |eqn1|) |eqn2| (QREFELT $ 33))
      (SPADCALL (QCDR |eqn1|) |eqn2| (QREFELT $ 33)) (QREFELT $ 20))) 

(DEFUN |EQ;eval;$L$;11| (|eqn1| |leqn2| $)
  (SPADCALL (SPADCALL (QCAR |eqn1|) |leqn2| (QREFELT $ 36))
      (SPADCALL (QCDR |eqn1|) |leqn2| (QREFELT $ 36)) (QREFELT $ 20))) 

(DEFUN |EQ;=;2$B;12| (|eq1| |eq2| $)
  (COND
    ((SPADCALL (QCAR |eq1|) (QCAR |eq2|) (QREFELT $ 39))
     (SPADCALL (QCDR |eq1|) (QCDR |eq2|) (QREFELT $ 39)))
    ('T 'NIL))) 

(DEFUN |EQ;coerce;$Of;13| (|eqn| $)
  (SPADCALL (SPADCALL (QCAR |eqn|) (QREFELT $ 42))
      (SPADCALL (QCDR |eqn|) (QREFELT $ 42)) (QREFELT $ 43))) 

(DEFUN |EQ;coerce;$B;14| (|eqn| $)
  (SPADCALL (QCAR |eqn|) (QCDR |eqn|) (QREFELT $ 39))) 

(DEFUN |EQ;+;3$;15| (|eq1| |eq2| $)
  (SPADCALL (SPADCALL (QCAR |eq1|) (QCAR |eq2|) (QREFELT $ 46))
      (SPADCALL (QCDR |eq1|) (QCDR |eq2|) (QREFELT $ 46))
      (QREFELT $ 20))) 

(DEFUN |EQ;+;S2$;16| (|s| |eq2| $)
  (SPADCALL (CONS |s| |s|) |eq2| (QREFELT $ 47))) 

(DEFUN |EQ;+;$S$;17| (|eq1| |s| $)
  (SPADCALL |eq1| (CONS |s| |s|) (QREFELT $ 47))) 

(DEFUN |EQ;-;2$;18| (|eq| $)
  (SPADCALL (SPADCALL (SPADCALL |eq| (QREFELT $ 9)) (QREFELT $ 50))
      (SPADCALL (SPADCALL |eq| (QREFELT $ 21)) (QREFELT $ 50))
      (QREFELT $ 20))) 

(DEFUN |EQ;-;S2$;19| (|s| |eq2| $)
  (SPADCALL (CONS |s| |s|) |eq2| (QREFELT $ 52))) 

(DEFUN |EQ;-;$S$;20| (|eq1| |s| $)
  (SPADCALL |eq1| (CONS |s| |s|) (QREFELT $ 52))) 

(DEFUN |EQ;leftZero;2$;21| (|eq| $)
  (SPADCALL (|spadConstant| $ 16)
      (SPADCALL (SPADCALL |eq| (QREFELT $ 21))
          (SPADCALL |eq| (QREFELT $ 9)) (QREFELT $ 56))
      (QREFELT $ 20))) 

(DEFUN |EQ;rightZero;2$;22| (|eq| $)
  (SPADCALL
      (SPADCALL (SPADCALL |eq| (QREFELT $ 9))
          (SPADCALL |eq| (QREFELT $ 21)) (QREFELT $ 56))
      (|spadConstant| $ 16) (QREFELT $ 20))) 

(DEFUN |EQ;Zero;$;23| ($)
  (SPADCALL (|spadConstant| $ 16) (|spadConstant| $ 16) (QREFELT $ 17))) 

(DEFUN |EQ;-;3$;24| (|eq1| |eq2| $)
  (SPADCALL (SPADCALL (QCAR |eq1|) (QCAR |eq2|) (QREFELT $ 56))
      (SPADCALL (QCDR |eq1|) (QCDR |eq2|) (QREFELT $ 56))
      (QREFELT $ 20))) 

(DEFUN |EQ;*;3$;25| (|eq1| |eq2| $)
  (SPADCALL (SPADCALL (QCAR |eq1|) (QCAR |eq2|) (QREFELT $ 58))
      (SPADCALL (QCDR |eq1|) (QCDR |eq2|) (QREFELT $ 58))
      (QREFELT $ 20))) 

(DEFUN |EQ;*;S2$;26| (|l| |eqn| $)
  (SPADCALL (SPADCALL |l| (QCAR |eqn|) (QREFELT $ 58))
      (SPADCALL |l| (QCDR |eqn|) (QREFELT $ 58)) (QREFELT $ 20))) 

(DEFUN |EQ;*;S2$;27| (|l| |eqn| $)
  (SPADCALL (SPADCALL |l| (QCAR |eqn|) (QREFELT $ 58))
      (SPADCALL |l| (QCDR |eqn|) (QREFELT $ 58)) (QREFELT $ 20))) 

(DEFUN |EQ;*;$S$;28| (|eqn| |l| $)
  (SPADCALL (SPADCALL (QCAR |eqn|) |l| (QREFELT $ 58))
      (SPADCALL (QCDR |eqn|) |l| (QREFELT $ 58)) (QREFELT $ 20))) 

(DEFUN |EQ;One;$;29| ($)
  (SPADCALL (|spadConstant| $ 62) (|spadConstant| $ 62) (QREFELT $ 17))) 

(DEFUN |EQ;recip;$U;30| (|eq| $)
  (PROG (|lh| |rh|)
    (RETURN
      (SEQ (LETT |lh|
                 (SPADCALL (SPADCALL |eq| (QREFELT $ 9))
                     (QREFELT $ 65))
                 . #0=(|EQ;recip;$U;30|))
           (EXIT (COND
                   ((QEQCAR |lh| 1) (CONS 1 "failed"))
                   (#1='T
                    (SEQ (LETT |rh|
                               (SPADCALL (SPADCALL |eq| (QREFELT $ 21))
                                   (QREFELT $ 65)) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |rh| 1) (CONS 1 "failed"))
                                 (#1#
                                  (CONS 0
                                        (CONS (QCDR |lh|) (QCDR |rh|)))))))))))))) 

(DEFUN |EQ;leftOne;$U;31| (|eq| $)
  (PROG (|re|)
    (RETURN
      (SEQ (LETT |re|
                 (SPADCALL (SPADCALL |eq| (QREFELT $ 9))
                     (QREFELT $ 65))
                 |EQ;leftOne;$U;31|)
           (EXIT (COND
                   ((QEQCAR |re| 1) (CONS 1 "failed"))
                   ('T
                    (CONS 0
                          (SPADCALL (|spadConstant| $ 62)
                              (SPADCALL (SPADCALL |eq| (QREFELT $ 21))
                                  (QCDR |re|) (QREFELT $ 58))
                              (QREFELT $ 20)))))))))) 

(DEFUN |EQ;rightOne;$U;32| (|eq| $)
  (PROG (|re|)
    (RETURN
      (SEQ (LETT |re|
                 (SPADCALL (SPADCALL |eq| (QREFELT $ 21))
                     (QREFELT $ 65))
                 |EQ;rightOne;$U;32|)
           (EXIT (COND
                   ((QEQCAR |re| 1) (CONS 1 "failed"))
                   ('T
                    (CONS 0
                          (SPADCALL
                              (SPADCALL (SPADCALL |eq| (QREFELT $ 9))
                                  (QCDR |re|) (QREFELT $ 58))
                              (|spadConstant| $ 62) (QREFELT $ 20)))))))))) 

(DEFUN |EQ;inv;2$;33| (|eq| $)
  (CONS (SPADCALL (SPADCALL |eq| (QREFELT $ 9)) (QREFELT $ 69))
        (SPADCALL (SPADCALL |eq| (QREFELT $ 21)) (QREFELT $ 69)))) 

(DEFUN |EQ;leftOne;$U;34| (|eq| $)
  (CONS 0
        (SPADCALL (|spadConstant| $ 62)
            (SPADCALL (SPADCALL |eq| (QREFELT $ 21))
                (SPADCALL (SPADCALL |eq| (QREFELT $ 21))
                    (QREFELT $ 69))
                (QREFELT $ 58))
            (QREFELT $ 20)))) 

(DEFUN |EQ;rightOne;$U;35| (|eq| $)
  (CONS 0
        (SPADCALL
            (SPADCALL (SPADCALL |eq| (QREFELT $ 9))
                (SPADCALL (SPADCALL |eq| (QREFELT $ 21))
                    (QREFELT $ 69))
                (QREFELT $ 58))
            (|spadConstant| $ 62) (QREFELT $ 20)))) 

(DEFUN |EQ;characteristic;Nni;36| ($) (SPADCALL (QREFELT $ 72))) 

(DEFUN |EQ;*;I2$;37| (|i| |eq| $)
  (SPADCALL (SPADCALL |i| (QREFELT $ 75)) |eq| (QREFELT $ 60))) 

(DEFUN |EQ;factorAndSplit;$L;38| (|eq| $)
  (PROG (#0=#:G1910 #1=#:G1911 |eq0| |p| #2=#:G1912 |rcf| #3=#:G1913)
    (RETURN
      (SEQ (COND
             ((|HasSignature| (QREFELT $ 6)
                  (LIST '|factor|
                        (LIST (LIST '|Factored|
                                    (|devaluate| (QREFELT $ 6)))
                              (|devaluate| (QREFELT $ 6)))))
              (SEQ (LETT |eq0| (SPADCALL |eq| (QREFELT $ 8))
                         . #4=(|EQ;factorAndSplit;$L;38|))
                   (EXIT (PROGN
                           (LETT #0# NIL . #4#)
                           (SEQ (LETT |rcf| NIL . #4#)
                                (LETT #1#
                                      (SPADCALL
                                       (SPADCALL
                                        (SPADCALL |eq0| (QREFELT $ 9))
                                        (QREFELT $ 11))
                                       (QREFELT $ 15)) . #4#)
                                G190
                                (COND
                                  ((OR (ATOM #1#)
                                    (PROGN
                                      (LETT |rcf| (CAR #1#) . #4#)
                                      NIL))
                                   #5=(GO G191)))
                                (SEQ (EXIT
                                      (LETT #0#
                                       (CONS
                                        (SPADCALL (QCAR |rcf|)
                                         (|spadConstant| $ 16)
                                         (QREFELT $ 17))
                                        #0#) . #4#)))
                                (LETT #1# (CDR #1#) . #4#) #6=(GO G190)
                                G191 (EXIT (NREVERSE0 #0#)))))))
             ((EQUAL (QREFELT $ 6) (|Polynomial| (|Integer|)))
              (SEQ (LETT |eq0| (SPADCALL |eq| (QREFELT $ 8)) . #4#)
                   (LETT |p| (SPADCALL |eq0| (QREFELT $ 9)) . #4#)
                   (EXIT (PROGN
                           (LETT #2# NIL . #4#)
                           (SEQ (LETT |rcf| NIL . #4#)
                                (LETT #3#
                                      (SPADCALL
                                       (SPADCALL |p| (QREFELT $ 80))
                                       (QREFELT $ 83)) . #4#)
                                G190
                                (COND
                                  ((OR (ATOM #3#)
                                    (PROGN
                                      (LETT |rcf| (CAR #3#) . #4#)
                                      NIL))
                                   #5#))
                                (SEQ (EXIT
                                      (LETT #2#
                                       (CONS
                                        (SPADCALL (QCAR |rcf|)
                                         (|spadConstant| $ 16)
                                         (QREFELT $ 17))
                                        #2#) . #4#)))
                                (LETT #3# (CDR #3#) . #4#) #6# G191
                                (EXIT (NREVERSE0 #2#)))))))
             ('T (LIST |eq|))))))) 

(DEFUN |EQ;differentiate;$S$;39| (|eq| |sym| $)
  (CONS (SPADCALL (SPADCALL |eq| (QREFELT $ 9)) |sym| (QREFELT $ 84))
        (SPADCALL (SPADCALL |eq| (QREFELT $ 21)) |sym| (QREFELT $ 84)))) 

(DEFUN |EQ;dimension;Cn;40| ($) (SPADCALL 2 (QREFELT $ 87))) 

(DEFUN |EQ;/;3$;41| (|eq1| |eq2| $)
  (SPADCALL (SPADCALL (QCAR |eq1|) (QCAR |eq2|) (QREFELT $ 89))
      (SPADCALL (QCDR |eq1|) (QCDR |eq2|) (QREFELT $ 89))
      (QREFELT $ 20))) 

(DEFUN |EQ;inv;2$;42| (|eq| $)
  (CONS (SPADCALL (SPADCALL |eq| (QREFELT $ 9)) (QREFELT $ 69))
        (SPADCALL (SPADCALL |eq| (QREFELT $ 21)) (QREFELT $ 69)))) 

(DEFUN |EQ;subst;3$;43| (|eq1| |eq2| $)
  (PROG (|eq3|)
    (RETURN
      (SEQ (LETT |eq3| |eq2| |EQ;subst;3$;43|)
           (EXIT (CONS (SPADCALL (SPADCALL |eq1| (QREFELT $ 9)) |eq3|
                           (QREFELT $ 92))
                       (SPADCALL (SPADCALL |eq1| (QREFELT $ 21)) |eq3|
                           (QREFELT $ 92)))))))) 

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

(DEFUN |Equation;| (|#1|)
  (PROG (DV$1 |dv$| $ #0=#:G1922 #1=#:G1921 #2=#:G1920 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #3=(|Equation|))
        (LETT |dv$| (LIST '|Equation| DV$1) . #3#)
        (LETT $ (GETREFV 98) . #3#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1| '(|Field|))
                            (|HasCategory| |#1| '(|SetCategory|))
                            (|HasCategory| |#1| '(|Ring|))
                            (|HasCategory| |#1|
                                '(|PartialDifferentialRing| (|Symbol|)))
                            (OR (|HasCategory| |#1|
                                    '(|PartialDifferentialRing|
                                      (|Symbol|)))
                                (|HasCategory| |#1| '(|Ring|)))
                            (LETT #0#
                                  (|HasCategory| |#1| '(|Group|)) . #3#)
                            (OR #0# (|HasCategory| |#1| '(|Ring|)))
                            (|HasCategory| |#1|
                                (LIST '|InnerEvalable| '(|Symbol|)
                                      (|devaluate| |#1|)))
                            (AND (|HasCategory| |#1| '(|SetCategory|))
                                 (|HasCategory| |#1|
                                     (LIST '|Evalable|
                                      (|devaluate| |#1|))))
                            (|HasCategory| |#1| '(|IntegralDomain|))
                            (|HasCategory| |#1| '(|ExpressionSpace|))
                            (OR (|HasCategory| |#1| '(|Field|)) #0#)
                            (|HasCategory| |#1| '(|AbelianSemiGroup|))
                            (|HasCategory| |#1| '(|AbelianGroup|))
                            (|HasCategory| |#1| '(|SemiGroup|))
                            (LETT #1#
                                  (|HasCategory| |#1| '(|Monoid|)) . #3#)
                            (OR #0# #1#)
                            (OR #0# #1#
                                (|HasCategory| |#1| '(|SemiGroup|)))
                            (OR (|HasCategory| |#1| '(|AbelianGroup|))
                                #1#)
                            (LETT #2#
                                  (|HasCategory| |#1|
                                      '(|CommutativeRing|)) . #3#)
                            (OR #2# (|HasCategory| |#1| '(|Field|))
                                (|HasCategory| |#1| '(|Ring|)))
                            (OR #2# (|HasCategory| |#1| '(|Field|)))
                            (OR (|HasCategory| |#1|
                                    '(|PartialDifferentialRing|
                                      (|Symbol|)))
                                (|HasCategory| |#1| '(|AbelianGroup|))
                                (|HasCategory| |#1|
                                    '(|AbelianSemiGroup|))
                                #2# (|HasCategory| |#1| '(|Field|))
                                (|HasCategory| |#1| '(|Ring|)))
                            (OR (|HasCategory| |#1|
                                    '(|PartialDifferentialRing|
                                      (|Symbol|)))
                                (|HasCategory| |#1| '(|AbelianGroup|))
                                #2# (|HasCategory| |#1| '(|Field|))
                                (|HasCategory| |#1| '(|Ring|)))
                            (OR (|HasCategory| |#1|
                                    '(|PartialDifferentialRing|
                                      (|Symbol|)))
                                (|HasCategory| |#1| '(|AbelianGroup|))
                                (|HasCategory| |#1|
                                    '(|AbelianSemiGroup|))
                                #2# (|HasCategory| |#1| '(|Field|)) #0#
                                #1# (|HasCategory| |#1| '(|Ring|))
                                (|HasCategory| |#1| '(|SemiGroup|))
                                (|HasCategory| |#1| '(|SetCategory|))))) . #3#))
        (|haddProp| |$ConstructorCache| '|Equation| (LIST DV$1)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 (|Record| (|:| |lhs| |#1|) (|:| |rhs| |#1|)))
        (COND
          ((|testBitVector| |pv$| 10)
           (QSETREFV $ 19
               (CONS (|dispatchFunction| |EQ;factorAndSplit;$L;1|) $))))
        (COND
          ((|testBitVector| |pv$| 8)
           (PROGN
             (QSETREFV $ 27
                 (CONS (|dispatchFunction| |EQ;eval;$SS$;8|) $))
             (QSETREFV $ 31
                 (CONS (|dispatchFunction| |EQ;eval;$LL$;9|) $)))))
        (COND
          ((|HasCategory| |#1| (LIST '|Evalable| (|devaluate| |#1|)))
           (PROGN
             (QSETREFV $ 34
                 (CONS (|dispatchFunction| |EQ;eval;3$;10|) $))
             (QSETREFV $ 37
                 (CONS (|dispatchFunction| |EQ;eval;$L$;11|) $)))))
        (COND
          ((|testBitVector| |pv$| 2)
           (PROGN
             (QSETREFV $ 40
                 (CONS (|dispatchFunction| |EQ;=;2$B;12|) $))
             (QSETREFV $ 44
                 (CONS (|dispatchFunction| |EQ;coerce;$Of;13|) $))
             (QSETREFV $ 45
                 (CONS (|dispatchFunction| |EQ;coerce;$B;14|) $)))))
        (COND
          ((|testBitVector| |pv$| 13)
           (PROGN
             (QSETREFV $ 47 (CONS (|dispatchFunction| |EQ;+;3$;15|) $))
             (QSETREFV $ 48
                 (CONS (|dispatchFunction| |EQ;+;S2$;16|) $))
             (QSETREFV $ 49
                 (CONS (|dispatchFunction| |EQ;+;$S$;17|) $)))))
        (COND
          ((|testBitVector| |pv$| 14)
           (PROGN
             (QSETREFV $ 51 (CONS (|dispatchFunction| |EQ;-;2$;18|) $))
             (QSETREFV $ 53
                 (CONS (|dispatchFunction| |EQ;-;S2$;19|) $))
             (QSETREFV $ 54
                 (CONS (|dispatchFunction| |EQ;-;$S$;20|) $))
             (QSETREFV $ 57
                 (CONS (|dispatchFunction| |EQ;leftZero;2$;21|) $))
             (QSETREFV $ 8
                 (CONS (|dispatchFunction| |EQ;rightZero;2$;22|) $))
             (QSETREFV $ 55
                 (CONS IDENTITY
                       (FUNCALL (|dispatchFunction| |EQ;Zero;$;23|) $)))
             (QSETREFV $ 52 (CONS (|dispatchFunction| |EQ;-;3$;24|) $)))))
        (COND
          ((|testBitVector| |pv$| 15)
           (PROGN
             (QSETREFV $ 59 (CONS (|dispatchFunction| |EQ;*;3$;25|) $))
             (QSETREFV $ 60
                 (CONS (|dispatchFunction| |EQ;*;S2$;26|) $))
             (QSETREFV $ 60
                 (CONS (|dispatchFunction| |EQ;*;S2$;27|) $))
             (QSETREFV $ 61
                 (CONS (|dispatchFunction| |EQ;*;$S$;28|) $)))))
        (COND
          ((|testBitVector| |pv$| 16)
           (PROGN
             (QSETREFV $ 63
                 (CONS IDENTITY
                       (FUNCALL (|dispatchFunction| |EQ;One;$;29|) $)))
             (QSETREFV $ 66
                 (CONS (|dispatchFunction| |EQ;recip;$U;30|) $))
             (QSETREFV $ 67
                 (CONS (|dispatchFunction| |EQ;leftOne;$U;31|) $))
             (QSETREFV $ 68
                 (CONS (|dispatchFunction| |EQ;rightOne;$U;32|) $)))))
        (COND
          ((|testBitVector| |pv$| 6)
           (PROGN
             (QSETREFV $ 70
                 (CONS (|dispatchFunction| |EQ;inv;2$;33|) $))
             (QSETREFV $ 67
                 (CONS (|dispatchFunction| |EQ;leftOne;$U;34|) $))
             (QSETREFV $ 68
                 (CONS (|dispatchFunction| |EQ;rightOne;$U;35|) $)))))
        (COND
          ((|testBitVector| |pv$| 3)
           (PROGN
             (QSETREFV $ 73
                 (CONS (|dispatchFunction| |EQ;characteristic;Nni;36|)
                       $))
             (QSETREFV $ 76
                 (CONS (|dispatchFunction| |EQ;*;I2$;37|) $)))))
        (COND
          ((|testBitVector| |pv$| 10)
           (QSETREFV $ 19
               (CONS (|dispatchFunction| |EQ;factorAndSplit;$L;38|) $))))
        (COND
          ((|testBitVector| |pv$| 4)
           (QSETREFV $ 85
               (CONS (|dispatchFunction| |EQ;differentiate;$S$;39|) $))))
        (COND
          ((|testBitVector| |pv$| 1)
           (PROGN
             (QSETREFV $ 88
                 (CONS (|dispatchFunction| |EQ;dimension;Cn;40|) $))
             (QSETREFV $ 90 (CONS (|dispatchFunction| |EQ;/;3$;41|) $))
             (QSETREFV $ 70
                 (CONS (|dispatchFunction| |EQ;inv;2$;42|) $)))))
        (COND
          ((|testBitVector| |pv$| 11)
           (QSETREFV $ 93
               (CONS (|dispatchFunction| |EQ;subst;3$;43|) $))))
        $)))) 

(MAKEPROP '|Equation| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) '|Rep|
             (0 . |rightZero|) |EQ;lhs;$S;4| (|Factored| $)
             (5 . |factor|)
             (|Record| (|:| |factor| 6) (|:| |exponent| 74))
             (|List| 12) (|Factored| 6) (10 . |factors|) (15 . |Zero|)
             |EQ;equation;2S$;3| (|List| $) (19 . |factorAndSplit|)
             |EQ;=;2S$;2| |EQ;rhs;$S;5| |EQ;swap;2$;6| (|Mapping| 6 6)
             |EQ;map;M2$;7| (|Symbol|) (24 . |eval|) (31 . |eval|)
             (|List| 25) (|List| 6) (38 . |eval|) (45 . |eval|)
             (|Equation| 6) (52 . |eval|) (58 . |eval|) (|List| 32)
             (64 . |eval|) (70 . |eval|) (|Boolean|) (76 . =) (82 . =)
             (|OutputForm|) (88 . |coerce|) (93 . =) (99 . |coerce|)
             (104 . |coerce|) (109 . +) (115 . +) (121 . +) (127 . +)
             (133 . -) (138 . -) (143 . -) (149 . -) (155 . -)
             (161 . |Zero|) (165 . -) (171 . |leftZero|) (176 . *)
             (182 . *) (188 . *) (194 . *) (200 . |One|) (204 . |One|)
             (|Union| $ '"failed") (208 . |recip|) (213 . |recip|)
             (218 . |leftOne|) (223 . |rightOne|) (228 . |inv|)
             (233 . |inv|) (|NonNegativeInteger|)
             (238 . |characteristic|) (242 . |characteristic|)
             (|Integer|) (246 . |coerce|) (251 . *) (|Factored| 78)
             (|Polynomial| 74)
             (|MultivariateFactorize| 25 (|IndexedExponents| 25) 74 78)
             (257 . |factor|)
             (|Record| (|:| |factor| 78) (|:| |exponent| 74))
             (|List| 81) (262 . |factors|) (267 . |differentiate|)
             (273 . |differentiate|) (|CardinalNumber|)
             (279 . |coerce|) (284 . |dimension|) (288 . /) (294 . /)
             (|Equation| $) (300 . |subst|) (306 . |subst|)
             (|PositiveInteger|) (|List| 71) (|SingleInteger|)
             (|String|))
          '#(~= 312 |zero?| 318 |swap| 323 |subtractIfCan| 328 |subst|
             334 |sample| 340 |rightZero| 344 |rightOne| 349 |rhs| 354
             |recip| 359 |one?| 364 |map| 369 |lhs| 375 |leftZero| 380
             |leftOne| 385 |latex| 390 |inv| 395 |hash| 400
             |factorAndSplit| 405 |eval| 410 |equation| 436 |dimension|
             442 |differentiate| 446 |conjugate| 472 |commutator| 478
             |coerce| 484 |characteristic| 499 ^ 503 |Zero| 521 |One|
             525 D 529 = 555 / 567 - 579 + 602 ** 620 * 638)
          'NIL
          (CONS (|makeByteWordVec2| 25
                    '(1 22 4 21 5 21 3 5 3 24 3 24 6 3 24 17 23 18 25 0
                      2 7 25 2 8))
                (CONS '#(|VectorSpace&| |Module&|
                         |PartialDifferentialRing&| NIL |Ring&| NIL NIL
                         NIL NIL |AbelianGroup&| NIL NIL |Group&| NIL
                         |AbelianMonoid&| |Monoid&| |AbelianSemiGroup&|
                         |SemiGroup&| |SetCategory&| NIL NIL NIL
                         |BasicType&| NIL |InnerEvalable&|)
                      (CONS '#((|VectorSpace| 6) (|Module| 6)
                               (|PartialDifferentialRing| 25)
                               (|BiModule| 6 6) (|Ring|)
                               (|LeftModule| 6) (|RightModule| 6)
                               (|Rng|) (|LeftModule| $$)
                               (|AbelianGroup|) (|SemiRing|)
                               (|CancellationAbelianMonoid|) (|Group|)
                               (|SemiRng|) (|AbelianMonoid|) (|Monoid|)
                               (|AbelianSemiGroup|) (|SemiGroup|)
                               (|SetCategory|) (|Type|)
                               (|CoercibleTo| 41) (|unitsKnown|)
                               (|BasicType|) (|CoercibleTo| 38)
                               (|InnerEvalable| 25 6))
                            (|makeByteWordVec2| 97
                                '(1 0 0 0 8 1 6 10 0 11 1 14 13 0 15 0
                                  6 0 16 1 0 18 0 19 3 6 0 0 25 6 26 3
                                  0 0 0 25 6 27 3 6 0 0 28 29 30 3 0 0
                                  0 28 29 31 2 6 0 0 32 33 2 0 0 0 0 34
                                  2 6 0 0 35 36 2 0 0 0 18 37 2 6 38 0
                                  0 39 2 0 38 0 0 40 1 6 41 0 42 2 41 0
                                  0 0 43 1 0 41 0 44 1 0 38 0 45 2 6 0
                                  0 0 46 2 0 0 0 0 47 2 0 0 6 0 48 2 0
                                  0 0 6 49 1 6 0 0 50 1 0 0 0 51 2 0 0
                                  0 0 52 2 0 0 6 0 53 2 0 0 0 6 54 0 0
                                  0 55 2 6 0 0 0 56 1 0 0 0 57 2 6 0 0
                                  0 58 2 0 0 0 0 59 2 0 0 6 0 60 2 0 0
                                  0 6 61 0 6 0 62 0 0 0 63 1 6 64 0 65
                                  1 0 64 0 66 1 0 64 0 67 1 0 64 0 68 1
                                  6 0 0 69 1 0 0 0 70 0 6 71 72 0 0 71
                                  73 1 6 0 74 75 2 0 0 74 0 76 1 79 77
                                  78 80 1 77 82 0 83 2 6 0 0 25 84 2 0
                                  0 0 25 85 1 86 0 71 87 0 0 86 88 2 6
                                  0 0 0 89 2 0 0 0 0 90 2 6 0 0 91 92 2
                                  0 0 0 0 93 2 2 38 0 0 1 1 14 38 0 1 1
                                  0 0 0 22 2 14 64 0 0 1 2 11 0 0 0 93
                                  0 19 0 1 1 14 0 0 8 1 16 64 0 68 1 0
                                  6 0 21 1 16 64 0 66 1 16 38 0 1 2 0 0
                                  23 0 24 1 0 6 0 9 1 14 0 0 57 1 16 64
                                  0 67 1 2 97 0 1 1 12 0 0 70 1 2 96 0
                                  1 1 10 18 0 19 2 9 0 0 0 34 2 9 0 0
                                  18 37 3 8 0 0 25 6 27 3 8 0 0 28 29
                                  31 2 0 0 6 6 17 0 1 86 88 2 4 0 0 28
                                  1 2 4 0 0 25 85 3 4 0 0 28 95 1 3 4 0
                                  0 25 71 1 2 6 0 0 0 1 2 6 0 0 0 1 1 3
                                  0 74 1 1 2 41 0 44 1 2 38 0 45 0 3 71
                                  73 2 6 0 0 74 1 2 16 0 0 71 1 2 15 0
                                  0 94 1 0 14 0 55 0 16 0 63 2 4 0 0 28
                                  1 2 4 0 0 25 1 3 4 0 0 28 95 1 3 4 0
                                  0 25 71 1 2 2 38 0 0 40 2 0 0 6 6 20
                                  2 12 0 0 0 90 2 1 0 0 6 1 1 14 0 0 51
                                  2 14 0 0 0 52 2 14 0 6 0 53 2 14 0 0
                                  6 54 2 13 0 0 0 47 2 13 0 6 0 48 2 13
                                  0 0 6 49 2 6 0 0 74 1 2 16 0 0 71 1 2
                                  15 0 0 94 1 2 14 0 71 0 1 2 14 0 74 0
                                  76 2 13 0 94 0 1 2 15 0 0 0 59 2 15 0
                                  0 6 61 2 15 0 6 0 60)))))
          '|lookupComplete|)) 
