
(/VERSIONCHECK 2) 

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

(DEFUN |IAN;findDenominator| (|z| $)
  (PROG (|dd| |zz| |rec| #0=#:G1828)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |zz| |z| . #1=(|IAN;findDenominator|))
                      (SEQ G190
                           (COND
                             ((NULL (COND
                                      ((SPADCALL |zz|
                                        (|spadConstant| $ 16)
                                        (QREFELT $ 18))
                                       'NIL)
                                      ('T 'T)))
                              (GO G191)))
                           (SEQ (LETT |dd|
                                      (SPADCALL
                                       (SPADCALL
                                        (SPADCALL |zz| (QREFELT $ 19))
                                        (QREFELT $ 21))
                                       (QREFELT $ 22)) . #1#)
                                (EXIT (COND
                                        ((SPADCALL |dd|
                                          (|spadConstant| $ 23)
                                          (QREFELT $ 25))
                                         (LETT |zz|
                                          (SPADCALL |zz|
                                           (QREFELT $ 26)) . #1#))
                                        ('T
                                         (SEQ
                                          (LETT |rec|
                                           (|IAN;findDenominator|
                                            (SPADCALL |dd| |z|
                                             (QREFELT $ 27))
                                            $) . #1#)
                                          (EXIT
                                           (PROGN
                                             (LETT #0#
                                              (CONS (QCAR |rec|)
                                               (SPADCALL (QCDR |rec|)
                                                |dd| (QREFELT $ 28))) . #1#)
                                             (GO #0#))))))))
                           NIL (GO G190) G191 (EXIT NIL))
                      (EXIT (CONS |z| (|spadConstant| $ 23)))))
           #0# (EXIT #0#))))) 

(DEFUN |IAN;makeUnivariate| (|p| |k| $)
  (SPADCALL (CONS #'|IAN;makeUnivariate!0| $)
      (SPADCALL |p| |k| (QREFELT $ 32)) (QREFELT $ 36))) 

(DEFUN |IAN;makeUnivariate!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 22))) 

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

(DEFUN |IAN;zero?;$B;5| (|a| $)
  (SPADCALL (SPADCALL |a| (QREFELT $ 38)) (QREFELT $ 39))) 

(DEFUN |IAN;one?;$B;6| (|a| $)
  (COND
    ((SPADCALL (SPADCALL |a| (QREFELT $ 38)) (|spadConstant| $ 41)
         (QREFELT $ 42))
     (SPADCALL (SPADCALL |a| (QREFELT $ 21)) (|spadConstant| $ 41)
         (QREFELT $ 42)))
    ('T 'NIL))) 

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

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

(DEFUN |IAN;trueEqual;2$B;9| (|a| |b| $)
  (PROG (|ka| |kb| |pa| |pb| |na| |nb| |sa| |sb| |g| |dg|)
    (RETURN
      (SEQ (LETT |ka| (REVERSE (SPADCALL |a| (QREFELT $ 50)))
                 . #0=(|IAN;trueEqual;2$B;9|))
           (LETT |kb| (REVERSE (SPADCALL |b| (QREFELT $ 50))) . #0#)
           (COND
             ((NULL |ka|)
              (COND
                ((NULL |kb|)
                 (EXIT (SPADCALL (SPADCALL |a| (QREFELT $ 52))
                           (SPADCALL |b| (QREFELT $ 52))
                           (QREFELT $ 53)))))))
           (LETT |pa|
                 (SPADCALL
                     (SPADCALL (|spadConstant| $ 23) 1 (QREFELT $ 55))
                     (SPADCALL |a| 0 (QREFELT $ 55)) (QREFELT $ 56)) . #0#)
           (LETT |pb|
                 (SPADCALL
                     (SPADCALL (|spadConstant| $ 23) 1 (QREFELT $ 55))
                     (SPADCALL |b| 0 (QREFELT $ 55)) (QREFELT $ 56)) . #0#)
           (LETT |na|
                 (SPADCALL (ELT $ 52)
                     (SPADCALL |pa| |ka| (QREFELT $ 57))
                     (QREFELT $ 61)) . #0#)
           (LETT |nb|
                 (SPADCALL (ELT $ 52)
                     (SPADCALL |pb| |kb| (QREFELT $ 57))
                     (QREFELT $ 61)) . #0#)
           (LETT |sa| (SPADCALL |na| (QREFELT $ 62)) . #0#)
           (LETT |sb| (SPADCALL |nb| (QREFELT $ 62)) . #0#)
           (EXIT (COND
                   ((SPADCALL |sa| |sb| (QREFELT $ 63)) 'T)
                   ('T
                    (SEQ (LETT |g|
                               (SPADCALL |sa| |sb| (QREFELT $ 64)) . #0#)
                         (LETT |dg|
                               (SPADCALL |g| (QREFELT $ 65)) . #0#)
                         (EXIT (COND
                                 ((OR (EQL |dg| 0)
                                      (NULL
                                       (OR
                                        (EQL |dg|
                                         (SPADCALL |sa| (QREFELT $ 65)))
                                        (EQL |dg|
                                         (SPADCALL |sb| (QREFELT $ 65))))))
                                  'NIL)
                                 ('T 'T))))))))))) 

(DEFUN |IAN;norm;$K$;10| (|z| |k| $)
  (PROG (|p| |n| |d|)
    (RETURN
      (SEQ (LETT |p| (SPADCALL |k| (QREFELT $ 68))
                 . #0=(|IAN;norm;$K$;10|))
           (LETT |n|
                 (|IAN;makeUnivariate| (SPADCALL |z| (QREFELT $ 38))
                     |k| $) . #0#)
           (LETT |d|
                 (|IAN;makeUnivariate| (SPADCALL |z| (QREFELT $ 21))
                     |k| $) . #0#)
           (EXIT (SPADCALL (SPADCALL |n| |p| (QREFELT $ 69))
                     (SPADCALL |d| |p| (QREFELT $ 69)) (QREFELT $ 45))))))) 

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

(DEFUN |IAN;norm;SupKSup;12| (|z| |k| $)
  (PROG (|p| |f| |zz|)
    (RETURN
      (SEQ (LETT |p|
                 (SPADCALL (CONS #'|IAN;norm;SupKSup;12!0| $)
                     (SPADCALL |k| (QREFELT $ 68)) (QREFELT $ 76))
                 . #0=(|IAN;norm;SupKSup;12|))
           (LETT |f| (|IAN;findDenominator| |z| $) . #0#)
           (LETT |zz|
                 (SPADCALL
                     (CONS #'|IAN;norm;SupKSup;12!1| (VECTOR |k| $))
                     (QCAR |f|) (QREFELT $ 76)) . #0#)
           (LETT |zz| (SPADCALL |zz| (QREFELT $ 78)) . #0#)
           (EXIT (SPADCALL (SPADCALL |p| |zz| (QREFELT $ 79))
                     (SPADCALL (QCDR |f|) |k| (QREFELT $ 70))
                     (QREFELT $ 80))))))) 

(DEFUN |IAN;norm;SupKSup;12!1| (|#1| $$)
  (PROG ($)
    (LETT $ (QREFELT $$ 1) |IAN;norm;SupKSup;12|)
    (RETURN
      (PROGN
        (|IAN;makeUnivariate| (SPADCALL |#1| (QREFELT $ 38))
            (QREFELT $$ 0) $))))) 

(DEFUN |IAN;norm;SupKSup;12!0| (|#1| $)
  (SPADCALL |#1| (QREFELT $ 72))) 

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

(DEFUN |IAN;belong?;BoB;14| (|op| $)
  (COND
    ((SPADCALL |op| (QREFELT $ 84)) 'T)
    ('T (SPADCALL |op| (QREFELT $ 10) (QREFELT $ 85))))) 

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

(DEFUN |IAN;convert;$F;16| (|x| $)
  (SPADCALL
      (SPADCALL (CONS #'|IAN;convert;$F;16!0| $) |x| (QREFELT $ 95))
      (QREFELT $ 96))) 

(DEFUN |IAN;convert;$F;16!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 91))) 

(DEFUN |IAN;convert;$Df;17| (|x| $)
  (SPADCALL
      (SPADCALL (CONS #'|IAN;convert;$Df;17!0| $) |x| (QREFELT $ 103))
      (QREFELT $ 104))) 

(DEFUN |IAN;convert;$Df;17!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 99))) 

(DEFUN |IAN;convert;$C;18| (|x| $)
  (SPADCALL
      (SPADCALL (CONS #'|IAN;convert;$C;18!0| $) |x| (QREFELT $ 111))
      (QREFELT $ 112))) 

(DEFUN |IAN;convert;$C;18!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 107))) 

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

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

(MAKEPROP '|InnerAlgebraicNumber| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL (|Expression| 46) '|Rep| (|String|)
             (|Symbol|) (0 . |coerce|) 'ALGOP
             (|AlgebraicManipulations| 46 5) (5 . |ratDenom|)
             (10 . |Zero|) (14 . |Zero|)
             (|SparseUnivariatePolynomial| $$) (18 . |Zero|)
             (|Boolean|) (22 . =) (28 . |leadingCoefficient|)
             (|SparseMultivariatePolynomial| 46 67) (33 . |denom|)
             (38 . |coerce|) (43 . |One|) (47 . |One|) (51 . =)
             (57 . |reductum|) (62 . *) (68 . *)
             (|SparseUnivariatePolynomial| $) (|Kernel| $$)
             (|SparseMultivariatePolynomial| 46 30) (74 . |univariate|)
             (|Mapping| $$ 31) (|SparseUnivariatePolynomial| 31)
             (|SparseUnivariatePolynomialFunctions2| 31 $$)
             (80 . |map|) |IAN;differentiate;2$;4| (86 . |numer|)
             (91 . |zero?|) |IAN;zero?;$B;5| (96 . |One|) (100 . =)
             |IAN;one?;$B;6| (106 . /) |IAN;/;3$;7| (|Integer|)
             (112 . **) |IAN;**;$I$;8| (|List| 67) (118 . |tower|)
             (|Fraction| 46) (123 . |retract|) (128 . =)
             (|NonNegativeInteger|) (134 . |monomial|) (140 . -)
             |IAN;norm;SupLSup;13| (|SparseUnivariatePolynomial| 51)
             (|Mapping| 51 $$)
             (|SparseUnivariatePolynomialFunctions2| $$ 51)
             (146 . |map|) (152 . |squareFreePart|) (157 . =)
             (163 . |gcd|) (169 . |degree|) |IAN;trueEqual;2$B;9|
             (|Kernel| $) (174 . |minPoly|) (179 . |resultant|)
             |IAN;norm;$K$;10| |IAN;norm;$L$;11| (185 . |coerce|)
             (|SparseUnivariatePolynomial| 15) (|Mapping| 15 $$)
             (|SparseUnivariatePolynomialFunctions2| $$ 15)
             (190 . |map|)
             (|CommuteUnivariatePolynomialCategory| $$ 15 73)
             (196 . |swap|) (201 . |resultant|) (207 . /)
             |IAN;norm;SupKSup;12| (|BasicOperator|)
             (|ExpressionSpace&| $$) (213 . |belong?|) (218 . |has?|)
             |IAN;belong?;BoB;14| (|InputForm|) (224 . |convert|)
             |IAN;convert;$If;15| (|Float|) (229 . |coerce|)
             (|Expression| 90) (|Mapping| 90 46)
             (|ExpressionFunctions2| 46 90) (234 . |map|)
             (240 . |retract|) |IAN;convert;$F;16| (|DoubleFloat|)
             (245 . |coerce|) (|Expression| 98) (|Mapping| 98 46)
             (|ExpressionFunctions2| 46 98) (250 . |map|)
             (256 . |retract|) |IAN;convert;$Df;17| (|Complex| 90)
             (261 . |coerce|) (|Expression| 106) (|Mapping| 106 46)
             (|ExpressionFunctions2| 46 106) (266 . |map|)
             (272 . |retract|) |IAN;convert;$C;18| (|Matrix| 51)
             (|Matrix| $)
             (|Record| (|:| |mat| 114) (|:| |vec| (|Vector| 51)))
             (|Vector| $)
             (|Record| (|:| |mat| 119) (|:| |vec| (|Vector| 46)))
             (|Matrix| 46) (|Union| 51 '"failed")
             (|Union| 46 '"failed") (|PositiveInteger|)
             (|Union| $ '"failed")
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|List| $) (|Record| (|:| |coef| 125) (|:| |generator| $))
             (|Union| 125 '"failed")
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $)
                       (|:| |generator| $))
             (|Record| (|:| |coef1| $) (|:| |coef2| $))
             (|Union| 130 '"failed") (|Factored| $) (|Polynomial| $)
             (|Mapping| $ $) (|List| 82) (|Mapping| $ 125) (|List| 136)
             (|List| 134) (|List| 8) (|Union| 67 '"failed")
             (|List| 142) (|Equation| $) (|SingleInteger|)
             (|OutputForm|))
          '#(~= 277 |zerosOf| 283 |zeroOf| 299 |zero?| 315 |unitNormal|
             320 |unitCanonical| 325 |unit?| 330 |trueEqual| 335
             |tower| 341 |subtractIfCan| 346 |subst| 352
             |squareFreePart| 371 |squareFree| 376 |sqrt| 381
             |sizeLess?| 386 |sample| 392 |rootsOf| 396 |rootOf| 412
             |retractIfCan| 428 |retract| 443 |rem| 458 |reducedSystem|
             464 |reduce| 486 |recip| 491 |quo| 496 |principalIdeal|
             502 |prime?| 507 |paren| 512 |operators| 522 |operator|
             527 |one?| 532 |odd?| 537 |numer| 542 |nthRoot| 547 |norm|
             553 |multiEuclidean| 577 |minPoly| 583 |min| 588 |max| 594
             |map| 600 |mainKernel| 606 |lcm| 611 |latex| 622 |kernels|
             627 |kernel| 632 |is?| 644 |inv| 656 |height| 661 |hash|
             666 |gcdPolynomial| 671 |gcd| 677 |freeOf?| 688 |factor|
             700 |extendedEuclidean| 705 |exquo| 718
             |expressIdealMember| 724 |even?| 730 |eval| 735
             |euclideanSize| 831 |elt| 836 |divide| 872 |distribute|
             878 |differentiate| 889 |denom| 900 |definingPolynomial|
             905 |convert| 910 |coerce| 930 |characteristic| 960 |box|
             964 |belong?| 974 |associates?| 979 ^ 985 |Zero| 1003
             |One| 1007 D 1011 >= 1022 > 1028 = 1034 <= 1040 < 1046 /
             1052 - 1058 + 1069 ** 1075 * 1099)
          '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&| |OrderedSet&| |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| 51) (|Algebra| $$)
                               (|DifferentialRing|)
                               (|CharacteristicZero|)
                               (|LinearlyExplicitRingOver| 51)
                               (|LinearlyExplicitRingOver| 46)
                               (|Module| 51) (|EntireRing|)
                               (|Module| $$) (|CommutativeRing|)
                               (|BiModule| 51 51) (|BiModule| $$ $$)
                               (|Ring|) (|RightModule| 51)
                               (|LeftModule| 51) (|RightModule| $$)
                               (|LeftModule| $$) (|Rng|)
                               (|AbelianGroup|) (|SemiRing|)
                               (|CancellationAbelianMonoid|)
                               (|ExpressionSpace|) (|SemiRng|)
                               (|Monoid|) (|AbelianMonoid|)
                               (|OrderedSet|) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|RealConstant|)
                               (|SetCategory|) (|Evalable| $$)
                               (|ConvertibleTo| 87)
                               (|ConvertibleTo| 106)
                               (|ConvertibleTo| 90)
                               (|ConvertibleTo| 98)
                               (|RetractableTo| 51)
                               (|RetractableTo| 46) (|RadicalCategory|)
                               (|canonicalsClosed|)
                               (|canonicalUnitNormal|) (|unitsKnown|)
                               (|noZeroDivisors|) (|CommutativeStar|)
                               (|BasicType|) (|InnerEvalable| $$ $$)
                               (|InnerEvalable| 30 $$)
                               (|RetractableTo| 30)
                               (|CoercibleTo| 144))
                            (|makeByteWordVec2| 144
                                '(1 8 0 7 9 1 11 5 5 12 0 0 0 13 0 6 0
                                  14 0 15 0 16 2 15 17 0 0 18 1 15 2 0
                                  19 1 0 20 0 21 1 0 0 20 22 0 0 0 23 0
                                  6 0 24 2 0 17 0 0 25 1 15 0 0 26 2 15
                                  0 2 0 27 2 0 0 0 0 28 2 31 29 0 30 32
                                  2 35 15 33 34 36 1 0 20 0 38 1 31 17
                                  0 39 0 31 0 41 2 31 17 0 0 42 2 6 0 0
                                  0 44 2 6 0 0 46 47 1 0 49 0 50 1 0 51
                                  0 52 2 51 17 0 0 53 2 15 0 2 54 55 2
                                  15 0 0 0 56 2 60 58 59 15 61 1 58 0 0
                                  62 2 58 17 0 0 63 2 58 0 0 0 64 1 58
                                  54 0 65 1 0 29 67 68 2 15 2 0 0 69 1
                                  15 0 2 72 2 75 73 74 15 76 1 77 73 73
                                  78 2 73 15 0 0 79 2 15 0 0 2 80 1 83
                                  17 82 84 2 82 17 0 8 85 1 6 87 0 88 1
                                  90 0 46 91 2 94 92 93 5 95 1 92 90 0
                                  96 1 98 0 46 99 2 102 100 101 5 103 1
                                  100 98 0 104 1 106 0 46 107 2 110 108
                                  109 5 111 1 108 106 0 112 2 0 17 0 0
                                  1 1 0 125 133 1 2 0 125 29 8 1 1 0
                                  125 29 1 1 0 0 133 1 1 0 0 29 1 2 0 0
                                  29 8 1 1 0 17 0 40 1 0 124 0 1 1 0 0
                                  0 1 1 0 17 0 1 2 0 17 0 0 66 1 0 49 0
                                  50 2 0 123 0 0 1 3 0 0 0 49 125 1 2 0
                                  0 0 141 1 2 0 0 0 142 1 1 0 0 0 1 1 0
                                  132 0 1 1 0 0 0 1 2 0 17 0 0 1 0 0 0
                                  1 1 0 125 29 1 1 0 125 133 1 2 0 125
                                  29 8 1 1 0 0 29 1 1 0 0 133 1 2 0 0
                                  29 8 1 1 0 120 0 1 1 0 121 0 1 1 0
                                  140 0 1 1 0 51 0 52 1 0 46 0 1 1 0 67
                                  0 1 2 0 0 0 0 1 1 0 114 115 1 2 0 116
                                  115 117 1 2 0 118 115 117 1 1 0 119
                                  115 1 1 0 0 0 1 1 0 123 0 1 2 0 0 0 0
                                  1 1 0 126 125 1 1 0 17 0 1 1 0 0 125
                                  1 1 0 0 0 1 1 0 135 0 1 1 0 82 82 1 1
                                  0 17 0 43 1 2 17 0 1 1 0 20 0 38 2 0
                                  0 0 46 1 2 0 0 0 67 70 2 0 0 0 49 71
                                  2 0 29 29 67 81 2 0 29 29 49 57 2 0
                                  127 125 0 1 1 1 29 67 68 2 0 0 0 0 1
                                  2 0 0 0 0 1 2 0 0 134 67 1 1 0 140 0
                                  1 2 0 0 0 0 1 1 0 0 125 1 1 0 7 0 1 1
                                  0 49 0 1 2 0 0 82 0 1 2 0 0 82 125 1
                                  2 0 17 0 82 1 2 0 17 0 8 1 1 0 0 0 1
                                  1 0 54 0 1 1 0 143 0 1 2 0 29 29 29 1
                                  2 0 0 0 0 1 1 0 0 125 1 2 0 17 0 0 1
                                  2 0 17 0 8 1 1 0 132 0 1 2 0 129 0 0
                                  1 3 0 131 0 0 0 1 2 0 123 0 0 1 2 0
                                  127 125 0 1 1 2 17 0 1 3 0 0 0 82 134
                                  1 3 0 0 0 135 137 1 3 0 0 0 82 136 1
                                  3 0 0 0 8 134 1 3 0 0 0 135 138 1 3 0
                                  0 0 8 136 1 3 0 0 0 139 138 1 3 0 0 0
                                  139 137 1 3 0 0 0 125 125 1 2 0 0 0
                                  142 1 3 0 0 0 0 0 1 3 0 0 0 49 125 1
                                  2 0 0 0 141 1 3 0 0 0 67 0 1 1 0 54 0
                                  1 2 0 0 82 125 1 4 0 0 82 0 0 0 1 5 0
                                  0 82 0 0 0 0 1 3 0 0 82 0 0 1 2 0 0
                                  82 0 1 2 0 128 0 0 1 1 0 0 0 1 2 0 0
                                  0 0 1 1 0 0 0 37 2 0 0 0 54 1 1 0 20
                                  0 21 1 1 0 0 1 1 0 87 0 89 1 0 106 0
                                  113 1 0 90 0 97 1 0 98 0 105 1 0 0 20
                                  22 1 0 0 46 1 1 0 0 0 1 1 0 0 51 1 1
                                  0 0 67 1 1 0 144 0 1 0 0 54 1 1 0 0
                                  125 1 1 0 0 0 1 1 0 17 82 86 2 0 17 0
                                  0 1 2 0 0 0 122 1 2 0 0 0 54 1 2 0 0
                                  0 46 1 0 0 0 13 0 0 0 23 1 0 0 0 1 2
                                  0 0 0 54 1 2 0 17 0 0 1 2 0 17 0 0 1
                                  2 0 17 0 0 25 2 0 17 0 0 1 2 0 17 0 0
                                  1 2 0 0 0 0 45 1 0 0 0 1 2 0 0 0 0 1
                                  2 0 0 0 0 1 2 0 0 0 122 1 2 0 0 0 54
                                  1 2 0 0 0 46 48 2 0 0 0 51 1 2 0 0
                                  122 0 1 2 0 0 54 0 1 2 0 0 46 0 1 2 0
                                  0 0 0 28 2 0 0 0 51 1 2 0 0 51 0 1)))))
          '|lookupComplete|)) 

(MAKEPROP '|InnerAlgebraicNumber| 'NILADIC T) 
