
(SDEFUN |SINT;writeOMSingleInt|
        ((|dev| (|OpenMathDevice|)) (|x| (%)) (% (|Void|)))
        (SEQ
         (COND
          ((|less_SI| |x| 0)
           (SEQ (SPADCALL |dev| (QREFELT % 8))
                (SPADCALL |dev| "arith1" "unary_minus" (QREFELT % 10))
                (SPADCALL |dev| (|minus_SI| |x|) (QREFELT % 12))
                (EXIT (SPADCALL |dev| (QREFELT % 13)))))
          ('T (SPADCALL |dev| |x| (QREFELT % 12)))))) 

(SDEFUN |SINT;OMwrite;Omd%BV;2|
        ((|dev| (|OpenMathDevice|)) (|x| (%)) (|wholeObj| (|Boolean|))
         (% (|Void|)))
        (SEQ (COND (|wholeObj| (SPADCALL |dev| (QREFELT % 14))))
             (|SINT;writeOMSingleInt| |dev| |x| %)
             (EXIT (COND (|wholeObj| (SPADCALL |dev| (QREFELT % 15))))))) 

(SDEFUN |SINT;coerce;%Of;3| ((|x| (%)) (% (|OutputForm|)))
        (SPADCALL |x| (QREFELT % 19))) 

(PUT '|SINT;convert;%I;4| '|SPADreplace| '(XLAM (|x|) |x|)) 

(SDEFUN |SINT;convert;%I;4| ((|x| (%)) (% (|Integer|))) |x|) 

(PUT '|SINT;convert;%S;5| '|SPADreplace| 'STRINGIMAGE) 

(SDEFUN |SINT;convert;%S;5| ((|x| (%)) (% (|String|))) (STRINGIMAGE |x|)) 

(SDEFUN |SINT;*;I2%;6| ((|i| (|Integer|)) (|y| (%)) (% (%)))
        (|mul_SI| (SPADCALL |i| (QREFELT % 23)) |y|)) 

(PUT '|SINT;Zero;%;7| '|SPADreplace| '(XLAM NIL 0)) 

(SDEFUN |SINT;Zero;%;7| ((% (%))) 0) 

(PUT '|SINT;One;%;8| '|SPADreplace| '(XLAM NIL 1)) 

(SDEFUN |SINT;One;%;8| ((% (%))) 1) 

(PUT '|SINT;base;%;9| '|SPADreplace| '(XLAM NIL 2)) 

(SDEFUN |SINT;base;%;9| ((% (%))) 2) 

(PUT '|SINT;max;%;10| '|SPADreplace| '(XLAM NIL MOST-POSITIVE-FIXNUM)) 

(SDEFUN |SINT;max;%;10| ((% (%))) MOST-POSITIVE-FIXNUM) 

(PUT '|SINT;min;%;11| '|SPADreplace| '(XLAM NIL MOST-NEGATIVE-FIXNUM)) 

(SDEFUN |SINT;min;%;11| ((% (%))) MOST-NEGATIVE-FIXNUM) 

(PUT '|SINT;=;2%B;12| '|SPADreplace| '|eql_SI|) 

(SDEFUN |SINT;=;2%B;12| ((|x| (%)) (|y| (%)) (% (|Boolean|)))
        (|eql_SI| |x| |y|)) 

(PUT '|SINT;~;2%;13| '|SPADreplace| '|not_SI|) 

(SDEFUN |SINT;~;2%;13| ((|x| (%)) (% (%))) (|not_SI| |x|)) 

(PUT '|SINT;not;2%;14| '|SPADreplace| '|not_SI|) 

(SDEFUN |SINT;not;2%;14| ((|x| (%)) (% (%))) (|not_SI| |x|)) 

(PUT '|SINT;/\\;3%;15| '|SPADreplace| '|and_SI|) 

(SDEFUN |SINT;/\\;3%;15| ((|x| (%)) (|y| (%)) (% (%))) (|and_SI| |x| |y|)) 

(PUT '|SINT;\\/;3%;16| '|SPADreplace| '|or_SI|) 

(SDEFUN |SINT;\\/;3%;16| ((|x| (%)) (|y| (%)) (% (%))) (|or_SI| |x| |y|)) 

(PUT '|SINT;Not;2%;17| '|SPADreplace| '|not_SI|) 

(SDEFUN |SINT;Not;2%;17| ((|x| (%)) (% (%))) (|not_SI| |x|)) 

(PUT '|SINT;And;3%;18| '|SPADreplace| '|and_SI|) 

(SDEFUN |SINT;And;3%;18| ((|x| (%)) (|y| (%)) (% (%))) (|and_SI| |x| |y|)) 

(PUT '|SINT;Or;3%;19| '|SPADreplace| '|or_SI|) 

(SDEFUN |SINT;Or;3%;19| ((|x| (%)) (|y| (%)) (% (%))) (|or_SI| |x| |y|)) 

(PUT '|SINT;xor;3%;20| '|SPADreplace| '|xor_SI|) 

(SDEFUN |SINT;xor;3%;20| ((|x| (%)) (|y| (%)) (% (%))) (|xor_SI| |x| |y|)) 

(PUT '|SINT;<;2%B;21| '|SPADreplace| '|less_SI|) 

(SDEFUN |SINT;<;2%B;21| ((|x| (%)) (|y| (%)) (% (|Boolean|)))
        (|less_SI| |x| |y|)) 

(PUT '|SINT;inc;2%;22| '|SPADreplace| '|inc_SI|) 

(SDEFUN |SINT;inc;2%;22| ((|x| (%)) (% (%))) (|inc_SI| |x|)) 

(PUT '|SINT;dec;2%;23| '|SPADreplace| '|dec_SI|) 

(SDEFUN |SINT;dec;2%;23| ((|x| (%)) (% (%))) (|dec_SI| |x|)) 

(PUT '|SINT;-;2%;24| '|SPADreplace| '|minus_SI|) 

(SDEFUN |SINT;-;2%;24| ((|x| (%)) (% (%))) (|minus_SI| |x|)) 

(PUT '|SINT;+;3%;25| '|SPADreplace| '|add_SI|) 

(SDEFUN |SINT;+;3%;25| ((|x| (%)) (|y| (%)) (% (%))) (|add_SI| |x| |y|)) 

(PUT '|SINT;-;3%;26| '|SPADreplace| '|sub_SI|) 

(SDEFUN |SINT;-;3%;26| ((|x| (%)) (|y| (%)) (% (%))) (|sub_SI| |x| |y|)) 

(PUT '|SINT;*;3%;27| '|SPADreplace| '|mul_SI|) 

(SDEFUN |SINT;*;3%;27| ((|x| (%)) (|y| (%)) (% (%))) (|mul_SI| |x| |y|)) 

(SDEFUN |SINT;^;%Nni%;28| ((|x| (%)) (|n| (|NonNegativeInteger|)) (% (%)))
        (SPADCALL (EXPT |x| |n|) (QREFELT % 23))) 

(PUT '|SINT;quo;3%;29| '|SPADreplace| '|quo_SI|) 

(SDEFUN |SINT;quo;3%;29| ((|x| (%)) (|y| (%)) (% (%))) (|quo_SI| |x| |y|)) 

(PUT '|SINT;rem;3%;30| '|SPADreplace| '|rem_SI|) 

(SDEFUN |SINT;rem;3%;30| ((|x| (%)) (|y| (%)) (% (%))) (|rem_SI| |x| |y|)) 

(SDEFUN |SINT;divide;2%R;31|
        ((|x| (%)) (|y| (%))
         (% (|Record| (|:| |quotient| %) (|:| |remainder| %))))
        (CONS (|quo_SI| |x| |y|) (|rem_SI| |x| |y|))) 

(PUT '|SINT;gcd;3%;32| '|SPADreplace| 'GCD) 

(SDEFUN |SINT;gcd;3%;32| ((|x| (%)) (|y| (%)) (% (%))) (GCD |x| |y|)) 

(PUT '|SINT;abs;2%;33| '|SPADreplace| '|abs_SI|) 

(SDEFUN |SINT;abs;2%;33| ((|x| (%)) (% (%))) (|abs_SI| |x|)) 

(PUT '|SINT;odd?;%B;34| '|SPADreplace| '|odd?_SI|) 

(SDEFUN |SINT;odd?;%B;34| ((|x| (%)) (% (|Boolean|))) (|odd?_SI| |x|)) 

(PUT '|SINT;zero?;%B;35| '|SPADreplace| '|zero?_SI|) 

(SDEFUN |SINT;zero?;%B;35| ((|x| (%)) (% (|Boolean|))) (|zero?_SI| |x|)) 

(PUT '|SINT;one?;%B;36| '|SPADreplace| '(XLAM (|x|) (|eql_SI| |x| 1))) 

(SDEFUN |SINT;one?;%B;36| ((|x| (%)) (% (|Boolean|))) (|eql_SI| |x| 1)) 

(PUT '|SINT;max;3%;37| '|SPADreplace| '|max_SI|) 

(SDEFUN |SINT;max;3%;37| ((|x| (%)) (|y| (%)) (% (%))) (|max_SI| |x| |y|)) 

(PUT '|SINT;min;3%;38| '|SPADreplace| '|min_SI|) 

(SDEFUN |SINT;min;3%;38| ((|x| (%)) (|y| (%)) (% (%))) (|min_SI| |x| |y|)) 

(SDEFUN |SINT;hashUpdate!;Hs%Hs;39| ((|hs| #1=(|HashState|)) (|s| (%)) (% #1#))
        (HASHSTATEUPDATE |hs| (SXHASH |s|))) 

(PUT '|SINT;length;2%;40| '|SPADreplace| 'INTEGER-LENGTH) 

(SDEFUN |SINT;length;2%;40| ((|x| (%)) (% (%))) (INTEGER-LENGTH |x|)) 

(PUT '|SINT;shift;3%;41| '|SPADreplace| '|lshift_SI|) 

(SDEFUN |SINT;shift;3%;41| ((|x| (%)) (|n| (%)) (% (%))) (|lshift_SI| |x| |n|)) 

(PUT '|SINT;mulmod;4%;42| '|SPADreplace| '|mulmod_SI|) 

(SDEFUN |SINT;mulmod;4%;42| ((|a| (%)) (|b| (%)) (|p| (%)) (% (%)))
        (|mulmod_SI| |a| |b| |p|)) 

(PUT '|SINT;addmod;4%;43| '|SPADreplace| '|addmod_SI|) 

(SDEFUN |SINT;addmod;4%;43| ((|a| (%)) (|b| (%)) (|p| (%)) (% (%)))
        (|addmod_SI| |a| |b| |p|)) 

(PUT '|SINT;submod;4%;44| '|SPADreplace| '|submod_SI|) 

(SDEFUN |SINT;submod;4%;44| ((|a| (%)) (|b| (%)) (|p| (%)) (% (%)))
        (|submod_SI| |a| |b| |p|)) 

(PUT '|SINT;negative?;%B;45| '|SPADreplace| '|negative?_SI|) 

(SDEFUN |SINT;negative?;%B;45| ((|x| (%)) (% (|Boolean|))) (|negative?_SI| |x|)) 

(SDEFUN |SINT;factor;%F;46| ((|x| (%)) (% (|Factored| %)))
        (SPROG ((|fc1| (|Factored| (|Integer|))))
               (SEQ (LETT |fc1| (SPADCALL |x| (QREFELT % 69)))
                    (EXIT (SPADCALL (ELT % 70) |fc1| (QREFELT % 74)))))) 

(SDEFUN |SINT;squareFree;%F;47| ((|x| (%)) (% (|Factored| %)))
        (SPROG ((|fc1| (|Factored| (|Integer|))))
               (SEQ (LETT |fc1| (SPADCALL |x| (QREFELT % 77)))
                    (EXIT (SPADCALL (ELT % 70) |fc1| (QREFELT % 74)))))) 

(SDEFUN |SINT;prime?;%B;48| ((|x| (%)) (% (|Boolean|)))
        (SPADCALL |x| (QREFELT % 80))) 

(SDEFUN |SINT;binomial;3%;49| ((|n| (%)) (|m| (%)) (% (%)))
        (SPROG ((|res1| (|Integer|)))
               (SEQ (LETT |res1| (SPADCALL |n| |m| (QREFELT % 83)))
                    (COND
                     ((OR (< |res1| MOST-NEGATIVE-FIXNUM)
                          (> |res1| MOST-POSITIVE-FIXNUM))
                      (EXIT (|error| "binomial: overflow"))))
                    (EXIT |res1|)))) 

(SDEFUN |SINT;positiveRemainder;3%;50| ((|x| (%)) (|n| (%)) (% (%)))
        (SPROG ((|r| (%)))
               (SEQ (LETT |r| (|rem_SI| |x| |n|))
                    (EXIT
                     (COND
                      ((|negative?_SI| |r|)
                       (COND ((|negative?_SI| |n|) (|sub_SI| |x| |n|))
                             (#1='T (|add_SI| |r| |n|))))
                      (#1# |r|)))))) 

(PUT '|SINT;qconvert;I%;51| '|SPADreplace| '(XLAM (|x|) |x|)) 

(SDEFUN |SINT;qconvert;I%;51| ((|x| (|Integer|)) (% (%))) |x|) 

(SDEFUN |SINT;coerce;I%;52| ((|x| (|Integer|)) (% (%)))
        (SEQ
         (COND
          ((<= |x| MOST-POSITIVE-FIXNUM)
           (COND ((>= |x| MOST-NEGATIVE-FIXNUM) (EXIT |x|)))))
         (EXIT (|error| "integer too large to represent in a machine word")))) 

(PUT '|SINT;random;2%;53| '|SPADreplace| 'RANDOM) 

(SDEFUN |SINT;random;2%;53| ((|n| (%)) (% (%))) (RANDOM |n|)) 

(SDEFUN |SINT;unitNormal;%R;54|
        ((|x| (%))
         (% (|Record| (|:| |unit| %) (|:| |canonical| %) (|:| |associate| %))))
        (COND ((|less_SI| |x| 0) (VECTOR -1 (|minus_SI| |x|) -1))
              ('T (VECTOR 1 |x| 1)))) 

(DECLAIM (NOTINLINE |SingleInteger;|)) 

(DEFUN |SingleInteger;| ()
  (SPROG ((|dv$| NIL) (% NIL) (|pv$| NIL))
         (PROGN
          (LETT |dv$| '(|SingleInteger|))
          (LETT % (GETREFV 108))
          (QSETREFV % 0 |dv$|)
          (QSETREFV % 3 (LETT |pv$| (|buildPredVector| 0 0 NIL)))
          (|haddProp| |$ConstructorCache| '|SingleInteger| NIL (CONS 1 %))
          (|stuffDomainSlots| %)
          (SETF |pv$| (QREFELT % 3))
          %))) 

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

(MAKEPROP '|SingleInteger| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|Void|) (|OpenMathDevice|)
              (0 . |OMputApp|) (|String|) (5 . |OMputSymbol|) (|Integer|)
              (12 . |OMputInteger|) (18 . |OMputEndApp|) (23 . |OMputObject|)
              (28 . |OMputEndObject|) (|Boolean|) |SINT;OMwrite;Omd%BV;2|
              (|OutputForm|) (33 . |coerce|) |SINT;coerce;%Of;3|
              |SINT;convert;%I;4| |SINT;convert;%S;5| |SINT;coerce;I%;52|
              |SINT;*;I2%;6|
              (CONS IDENTITY (FUNCALL (|dispatchFunction| |SINT;Zero;%;7|) %))
              (CONS IDENTITY (FUNCALL (|dispatchFunction| |SINT;One;%;8|) %))
              |SINT;base;%;9| |SINT;max;%;10| |SINT;min;%;11| |SINT;=;2%B;12|
              |SINT;~;2%;13| |SINT;not;2%;14| |SINT;/\\;3%;15| |SINT;\\/;3%;16|
              |SINT;Not;2%;17| |SINT;And;3%;18| |SINT;Or;3%;19|
              |SINT;xor;3%;20| |SINT;<;2%B;21| |SINT;inc;2%;22|
              |SINT;dec;2%;23| |SINT;-;2%;24| |SINT;+;3%;25| |SINT;-;3%;26|
              |SINT;*;3%;27| (|NonNegativeInteger|) |SINT;^;%Nni%;28|
              |SINT;quo;3%;29| |SINT;rem;3%;30|
              (|Record| (|:| |quotient| %) (|:| |remainder| %))
              |SINT;divide;2%R;31| |SINT;gcd;3%;32| |SINT;abs;2%;33|
              |SINT;odd?;%B;34| |SINT;zero?;%B;35| |SINT;one?;%B;36|
              |SINT;max;3%;37| |SINT;min;3%;38| (|HashState|)
              |SINT;hashUpdate!;Hs%Hs;39| |SINT;length;2%;40|
              |SINT;shift;3%;41| |SINT;mulmod;4%;42| |SINT;addmod;4%;43|
              |SINT;submod;4%;44| |SINT;negative?;%B;45| (|Factored| 11)
              (|IntegerFactorizationPackage| 11) (38 . |factor|)
              |SINT;qconvert;I%;51| (|Factored| $$) (|Mapping| $$ 11)
              (|FactoredFunctions2| 11 $$) (43 . |map|) (|Factored| %)
              |SINT;factor;%F;46| (49 . |squareFree|) |SINT;squareFree;%F;47|
              (|IntegerPrimesPackage| 11) (54 . |prime?|) |SINT;prime?;%B;48|
              (|IntegerCombinatoricFunctions| 11) (59 . |binomial|)
              |SINT;binomial;3%;49| |SINT;positiveRemainder;3%;50|
              |SINT;random;2%;53|
              (|Record| (|:| |unit| %) (|:| |canonical| %) (|:| |associate| %))
              |SINT;unitNormal;%R;54| (|PositiveInteger|) (|Union| % '"failed")
              (|Record| (|:| |llcm_res| %) (|:| |coeff1| %) (|:| |coeff2| %))
              (|List| %) (|SparseUnivariatePolynomial| %)
              (|Record| (|:| |coef1| %) (|:| |coef2| %))
              (|Union| 94 '#1="failed") (|Union| 92 '#1#)
              (|Record| (|:| |coef1| %) (|:| |coef2| %) (|:| |generator| %))
              (|Record| (|:| |coef| 92) (|:| |generator| %))
              (|Union| 11 '"failed") (|Pattern| 11) (|InputForm|)
              (|PatternMatchResult| 11 %) (|DoubleFloat|) (|Float|)
              (|Fraction| 11) (|Union| 105 '"failed") (|SingleInteger|))
           '#(~= 65 ~ 71 |zero?| 76 |xor| 81 |unitNormal| 87 |unitCanonical| 92
              |unit?| 97 |true| 102 |symmetricRemainder| 106 |subtractIfCan|
              112 |submod| 118 |squareFreePart| 125 |squareFree| 130 |smaller?|
              135 |sizeLess?| 141 |sign| 147 |shift| 152 |sample| 158
              |rightRecip| 162 |rightPower| 167 |retractIfCan| 179 |retract|
              184 |rem| 189 |recip| 195 |rationalIfCan| 200 |rational?| 205
              |rational| 210 |random| 215 |quo| 220 |qconvert| 226
              |principalIdeal| 231 |prime?| 236 |powmod| 241
              |positiveRemainder| 248 |positive?| 254 |plenaryPower| 259
              |permutation| 265 |patternMatch| 271 |opposite?| 278 |one?| 284
              |odd?| 289 |not| 294 |nextItem| 299 |negative?| 304
              |multiEuclidean| 309 |mulmod| 315 |min| 322 |max| 332 |mask| 342
              |length| 347 |leftRecip| 352 |leftPower| 357 |lcmCoef| 369 |lcm|
              375 |latex| 386 |invmod| 391 |init| 397 |inc| 401 |hashUpdate!|
              406 |hash| 412 |gcdPolynomial| 417 |gcd| 423 |false| 434
              |factorial| 438 |factor| 443 |extendedEuclidean| 448 |exquo| 461
              |expressIdealMember| 467 |even?| 473 |euclideanSize| 478 |divide|
              483 |differentiate| 489 |dec| 500 |copy| 505 |convert| 510
              |commutator| 540 |coerce| 546 |characteristic| 561 |bit?| 565
              |binomial| 571 |base| 577 |associator| 581 |associates?| 588
              |antiCommutator| 594 |annihilate?| 600 |addmod| 606 |abs| 613
              |_\|_| 618 ^ 622 |\\/| 634 |Zero| 640 T$ 644 |Or| 648 |One| 654
              |OMwrite| 658 |Not| 682 D 687 |And| 698 >= 704 > 710 = 716 <= 722
              < 728 |/\\| 734 - 740 + 751 * 757)
           '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 0 0 0 0 0 0))
            (CONS
             '#(|IntegerNumberSystem&| |EuclideanDomain&| NIL
                |UniqueFactorizationDomain&| |GcdDomain&| NIL NIL NIL NIL NIL
                |Algebra&| |EntireRing&| NIL |DifferentialRing&| NIL NIL |Rng&|
                |NonAssociativeAlgebra&| NIL |Module&| |NonAssociativeRing&|
                NIL |OrderedAbelianGroup&| NIL |NonAssociativeRng&| NIL NIL
                |Logic&| |AbelianGroup&| NIL NIL NIL NIL NIL NIL NIL NIL NIL
                NIL |AbelianMonoid&| |NonAssociativeSemiRng&| |MagmaWithUnit&|
                NIL |OrderedSet&| NIL NIL NIL |AbelianSemiGroup&| |Magma&| NIL
                NIL NIL NIL NIL |SetCategory&| NIL |RetractableTo&| NIL
                |Hashable&| NIL |BasicType&| NIL NIL NIL |PartialOrder&| NIL
                NIL NIL NIL NIL NIL NIL NIL NIL NIL |OpenMath&| NIL NIL)
             (CONS
              '#((|IntegerNumberSystem|) (|EuclideanDomain|)
                 (|PrincipalIdealDomain|) (|UniqueFactorizationDomain|)
                 (|GcdDomain|) (|OrderedIntegralDomain|) (|IntegralDomain|)
                 (|LeftOreRing|) (|CommutativeRing|) (|OrderedRing|)
                 (|Algebra| $$) (|EntireRing|) (|CharacteristicZero|)
                 (|DifferentialRing|) (|Ring|) (|SemiRing|) (|Rng|)
                 (|NonAssociativeAlgebra| $$) (|SemiRng|) (|Module| $$)
                 (|NonAssociativeRing|) (|BiModule| $$ $$)
                 (|OrderedAbelianGroup|) (|RightModule| $$)
                 (|NonAssociativeRng|) (|LeftModule| $$)
                 (|OrderedCancellationAbelianMonoid|) (|Logic|)
                 (|AbelianGroup|) (|OrderedAbelianMonoid|) (|OrderedMonoid|)
                 (|BoundedDistributiveLattice|) (|CancellationAbelianMonoid|)
                 (|NonAssociativeSemiRing|) (|Monoid|)
                 (|OrderedAbelianSemiGroup|) (|OrderedSemiGroup|)
                 (|BoundedLattice|) (|DistributiveLattice|) (|AbelianMonoid|)
                 (|NonAssociativeSemiRng|) (|MagmaWithUnit|) (|SemiGroup|)
                 (|OrderedSet|) (|BoundedMeetSemilattice|)
                 (|BoundedJoinSemilattice|) (|Lattice|) (|AbelianSemiGroup|)
                 (|Magma|) (|Comparable|) (|PatternMatchable| 11)
                 (|StepThrough|) (|MeetSemilattice|) (|JoinSemilattice|)
                 (|SetCategory|) (|CommutativeStar|) (|RetractableTo| 11)
                 (|RealConstant|) (|Hashable|) (|CoercibleTo| 18) (|BasicType|)
                 (|unitsKnown|) (|TwoSidedRecip|) (|noZeroDivisors|)
                 (|PartialOrder|) (|ConvertibleTo| 11) (|CoercibleFrom| 11)
                 (|ConvertibleTo| 101) (|ConvertibleTo| 100)
                 (|CombinatorialFunctionCategory|) (|ConvertibleTo| 103)
                 (|ConvertibleTo| 104) (|canonicalUnitNormal|)
                 (|multiplicativeValuation|) (|ConvertibleTo| 9) (|OpenMath|)
                 (|Canonical|) (|canonicalsClosed|))
              (|makeByteWordVec2| 107
                                  '(1 7 6 0 8 3 7 6 0 9 9 10 2 7 6 0 11 12 1 7
                                    6 0 13 1 7 6 0 14 1 7 6 0 15 1 11 18 0 19 1
                                    68 67 11 69 2 73 71 72 67 74 1 68 67 11 77
                                    1 79 16 11 80 2 82 11 11 11 83 2 0 16 0 0 1
                                    1 0 0 0 31 1 0 16 0 55 2 0 0 0 0 38 1 0 87
                                    0 88 1 0 0 0 1 1 0 16 0 1 0 0 0 1 2 0 0 0 0
                                    1 2 0 90 0 0 1 3 0 0 0 0 0 65 1 0 0 0 1 1 0
                                    75 0 78 2 0 16 0 0 1 2 0 16 0 0 1 1 0 11 0
                                    1 2 0 0 0 0 62 0 0 0 1 1 0 90 0 1 2 0 0 0
                                    89 1 2 0 0 0 46 1 1 0 99 0 1 1 0 11 0 1 2 0
                                    0 0 0 49 1 0 90 0 1 1 0 106 0 1 1 0 16 0 1
                                    1 0 105 0 1 1 0 0 0 86 2 0 0 0 0 48 1 0 0
                                    11 70 1 0 98 92 1 1 0 16 0 81 3 0 0 0 0 0 1
                                    2 0 0 0 0 85 1 0 16 0 1 2 0 0 0 89 1 2 0 0
                                    0 0 1 3 0 102 0 100 102 1 2 0 16 0 0 1 1 0
                                    16 0 56 1 0 16 0 54 1 0 0 0 32 1 0 90 0 1 1
                                    0 16 0 66 2 0 96 92 0 1 3 0 0 0 0 0 63 2 0
                                    0 0 0 58 0 0 0 29 2 0 0 0 0 57 0 0 0 28 1 0
                                    0 0 1 1 0 0 0 61 1 0 90 0 1 2 0 0 0 89 1 2
                                    0 0 0 46 1 2 0 91 0 0 1 2 0 0 0 0 1 1 0 0
                                    92 1 1 0 9 0 1 2 0 0 0 0 1 0 0 0 1 1 0 0 0
                                    40 2 0 59 59 0 60 1 0 107 0 1 2 0 93 93 93
                                    1 2 0 0 0 0 52 1 0 0 92 1 0 0 0 1 1 0 0 0 1
                                    1 0 75 0 76 3 0 95 0 0 0 1 2 0 97 0 0 1 2 0
                                    90 0 0 1 2 0 96 92 0 1 1 0 16 0 1 1 0 46 0
                                    1 2 0 50 0 0 51 2 0 0 0 46 1 1 0 0 0 1 1 0
                                    0 0 41 1 0 0 0 1 1 0 11 0 21 1 0 100 0 1 1
                                    0 101 0 1 1 0 103 0 1 1 0 104 0 1 1 0 9 0
                                    22 2 0 0 0 0 1 1 0 18 0 20 1 0 0 11 23 1 0
                                    0 0 1 0 0 46 1 2 0 16 0 0 1 2 0 0 0 0 84 0
                                    0 0 27 3 0 0 0 0 0 1 2 0 16 0 0 1 2 0 0 0 0
                                    1 2 0 16 0 0 1 3 0 0 0 0 0 64 1 0 0 0 53 0
                                    0 0 1 2 0 0 0 89 1 2 0 0 0 46 47 2 0 0 0 0
                                    34 0 0 0 25 0 0 0 1 2 0 0 0 0 37 0 0 0 26 2
                                    0 9 0 16 1 1 0 9 0 1 3 0 6 7 0 16 17 2 0 6
                                    7 0 1 1 0 0 0 35 2 0 0 0 46 1 1 0 0 0 1 2 0
                                    0 0 0 36 2 0 16 0 0 1 2 0 16 0 0 1 2 0 16 0
                                    0 30 2 0 16 0 0 1 2 0 16 0 0 39 2 0 0 0 0
                                    33 2 0 0 0 0 44 1 0 0 0 42 2 0 0 0 0 43 2 0
                                    0 89 0 1 2 0 0 0 0 45 2 0 0 11 0 24 2 0 0
                                    46 0 1)))))
           '|lookupComplete|)) 
