
(/VERSIONCHECK 2) 

(DEFUN |IAN;mainRatDenom| (|f| $) (SPADCALL |f| (QREFELT $ 9))) 

(DEFUN |IAN;findDenominator| (|z| $)
  (PROG (#1=#:G1809 |rec| |zz| |dd|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |zz| |z| . #2=(|IAN;findDenominator|))
            (SEQ G190
                 (COND
                  ((NULL
                    (COND
                     ((SPADCALL |zz| (|spadConstant| $ 13) (QREFELT $ 15))
                      'NIL)
                     ('T 'T)))
                   (GO G191)))
                 (SEQ
                  (LETT |dd|
                        (SPADCALL
                         (SPADCALL (SPADCALL |zz| (QREFELT $ 16))
                                   (QREFELT $ 18))
                         (QREFELT $ 19))
                        . #2#)
                  (EXIT
                   (COND
                    ((SPADCALL |dd| (|spadConstant| $ 20) (QREFELT $ 22))
                     (LETT |zz| (SPADCALL |zz| (QREFELT $ 23)) . #2#))
                    ('T
                     (SEQ
                      (LETT |rec|
                            (|IAN;findDenominator|
                             (SPADCALL |dd| |z| (QREFELT $ 24)) $)
                            . #2#)
                      (EXIT
                       (PROGN
                        (LETT #1#
                              (CONS (QCAR |rec|)
                                    (SPADCALL (QCDR |rec|) |dd|
                                              (QREFELT $ 25)))
                              . #2#)
                        (GO #1#))))))))
                 NIL (GO G190) G191 (EXIT NIL))
            (EXIT (CONS |z| (|spadConstant| $ 20)))))
      #1# (EXIT #1#))))) 

(DEFUN |IAN;makeUnivariate| (|p| |k| $)
  (SPADCALL (ELT $ 19) (SPADCALL |p| |k| (QREFELT $ 29)) (QREFELT $ 33))) 

(DEFUN |IAN;differentiate;2$;4| (|x| $) (|spadConstant| $ 10)) 

(DEFUN |IAN;zero?;$B;5| (|a| $)
  (SPADCALL (SPADCALL |a| (QREFELT $ 35)) (QREFELT $ 36))) 

(DEFUN |IAN;one?;$B;6| (|a| $)
  (COND
   ((SPADCALL (SPADCALL |a| (QREFELT $ 35)) (|spadConstant| $ 38)
              (QREFELT $ 39))
    (SPADCALL (SPADCALL |a| (QREFELT $ 18)) (|spadConstant| $ 38)
              (QREFELT $ 39)))
   ('T 'NIL))) 

(DEFUN |IAN;/;3$;7| (|x| |y| $)
  (|IAN;mainRatDenom| (SPADCALL |x| |y| (QREFELT $ 41)) $)) 

(DEFUN |IAN;^;$I$;8| (|x| |n| $)
  (COND ((< |n| 0) (|IAN;mainRatDenom| (SPADCALL |x| |n| (QREFELT $ 44)) $))
        ('T (SPADCALL |x| |n| (QREFELT $ 44))))) 

(DEFUN |IAN;trueEqual;2$B;9| (|a| |b| $)
  (PROG (|dg| |g| |sb| |sa| |nb| |na| |pb| |pa| |kb| |ka|)
    (RETURN
     (SEQ
      (LETT |ka| (REVERSE (SPADCALL |a| (QREFELT $ 47)))
            . #1=(|IAN;trueEqual;2$B;9|))
      (LETT |kb| (REVERSE (SPADCALL |b| (QREFELT $ 47))) . #1#)
      (COND
       ((NULL |ka|)
        (COND
         ((NULL |kb|)
          (EXIT
           (SPADCALL (SPADCALL |a| (QREFELT $ 49))
                     (SPADCALL |b| (QREFELT $ 49)) (QREFELT $ 50)))))))
      (LETT |pa|
            (SPADCALL (SPADCALL (|spadConstant| $ 20) 1 (QREFELT $ 52))
                      (SPADCALL |a| 0 (QREFELT $ 52)) (QREFELT $ 53))
            . #1#)
      (LETT |pb|
            (SPADCALL (SPADCALL (|spadConstant| $ 20) 1 (QREFELT $ 52))
                      (SPADCALL |b| 0 (QREFELT $ 52)) (QREFELT $ 53))
            . #1#)
      (LETT |na|
            (SPADCALL (ELT $ 49) (SPADCALL |pa| |ka| (QREFELT $ 54))
                      (QREFELT $ 58))
            . #1#)
      (LETT |nb|
            (SPADCALL (ELT $ 49) (SPADCALL |pb| |kb| (QREFELT $ 54))
                      (QREFELT $ 58))
            . #1#)
      (LETT |sa| (SPADCALL |na| (QREFELT $ 59)) . #1#)
      (LETT |sb| (SPADCALL |nb| (QREFELT $ 59)) . #1#)
      (EXIT
       (COND ((SPADCALL |sa| |sb| (QREFELT $ 60)) 'T)
             ('T
              (SEQ (LETT |g| (SPADCALL |sa| |sb| (QREFELT $ 61)) . #1#)
                   (LETT |dg| (SPADCALL |g| (QREFELT $ 62)) . #1#)
                   (EXIT
                    (COND
                     ((OR (EQL |dg| 0)
                          (NULL
                           (OR (EQL |dg| (SPADCALL |sa| (QREFELT $ 62)))
                               (EQL |dg| (SPADCALL |sb| (QREFELT $ 62))))))
                      'NIL)
                     ('T 'T))))))))))) 

(DEFUN |IAN;norm;$K$;10| (|z| |k| $)
  (PROG (|d| |n| |p|)
    (RETURN
     (SEQ (LETT |p| (SPADCALL |k| (QREFELT $ 65)) . #1=(|IAN;norm;$K$;10|))
          (LETT |n| (|IAN;makeUnivariate| (SPADCALL |z| (QREFELT $ 35)) |k| $)
                . #1#)
          (LETT |d| (|IAN;makeUnivariate| (SPADCALL |z| (QREFELT $ 18)) |k| $)
                . #1#)
          (EXIT
           (SPADCALL (SPADCALL |n| |p| (QREFELT $ 66))
                     (SPADCALL |d| |p| (QREFELT $ 66)) (QREFELT $ 42))))))) 

(DEFUN |IAN;norm;$L$;11| (|z| |l| $)
  (PROG (#1=#:G1840 |k|)
    (RETURN
     (SEQ
      (SEQ (LETT |k| NIL . #2=(|IAN;norm;$L$;11|)) (LETT #1# |l| . #2#) G190
           (COND
            ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #2#) NIL)) (GO G191)))
           (SEQ (EXIT (LETT |z| (SPADCALL |z| |k| (QREFELT $ 67)) . #2#)))
           (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT |z|))))) 

(DEFUN |IAN;norm;SupKSup;12| (|z| |k| $)
  (PROG (|zz| |f| |p|)
    (RETURN
     (SEQ
      (LETT |p|
            (SPADCALL (ELT $ 69) (SPADCALL |k| (QREFELT $ 65)) (QREFELT $ 73))
            . #1=(|IAN;norm;SupKSup;12|))
      (LETT |f| (|IAN;findDenominator| |z| $) . #1#)
      (LETT |zz|
            (SPADCALL (CONS #'|IAN;norm;SupKSup;12!0| (VECTOR |k| $))
                      (QCAR |f|) (QREFELT $ 73))
            . #1#)
      (LETT |zz| (SPADCALL |zz| (QREFELT $ 75)) . #1#)
      (EXIT
       (SPADCALL (SPADCALL |p| |zz| (QREFELT $ 76))
                 (SPADCALL (QCDR |f|) |k| (QREFELT $ 67)) (QREFELT $ 77))))))) 

(DEFUN |IAN;norm;SupKSup;12!0| (|x| $$)
  (PROG ($ |k|)
    (LETT $ (QREFELT $$ 1) . #1=(|IAN;norm;SupKSup;12|))
    (LETT |k| (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (|IAN;makeUnivariate| (SPADCALL |x| (QREFELT $ 35)) |k| $))))) 

(DEFUN |IAN;norm;SupLSup;13| (|z| |l| $)
  (PROG (#1=#:G1847 |k|)
    (RETURN
     (SEQ
      (SEQ (LETT |k| NIL . #2=(|IAN;norm;SupLSup;13|)) (LETT #1# |l| . #2#)
           G190
           (COND
            ((OR (ATOM #1#) (PROGN (LETT |k| (CAR #1#) . #2#) NIL)) (GO G191)))
           (SEQ (EXIT (LETT |z| (SPADCALL |z| |k| (QREFELT $ 78)) . #2#)))
           (LETT #1# (CDR #1#) . #2#) (GO G190) G191 (EXIT NIL))
      (EXIT |z|))))) 

(DEFUN |IAN;belong?;BoB;14| (|op| $)
  (COND ((SPADCALL |op| (QREFELT $ 81)) 'T)
        ('T (SPADCALL |op| (QREFELT $ 7) (QREFELT $ 83))))) 

(DEFUN |IAN;convert;$If;15| (|x| $) (SPADCALL |x| (QREFELT $ 86))) 

(DEFUN |IAN;convert;$F;16| (|x| $)
  (SPADCALL (SPADCALL (ELT $ 89) |x| (QREFELT $ 93)) (QREFELT $ 94))) 

(DEFUN |IAN;convert;$Df;17| (|x| $)
  (SPADCALL (SPADCALL (ELT $ 97) |x| (QREFELT $ 101)) (QREFELT $ 102))) 

(DEFUN |IAN;convert;$C;18| (|x| $)
  (SPADCALL (SPADCALL (ELT $ 105) |x| (QREFELT $ 109)) (QREFELT $ 110))) 

(DEFUN |InnerAlgebraicNumber| #1=()
  (PROG #1#
    (RETURN
     (PROG (#2=#:G1895)
       (RETURN
        (COND
         ((LETT #2# (HGET |$ConstructorCache| '|InnerAlgebraicNumber|)
                . #3=(|InnerAlgebraicNumber|))
          (|CDRwithIncrement| (CDAR #2#)))
         ('T
          (UNWIND-PROTECT
              (PROG1
                  (CDDAR
                   (HPUT |$ConstructorCache| '|InnerAlgebraicNumber|
                         (LIST (CONS NIL (CONS 1 (|InnerAlgebraicNumber;|))))))
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache| '|InnerAlgebraicNumber|))))))))))) 

(DEFUN |InnerAlgebraicNumber;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
     (PROGN
      (LETT |dv$| '(|InnerAlgebraicNumber|) . #1=(|InnerAlgebraicNumber|))
      (LETT $ (GETREFV 144) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|InnerAlgebraicNumber| NIL (CONS 1 $))
      (|stuffDomainSlots| $)
      (AND (|HasCategory| $ '(|Ring|)) (|augmentPredVector| $ 1))
      (AND (|HasCategory| $ '(|RetractableTo| (|Integer|)))
           (|augmentPredVector| $ 2))
      (QSETREFV $ 6 (|Expression| (|Integer|)))
      (QSETREFV $ 7 '|%alg|)
      $)))) 

(MAKEPROP '|InnerAlgebraicNumber| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL (|Expression| 43) '|Rep| 'ALGOP
              (|AlgebraicManipulations| 43 5) (0 . |ratDenom|) (5 . |Zero|)
              (9 . |Zero|) (|SparseUnivariatePolynomial| $$) (13 . |Zero|)
              (|Boolean|) (17 . =) (23 . |leadingCoefficient|)
              (|SparseMultivariatePolynomial| 43 64) (28 . |denom|)
              (33 . |coerce|) (38 . |One|) (42 . |One|) (46 . =)
              (52 . |reductum|) (57 . *) (63 . *)
              (|SparseUnivariatePolynomial| $) (|Kernel| $$)
              (|SparseMultivariatePolynomial| 43 27) (69 . |univariate|)
              (|Mapping| $$ 28) (|SparseUnivariatePolynomial| 28)
              (|SparseUnivariatePolynomialFunctions2| 28 $$) (75 . |map|)
              |IAN;differentiate;2$;4| (81 . |numer|) (86 . |zero?|)
              |IAN;zero?;$B;5| (91 . |One|) (95 . =) |IAN;one?;$B;6| (101 . /)
              |IAN;/;3$;7| (|Integer|) (107 . ^) |IAN;^;$I$;8| (|List| 64)
              (113 . |tower|) (|Fraction| 43) (118 . |retract|) (123 . =)
              (|NonNegativeInteger|) (129 . |monomial|) (135 . -)
              |IAN;norm;SupLSup;13| (|SparseUnivariatePolynomial| 48)
              (|Mapping| 48 $$) (|SparseUnivariatePolynomialFunctions2| $$ 48)
              (141 . |map|) (147 . |squareFreePart|) (152 . =) (158 . |gcd|)
              (164 . |degree|) |IAN;trueEqual;2$B;9| (|Kernel| $)
              (169 . |minPoly|) (174 . |resultant|) |IAN;norm;$K$;10|
              |IAN;norm;$L$;11| (180 . |coerce|)
              (|SparseUnivariatePolynomial| 12) (|Mapping| 12 $$)
              (|SparseUnivariatePolynomialFunctions2| $$ 12) (185 . |map|)
              (|CommuteUnivariatePolynomialCategory| $$ 12 70) (191 . |swap|)
              (196 . |resultant|) (202 . /) |IAN;norm;SupKSup;12|
              (|BasicOperator|) (|ExpressionSpace&| $$) (208 . |belong?|)
              (|Symbol|) (213 . |has?|) |IAN;belong?;BoB;14| (|InputForm|)
              (219 . |convert|) |IAN;convert;$If;15| (|Float|) (224 . |coerce|)
              (|Expression| 88) (|Mapping| 88 43)
              (|ExpressionFunctions2| 43 88) (229 . |map|) (235 . |retract|)
              |IAN;convert;$F;16| (|DoubleFloat|) (240 . |coerce|)
              (|Expression| 96) (|Mapping| 96 43)
              (|ExpressionFunctions2| 43 96) (245 . |map|) (251 . |retract|)
              |IAN;convert;$Df;17| (|Complex| 88) (256 . |coerce|)
              (|Expression| 104) (|Mapping| 104 43)
              (|ExpressionFunctions2| 43 104) (261 . |map|) (267 . |retract|)
              |IAN;convert;$C;18| (|Matrix| 48) (|Matrix| $)
              (|Record| (|:| |mat| 112) (|:| |vec| (|Vector| 48))) (|Vector| $)
              (|Matrix| 43)
              (|Record| (|:| |mat| 116) (|:| |vec| (|Vector| 43)))
              (|Union| 48 '#1="failed") (|Union| 43 '#1#) (|PositiveInteger|)
              (|Union| $ '"failed")
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (|List| $) (|Union| 123 '"failed")
              (|Record| (|:| |coef| 123) (|:| |generator| $))
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 127 '"failed")
              (|Record| (|:| |coef1| $) (|:| |coef2| $) (|:| |generator| $))
              (|Factored| $) (|Polynomial| $) (|Mapping| $ $) (|List| 79)
              (|Mapping| $ 123) (|List| 134) (|List| 132) (|List| 82)
              (|Union| 64 '"failed") (|List| 140) (|Equation| $)
              (|SingleInteger|) (|String|) (|OutputForm|))
           '#(~= 272 |zerosOf| 278 |zeroOf| 294 |zero?| 310 |unitNormal| 315
              |unitCanonical| 320 |unit?| 325 |trueEqual| 330 |tower| 336
              |subtractIfCan| 341 |subst| 347 |squareFreePart| 366 |squareFree|
              371 |sqrt| 376 |smaller?| 381 |sizeLess?| 387 |sample| 393
              |rootsOf| 397 |rootOf| 413 |retractIfCan| 429 |retract| 444 |rem|
              459 |reducedSystem| 465 |reduce| 487 |recip| 492 |quo| 497
              |principalIdeal| 503 |prime?| 508 |paren| 513 |operators| 523
              |operator| 528 |one?| 533 |odd?| 538 |numer| 543 |nthRoot| 548
              |norm| 554 |multiEuclidean| 578 |minPoly| 584 |map| 589
              |mainKernel| 595 |lcm| 600 |latex| 611 |kernels| 616 |kernel| 621
              |is?| 633 |inv| 645 |height| 650 |hash| 655 |gcdPolynomial| 660
              |gcd| 666 |freeOf?| 677 |factor| 689 |extendedEuclidean| 694
              |exquo| 707 |expressIdealMember| 713 |even?| 719 |eval| 724
              |euclideanSize| 820 |elt| 825 |divide| 861 |distribute| 867
              |differentiate| 878 |denom| 889 |definingPolynomial| 894
              |convert| 899 |coerce| 919 |characteristic| 949 |box| 953
              |belong?| 963 |associates?| 968 ^ 974 |Zero| 998 |One| 1002 D
              1006 = 1017 / 1023 - 1029 + 1040 * 1046)
           '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))
            (CONS
             '#(|AlgebraicallyClosedField&| |Field&| |EuclideanDomain&|
                |UniqueFactorizationDomain&| NIL |GcdDomain&| |DivisionRing&|
                |IntegralDomain&| |Algebra&| |Algebra&| |DifferentialRing&| NIL
                NIL NIL |Module&| NIL |Module&| NIL NIL NIL |Ring&| NIL NIL NIL
                NIL NIL |AbelianGroup&| NIL NIL |ExpressionSpace&| NIL
                |Monoid&| |AbelianMonoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                NIL |SetCategory&| |Evalable&| NIL NIL NIL NIL |RetractableTo&|
                |RetractableTo&| |RadicalCategory&| NIL NIL NIL NIL NIL
                |BasicType&| |InnerEvalable&| |InnerEvalable&| |RetractableTo&|
                NIL)
             (CONS
              '#((|AlgebraicallyClosedField|) (|Field|) (|EuclideanDomain|)
                 (|UniqueFactorizationDomain|) (|PrincipalIdealDomain|)
                 (|GcdDomain|) (|DivisionRing|) (|IntegralDomain|)
                 (|Algebra| 48) (|Algebra| $$) (|DifferentialRing|)
                 (|CharacteristicZero|) (|LinearlyExplicitRingOver| 48)
                 (|LinearlyExplicitRingOver| 43) (|Module| 48) (|EntireRing|)
                 (|Module| $$) (|CommutativeRing|) (|BiModule| 48 48)
                 (|BiModule| $$ $$) (|Ring|) (|RightModule| 48)
                 (|LeftModule| 48) (|RightModule| $$) (|LeftModule| $$) (|Rng|)
                 (|AbelianGroup|) (|SemiRing|) (|CancellationAbelianMonoid|)
                 (|ExpressionSpace|) (|SemiRng|) (|Monoid|) (|AbelianMonoid|)
                 (|Comparable|) (|SemiGroup|) (|AbelianSemiGroup|)
                 (|RealConstant|) (|SetCategory|) (|Evalable| $$)
                 (|ConvertibleTo| 85) (|ConvertibleTo| 104)
                 (|ConvertibleTo| 88) (|ConvertibleTo| 96) (|RetractableTo| 48)
                 (|RetractableTo| 43) (|RadicalCategory|) (|canonicalsClosed|)
                 (|canonicalUnitNormal|) (|unitsKnown|) (|noZeroDivisors|)
                 (|CommutativeStar|) (|BasicType|) (|InnerEvalable| $$ $$)
                 (|InnerEvalable| 27 $$) (|RetractableTo| 27)
                 (|CoercibleTo| 143))
              (|makeByteWordVec2| 143
                                  '(1 8 5 5 9 0 0 0 10 0 6 0 11 0 12 0 13 2 12
                                    14 0 0 15 1 12 2 0 16 1 0 17 0 18 1 0 0 17
                                    19 0 0 0 20 0 6 0 21 2 0 14 0 0 22 1 12 0 0
                                    23 2 12 0 2 0 24 2 0 0 0 0 25 2 28 26 0 27
                                    29 2 32 12 30 31 33 1 0 17 0 35 1 28 14 0
                                    36 0 28 0 38 2 28 14 0 0 39 2 6 0 0 0 41 2
                                    6 0 0 43 44 1 0 46 0 47 1 0 48 0 49 2 48 14
                                    0 0 50 2 12 0 2 51 52 2 12 0 0 0 53 2 57 55
                                    56 12 58 1 55 0 0 59 2 55 14 0 0 60 2 55 0
                                    0 0 61 1 55 51 0 62 1 0 26 64 65 2 12 2 0 0
                                    66 1 12 0 2 69 2 72 70 71 12 73 1 74 70 70
                                    75 2 70 12 0 0 76 2 12 0 0 2 77 1 80 14 79
                                    81 2 79 14 0 82 83 1 6 85 0 86 1 88 0 43 89
                                    2 92 90 91 5 93 1 90 88 0 94 1 96 0 43 97 2
                                    100 98 99 5 101 1 98 96 0 102 1 104 0 43
                                    105 2 108 106 107 5 109 1 106 104 0 110 2 0
                                    14 0 0 1 1 0 123 131 1 1 0 123 26 1 2 0 123
                                    26 82 1 1 0 0 26 1 1 0 0 131 1 2 0 0 26 82
                                    1 1 0 14 0 37 1 0 122 0 1 1 0 0 0 1 1 0 14
                                    0 1 2 0 14 0 0 63 1 0 46 0 47 2 0 121 0 0 1
                                    2 0 0 0 139 1 3 0 0 0 46 123 1 2 0 0 0 140
                                    1 1 0 0 0 1 1 0 130 0 1 1 0 0 0 1 2 0 14 0
                                    0 1 2 0 14 0 0 1 0 0 0 1 1 0 123 131 1 2 0
                                    123 26 82 1 1 0 123 26 1 1 0 0 131 1 1 0 0
                                    26 1 2 0 0 26 82 1 1 0 118 0 1 1 0 119 0 1
                                    1 0 138 0 1 1 0 48 0 49 1 0 43 0 1 1 0 64 0
                                    1 2 0 0 0 0 1 1 0 112 113 1 2 0 114 113 115
                                    1 1 0 116 113 1 2 0 117 113 115 1 1 0 0 0 1
                                    1 0 121 0 1 2 0 0 0 0 1 1 0 125 123 1 1 0
                                    14 0 1 1 0 0 0 1 1 0 0 123 1 1 0 133 0 1 1
                                    0 79 79 1 1 0 14 0 40 1 2 14 0 1 1 0 17 0
                                    35 2 0 0 0 43 1 2 0 0 0 64 67 2 0 0 0 46 68
                                    2 0 26 26 64 78 2 0 26 26 46 54 2 0 124 123
                                    0 1 1 1 26 64 65 2 0 0 132 64 1 1 0 138 0 1
                                    2 0 0 0 0 1 1 0 0 123 1 1 0 142 0 1 1 0 46
                                    0 1 2 0 0 79 123 1 2 0 0 79 0 1 2 0 14 0 79
                                    1 2 0 14 0 82 1 1 0 0 0 1 1 0 51 0 1 1 0
                                    141 0 1 2 0 26 26 26 1 1 0 0 123 1 2 0 0 0
                                    0 1 2 0 14 0 0 1 2 0 14 0 82 1 1 0 130 0 1
                                    3 0 128 0 0 0 1 2 0 129 0 0 1 2 0 121 0 0 1
                                    2 0 124 123 0 1 1 2 14 0 1 3 0 0 0 79 132 1
                                    3 0 0 0 133 135 1 3 0 0 0 79 134 1 3 0 0 0
                                    133 136 1 3 0 0 0 82 134 1 3 0 0 0 82 132 1
                                    3 0 0 0 137 136 1 3 0 0 0 137 135 1 3 0 0 0
                                    123 123 1 2 0 0 0 140 1 3 0 0 0 0 0 1 2 0 0
                                    0 139 1 3 0 0 0 64 0 1 3 0 0 0 46 123 1 1 0
                                    51 0 1 5 0 0 79 0 0 0 0 1 2 0 0 79 123 1 3
                                    0 0 79 0 0 1 4 0 0 79 0 0 0 1 2 0 0 79 0 1
                                    2 0 126 0 0 1 1 0 0 0 1 2 0 0 0 0 1 1 0 0 0
                                    34 2 0 0 0 51 1 1 0 17 0 18 1 1 0 0 1 1 0
                                    104 0 111 1 0 85 0 87 1 0 96 0 103 1 0 88 0
                                    95 1 0 0 17 19 1 0 0 43 1 1 0 0 0 1 1 0 0
                                    48 1 1 0 0 64 1 1 0 143 0 1 0 0 51 1 1 0 0
                                    0 1 1 0 0 123 1 1 0 14 79 84 2 0 14 0 0 1 2
                                    0 0 0 120 1 2 0 0 0 51 1 2 0 0 0 43 45 2 0
                                    0 0 48 1 0 0 0 10 0 0 0 20 1 0 0 0 1 2 0 0
                                    0 51 1 2 0 14 0 0 22 2 0 0 0 0 42 1 0 0 0 1
                                    2 0 0 0 0 1 2 0 0 0 0 1 2 0 0 120 0 1 2 0 0
                                    51 0 1 2 0 0 0 0 25 2 0 0 43 0 1 2 0 0 48 0
                                    1 2 0 0 0 48 1)))))
           '|lookupComplete|)) 

(MAKEPROP '|InnerAlgebraicNumber| 'NILADIC T) 
