
(SDEFUN |AN;reducedSystem;MM;1|
        ((|m| (|Matrix| %)) (% (|Matrix| (|Fraction| (|Integer|)))))
        (SPROG ((|mz| (|Matrix| (|Integer|))))
               (SEQ (LETT |mz| (SPADCALL |m| (QREFELT % 10)))
                    (EXIT (SPADCALL (ELT % 13) |mz| (QREFELT % 17)))))) 

(SDEFUN |AN;reducedSystem;MVR;2|
        ((|m| (|Matrix| %)) (|v| (|Vector| %))
         (%
          (|Record| (|:| |mat| (|Matrix| (|Fraction| (|Integer|))))
                    (|:| |vec| (|Vector| (|Fraction| (|Integer|)))))))
        (SPROG
         ((|vq| (|Vector| (|Fraction| (|Integer|))))
          (|mq| (|Matrix| (|Fraction| (|Integer|))))
          (|mzr|
           (|Record| (|:| |mat| (|Matrix| (|Integer|)))
                     (|:| |vec| (|Vector| (|Integer|))))))
         (SEQ (LETT |mzr| (SPADCALL |m| |v| (QREFELT % 21)))
              (LETT |mq| (SPADCALL (ELT % 13) (QCAR |mzr|) (QREFELT % 17)))
              (LETT |vq| (SPADCALL (ELT % 13) (QCDR |mzr|) (QREFELT % 25)))
              (EXIT (CONS |mq| |vq|))))) 

(SDEFUN |AN;mainRatDenom| ((|f| (%)) (% (%))) (SPADCALL |f| (QREFELT % 29))) 

