
(/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 (|sp| |dev| |s|)
    (RETURN
      (SEQ (LETT |s| "" . #0=(|COMPLEX;OMwrite;$S;2|))
           (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) . #0#)
           (LETT |dev|
                 (SPADCALL |sp| (SPADCALL (QREFELT $ 18))
                     (QREFELT $ 19)) . #0#)
           (SPADCALL |dev| (QREFELT $ 20))
           (|COMPLEX;writeOMComplex| |dev| |x| $)
           (SPADCALL |dev| (QREFELT $ 21))
           (SPADCALL |dev| (QREFELT $ 22))
           (LETT |s| (OM-STRINGPTRTOSTRING |sp|) . #0#) (EXIT |s|))))) 

(DEFUN |COMPLEX;OMwrite;$BS;3| (|x| |wholeObj| $)
  (PROG (|sp| |dev| |s|)
    (RETURN
      (SEQ (LETT |s| "" . #0=(|COMPLEX;OMwrite;$BS;3|))
           (LETT |sp| (OM-STRINGTOSTRINGPTR |s|) . #0#)
           (LETT |dev|
                 (SPADCALL |sp| (SPADCALL (QREFELT $ 18))
                     (QREFELT $ 19)) . #0#)
           (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|) . #0#) (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| (#0=#:G1899)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1900)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache| '|Complex|)
                       '|domainEqualList|)
                   . #2=(|Complex|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|Complex;| #0#) (LETT #1# T . #2#))
               (COND
                 ((NOT #1#) (HREM |$ConstructorCache| '|Complex|))))))))))) 

(DEFUN |Complex;| (|#1|)
  (PROG (DV$1 |dv$| $ #0=#:G1898 #1=#:G1897 #2=#:G1896 #3=#:G1895
              #4=#:G1894 |pv$|)
    (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|
                                '(|CharacteristicNonZero|))
                            (|HasCategory| |#1|
                                '(|CharacteristicZero|))
                            (|HasCategory| |#1|
                                '(|FiniteFieldCategory|))
                            (|HasCategory| |#1| '(|IntegralDomain|))
                            (LETT #0#
                                  (|HasCategory| |#1| '(|Field|)) . #5#)
                            (OR #0#
                                (|HasCategory| |#1|
                                    '(|FiniteFieldCategory|)))
                            (|HasCategory| |#1| '(|Finite|))
                            (|HasCategory| |#1|
                                '(|PartialDifferentialRing| (|Symbol|)))
                            (|HasCategory| |#1|
                                '(|LinearlyExplicitRingOver|
                                     (|Integer|)))
                            (|HasCategory| |#1|
                                '(|RetractableTo|
                                     (|Fraction| (|Integer|))))
                            (|HasCategory| |#1|
                                '(|RetractableTo| (|Integer|)))
                            (OR #0#
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (LETT #1#
                                  (|HasCategory| |#1|
                                      '(|TranscendentalFunctionCategory|)) . #5#)
                            (AND (|HasCategory| |#1|
                                     '(|RadicalCategory|))
                                 #1#)
                            (|HasCategory| |#1| '(|RealConstant|))
                            (|HasCategory| |#1|
                                '(|ConvertibleTo| (|InputForm|)))
                            (|HasCategory| |#1| '(|additiveValuation|))
                            (|HasCategory| |#1|
                                '(|multiplicativeValuation|))
                            (|HasCategory| |#1| '(|OrderedSet|))
                            (|HasCategory| |#1|
                                '(|ConvertibleTo|
                                     (|Pattern| (|Float|))))
                            (|HasCategory| |#1|
                                '(|ConvertibleTo|
                                     (|Pattern| (|Integer|))))
                            (|HasCategory| |#1|
                                '(|PatternMatchable| (|Float|)))
                            (|HasCategory| |#1|
                                '(|PatternMatchable| (|Integer|)))
                            (|HasCategory| |#1|
                                (LIST '|InnerEvalable| '(|Symbol|)
                                      (|devaluate| |#1|)))
                            (|HasCategory| |#1|
                                (LIST '|Evalable| (|devaluate| |#1|)))
                            (|HasCategory| |#1|
                                (LIST '|Eltable| (|devaluate| |#1|)
                                      (|devaluate| |#1|)))
                            (|HasCategory| |#1| '(|OpenMath|))
                            (|HasCategory| |#1| '(|RealNumberSystem|))
                            (AND (|HasCategory| |#1|
                                     '(|RealNumberSystem|))
                                 #1#)
                            (|HasCategory| |#1|
                                '(|IntegerNumberSystem|))
                            (OR (|HasCategory| |#1|
                                    '(|RetractableTo|
                                      (|Fraction| (|Integer|))))
                                #0#)
                            (LETT #2#
                                  (|HasCategory| |#1|
                                      '(|EuclideanDomain|)) . #5#)
                            (OR #2# #0#
                                (|HasCategory| |#1|
                                    '(|FiniteFieldCategory|))
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (OR #2# #0#
                                (|HasCategory| |#1|
                                    '(|FiniteFieldCategory|)))
                            (|HasCategory| |#1|
                                '(|PolynomialFactorizationExplicit|))
                            (LETT #3#
                                  (|HasCategory| |#1|
                                      '(|DifferentialRing|)) . #5#)
                            (OR (AND (|HasCategory| |#1|
                                      '(|ConvertibleTo|
                                        (|Pattern| (|Float|))))
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                (AND (|HasCategory| |#1|
                                      '(|ConvertibleTo|
                                        (|Pattern| (|Integer|))))
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                (AND (|HasCategory| |#1|
                                      (LIST '|InnerEvalable|
                                       '(|Symbol|) (|devaluate| |#1|)))
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                (AND (|HasCategory| |#1|
                                      '(|RetractableTo|
                                        (|Fraction| (|Integer|))))
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                (AND (|HasCategory| |#1|
                                      '(|CharacteristicNonZero|))
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                (AND (|HasCategory| |#1|
                                      '(|CharacteristicZero|))
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                #3#
                                (AND #2#
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                (AND #0#
                                     (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      (LIST '|Eltable|
                                       (|devaluate| |#1|)
                                       (|devaluate| |#1|))))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|LinearlyExplicitRingOver|
                                        (|Integer|))))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|PartialDifferentialRing|
                                        (|Symbol|))))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1| '(|Finite|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|IntegralDomain|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1| '(|OpenMath|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|OrderedSet|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|RealConstant|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     #1#)
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|additiveValuation|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|multiplicativeValuation|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|ConvertibleTo| (|InputForm|))))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      (LIST '|Evalable|
                                       (|devaluate| |#1|))))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|PatternMatchable| (|Float|))))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|PatternMatchable| (|Integer|))))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|RetractableTo| (|Integer|)))))
                            (LETT #4#
                                  (AND (|HasCategory| |#1|
                                        '(|EuclideanDomain|))
                                       (|HasCategory| |#1|
                                        '(|PolynomialFactorizationExplicit|))) . #5#)
                            (OR #4# #0#
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|PolynomialFactorizationExplicit|))))
                            (OR #4#
                                (AND #0#
                                     (|HasCategory| |#1|
                                      '(|PolynomialFactorizationExplicit|)))
                                (AND (|HasCategory| |#1|
                                      '(|FiniteFieldCategory|))
                                     (|HasCategory| |#1|
                                      '(|PolynomialFactorizationExplicit|))))
                            (OR #4# #0#)
                            (OR #4#
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|)))
                            (AND #0#
                                 (|HasCategory| |#1|
                                     '(|PartialDifferentialRing|
                                       (|Symbol|))))
                            (AND #3# #0#))) . #5#))
        (|haddProp| |$ConstructorCache| '|Complex| (LIST DV$1)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (AND (OR (AND (|HasCategory| $ '(|CharacteristicNonZero|)) #2#
                      (|HasCategory| |#1|
                          '(|PolynomialFactorizationExplicit|)))
                 (|HasCategory| |#1| '(|CharacteristicNonZero|)))
             (|augmentPredVector| $ 17592186044416))
        (AND (OR (AND (|HasCategory| $ '(|CharacteristicNonZero|)) #2#
                      (|HasCategory| |#1|
                          '(|PolynomialFactorizationExplicit|)))
                 (|HasCategory| |#1| '(|FiniteFieldCategory|)))
             (|augmentPredVector| $ 35184372088832))
        (QSETREFV $ 7 (|Record| (|:| |real| |#1|) (|:| |imag| |#1|)))
        (COND
          ((|testBitVector| |pv$| 27)
           (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$| 4)
           (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| $ '"failed")
             (109 . |exquo|) (115 . |conjugate|) (120 . |norm|)
             (125 . |exquo|) (|Factored| 49)
             (|SparseUnivariatePolynomial| $) (|Union| 51 '"failed")
             (|List| 49) (|Integer|) (|Fraction| 52)
             (|Record| (|:| |r| 6) (|:| |phi| 6))
             (|Union| 74 '"failed") (|Matrix| $) (|Factored| $)
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|InputForm|) (|Pattern| (|Float|)) (|Pattern| 52)
             (|NonNegativeInteger|) (|List| $)
             (|Record| (|:| |coef| 63) (|:| |generator| $))
             (|Union| 63 '"failed")
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                       (|:| |generator| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 68 '"failed") (|Equation| 6) (|List| 70)
             (|List| 6) (|Matrix| 6) (|Vector| $) (|Mapping| 6 6)
             (|Fraction| 77) (|SparseUnivariatePolynomial| 6)
             (|PositiveInteger|) (|OnePointCompletion| 78)
             (|Union| 62 '"failed") (|Table| 78 62)
             (|Record| (|:| |factor| 52) (|:| |exponent| 52))
             (|List| 82)
             (|Union| '"prime" '"polynomial" '"normal" '"cyclic")
             (|Symbol|) (|List| 85) (|Union| 53 '"failed")
             (|Record| (|:| |mat| 89) (|:| |vec| (|Vector| 52)))
             (|Matrix| 52) (|List| 62)
             (|PatternMatchResult| (|Float|) $)
             (|PatternMatchResult| 52 $) (|Complex| (|DoubleFloat|))
             (|Complex| (|Float|)) (|Union| 52 '"failed")
             (|Record| (|:| |mat| 73) (|:| |vec| 98))
             (|Union| 6 '"failed") (|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 |sizeLess?| 218 |size|
             224 |sinh| 228 |sin| 233 |sech| 238 |sec| 243 |sample| 248
             |retractIfCan| 252 |retract| 267 |represents| 282
             |representationType| 293 |rem| 297 |regularRepresentation|
             303 |reducedSystem| 314 |reduce| 336 |recip| 346 |real|
             351 |rationalIfCan| 356 |rational?| 361 |rational| 366
             |rank| 371 |random| 375 |quo| 379 |principalIdeal| 385
             |primitiveElement| 390 |primitive?| 394 |primeFrobenius|
             399 |prime?| 410 |polarCoordinates| 415 |pi| 420
             |patternMatch| 424 |order| 438 |one?| 448 |nthRoot| 453
             |norm| 459 |nextItem| 464 |multiEuclidean| 469
             |minimalPolynomial| 475 |min| 480 |max| 486 |map| 492
             |lookup| 498 |log| 503 |lift| 508 |lcm| 513 |latex| 524
             |inv| 529 |init| 534 |index| 538 |imaginary| 543 |imag|
             547 |hash| 552 |generator| 557 |gcdPolynomial| 561 |gcd|
             567 |factorsOfCyclicGroupSize| 578
             |factorSquareFreePolynomial| 582 |factorPolynomial| 587
             |factor| 592 |extendedEuclidean| 597 |exquo| 610
             |expressIdealMember| 622 |exp| 628 |eval| 633
             |euclideanSize| 673 |enumerate| 678 |elt| 682 |divide| 688
             |discriminant| 694 |discreteLog| 703 |differentiate| 714
             |derivationCoordinates| 764 |definingPolynomial| 770
             |csch| 774 |csc| 779 |createPrimitiveElement| 784 |coth|
             788 |cot| 793 |cosh| 798 |cos| 803 |coordinates| 808
             |convert| 830 |conjugate| 875 |conditionP| 880 |complex|
             885 |coerce| 891 |charthRoot| 916
             |characteristicPolynomial| 926 |characteristic| 931
             |basis| 935 |atanh| 939 |atan| 944 |associates?| 949
             |asinh| 955 |asin| 960 |asech| 965 |asec| 970 |argument|
             975 |acsch| 980 |acsc| 985 |acoth| 990 |acot| 995 |acosh|
             1000 |acos| 1005 |abs| 1010 ^ 1015 |Zero| 1033 |One| 1037
             |OMwrite| 1041 D 1065 >= 1115 > 1121 = 1127 <= 1133 < 1139
             / 1145 - 1151 + 1162 ** 1168 * 1198)
          'NIL
          (CONS (|makeByteWordVec2| 40
                    '(0 0 3 3 6 40 34 39 34 0 34 0 5 33 0 0 0 4 5 0 0 0
                      1 2 4 5 37 8 9 12 0 0 0 5 0 0 0 0 0 5 5 0 0 0 0 0
                      0 0 0 0 0 7 3 19 22 23 0 0 0 13 25 0 0 0 0 0 0 0
                      4 5 5 10 11 14 13 13 13 13 13 15 15 16 17 18 20
                      21 24 25 26 27))
                (CONS '#(|ComplexCategory&| |MonogenicAlgebra&|
                         |FiniteFieldCategory&|
                         |FieldOfPrimeCharacteristic&| |Field&|
                         |PolynomialFactorizationExplicit&|
                         |EuclideanDomain&|
                         |UniqueFactorizationDomain&| NIL
                         |FramedAlgebra&| |GcdDomain&|
                         |FiniteRankAlgebra&| |DivisionRing&|
                         |IntegralDomain&| |Algebra&|
                         |FullyLinearlyExplicitRingOver&|
                         |DifferentialExtension&| |Algebra&| |Algebra&|
                         NIL NIL |Module&| NIL NIL |Module&| |Module&|
                         |DifferentialRing&| |PartialDifferentialRing&|
                         NIL NIL NIL |Ring&| NIL NIL NIL NIL NIL NIL
                         NIL NIL NIL |AbelianGroup&| NIL NIL NIL
                         |AbelianMonoid&| |Monoid&| NIL
                         |FullyEvalableOver&| |SemiGroup&|
                         |AbelianSemiGroup&| |Finite&| NIL
                         |OrderedSet&| NIL NIL NIL
                         |FullyRetractableTo&| |SetCategory&|
                         |TranscendentalFunctionCategory&| |Evalable&|
                         NIL |RetractableTo&| NIL NIL NIL |BasicType&|
                         NIL NIL NIL NIL |RetractableTo&|
                         |RetractableTo&| |RadicalCategory&|
                         |TrigonometricFunctionCategory&|
                         |ArcTrigonometricFunctionCategory&|
                         |HyperbolicFunctionCategory&| NIL
                         |ElementaryFunctionCategory&| NIL NIL NIL NIL
                         NIL NIL NIL |InnerEvalable&| |InnerEvalable&|
                         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)
                               (|FullyLinearlyExplicitRingOver| 6)
                               (|DifferentialExtension| 6)
                               (|Algebra| $$) (|Algebra| 53)
                               (|LinearlyExplicitRingOver| 6)
                               (|CommutativeRing|) (|Module| 6)
                               (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|Module| $$)
                               (|Module| 53) (|DifferentialRing|)
                               (|PartialDifferentialRing| 85)
                               (|LinearlyExplicitRingOver| 52)
                               (|EntireRing|) (|BiModule| $$ $$)
                               (|Ring|) (|BiModule| 6 6)
                               (|BiModule| 53 53) (|RightModule| $$)
                               (|Rng|) (|RightModule| 6)
                               (|LeftModule| 6) (|LeftModule| $$)
                               (|LeftModule| 53) (|RightModule| 53)
                               (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|FullyPatternMatchable| 6)
                               (|AbelianMonoid|) (|Monoid|) (|SemiRng|)
                               (|FullyEvalableOver| 6) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|Finite|)
                               (|StepThrough|) (|OrderedSet|)
                               (|PatternMatchable| (|Float|))
                               (|PatternMatchable| 52)
                               (|Patternable| 6)
                               (|FullyRetractableTo| 6) (|SetCategory|)
                               (|TranscendentalFunctionCategory|)
                               (|Evalable| 6) (|Type|)
                               (|RetractableTo| 6)
                               (|ConvertibleTo|
                                   (|SparseUnivariatePolynomial| 6))
                               (|CommutativeStar|) (|unitsKnown|)
                               (|BasicType|) (|CoercibleTo| 99)
                               (|noZeroDivisors|)
                               (|canonicalUnitNormal|)
                               (|canonicalsClosed|)
                               (|RetractableTo| 53)
                               (|RetractableTo| 52) (|RadicalCategory|)
                               (|TrigonometricFunctionCategory|)
                               (|ArcTrigonometricFunctionCategory|)
                               (|HyperbolicFunctionCategory|)
                               (|ArcHyperbolicFunctionCategory|)
                               (|ElementaryFunctionCategory|)
                               (|ConvertibleTo| 94)
                               (|ConvertibleTo| 93)
                               (|ConvertibleTo| 59)
                               (|additiveValuation|)
                               (|multiplicativeValuation|)
                               (|ConvertibleTo| 60)
                               (|ConvertibleTo| 61)
                               (|InnerEvalable| 85 6)
                               (|InnerEvalable| 6 6) (|Eltable| 6 $$)
                               (|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 13 0 0 1 1 13 0 0 1
                                  1 3 81 52 1 2 0 43 0 0 1 1 38 48 49 1
                                  1 41 0 0 1 1 41 57 0 1 1 14 0 0 1 2
                                  38 50 51 49 1 2 32 24 0 0 1 0 7 62 1
                                  1 13 0 0 1 1 13 0 0 1 1 13 0 0 1 1 13
                                  0 0 1 0 0 0 1 1 10 87 0 1 1 11 95 0 1
                                  1 0 97 0 1 1 10 53 0 1 1 11 52 0 1 1
                                  0 6 0 1 1 0 0 98 1 2 0 0 98 74 1 0 3
                                  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 5 43 76 1 1
                                  0 0 77 1 1 0 43 0 1 1 0 6 0 13 1 30
                                  87 0 1 1 30 24 0 1 1 30 53 0 1 0 0 78
                                  1 0 7 0 1 2 32 0 0 0 1 1 32 64 63 1 0
                                  3 0 1 1 3 24 0 1 1 3 0 0 1 2 3 0 0 62
                                  1 1 41 24 0 1 1 29 54 0 1 0 13 0 1 3
                                  22 91 0 60 91 1 3 23 92 0 61 92 1 1 3
                                  79 0 1 1 3 78 0 1 1 0 24 0 35 2 14 0
                                  0 52 1 1 0 6 0 46 1 3 43 0 1 2 32 65
                                  63 0 1 1 5 77 0 1 2 19 0 0 0 1 2 19 0
                                  0 0 1 2 0 0 75 0 1 1 7 78 0 1 1 13 0
                                  0 1 1 0 77 0 1 2 32 0 0 0 1 1 32 0 63
                                  1 1 0 11 0 1 1 5 0 0 1 0 3 0 1 1 7 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 3 83 1 1 38 48 49 1 1 38
                                  48 49 1 1 41 57 0 1 2 32 67 0 0 1 3
                                  32 69 0 0 0 1 2 42 43 0 0 47 2 4 43 0
                                  6 44 2 32 65 63 0 1 1 13 0 0 1 2 25 0
                                  0 70 1 2 25 0 0 71 1 3 25 0 0 6 6 1 3
                                  25 0 0 72 72 1 3 24 0 0 85 6 1 3 24 0
                                  0 86 72 1 1 32 62 0 1 0 7 63 1 2 26 0
                                  0 6 1 2 32 66 0 0 1 0 0 6 1 1 0 6 74
                                  1 2 3 80 0 0 1 1 3 62 0 1 1 36 0 0 1
                                  2 36 0 0 62 1 2 8 0 0 85 1 3 8 0 0 85
                                  62 1 2 8 0 0 86 1 3 8 0 0 86 90 1 2 0
                                  0 0 75 1 3 0 0 0 75 62 1 2 5 73 74 75
                                  1 0 0 77 1 1 13 0 0 1 1 13 0 0 1 0 3
                                  0 1 1 13 0 0 1 1 13 0 0 1 1 13 0 0 1
                                  1 13 0 0 1 1 0 73 74 1 1 0 98 0 1 2 0
                                  73 74 74 1 2 0 98 0 74 1 1 16 59 0 1
                                  1 20 60 0 1 1 21 61 0 1 1 15 93 0 1 1
                                  15 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 46 55
                                  56 1 2 0 0 6 6 37 1 42 0 0 1 1 31 0
                                  53 1 1 0 0 6 36 1 0 0 52 1 1 0 99 0 1
                                  1 45 43 0 1 1 3 0 0 1 1 0 77 0 1 0 0
                                  62 1 0 0 74 1 1 13 0 0 1 1 13 0 0 1 2
                                  42 24 0 0 1 1 13 0 0 1 1 13 0 0 1 1
                                  13 0 0 1 1 13 0 0 1 1 13 6 0 1 1 13 0
                                  0 1 1 13 0 0 1 1 13 0 0 1 1 13 0 0 1
                                  1 13 0 0 1 1 13 0 0 1 1 28 0 0 1 2 5
                                  0 0 52 1 2 0 0 0 62 1 2 0 0 0 78 1 0
                                  0 0 28 0 0 0 30 3 27 8 9 0 24 27 2 27
                                  8 9 0 26 1 27 11 0 23 2 27 11 0 24 25
                                  1 36 0 0 1 2 36 0 0 62 1 2 8 0 0 85 1
                                  2 8 0 0 86 1 3 8 0 0 86 90 1 3 8 0 0
                                  85 62 1 2 0 0 0 75 1 3 0 0 0 75 62 1
                                  2 19 24 0 0 1 2 19 24 0 0 1 2 0 24 0
                                  0 1 2 19 24 0 0 1 2 19 24 0 0 1 2 5 0
                                  0 0 1 2 0 0 0 0 1 1 0 0 0 1 2 0 0 0 0
                                  39 2 14 0 0 53 1 2 5 0 0 52 1 2 13 0
                                  0 0 1 2 0 0 0 62 1 2 0 0 0 78 1 2 5 0
                                  0 53 1 2 5 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|)) 
