
(/VERSIONCHECK 2) 

(DEFUN |COMPLEX;writeOMComplex| (|dev| |x| $)
  (SEQ (SPADCALL |dev| (QREFELT $ 10))
       (SPADCALL |dev| "complex1" "complex_cartesian" (QREFELT $ 12))
       (SPADCALL |dev| (SPADCALL |x| (QREFELT $ 13)) (QREFELT $ 14))
       (SPADCALL |dev| (SPADCALL |x| (QREFELT $ 15)) (QREFELT $ 14))
       (EXIT (SPADCALL |dev| (QREFELT $ 16))))) 

(DEFUN |COMPLEX;OMwrite;$S;2| (|x| $)
  (PROG (|s| |dev| |sp|)
    (RETURN
     (SEQ (LETT |s| "" . #1=(|COMPLEX;OMwrite;$S;2|))
          (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) . #1#)
          (LETT |dev| (SPADCALL |sp| (SPADCALL (QREFELT $ 18)) (QREFELT $ 19))
                . #1#)
          (SPADCALL |dev| (QREFELT $ 20))
          (|COMPLEX;writeOMComplex| |dev| |x| $)
          (SPADCALL |dev| (QREFELT $ 21)) (SPADCALL |dev| (QREFELT $ 22))
          (LETT |s| (OM-STRINGPTRTOSTRING |sp|) . #1#) (EXIT |s|))))) 

(DEFUN |COMPLEX;OMwrite;$BS;3| (|x| |wholeObj| $)
  (PROG (|s| |dev| |sp|)
    (RETURN
     (SEQ (LETT |s| "" . #1=(|COMPLEX;OMwrite;$BS;3|))
          (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) . #1#)
          (LETT |dev| (SPADCALL |sp| (SPADCALL (QREFELT $ 18)) (QREFELT $ 19))
                . #1#)
          (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 20))))
          (|COMPLEX;writeOMComplex| |dev| |x| $)
          (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 21))))
          (SPADCALL |dev| (QREFELT $ 22))
          (LETT |s| (OM-STRINGPTRTOSTRING |sp|) . #1#) (EXIT |s|))))) 

(DEFUN |COMPLEX;OMwrite;Omd$V;4| (|dev| |x| $)
  (SEQ (SPADCALL |dev| (QREFELT $ 20)) (|COMPLEX;writeOMComplex| |dev| |x| $)
       (EXIT (SPADCALL |dev| (QREFELT $ 21))))) 

(DEFUN |COMPLEX;OMwrite;Omd$BV;5| (|dev| |x| |wholeObj| $)
  (SEQ (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 20))))
       (|COMPLEX;writeOMComplex| |dev| |x| $)
       (EXIT (COND (|wholeObj| (SPADCALL |dev| (QREFELT $ 21))))))) 

(DEFUN |COMPLEX;Zero;$;6| ($)
  (CONS (|spadConstant| $ 29) (|spadConstant| $ 29))) 

(DEFUN |COMPLEX;One;$;7| ($) (CONS (|spadConstant| $ 31) (|spadConstant| $ 29))) 

(DEFUN |COMPLEX;zero?;$B;8| (|x| $)
  (COND
   ((SPADCALL (QCAR |x|) (QREFELT $ 32)) (SPADCALL (QCDR |x|) (QREFELT $ 32)))
   ('T 'NIL))) 

(DEFUN |COMPLEX;one?;$B;9| (|x| $)
  (COND
   ((SPADCALL (QCAR |x|) (|spadConstant| $ 31) (QREFELT $ 34))
    (SPADCALL (QCDR |x|) (QREFELT $ 32)))
   ('T 'NIL))) 

(DEFUN |COMPLEX;coerce;R$;10| (|r| $) (CONS |r| (|spadConstant| $ 29))) 

(PUT '|COMPLEX;complex;2R$;11| '|SPADreplace| 'CONS) 

(DEFUN |COMPLEX;complex;2R$;11| (|r| |i| $) (CONS |r| |i|)) 

(PUT '|COMPLEX;real;$R;12| '|SPADreplace| 'QCAR) 

(DEFUN |COMPLEX;real;$R;12| (|x| $) (QCAR |x|)) 

(PUT '|COMPLEX;imag;$R;13| '|SPADreplace| 'QCDR) 

(DEFUN |COMPLEX;imag;$R;13| (|x| $) (QCDR |x|)) 

(DEFUN |COMPLEX;+;3$;14| (|x| |y| $)
  (CONS (SPADCALL (QCAR |x|) (QCAR |y|) (QREFELT $ 38))
        (SPADCALL (QCDR |x|) (QCDR |y|) (QREFELT $ 38)))) 

(DEFUN |COMPLEX;*;3$;15| (|x| |y| $)
  (CONS
   (SPADCALL (SPADCALL (QCAR |x|) (QCAR |y|) (QREFELT $ 40))
             (SPADCALL (QCDR |x|) (QCDR |y|) (QREFELT $ 40)) (QREFELT $ 41))
   (SPADCALL (SPADCALL (QCDR |x|) (QCAR |y|) (QREFELT $ 40))
             (SPADCALL (QCDR |y|) (QCAR |x|) (QREFELT $ 40)) (QREFELT $ 38)))) 

(DEFUN |COMPLEX;exquo;2$U;16| (|x| |y| $)
  (COND
   ((SPADCALL (QCDR |y|) (QREFELT $ 32))
    (SPADCALL |x| (QCAR |y|) (QREFELT $ 44)))
   ('T
    (SPADCALL (SPADCALL |x| (SPADCALL |y| (QREFELT $ 45)) (QREFELT $ 42))
              (SPADCALL |y| (QREFELT $ 46)) (QREFELT $ 44))))) 

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

(DEFUN |Complex;| (|#1|)
  (PROG (|pv$| #1=#:G1897 #2=#:G1898 #3=#:G1899 #4=#:G1900 $ |dv$| DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #5=(|Complex|))
      (LETT |dv$| (LIST '|Complex| DV$1) . #5#)
      (LETT $ (GETREFV 101) . #5#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasCategory| |#1|
                                                         '(|FiniteFieldCategory|))
                                          (LETT #4#
                                                (|HasCategory| |#1| '(|Field|))
                                                . #5#)
                                          (OR #4#
                                              (|HasCategory| |#1|
                                                             '(|FiniteFieldCategory|)))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1| '(|Finite|))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (OR #4#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (LETT #3#
                                                (|HasCategory| |#1|
                                                               '(|TranscendentalFunctionCategory|))
                                                . #5#)
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|RadicalCategory|))
                                           #3#)
                                          (|HasCategory| |#1|
                                                         '(|RealConstant|))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|InputForm|)))
                                          (|HasCategory| |#1|
                                                         '(|additiveValuation|))
                                          (|HasCategory| |#1|
                                                         '(|multiplicativeValuation|))
                                          (|HasCategory| |#1| '(|Comparable|))
                                          (|HasCategory| |#1|
                                                         '(|PartialDifferentialRing|
                                                           (|Symbol|)))
                                          (|HasCategory| |#1|
                                                         '(|DifferentialRing|))
                                          (|HasCategory| |#1|
                                                         (LIST '|InnerEvalable|
                                                               '(|Symbol|)
                                                               (|devaluate|
                                                                |#1|)))
                                          (|HasCategory| |#1|
                                                         (LIST '|Evalable|
                                                               (|devaluate|
                                                                |#1|)))
                                          (|HasCategory| |#1|
                                                         (LIST '|Eltable|
                                                               (|devaluate|
                                                                |#1|)
                                                               (|devaluate|
                                                                |#1|)))
                                          (|HasCategory| |#1|
                                                         '(|PatternMatchable|
                                                           (|Float|)))
                                          (|HasCategory| |#1|
                                                         '(|PatternMatchable|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Float|))))
                                          (|HasCategory| |#1|
                                                         '(|ConvertibleTo|
                                                           (|Pattern|
                                                            (|Integer|))))
                                          (|HasCategory| |#1| '(|OpenMath|))
                                          (|HasCategory| |#1|
                                                         '(|RealNumberSystem|))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|RealNumberSystem|))
                                           #3#)
                                          (|HasCategory| |#1|
                                                         '(|IntegerNumberSystem|))
                                          (LETT #2#
                                                (|HasCategory| |#1|
                                                               '(|EuclideanDomain|))
                                                . #5#)
                                          (OR #2# #4#
                                              (|HasCategory| |#1|
                                                             '(|FiniteFieldCategory|))
                                              (|HasCategory| |#1|
                                                             '(|IntegerNumberSystem|))
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))
                                          (OR #2# #4#
                                              (|HasCategory| |#1|
                                                             '(|FiniteFieldCategory|))
                                              (|HasCategory| |#1|
                                                             '(|IntegerNumberSystem|)))
                                          (OR #2# #4#
                                              (|HasCategory| |#1|
                                                             '(|FiniteFieldCategory|)))
                                          (|HasCategory| |#1|
                                                         '(|PolynomialFactorizationExplicit|))
                                          (LETT #1#
                                                (AND
                                                 (|HasCategory| |#1|
                                                                '(|EuclideanDomain|))
                                                 (|HasCategory| |#1|
                                                                '(|PolynomialFactorizationExplicit|)))
                                                . #5#)
                                          (OR #1#
                                              (AND #4#
                                                   (|HasCategory| |#1|
                                                                  '(|PolynomialFactorizationExplicit|)))
                                              (AND
                                               (|HasCategory| |#1|
                                                              '(|FiniteFieldCategory|))
                                               (|HasCategory| |#1|
                                                              '(|PolynomialFactorizationExplicit|))))
                                          (OR #1# #4#
                                              (AND
                                               (|HasCategory| |#1|
                                                              '(|FiniteFieldCategory|))
                                               (|HasCategory| |#1|
                                                              '(|PolynomialFactorizationExplicit|)))
                                              (|HasCategory| |#1|
                                                             '(|IntegerNumberSystem|)))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|RetractableTo|
                                                            (|Fraction|
                                                             (|Integer|))))
                                           #4#)
                                          (OR #1# #4#
                                              (|HasCategory| |#1|
                                                             '(|IntegerNumberSystem|)))
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|)))))
                      . #5#))
      (|haddProp| |$ConstructorCache| '|Complex| (LIST DV$1) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (AND
       (OR
        (AND #2# (|HasCategory| |#1| '(|PolynomialFactorizationExplicit|))
             (|HasCategory| $ '(|CharacteristicNonZero|)))
        (|HasCategory| |#1| '(|FiniteFieldCategory|)))
       (|augmentPredVector| $ 4398046511104))
      (AND
       (OR (|HasCategory| |#1| '(|CharacteristicNonZero|))
           (AND #2# (|HasCategory| |#1| '(|PolynomialFactorizationExplicit|))
                (|HasCategory| $ '(|CharacteristicNonZero|))))
       (|augmentPredVector| $ 8796093022208))
      (SETF |pv$| (QREFELT $ 3))
      (QSETREFV $ 7 (|Record| (|:| |real| |#1|) (|:| |imag| |#1|)))
      (COND
       ((|testBitVector| |pv$| 28)
        (PROGN
         (QSETREFV $ 23 (CONS (|dispatchFunction| |COMPLEX;OMwrite;$S;2|) $))
         (QSETREFV $ 25 (CONS (|dispatchFunction| |COMPLEX;OMwrite;$BS;3|) $))
         (QSETREFV $ 26
                   (CONS (|dispatchFunction| |COMPLEX;OMwrite;Omd$V;4|) $))
         (QSETREFV $ 27
                   (CONS (|dispatchFunction| |COMPLEX;OMwrite;Omd$BV;5|) $)))))
      (COND
       ((|testBitVector| |pv$| 10)
        (QSETREFV $ 47 (CONS (|dispatchFunction| |COMPLEX;exquo;2$U;16|) $))))
      $)))) 

(MAKEPROP '|Complex| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) '|Rep| (|Void|)
              (|OpenMathDevice|) (0 . |OMputApp|) (|String|)
              (5 . |OMputSymbol|) |COMPLEX;real;$R;12| (12 . |OMwrite|)
              |COMPLEX;imag;$R;13| (18 . |OMputEndApp|) (|OpenMathEncoding|)
              (23 . |OMencodingXML|) (27 . |OMopenString|) (33 . |OMputObject|)
              (38 . |OMputEndObject|) (43 . |OMclose|) (48 . |OMwrite|)
              (|Boolean|) (53 . |OMwrite|) (59 . |OMwrite|) (65 . |OMwrite|)
              (CONS IDENTITY
                    (FUNCALL (|dispatchFunction| |COMPLEX;Zero;$;6|) $))
              (72 . |Zero|)
              (CONS IDENTITY
                    (FUNCALL (|dispatchFunction| |COMPLEX;One;$;7|) $))
              (76 . |One|) (80 . |zero?|) |COMPLEX;zero?;$B;8| (85 . =)
              |COMPLEX;one?;$B;9| |COMPLEX;coerce;R$;10|
              |COMPLEX;complex;2R$;11| (91 . +) |COMPLEX;+;3$;14| (97 . *)
              (103 . -) |COMPLEX;*;3$;15| (|Union| $ '#1="failed")
              (109 . |exquo|) (115 . |conjugate|) (120 . |norm|)
              (125 . |exquo|) (|Factored| 49) (|SparseUnivariatePolynomial| $)
              (|Union| 51 '#2="failed") (|List| 49) (|Integer|) (|Fraction| 52)
              (|Record| (|:| |r| 6) (|:| |phi| 6)) (|Union| 74 '#2#)
              (|Matrix| $) (|Factored| $)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|InputForm|) (|Pattern| (|Float|)) (|Pattern| 52)
              (|NonNegativeInteger|) (|List| $) (|Union| 63 '"failed")
              (|Record| (|:| |coef| 63) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $)) (|Union| 67 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|List| 71) (|Equation| 6) (|List| 6) (|Matrix| 6) (|Vector| $)
              (|Mapping| 6 6) (|Fraction| 77) (|SparseUnivariatePolynomial| 6)
              (|PositiveInteger|) (|Union| 62 '"failed")
              (|OnePointCompletion| 78)
              (|Record| (|:| |factor| 52) (|:| |exponent| 52)) (|List| 81)
              (|Table| 78 62)
              (|Union| '"prime" '"polynomial" '"normal" '"cyclic") (|List| 86)
              (|Symbol|) (|Union| 53 '#1#)
              (|Record| (|:| |mat| 89) (|:| |vec| (|Vector| 52))) (|Matrix| 52)
              (|List| 62) (|PatternMatchResult| (|Float|) $)
              (|PatternMatchResult| 52 $) (|Complex| (|DoubleFloat|))
              (|Complex| (|Float|)) (|Union| 52 '#3="failed")
              (|Record| (|:| |mat| 73) (|:| |vec| 98)) (|Union| 6 '#3#)
              (|Vector| 6) (|OutputForm|) (|SingleInteger|))
           '#(~= 131 |zero?| 137 |unitNormal| 142 |unitCanonical| 147 |unit?|
              152 |traceMatrix| 157 |trace| 166 |tanh| 171 |tan| 176
              |tableForDiscreteLogarithm| 181 |subtractIfCan| 186
              |squareFreePolynomial| 192 |squareFreePart| 197 |squareFree| 202
              |sqrt| 207 |solveLinearPolynomialEquation| 212 |smaller?| 218
              |sizeLess?| 224 |size| 230 |sinh| 234 |sin| 239 |sech| 244 |sec|
              249 |sample| 254 |retractIfCan| 258 |retract| 273 |represents|
              288 |representationType| 299 |rem| 303 |regularRepresentation|
              309 |reducedSystem| 320 |reduce| 342 |recip| 352 |real| 357
              |rationalIfCan| 362 |rational?| 367 |rational| 372 |rank| 377
              |random| 381 |quo| 385 |principalIdeal| 391 |primitiveElement|
              396 |primitive?| 400 |primeFrobenius| 405 |prime?| 416
              |polarCoordinates| 421 |pi| 426 |patternMatch| 430 |order| 444
              |one?| 454 |nthRoot| 459 |norm| 465 |nextItem| 470
              |multiEuclidean| 475 |minimalPolynomial| 481 |map| 486 |lookup|
              492 |log| 497 |lift| 502 |lcm| 507 |latex| 518 |inv| 523 |init|
              528 |index| 532 |imaginary| 537 |imag| 541 |hash| 546 |generator|
              551 |gcdPolynomial| 555 |gcd| 561 |factorsOfCyclicGroupSize| 572
              |factorSquareFreePolynomial| 576 |factorPolynomial| 581 |factor|
              586 |extendedEuclidean| 591 |exquo| 604 |expressIdealMember| 616
              |exp| 622 |eval| 627 |euclideanSize| 667 |enumerate| 672 |elt|
              676 |divide| 682 |discriminant| 688 |discreteLog| 697
              |differentiate| 708 |derivationCoordinates| 758
              |definingPolynomial| 764 |csch| 768 |csc| 773
              |createPrimitiveElement| 778 |coth| 782 |cot| 787 |cosh| 792
              |cos| 797 |coordinates| 802 |convert| 824 |conjugate| 869
              |conditionP| 874 |complex| 879 |coerce| 885 |charthRoot| 910
              |characteristicPolynomial| 920 |characteristic| 925 |basis| 929
              |atanh| 933 |atan| 938 |associates?| 943 |asinh| 949 |asin| 954
              |asech| 959 |asec| 964 |argument| 969 |acsch| 974 |acsc| 979
              |acoth| 984 |acot| 989 |acosh| 994 |acos| 999 |abs| 1004 ^ 1009
              |Zero| 1039 |One| 1043 |OMwrite| 1047 D 1071 = 1121 / 1127 - 1133
              + 1144 * 1150)
           'NIL
           (CONS
            (|makeByteWordVec2| 39
                                '(0 0 2 2 4 38 35 39 35 0 34 0 3 33 0 0 0 3 10
                                  0 0 0 1 3 5 9 10 11 19 20 0 0 0 3 0 0 0 0 0 3
                                  3 0 0 0 0 0 0 0 0 0 0 6 2 18 24 25 0 0 0 12
                                  22 0 0 0 0 0 0 0 3 3 7 8 10 13 12 12 12 12 12
                                  14 14 15 16 17 21 22 23 26 27 28))
            (CONS
             '#(|ComplexCategory&| |MonogenicAlgebra&| |FiniteFieldCategory&|
                |FieldOfPrimeCharacteristic&| |Field&|
                |PolynomialFactorizationExplicit&| |EuclideanDomain&|
                |UniqueFactorizationDomain&| NIL |FramedAlgebra&| |GcdDomain&|
                |FiniteRankAlgebra&| |DivisionRing&| |IntegralDomain&|
                |Algebra&| |DifferentialExtension&|
                |FullyLinearlyExplicitRingOver&| |Algebra&| |Algebra&| NIL NIL
                |Module&| NIL |Module&| NIL NIL |Module&| NIL
                |PartialDifferentialRing&| |DifferentialRing&| NIL |Ring&| NIL
                NIL NIL NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL
                |AbelianMonoid&| |Monoid&| NIL |FullyEvalableOver&|
                |SemiGroup&| |AbelianSemiGroup&| |Finite&| NIL NIL NIL NIL NIL
                |FullyRetractableTo&| |SetCategory&|
                |TranscendentalFunctionCategory&| |Evalable&| NIL
                |RetractableTo&| NIL NIL NIL |BasicType&| NIL NIL NIL
                |RetractableTo&| |RetractableTo&| NIL |RadicalCategory&|
                |TrigonometricFunctionCategory&|
                |ArcTrigonometricFunctionCategory&|
                |HyperbolicFunctionCategory&| NIL |ElementaryFunctionCategory&|
                NIL NIL NIL NIL NIL |InnerEvalable&| |InnerEvalable&| NIL NIL
                NIL NIL)
             (CONS
              '#((|ComplexCategory| 6)
                 (|MonogenicAlgebra| 6 (|SparseUnivariatePolynomial| 6))
                 (|FiniteFieldCategory|) (|FieldOfPrimeCharacteristic|)
                 (|Field|) (|PolynomialFactorizationExplicit|)
                 (|EuclideanDomain|) (|UniqueFactorizationDomain|)
                 (|PrincipalIdealDomain|)
                 (|FramedAlgebra| 6 (|SparseUnivariatePolynomial| 6))
                 (|GcdDomain|)
                 (|FiniteRankAlgebra| 6 (|SparseUnivariatePolynomial| 6))
                 (|DivisionRing|) (|IntegralDomain|) (|Algebra| 6)
                 (|DifferentialExtension| 6)
                 (|FullyLinearlyExplicitRingOver| 6) (|Algebra| 53)
                 (|Algebra| $$) (|LinearlyExplicitRingOver| 6)
                 (|CommutativeRing|) (|Module| 6) (|CharacteristicZero|)
                 (|Module| 53) (|CharacteristicNonZero|)
                 (|LinearlyExplicitRingOver| 52) (|Module| $$) (|EntireRing|)
                 (|PartialDifferentialRing| 86) (|DifferentialRing|)
                 (|BiModule| $$ $$) (|Ring|) (|BiModule| 6 6)
                 (|BiModule| 53 53) (|LeftModule| $$) (|RightModule| $$)
                 (|Rng|) (|RightModule| 6) (|LeftModule| 6) (|LeftModule| 53)
                 (|RightModule| 53) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|SemiRing|)
                 (|FullyPatternMatchable| 6) (|AbelianMonoid|) (|Monoid|)
                 (|SemiRng|) (|FullyEvalableOver| 6) (|SemiGroup|)
                 (|AbelianSemiGroup|) (|Finite|) (|StepThrough|) (|Comparable|)
                 (|PatternMatchable| (|Float|)) (|PatternMatchable| 52)
                 (|Patternable| 6) (|FullyRetractableTo| 6) (|SetCategory|)
                 (|TranscendentalFunctionCategory|) (|Evalable| 6) (|Type|)
                 (|RetractableTo| 6)
                 (|ConvertibleTo| (|SparseUnivariatePolynomial| 6))
                 (|CommutativeStar|) (|unitsKnown|) (|BasicType|)
                 (|CoercibleTo| 99) (|canonicalUnitNormal|)
                 (|canonicalsClosed|) (|RetractableTo| 53) (|RetractableTo| 52)
                 (|noZeroDivisors|) (|RadicalCategory|)
                 (|TrigonometricFunctionCategory|)
                 (|ArcTrigonometricFunctionCategory|)
                 (|HyperbolicFunctionCategory|)
                 (|ArcHyperbolicFunctionCategory|)
                 (|ElementaryFunctionCategory|) (|ConvertibleTo| 94)
                 (|ConvertibleTo| 93) (|ConvertibleTo| 59)
                 (|additiveValuation|) (|multiplicativeValuation|)
                 (|InnerEvalable| 86 6) (|InnerEvalable| 6 6) (|Eltable| 6 $$)
                 (|ConvertibleTo| 60) (|ConvertibleTo| 61) (|OpenMath|))
              (|makeByteWordVec2| 100
                                  '(1 9 8 0 10 3 9 8 0 11 11 12 2 6 8 9 0 14 1
                                    9 8 0 16 0 17 0 18 2 9 0 11 17 19 1 9 8 0
                                    20 1 9 8 0 21 1 9 8 0 22 1 0 11 0 23 2 0 11
                                    0 24 25 2 0 8 9 0 26 3 0 8 9 0 24 27 0 6 0
                                    29 0 6 0 31 1 6 24 0 32 2 6 24 0 0 34 2 6 0
                                    0 0 38 2 6 0 0 0 40 2 6 0 0 0 41 2 0 43 0 6
                                    44 1 0 0 0 45 1 0 6 0 46 2 0 43 0 0 47 2 0
                                    24 0 0 1 1 0 24 0 33 1 42 58 0 1 1 42 0 0 1
                                    1 42 24 0 1 0 0 73 1 1 0 73 74 1 1 0 6 0 1
                                    1 12 0 0 1 1 12 0 0 1 1 2 83 52 1 2 0 43 0
                                    0 1 1 37 48 49 1 1 41 0 0 1 1 41 57 0 1 1
                                    13 0 0 1 2 37 50 51 49 1 2 18 24 0 0 1 2 32
                                    24 0 0 1 0 6 62 1 1 12 0 0 1 1 12 0 0 1 1
                                    12 0 0 1 1 12 0 0 1 0 0 0 1 1 7 87 0 1 1 8
                                    95 0 1 1 0 97 0 1 1 7 53 0 1 1 8 52 0 1 1 0
                                    6 0 1 1 0 0 98 1 2 0 0 98 74 1 0 2 84 1 2
                                    32 0 0 0 1 1 0 73 0 1 2 0 73 0 74 1 2 9 88
                                    56 74 1 1 9 89 56 1 1 0 73 56 1 2 0 96 56
                                    74 1 1 3 43 76 1 1 0 0 77 1 1 0 43 0 1 1 0
                                    6 0 13 1 31 87 0 1 1 31 24 0 1 1 31 53 0 1
                                    0 0 78 1 0 6 0 1 2 32 0 0 0 1 1 32 65 63 1
                                    0 2 0 1 1 2 24 0 1 2 2 0 0 62 1 1 2 0 0 1 1
                                    41 24 0 1 1 30 54 0 1 0 12 0 1 3 24 91 0 60
                                    91 1 3 25 92 0 61 92 1 1 2 80 0 1 1 2 78 0
                                    1 1 0 24 0 35 2 13 0 0 52 1 1 0 6 0 46 1 2
                                    43 0 1 2 32 64 63 0 1 1 3 77 0 1 2 0 0 75 0
                                    1 1 6 78 0 1 1 12 0 0 1 1 0 77 0 1 1 32 0
                                    63 1 2 32 0 0 0 1 1 0 11 0 1 1 3 0 0 1 0 2
                                    0 1 1 6 0 78 1 0 0 0 1 1 0 6 0 15 1 0 100 0
                                    1 0 0 0 1 2 32 49 49 49 1 2 32 0 0 0 1 1 32
                                    0 63 1 0 2 82 1 1 37 48 49 1 1 37 48 49 1 1
                                    41 57 0 1 3 32 68 0 0 0 1 2 32 69 0 0 1 2
                                    42 43 0 0 47 2 10 43 0 6 44 2 32 64 63 0 1
                                    1 12 0 0 1 2 22 0 0 70 1 3 22 0 0 6 6 1 2
                                    22 0 0 71 1 3 22 0 0 72 72 1 3 21 0 0 85 72
                                    1 3 21 0 0 86 6 1 1 32 62 0 1 0 6 63 1 2 23
                                    0 0 6 1 2 32 66 0 0 1 0 0 6 1 1 0 6 74 1 2
                                    2 79 0 0 1 1 2 62 0 1 2 20 0 0 62 1 1 20 0
                                    0 1 3 19 0 0 85 90 1 2 19 0 0 85 1 3 19 0 0
                                    86 62 1 2 19 0 0 86 1 2 0 0 0 75 1 3 0 0 0
                                    75 62 1 2 3 73 74 75 1 0 0 77 1 1 12 0 0 1
                                    1 12 0 0 1 0 2 0 1 1 12 0 0 1 1 12 0 0 1 1
                                    12 0 0 1 1 12 0 0 1 1 0 98 0 1 1 0 73 74 1
                                    2 0 73 74 74 1 2 0 98 0 74 1 1 15 59 0 1 1
                                    26 60 0 1 1 27 61 0 1 1 14 93 0 1 1 14 94 0
                                    1 1 0 0 77 1 1 0 77 0 1 1 0 98 0 1 1 0 0 98
                                    1 1 0 0 0 45 1 43 55 56 1 2 0 0 6 6 37 1 42
                                    0 0 1 1 40 0 53 1 1 0 0 6 36 1 0 0 52 1 1 0
                                    99 0 1 1 44 43 0 1 1 2 0 0 1 1 0 77 0 1 0 0
                                    62 1 0 0 74 1 1 12 0 0 1 1 12 0 0 1 2 42 24
                                    0 0 1 1 12 0 0 1 1 12 0 0 1 1 12 0 0 1 1 12
                                    0 0 1 1 12 6 0 1 1 12 0 0 1 1 12 0 0 1 1 12
                                    0 0 1 1 12 0 0 1 1 12 0 0 1 1 12 0 0 1 1 29
                                    0 0 1 2 13 0 0 53 1 2 3 0 0 52 1 2 12 0 0 0
                                    1 2 0 0 0 62 1 2 0 0 0 78 1 0 0 0 28 0 0 0
                                    30 1 28 11 0 23 2 28 8 9 0 26 2 28 11 0 24
                                    25 3 28 8 9 0 24 27 2 20 0 0 62 1 1 20 0 0
                                    1 3 19 0 0 85 90 1 3 19 0 0 86 62 1 2 19 0
                                    0 86 1 2 19 0 0 85 1 2 0 0 0 75 1 3 0 0 0
                                    75 62 1 2 0 24 0 0 1 2 3 0 0 0 1 2 0 0 0 0
                                    1 1 0 0 0 1 2 0 0 0 0 39 2 3 0 0 53 1 2 3 0
                                    53 0 1 2 0 0 6 0 1 2 0 0 0 6 1 2 0 0 0 0 42
                                    2 0 0 52 0 1 2 0 0 62 0 1 2 0 0 78 0 1)))))
           '|lookupComplete|)) 