(SDEFUN |AN;findDenominator|
        ((|z| #1=(|SparseUnivariatePolynomial| %))
         (%
          #2=(|Record| (|:| |num| (|SparseUnivariatePolynomial| %))
                       (|:| |den| %))))
        (SPROG ((#3=#:G21 NIL) (|rec| #2#) (|zz| #1#) (|dd| (%)))
               (SEQ
                (EXIT
                 (SEQ (LETT |zz| |z|)
                      (SEQ G190
                           (COND
                            ((NULL
                              (NULL
                               (SPADCALL |zz| (|spadConstant| % 33)
                                         (QREFELT % 35))))
                             (GO G191)))
                           (SEQ
                            (LETT |dd|
                                  (SPADCALL
                                   (SPADCALL (SPADCALL |zz| (QREFELT % 36))
                                             (QREFELT % 38))
                                   (QREFELT % 39)))
                            (EXIT
                             (COND
                              ((SPADCALL |dd| (|spadConstant| % 40)
                                         (QREFELT % 42))
                               (LETT |zz| (SPADCALL |zz| (QREFELT % 43))))
                              ('T
                               (SEQ
                                (LETT |rec|
                                      (|AN;findDenominator|
                                       (SPADCALL |dd| |z| (QREFELT % 44)) %))
                                (EXIT
                                 (PROGN
                                  (LETT #3#
                                        (CONS (QCAR |rec|)
                                              (SPADCALL (QCDR |rec|) |dd|
                                                        (QREFELT % 45))))
                                  (GO #4=#:G20))))))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (EXIT (CONS |z| (|spadConstant| % 40)))))
                #4# (EXIT #3#)))) 

(SDEFUN |AN;makeUnivariate|
        ((|p| (|SparseMultivariatePolynomial| (|Integer|) (|Kernel| %)))
         (|k| (|Kernel| %)) (% (|SparseUnivariatePolynomial| %)))
        (SPADCALL (ELT % 39) (SPADCALL |p| |k| (QREFELT % 49)) (QREFELT % 53))) 

(SDEFUN |AN;differentiate;2%;6| ((|x| (%)) (% (%))) (|spadConstant| % 30)) 

(SDEFUN |AN;zero?;%B;7| ((|a| (%)) (% (|Boolean|)))
        (SPADCALL (SPADCALL |a| (QREFELT % 55)) (QREFELT % 56))) 

(SDEFUN |AN;one?;%B;8| ((|a| (%)) (% (|Boolean|)))
        (COND
         ((SPADCALL (SPADCALL |a| (QREFELT % 55)) (|spadConstant| % 58)
                    (QREFELT % 59))
          (SPADCALL (SPADCALL |a| (QREFELT % 38)) (|spadConstant| % 58)
                    (QREFELT % 59)))
         ('T NIL))) 

(SDEFUN |AN;/;3%;9| ((|x| (%)) (|y| (%)) (% (%)))
        (|AN;mainRatDenom| (SPADCALL |x| |y| (QREFELT % 61)) %)) 

(SDEFUN |AN;^;%I%;10| ((|x| (%)) (|n| (|Integer|)) (% (%)))
        (COND
         ((< |n| 0) (|AN;mainRatDenom| (SPADCALL |x| |n| (QREFELT % 63)) %))
         ('T (SPADCALL |x| |n| (QREFELT % 63))))) 

(SDEFUN |AN;trueEqual;2%B;11| ((|a| (%)) (|b| (%)) (% (|Boolean|)))
        (SPROG
         ((|dg| (|NonNegativeInteger|))
          (|g| (|SparseUnivariatePolynomial| (|Fraction| (|Integer|))))
          (|sb| #1=(|SparseUnivariatePolynomial| (|Fraction| (|Integer|))))
          (|sa| #1#)
          (|nb| #2=(|SparseUnivariatePolynomial| (|Fraction| (|Integer|))))
          (|na| #2#) (|pb| #3=(|SparseUnivariatePolynomial| %)) (|pa| #3#)
          (|kb| #4=(|List| (|Kernel| %))) (|ka| #4#))
         (SEQ (LETT |ka| (REVERSE (SPADCALL |a| (QREFELT % 66))))
              (LETT |kb| (REVERSE (SPADCALL |b| (QREFELT % 66))))
              (COND
               ((NULL |ka|)
                (COND
                 ((NULL |kb|)
                  (EXIT
                   (SPADCALL (SPADCALL |a| (QREFELT % 67))
                             (SPADCALL |b| (QREFELT % 67)) (QREFELT % 68)))))))
              (LETT |pa|
                    (SPADCALL (SPADCALL (|spadConstant| % 40) 1 (QREFELT % 70))
                              (SPADCALL |a| 0 (QREFELT % 70)) (QREFELT % 71)))
              (LETT |pb|
                    (SPADCALL (SPADCALL (|spadConstant| % 40) 1 (QREFELT % 70))
                              (SPADCALL |b| 0 (QREFELT % 70)) (QREFELT % 71)))
              (LETT |na|
                    (SPADCALL (ELT % 67) (SPADCALL |pa| |ka| (QREFELT % 72))
                              (QREFELT % 76)))
              (LETT |nb|
                    (SPADCALL (ELT % 67) (SPADCALL |pb| |kb| (QREFELT % 72))
                              (QREFELT % 76)))
              (LETT |sa| (SPADCALL |na| (QREFELT % 77)))
              (LETT |sb| (SPADCALL |nb| (QREFELT % 77)))
              (EXIT
               (COND ((SPADCALL |sa| |sb| (QREFELT % 78)) 'T)
                     ('T
                      (SEQ (LETT |g| (SPADCALL |sa| |sb| (QREFELT % 79)))
                           (LETT |dg| (SPADCALL |g| (QREFELT % 80)))
                           (EXIT
                            (NULL
                             (OR (EQL |dg| 0)
                                 (NULL
                                  (OR (EQL |dg| (SPADCALL |sa| (QREFELT % 80)))
                                      (EQL |dg|
                                           (SPADCALL |sb|
                                                     (QREFELT %
                                                              80))))))))))))))) 

(SDEFUN |AN;norm;%K%;12| ((|z| (%)) (|k| (|Kernel| %)) (% (%)))
        (SPROG
         ((|d| #1=(|SparseUnivariatePolynomial| %)) (|n| #1#)
          (|p| (|SparseUnivariatePolynomial| %)))
         (SEQ (LETT |p| (SPADCALL |k| (QREFELT % 83)))
              (LETT |n|
                    (|AN;makeUnivariate| (SPADCALL |z| (QREFELT % 55)) |k| %))
              (LETT |d|
                    (|AN;makeUnivariate| (SPADCALL |z| (QREFELT % 38)) |k| %))
              (EXIT
               (SPADCALL (SPADCALL |n| |p| (QREFELT % 84))
                         (SPADCALL |d| |p| (QREFELT % 84)) (QREFELT % 62)))))) 

(SDEFUN |AN;norm;%L%;13| ((|z| (%)) (|l| (|List| (|Kernel| %))) (% (%)))
        (SPROG ((#1=#:G45 NIL) (|k| NIL))
               (SEQ
                (SEQ (LETT |k| NIL) (LETT #1# |l|) G190
                     (COND
                      ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#)) NIL))
                       (GO G191)))
                     (SEQ (EXIT (LETT |z| (SPADCALL |z| |k| (QREFELT % 85)))))
                     (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
                (EXIT |z|)))) 

(SDEFUN |AN;norm;SupKSup;14|
        ((|z| (|SparseUnivariatePolynomial| %)) (|k| (|Kernel| %))
         (% (|SparseUnivariatePolynomial| %)))
        (SPROG
         ((|zz|
           #1=(|SparseUnivariatePolynomial| (|SparseUnivariatePolynomial| %)))
          (|f|
           (|Record| (|:| |num| (|SparseUnivariatePolynomial| %))
                     (|:| |den| %)))
          (|p| #1#))
         (SEQ
          (LETT |p|
                (SPADCALL (ELT % 87) (SPADCALL |k| (QREFELT % 83))
                          (QREFELT % 91)))
          (LETT |f| (|AN;findDenominator| |z| %))
          (LETT |zz|
                (SPADCALL (CONS #'|AN;norm;SupKSup;14!0| (VECTOR |k| %))
                          (QCAR |f|) (QREFELT % 91)))
          (LETT |zz| (SPADCALL |zz| (QREFELT % 93)))
          (EXIT
           (SPADCALL (SPADCALL |p| |zz| (QREFELT % 94))
                     (SPADCALL (QCDR |f|) |k| (QREFELT % 85))
                     (QREFELT % 95)))))) 

(SDEFUN |AN;norm;SupKSup;14!0| ((|x| NIL) ($$ NIL))
        (PROG (% |k|)
          (LETT % (QREFELT $$ 1))
          (LETT |k| (QREFELT $$ 0))
          (RETURN
           (PROGN (|AN;makeUnivariate| (SPADCALL |x| (QREFELT % 55)) |k| %))))) 

(SDEFUN |AN;norm;SupLSup;15|
        ((|z| (|SparseUnivariatePolynomial| %)) (|l| (|List| (|Kernel| %)))
         (% (|SparseUnivariatePolynomial| %)))
        (SPROG ((#1=#:G53 NIL) (|k| NIL))
               (SEQ
                (SEQ (LETT |k| NIL) (LETT #1# |l|) G190
                     (COND
                      ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#)) NIL))
                       (GO G191)))
                     (SEQ (EXIT (LETT |z| (SPADCALL |z| |k| (QREFELT % 96)))))
                     (LETT #1# (CDR #1#)) (GO G190) G191 (EXIT NIL))
                (EXIT |z|)))) 

(SDEFUN |AN;belong?;BoB;16| ((|op| (|BasicOperator|)) (% (|Boolean|)))
        (COND ((SPADCALL |op| (QREFELT % 99)) 'T)
              ('T (SPADCALL |op| (QREFELT % 7) (QREFELT % 101))))) 

(SDEFUN |AN;convert;%If;17| ((|x| (%)) (% (|InputForm|)))
        (SPADCALL (SPADCALL |x| (QREFELT % 104)) (QREFELT % 106))) 

(SDEFUN |AN;convert;%F;18| ((|x| (%)) (% (|Float|)))
        (SPADCALL (SPADCALL (ELT % 109) |x| (QREFELT % 113)) (QREFELT % 114))) 

(SDEFUN |AN;convert;%Df;19| ((|x| (%)) (% (|DoubleFloat|)))
        (SPADCALL (SPADCALL (ELT % 117) |x| (QREFELT % 121)) (QREFELT % 122))) 

(SDEFUN |AN;convert;%C;20| ((|x| (%)) (% (|Complex| (|Float|))))
        (SPADCALL (SPADCALL (ELT % 125) |x| (QREFELT % 129)) (QREFELT % 130))) 

(DECLAIM (NOTINLINE |AlgebraicNumber;|)) 

(DEFUN |AlgebraicNumber;| ()
  (SPROG ((|dv$| NIL) (% NIL) (|pv$| NIL))
         (PROGN
          (LETT |dv$| '(|AlgebraicNumber|))
          (LETT % (GETREFV 162))
          (QSETREFV % 0 |dv$|)
          (QSETREFV % 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|haddProp| |$ConstructorCache| '|AlgebraicNumber| NIL (CONS 1 %))
          (|stuffDomainSlots| %)
          (AND (|HasCategory| % '(|Ring|)) (|augmentPredVector| % 1))
          (AND (|HasCategory| % '(|RetractableTo| (|Integer|)))
               (|augmentPredVector| % 2))
          (AND (|HasCategory| % '(|CharacteristicNonZero|))
               (|augmentPredVector| % 4))
          (SETF |pv$| (QREFELT % 3))
          (QSETREFV % 6 (|Expression| (|Integer|)))
          (QSETREFV % 7 '|%alg|)
          %))) 

(DEFUN |AlgebraicNumber| ()
  (SPROG NIL
         (PROG (#1=#:G98)
           (RETURN
            (COND
             ((LETT #1# (HGET |$ConstructorCache| '|AlgebraicNumber|))
              (|CDRwithIncrement| (CDAR #1#)))
             ('T
              (UNWIND-PROTECT
                  (PROG1
                      (CDDAR
                       (HPUT |$ConstructorCache| '|AlgebraicNumber|
                             (LIST (CONS NIL (CONS 1 (|AlgebraicNumber;|))))))
                    (LETT #1# T))
                (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache| '|AlgebraicNumber|)))))))))) 

(MAKEPROP '|AlgebraicNumber| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|Expression| 11) '|Rep| 'ALGOP (|Matrix| 11)
              (|Matrix| %) (0 . |reducedSystem|) (|Integer|) (|Fraction| 11)
              (5 . |coerce|) (|Matrix| 12) (|Mapping| 12 11)
              (|MatrixCategoryFunctions2| 11 23 23 8 12 22 22 14) (10 . |map|)
              |AN;reducedSystem;MM;1| (|Record| (|:| |mat| 8) (|:| |vec| 23))
              (|Vector| %) (16 . |reducedSystem|) (|Vector| 12) (|Vector| 11)
              (|VectorFunctions2| 11 12) (22 . |map|)
              (|Record| (|:| |mat| 14) (|:| |vec| 22)) |AN;reducedSystem;MVR;2|
              (|AlgebraicManipulations| 11 5) (28 . |ratDenom|) (33 . |Zero|)
              (37 . |Zero|) (|SparseUnivariatePolynomial| $$) (41 . |Zero|)
              (|Boolean|) (45 . =) (51 . |leadingCoefficient|)
              (|SparseMultivariatePolynomial| 11 82) (56 . |denom|)
              (61 . |coerce|) (66 . |One|) (70 . |One|) (74 . =)
              (80 . |reductum|) (85 . *) (91 . *)
              (|SparseUnivariatePolynomial| %) (|Kernel| $$)
              (|SparseMultivariatePolynomial| 11 47) (97 . |univariate|)
              (|Mapping| $$ 48) (|SparseUnivariatePolynomial| 48)
              (|SparseUnivariatePolynomialFunctions2| 48 $$) (103 . |map|)
              |AN;differentiate;2%;6| (109 . |numer|) (114 . |zero?|)
              |AN;zero?;%B;7| (119 . |One|) (123 . =) |AN;one?;%B;8| (129 . /)
              |AN;/;3%;9| (135 . ^) |AN;^;%I%;10| (|List| 82) (141 . |tower|)
              (146 . |retract|) (151 . =) (|NonNegativeInteger|)
              (157 . |monomial|) (163 . -) |AN;norm;SupLSup;15|
              (|SparseUnivariatePolynomial| 12) (|Mapping| 12 $$)
              (|SparseUnivariatePolynomialFunctions2| $$ 12) (169 . |map|)
              (175 . |squareFreePart|) (180 . =) (186 . |gcd|) (192 . |degree|)
              |AN;trueEqual;2%B;11| (|Kernel| %) (197 . |minPoly|)
              (202 . |resultant|) |AN;norm;%K%;12| |AN;norm;%L%;13|
              (208 . |coerce|) (|SparseUnivariatePolynomial| 32)
              (|Mapping| 32 $$) (|SparseUnivariatePolynomialFunctions2| $$ 32)
              (213 . |map|) (|CommuteUnivariatePolynomialCategory| $$ 32 88)
              (219 . |swap|) (224 . |resultant|) (230 . /) |AN;norm;SupKSup;14|
              (|BasicOperator|) (|ExpressionSpace2&| $$ 47) (236 . |belong?|)
              (|Symbol|) (241 . |has?|) |AN;belong?;BoB;16| (|InputForm|)
              (247 . |convert|) (|InputFormFunctions1| $$)
              (252 . |coerceToType|) |AN;convert;%If;17| (|Float|)
              (257 . |coerce|) (|Expression| 108) (|Mapping| 108 11)
              (|ExpressionFunctions2| 11 108) (262 . |map|) (268 . |retract|)
              |AN;convert;%F;18| (|DoubleFloat|) (273 . |coerce|)
              (|Expression| 116) (|Mapping| 116 11)
              (|ExpressionFunctions2| 11 116) (278 . |map|) (284 . |retract|)
              |AN;convert;%Df;19| (|Complex| 108) (289 . |coerce|)
              (|Expression| 124) (|Mapping| 124 11)
              (|ExpressionFunctions2| 11 124) (294 . |map|) (300 . |retract|)
              |AN;convert;%C;20| (|OutputForm|) (|String|)
              (|Union| 82 '#1="failed") (|List| 137) (|List| %) (|Equation| %)
              (|List| 97) (|Mapping| % %) (|List| 100) (|List| 139)
              (|Mapping| % 136) (|List| 142) (|Polynomial| %) (|Factored| %)
              (|Record| (|:| |coef1| %) (|:| |coef2| %))
              (|Union| 146 '#2="failed") (|Union| 136 '#2#)
              (|Record| (|:| |coef1| %) (|:| |coef2| %) (|:| |generator| %))
              (|Record| (|:| |quotient| %) (|:| |remainder| %))
              (|Record| (|:| |coef| 136) (|:| |generator| %))
              (|Record| (|:| |llcm_res| %) (|:| |coeff1| %) (|:| |coeff2| %))
              (|Record| (|:| |unit| %) (|:| |canonical| %) (|:| |associate| %))
              (|Union| % '"failed") (|PositiveInteger|) (|Union| 11 '#1#)
              (|Union| 12 '#1#) (|Union| 159 '#3="failed") (|List| 46)
              (|Factored| 46) (|Union| 20 '#3#))
           '#(~= 305 |zerosOf| 311 |zeroOf| 327 |zero?| 343 |unitNormal| 348
              |unitCanonical| 353 |unit?| 358 |trueEqual| 363 |tower| 369
              |subtractIfCan| 379 |subst| 385 |squareFreePolynomial| 404
              |squareFreePart| 409 |squareFree| 414 |sqrt| 419
              |solveLinearPolynomialEquation| 424 |smaller?| 430 |sizeLess?|
              436 |sample| 442 |rootsOf| 446 |rootOf| 462 |rightRecip| 478
              |rightPower| 483 |retractIfCan| 495 |retract| 510 |rem| 525
              |reducedSystem| 531 |reduce| 553 |recip| 558 |quo| 563
              |principalIdeal| 569 |prime?| 574 |plenaryPower| 579 |paren| 585
              |opposite?| 590 |operators| 596 |operator| 601 |one?| 606 |odd?|
              611 |numer| 616 |nthRoot| 621 |norm| 627 |multiEuclidean| 651
              |minPoly| 657 |map| 662 |mainKernel| 668 |leftRecip| 673
              |leftPower| 678 |lcmCoef| 690 |lcm| 696 |latex| 707 |kernels| 712
              |kernel| 722 |is?| 734 |inv| 746 |height| 751 |gcdPolynomial| 756
              |gcd| 762 |freeOf?| 773 |factorSquareFreePolynomial| 785
              |factorPolynomial| 790 |factor| 795 |extendedEuclidean| 800
              |exquo| 813 |expressIdealMember| 819 |even?| 825 |eval| 830
              |euclideanSize| 926 |elt| 931 |divide| 1027 |distribute| 1033
              |differentiate| 1044 |denom| 1055 |definingPolynomial| 1060
              |convert| 1065 |conditionP| 1085 |commutator| 1090 |coerce| 1096
              |charthRoot| 1126 |characteristic| 1131 |box| 1135 |belong?| 1140
              |associator| 1145 |associates?| 1152 |antiCommutator| 1158
              |annihilate?| 1164 ^ 1170 |Zero| 1194 |One| 1198 D 1202 = 1213 /
              1219 - 1225 + 1236 * 1242)
           'NIL
           (CONS
            (|makeByteWordVec2| 1
                                '(0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                                  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                                  0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                                  0 0 0))
            (CONS
             '#(|AlgebraicallyClosedField&| |Field&| |EuclideanDomain&|
                |PolynomialFactorizationExplicit&| NIL
                |UniqueFactorizationDomain&| |GcdDomain&| NIL NIL NIL
                |DivisionRing&| |Algebra&| |EntireRing&| |Algebra&| NIL
                |DifferentialRing&| NIL |Rng&| NIL |NonAssociativeAlgebra&|
                |NonAssociativeAlgebra&| NIL |Module&| |Module&|
                |NonAssociativeRing&| NIL NIL NIL NIL |NonAssociativeRng&| NIL
                NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL NIL
                |NonAssociativeSemiRng&| |AbelianMonoid&| |MagmaWithUnit&| NIL
                |ExpressionSpace2&| |AbelianSemiGroup&| |Magma&| NIL
                |RetractableTo&| |Evalable&| |SetCategory&| NIL
                |RetractableTo&| |RetractableTo&| NIL NIL NIL |InnerEvalable&|
                |InnerEvalable&| |BasicType&| NIL NIL NIL NIL NIL
                |RadicalCategory&| NIL NIL NIL NIL NIL NIL)
             (CONS
              '#((|AlgebraicallyClosedField|) (|Field|) (|EuclideanDomain|)
                 (|PolynomialFactorizationExplicit|) (|PrincipalIdealDomain|)
                 (|UniqueFactorizationDomain|) (|GcdDomain|) (|IntegralDomain|)
                 (|CommutativeRing|) (|LeftOreRing|) (|DivisionRing|)
                 (|Algebra| $$) (|EntireRing|) (|Algebra| 12)
                 (|CharacteristicZero|) (|DifferentialRing|) (|Ring|) (|Rng|)
                 (|SemiRing|) (|NonAssociativeAlgebra| $$)
                 (|NonAssociativeAlgebra| 12) (|SemiRng|) (|Module| $$)
                 (|Module| 12) (|NonAssociativeRing|) (|BiModule| $$ $$)
                 (|BiModule| 12 12) (|LinearlyExplicitOver| 11)
                 (|LinearlyExplicitOver| 12) (|NonAssociativeRng|)
                 (|RightModule| $$) (|LeftModule| $$) (|LeftModule| 12)
                 (|RightModule| 11) (|RightModule| 12) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|NonAssociativeSemiRing|)
                 (|Monoid|) (|ExpressionSpace|) (|NonAssociativeSemiRng|)
                 (|AbelianMonoid|) (|MagmaWithUnit|) (|SemiGroup|)
                 (|ExpressionSpace2| 47) (|AbelianSemiGroup|) (|Magma|)
                 (|Comparable|) (|RetractableTo| 47) (|Evalable| $$)
                 (|SetCategory|) (|CommutativeStar|) (|RetractableTo| 11)
                 (|RetractableTo| 12) (|RealConstant|) (|CoercibleTo| 132)
                 (|CoercibleFrom| 47) (|InnerEvalable| 47 $$)
                 (|InnerEvalable| $$ $$) (|BasicType|) (|unitsKnown|)
                 (|TwoSidedRecip|) (|noZeroDivisors|) (|canonicalUnitNormal|)
                 (|canonicalsClosed|) (|RadicalCategory|) (|CoercibleFrom| 11)
                 (|CoercibleFrom| 12) (|ConvertibleTo| 116)
                 (|ConvertibleTo| 108) (|ConvertibleTo| 124)
                 (|ConvertibleTo| 103))
              (|makeByteWordVec2| 161
                                  '(1 6 8 9 10 1 12 0 11 13 2 16 14 15 8 17 2 6
                                    19 9 20 21 2 24 22 15 23 25 1 28 5 5 29 0 0
                                    0 30 0 6 0 31 0 32 0 33 2 32 34 0 0 35 1 32
                                    2 0 36 1 0 37 0 38 1 0 0 37 39 0 0 0 40 0 6
                                    0 41 2 0 34 0 0 42 1 32 0 0 43 2 32 0 2 0
                                    44 2 0 0 0 0 45 2 48 46 0 47 49 2 52 32 50
                                    51 53 1 0 37 0 55 1 48 34 0 56 0 48 0 58 2
                                    48 34 0 0 59 2 6 0 0 0 61 2 6 0 0 11 63 1 0
                                    65 0 66 1 0 12 0 67 2 12 34 0 0 68 2 32 0 2
                                    69 70 2 32 0 0 0 71 2 75 73 74 32 76 1 73 0
                                    0 77 2 73 34 0 0 78 2 73 0 0 0 79 1 73 69 0
                                    80 1 0 46 82 83 2 32 2 0 0 84 1 32 0 2 87 2
                                    90 88 89 32 91 1 92 88 88 93 2 88 32 0 0 94
                                    2 32 0 0 2 95 1 98 34 97 99 2 97 34 0 100
                                    101 1 6 103 0 104 1 105 103 103 106 1 108 0
                                    11 109 2 112 110 111 5 113 1 110 108 0 114
                                    1 116 0 11 117 2 120 118 119 5 121 1 118
                                    116 0 122 1 124 0 11 125 2 128 126 127 5
                                    129 1 126 124 0 130 2 0 34 0 0 1 2 0 136 46
                                    100 1 1 0 136 46 1 1 0 136 144 1 2 0 0 46
                                    100 1 1 0 0 144 1 1 0 0 46 1 1 0 34 0 57 1
                                    0 153 0 1 1 0 0 0 1 1 0 34 0 1 2 0 34 0 0
                                    81 1 0 65 136 1 1 0 65 0 66 2 0 154 0 0 1 2
                                    0 0 0 135 1 2 0 0 0 137 1 3 0 0 0 65 136 1
                                    1 0 160 46 1 1 0 0 0 1 1 0 145 0 1 1 0 0 0
                                    1 2 0 158 159 46 1 2 0 34 0 0 1 2 0 34 0 0
                                    1 0 0 0 1 2 0 136 46 100 1 1 0 136 144 1 1
                                    0 136 46 1 2 0 0 46 100 1 1 0 0 144 1 1 0 0
                                    46 1 1 0 154 0 1 2 0 0 0 69 1 2 0 0 0 155 1
                                    1 0 134 0 1 1 0 156 0 1 1 0 157 0 1 1 0 82
                                    0 1 1 0 11 0 1 1 0 12 0 67 2 0 0 0 0 1 1 0
                                    8 9 1 2 0 19 9 20 1 1 0 14 9 18 2 0 26 9 20
                                    27 1 0 0 0 1 1 0 154 0 1 2 0 0 0 0 1 1 0
                                    151 136 1 1 0 34 0 1 2 0 0 0 155 1 1 0 0 0
                                    1 2 0 34 0 0 1 1 0 138 0 1 1 0 97 97 1 1 0
                                    34 0 60 1 2 34 0 1 1 0 37 0 55 2 0 0 0 11 1
                                    2 0 46 46 82 96 2 0 46 46 65 72 2 0 0 0 65
                                    86 2 0 0 0 82 85 2 0 148 136 0 1 1 1 46 82
                                    83 2 0 0 139 82 1 1 0 134 0 1 1 0 154 0 1 2
                                    0 0 0 69 1 2 0 0 0 155 1 2 0 152 0 0 1 2 0
                                    0 0 0 1 1 0 0 136 1 1 0 133 0 1 1 0 65 0 1
                                    1 0 65 136 1 2 0 0 97 136 1 2 0 0 97 0 1 2
                                    0 34 0 100 1 2 0 34 0 97 1 1 0 0 0 1 1 0 69
                                    0 1 2 0 46 46 46 1 1 0 0 136 1 2 0 0 0 0 1
                                    2 0 34 0 100 1 2 0 34 0 0 1 1 0 160 46 1 1
                                    0 160 46 1 1 0 145 0 1 3 0 147 0 0 0 1 2 0
                                    149 0 0 1 2 0 154 0 0 1 2 0 148 136 0 1 1 2
                                    34 0 1 3 0 0 0 82 0 1 2 0 0 0 135 1 3 0 0 0
                                    65 136 1 3 0 0 0 0 0 1 2 0 0 0 137 1 3 0 0
                                    0 136 136 1 3 0 0 0 140 141 1 3 0 0 0 100
                                    142 1 3 0 0 0 140 143 1 3 0 0 0 100 139 1 3
                                    0 0 0 138 143 1 3 0 0 0 138 141 1 3 0 0 0
                                    97 139 1 3 0 0 0 97 142 1 1 0 69 0 1 3 0 0
                                    97 0 0 1 2 0 0 97 0 1 5 0 0 97 0 0 0 0 1 4
                                    0 0 97 0 0 0 1 6 0 0 97 0 0 0 0 0 1 8 0 0
                                    97 0 0 0 0 0 0 0 1 7 0 0 97 0 0 0 0 0 0 1
                                    10 0 0 97 0 0 0 0 0 0 0 0 0 1 9 0 0 97 0 0
                                    0 0 0 0 0 0 1 2 0 0 97 136 1 2 0 150 0 0 1
                                    1 0 0 0 1 2 0 0 0 0 1 2 0 0 0 69 1 1 0 0 0
                                    54 1 0 37 0 38 1 1 0 0 1 1 0 108 0 115 1 0
                                    116 0 123 1 0 103 0 107 1 0 124 0 131 1 3
                                    161 9 1 2 0 0 0 0 1 1 0 132 0 1 1 0 0 82 1
                                    1 0 0 12 1 1 0 0 0 1 1 0 0 11 1 1 0 0 37 39
                                    1 3 154 0 1 0 0 69 1 1 0 0 0 1 1 0 34 97
                                    102 3 0 0 0 0 0 1 2 0 34 0 0 1 2 0 0 0 0 1
                                    2 0 34 0 0 1 2 0 0 0 12 1 2 0 0 0 11 64 2 0
                                    0 0 69 1 2 0 0 0 155 1 0 0 0 30 0 0 0 40 2
                                    0 0 0 69 1 1 0 0 0 1 2 0 34 0 0 42 2 0 0 0
                                    0 62 2 0 0 0 0 1 1 0 0 0 1 2 0 0 0 0 1 2 0
                                    0 0 12 1 2 0 0 12 0 1 2 0 0 69 0 1 2 0 0 11
                                    0 1 2 0 0 0 0 45 2 0 0 155 0 1 2 0 0 0 11
                                    1)))))
           '|lookupComplete|)) 
