
(/VERSIONCHECK 2) 

(DEFUN |PNTHEORY;MonicQuotient| (|a| |b| $)
  (PROG (|da| |q| |t| #1=#:G1813 |db|)
    (RETURN
     (SEQ
      (COND
       ((NULL (EQL (SPADCALL |b| (QREFELT $ 26)) 1))
        (|error| "divisor must be monic"))
       ('T
        (COND ((SPADCALL |b| (|spadConstant| $ 7) (QREFELT $ 28)) |a|)
              ('T
               (SEQ
                (LETT |da| (SPADCALL |a| (QREFELT $ 29))
                      . #2=(|PNTHEORY;MonicQuotient|))
                (LETT |db| (SPADCALL |b| (QREFELT $ 29)) . #2#)
                (LETT |q| (|spadConstant| $ 17) . #2#)
                (SEQ G190
                     (COND
                      ((NULL (COND ((< |da| |db|) 'NIL) ('T 'T))) (GO G191)))
                     (SEQ
                      (LETT |t|
                            (SPADCALL (SPADCALL |a| (QREFELT $ 26))
                                      (PROG1 (LETT #1# (- |da| |db|) . #2#)
                                        (|check-subtype| (>= #1# 0)
                                                         '(|NonNegativeInteger|)
                                                         #1#))
                                      (QREFELT $ 10))
                            . #2#)
                      (LETT |a|
                            (SPADCALL |a| (SPADCALL |b| |t| (QREFELT $ 30))
                                      (QREFELT $ 31))
                            . #2#)
                      (LETT |q| (SPADCALL |q| |t| (QREFELT $ 32)) . #2#)
                      (EXIT (LETT |da| (SPADCALL |a| (QREFELT $ 29)) . #2#)))
                     NIL (GO G190) G191 (EXIT NIL))
                (EXIT |q|)))))))))) 

(DEFUN |PNTHEORY;cyclotomic;ISup;2| (|n| $)
  (PROG (|m| #1=#:G1826 |s| |c| |t| #2=#:G1822 |r| |q| |#G6| |k| |#G5| |p|)
    (RETURN
     (SEQ
      (COND
       ((< |n| 0) (|error| "cyclotomic not defined for negative integers"))
       ((EQL |n| 0) (QREFELT $ 11))
       ('T
        (SEQ (LETT |k| |n| . #3=(|PNTHEORY;cyclotomic;ISup;2|))
             (LETT |s| (LETT |p| 1 . #3#) . #3#)
             (LETT |c|
                   (SPADCALL (QREFELT $ 11) (|spadConstant| $ 7)
                             (QREFELT $ 31))
                   . #3#)
             (SEQ G190 (COND ((NULL (< 1 |k|)) #4=(GO G191)))
                  (SEQ (LETT |p| (SPADCALL |p| (QREFELT $ 34)) . #3#)
                       (PROGN
                        (LETT |#G5| (DIVIDE2 |k| |p|) . #3#)
                        (LETT |q| (QCAR |#G5|) . #3#)
                        (LETT |r| (QCDR |#G5|) . #3#)
                        |#G5|)
                       (EXIT
                        (COND
                         ((EQL |r| 0)
                          (SEQ
                           (SEQ G190 (COND ((NULL (EQL |r| 0)) #4#))
                                (SEQ (LETT |k| |q| . #3#)
                                     (EXIT
                                      (PROGN
                                       (LETT |#G6| (DIVIDE2 |k| |p|) . #3#)
                                       (LETT |q| (QCAR |#G6|) . #3#)
                                       (LETT |r| (QCDR |#G6|) . #3#)
                                       |#G6|)))
                                NIL #5=(GO G190) G191 (EXIT NIL))
                           (LETT |t|
                                 (SPADCALL |c|
                                           (PROG1 (LETT #2# |p| . #3#)
                                             (|check-subtype| (>= #2# 0)
                                                              '(|NonNegativeInteger|)
                                                              #2#))
                                           (QREFELT $ 35))
                                 . #3#)
                           (LETT |c| (|PNTHEORY;MonicQuotient| |t| |c| $)
                                 . #3#)
                           (EXIT (LETT |s| (* |s| |p|) . #3#)))))))
                  NIL #5# G191 (EXIT NIL))
             (LETT |m|
                   (PROG1 (LETT #1# (QUOTIENT2 |n| |s|) . #3#)
                     (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))
                   . #3#)
             (EXIT (SPADCALL |c| |m| (QREFELT $ 35)))))))))) 

(DEFUN |PNTHEORY;euler;ISup;3| (|n| $)
  (PROG (|p| |c| #1=#:G1833 |t| |i| |s| |#G10| |#G9| |#G8|)
    (RETURN
     (SEQ
      (COND ((< |n| 0) (|error| "euler not defined for negative integers"))
            (#2='T
             (SEQ
              (COND
               ((< |n| (QCAR (QREFELT $ 19)))
                (PROGN
                 (LETT |#G8| 0 . #3=(|PNTHEORY;euler;ISup;3|))
                 (LETT |#G9| (|spadConstant| $ 18) . #3#)
                 (LETT |s| |#G8| . #3#)
                 (LETT |p| |#G9| . #3#)))
               (#2#
                (PROGN
                 (LETT |#G10| (QREFELT $ 19) . #3#)
                 (LETT |s| (QCAR |#G10|) . #3#)
                 (LETT |p| (QCDR |#G10|) . #3#)
                 |#G10|)))
              (SEQ (LETT |i| (+ |s| 1) . #3#) G190
                   (COND ((> |i| |n|) (GO G191)))
                   (SEQ
                    (LETT |t|
                          (SPADCALL (SPADCALL |i| (QREFELT $ 37))
                                    (SPADCALL |p| (QREFELT $ 38))
                                    (QREFELT $ 39))
                          . #3#)
                    (LETT |c|
                          (SPADCALL
                           (SPADCALL (SPADCALL |i| (QREFELT $ 41))
                                     (EXPT 2
                                           (PROG1 (LETT #1# |i| . #3#)
                                             (|check-subtype| (>= #1# 0)
                                                              '(|NonNegativeInteger|)
                                                              #1#)))
                                     (QREFELT $ 42))
                           (SPADCALL |t| (SPADCALL 1 2 (QREFELT $ 42))
                                     (QREFELT $ 43))
                           (QREFELT $ 44))
                          . #3#)
                    (EXIT
                     (LETT |p|
                           (SPADCALL |t| (SPADCALL |c| (QREFELT $ 45))
                                     (QREFELT $ 46))
                           . #3#)))
                   (LETT |i| (+ |i| 1) . #3#) (GO G190) G191 (EXIT NIL))
              (PROGN (RPLACA (QREFELT $ 19) |n|) (QCAR (QREFELT $ 19)))
              (PROGN (RPLACD (QREFELT $ 19) |p|) (QCDR (QREFELT $ 19)))
              (EXIT |p|)))))))) 

(DEFUN |PNTHEORY;bernoulli;ISup;4| (|n| $)
  (PROG (|p| |c| |t| |i| |s| |#G17| |#G16| |#G15|)
    (RETURN
     (SEQ
      (COND ((< |n| 0) (|error| "bernoulli not defined for negative integers"))
            (#1='T
             (SEQ
              (COND
               ((< |n| (QCAR (QREFELT $ 20)))
                (PROGN
                 (LETT |#G15| 0 . #2=(|PNTHEORY;bernoulli;ISup;4|))
                 (LETT |#G16| (|spadConstant| $ 18) . #2#)
                 (LETT |s| |#G15| . #2#)
                 (LETT |p| |#G16| . #2#)))
               (#1#
                (PROGN
                 (LETT |#G17| (QREFELT $ 20) . #2#)
                 (LETT |s| (QCAR |#G17|) . #2#)
                 (LETT |p| (QCDR |#G17|) . #2#)
                 |#G17|)))
              (SEQ (LETT |i| (+ |s| 1) . #2#) G190
                   (COND ((> |i| |n|) (GO G191)))
                   (SEQ
                    (LETT |t|
                          (SPADCALL (SPADCALL |i| (QREFELT $ 37))
                                    (SPADCALL |p| (QREFELT $ 38))
                                    (QREFELT $ 39))
                          . #2#)
                    (LETT |c| (SPADCALL |i| (QREFELT $ 48)) . #2#)
                    (EXIT
                     (LETT |p|
                           (SPADCALL |t| (SPADCALL |c| (QREFELT $ 45))
                                     (QREFELT $ 46))
                           . #2#)))
                   (LETT |i| (+ |i| 1) . #2#) (GO G190) G191 (EXIT NIL))
              (PROGN (RPLACA (QREFELT $ 20) |n|) (QCAR (QREFELT $ 20)))
              (PROGN (RPLACD (QREFELT $ 20) |p|) (QCDR (QREFELT $ 20)))
              (EXIT |p|)))))))) 

(DEFUN |PNTHEORY;fixedDivisor;SupI;5| (|a| $)
  (PROG (|g| |k| |d|)
    (RETURN
     (SEQ (|SparseUnivariatePolynomial| (|Integer|))
          (LETT |d| (SPADCALL |a| (QREFELT $ 29))
                . #1=(|PNTHEORY;fixedDivisor;SupI;5|))
          (LETT |g| (SPADCALL |a| (SPADCALL |a| (QREFELT $ 50)) (QREFELT $ 51))
                . #1#)
          (SEQ (LETT |k| 1 . #1#) G190
               (COND ((OR (QSGREATERP |k| |d|) (NULL (< 1 |g|))) (GO G191)))
               (SEQ
                (EXIT
                 (LETT |g| (GCD |g| (SPADCALL |a| |k| (QREFELT $ 52))) . #1#)))
               (LETT |k| (QSADD1 |k|) . #1#) (GO G190) G191 (EXIT NIL))
          (EXIT |g|))))) 

(DEFUN |PNTHEORY;hermite;ISup;6| (|n| $)
  (PROG (|q| |p| |#G30| |#G29| |k| |s| |#G24|)
    (RETURN
     (SEQ
      (COND ((< |n| 0) (|error| "hermite not defined for negative integers"))
            (#1='T
             (SEQ
              (COND
               ((< |n| (QVELT (QREFELT $ 21) 0))
                (SEQ (LETT |s| 0 . #2=(|PNTHEORY;hermite;ISup;6|))
                     (LETT |p| (|spadConstant| $ 7) . #2#)
                     (EXIT (LETT |q| (QREFELT $ 11) . #2#))))
               (#1#
                (PROGN
                 (LETT |#G24| (QREFELT $ 21) . #2#)
                 (LETT |s| (QVELT |#G24| 0) . #2#)
                 (LETT |p| (QVELT |#G24| 1) . #2#)
                 (LETT |q| (QVELT |#G24| 2) . #2#)
                 |#G24|)))
              (SEQ (LETT |k| (+ |s| 1) . #2#) G190
                   (COND ((> |k| |n|) (GO G191)))
                   (SEQ
                    (EXIT
                     (PROGN
                      (LETT |#G29|
                            (SPADCALL
                             (SPADCALL
                              (SPADCALL 2 (QREFELT $ 11) (QREFELT $ 55)) |p|
                              (QREFELT $ 30))
                             (SPADCALL (SPADCALL 2 (- |k| 1) (QREFELT $ 56))
                                       |q| (QREFELT $ 57))
                             (QREFELT $ 31))
                            . #2#)
                      (LETT |#G30| |p| . #2#)
                      (LETT |p| |#G29| . #2#)
                      (LETT |q| |#G30| . #2#))))
                   (LETT |k| (+ |k| 1) . #2#) (GO G190) G191 (EXIT NIL))
              (QSETVELT (QREFELT $ 21) 0 |n|) (QSETVELT (QREFELT $ 21) 1 |p|)
              (QSETVELT (QREFELT $ 21) 2 |q|) (EXIT |p|)))))))) 

(DEFUN |PNTHEORY;legendre;ISup;7| (|n| $)
  (PROG (|q| |p| |#G38| |#G37| |t| |k| |s| |#G32|)
    (RETURN
     (SEQ
      (COND ((< |n| 0) (|error| "legendre not defined for negative integers"))
            (#1='T
             (SEQ
              (COND
               ((< |n| (QVELT (QREFELT $ 23) 0))
                (SEQ (LETT |s| 0 . #2=(|PNTHEORY;legendre;ISup;7|))
                     (LETT |p| (|spadConstant| $ 18) . #2#)
                     (EXIT (LETT |q| (QREFELT $ 16) . #2#))))
               (#1#
                (PROGN
                 (LETT |#G32| (QREFELT $ 23) . #2#)
                 (LETT |s| (QVELT |#G32| 0) . #2#)
                 (LETT |p| (QVELT |#G32| 1) . #2#)
                 (LETT |q| (QVELT |#G32| 2) . #2#)
                 |#G32|)))
              (SEQ (LETT |k| (+ |s| 1) . #2#) G190
                   (COND ((> |k| |n|) (GO G191)))
                   (SEQ (LETT |t| (- |k| 1) . #2#)
                        (EXIT
                         (PROGN
                          (LETT |#G37|
                                (SPADCALL
                                 (SPADCALL
                                  (SPADCALL
                                   (SPADCALL (+ |k| |t|) |k| (QREFELT $ 42))
                                   (QREFELT $ 16) (QREFELT $ 39))
                                  |p| (QREFELT $ 59))
                                 (SPADCALL (SPADCALL |t| |k| (QREFELT $ 42))
                                           |q| (QREFELT $ 39))
                                 (QREFELT $ 60))
                                . #2#)
                          (LETT |#G38| |p| . #2#)
                          (LETT |p| |#G37| . #2#)
                          (LETT |q| |#G38| . #2#))))
                   (LETT |k| (+ |k| 1) . #2#) (GO G190) G191 (EXIT NIL))
              (QSETVELT (QREFELT $ 23) 0 |n|) (QSETVELT (QREFELT $ 23) 1 |p|)
              (QSETVELT (QREFELT $ 23) 2 |q|) (EXIT |p|)))))))) 

(DEFUN |PNTHEORY;laguerre;ISup;8| (|n| $)
  (PROG (|q| |p| |#G46| |#G45| |t| |k| |s| |#G40|)
    (RETURN
     (SEQ
      (COND ((< |n| 0) (|error| "laguerre not defined for negative integers"))
            (#1='T
             (SEQ
              (COND
               ((< |n| (QVELT (QREFELT $ 22) 0))
                (SEQ (LETT |s| 0 . #2=(|PNTHEORY;laguerre;ISup;8|))
                     (LETT |p| (|spadConstant| $ 7) . #2#)
                     (EXIT (LETT |q| (QREFELT $ 11) . #2#))))
               (#1#
                (PROGN
                 (LETT |#G40| (QREFELT $ 22) . #2#)
                 (LETT |s| (QVELT |#G40| 0) . #2#)
                 (LETT |p| (QVELT |#G40| 1) . #2#)
                 (LETT |q| (QVELT |#G40| 2) . #2#)
                 |#G40|)))
              (SEQ (LETT |k| (+ |s| 1) . #2#) G190
                   (COND ((> |k| |n|) (GO G191)))
                   (SEQ (LETT |t| (- |k| 1) . #2#)
                        (EXIT
                         (PROGN
                          (LETT |#G45|
                                (SPADCALL
                                 (SPADCALL
                                  (SPADCALL
                                   (SPADCALL (+ |k| |t|) (QREFELT $ 62))
                                   (QREFELT $ 11) (QREFELT $ 31))
                                  |p| (QREFELT $ 30))
                                 (SPADCALL (SPADCALL |t| 2 (QREFELT $ 63)) |q|
                                           (QREFELT $ 57))
                                 (QREFELT $ 31))
                                . #2#)
                          (LETT |#G46| |p| . #2#)
                          (LETT |p| |#G45| . #2#)
                          (LETT |q| |#G46| . #2#))))
                   (LETT |k| (+ |k| 1) . #2#) (GO G190) G191 (EXIT NIL))
              (QSETVELT (QREFELT $ 22) 0 |n|) (QSETVELT (QREFELT $ 22) 1 |p|)
              (QSETVELT (QREFELT $ 22) 2 |q|) (EXIT |p|)))))))) 

(DEFUN |PNTHEORY;chebyshevT;ISup;9| (|n| $)
  (PROG (|q| |p| |#G54| |#G53| |k| |s| |#G48|)
    (RETURN
     (SEQ
      (COND
       ((< |n| 0) (|error| "chebyshevT not defined for negative integers"))
       (#1='T
        (SEQ
         (COND
          ((< |n| (QVELT (QREFELT $ 24) 0))
           (SEQ (LETT |s| 0 . #2=(|PNTHEORY;chebyshevT;ISup;9|))
                (LETT |p| (|spadConstant| $ 7) . #2#)
                (EXIT (LETT |q| (QREFELT $ 11) . #2#))))
          (#1#
           (PROGN
            (LETT |#G48| (QREFELT $ 24) . #2#)
            (LETT |s| (QVELT |#G48| 0) . #2#)
            (LETT |p| (QVELT |#G48| 1) . #2#)
            (LETT |q| (QVELT |#G48| 2) . #2#)
            |#G48|)))
         (SEQ (LETT |k| (+ |s| 1) . #2#) G190 (COND ((> |k| |n|) (GO G191)))
              (SEQ
               (EXIT
                (PROGN
                 (LETT |#G53|
                       (SPADCALL
                        (SPADCALL (SPADCALL 2 (QREFELT $ 11) (QREFELT $ 55))
                                  |p| (QREFELT $ 30))
                        |q| (QREFELT $ 31))
                       . #2#)
                 (LETT |#G54| |p| . #2#)
                 (LETT |p| |#G53| . #2#)
                 (LETT |q| |#G54| . #2#))))
              (LETT |k| (+ |k| 1) . #2#) (GO G190) G191 (EXIT NIL))
         (QSETVELT (QREFELT $ 24) 0 |n|) (QSETVELT (QREFELT $ 24) 1 |p|)
         (QSETVELT (QREFELT $ 24) 2 |q|) (EXIT |p|)))))))) 

(DEFUN |PNTHEORY;chebyshevU;ISup;10| (|n| $)
  (PROG (|q| |p| |#G62| |#G61| |k| |s| |#G56|)
    (RETURN
     (SEQ
      (COND
       ((< |n| 0) (|error| "chebyshevU not defined for negative integers"))
       (#1='T
        (SEQ
         (COND
          ((< |n| (QVELT (QREFELT $ 25) 0))
           (SEQ (LETT |s| 0 . #2=(|PNTHEORY;chebyshevU;ISup;10|))
                (LETT |p| (|spadConstant| $ 7) . #2#)
                (EXIT (LETT |q| (|spadConstant| $ 17) . #2#))))
          (#1#
           (PROGN
            (LETT |#G56| (QREFELT $ 25) . #2#)
            (LETT |s| (QVELT |#G56| 0) . #2#)
            (LETT |p| (QVELT |#G56| 1) . #2#)
            (LETT |q| (QVELT |#G56| 2) . #2#)
            |#G56|)))
         (SEQ (LETT |k| (+ |s| 1) . #2#) G190 (COND ((> |k| |n|) (GO G191)))
              (SEQ
               (EXIT
                (PROGN
                 (LETT |#G61|
                       (SPADCALL
                        (SPADCALL (SPADCALL 2 (QREFELT $ 11) (QREFELT $ 55))
                                  |p| (QREFELT $ 30))
                        |q| (QREFELT $ 31))
                       . #2#)
                 (LETT |#G62| |p| . #2#)
                 (LETT |p| |#G61| . #2#)
                 (LETT |q| |#G62| . #2#))))
              (LETT |k| (+ |k| 1) . #2#) (GO G190) G191 (EXIT NIL))
         (QSETVELT (QREFELT $ 25) 0 |n|) (QSETVELT (QREFELT $ 25) 1 |p|)
         (QSETVELT (QREFELT $ 25) 2 |q|) (EXIT |p|)))))))) 

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

(DEFUN |PolynomialNumberTheoryFunctions;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
     (PROGN
      (LETT |dv$| '(|PolynomialNumberTheoryFunctions|)
            . #1=(|PolynomialNumberTheoryFunctions|))
      (LETT $ (GETREFV 67) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|PolynomialNumberTheoryFunctions| NIL
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 11 (SPADCALL 1 1 (QREFELT $ 10)))
      (QSETREFV $ 16 (SPADCALL (|spadConstant| $ 13) 1 (QREFELT $ 15)))
      (QSETREFV $ 19 (CONS 0 (|spadConstant| $ 18)))
      (QSETREFV $ 20 (CONS 0 (|spadConstant| $ 18)))
      (QSETREFV $ 21 (VECTOR 0 (|spadConstant| $ 7) (QREFELT $ 11)))
      (QSETREFV $ 22 (VECTOR 0 (|spadConstant| $ 7) (QREFELT $ 11)))
      (QSETREFV $ 23 (VECTOR 0 (|spadConstant| $ 18) (QREFELT $ 16)))
      (QSETREFV $ 24 (VECTOR 0 (|spadConstant| $ 7) (QREFELT $ 11)))
      (QSETREFV $ 25 (VECTOR 0 (|spadConstant| $ 7) (|spadConstant| $ 17)))
      $)))) 

(MAKEPROP '|PolynomialNumberTheoryFunctions| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|SparseUnivariatePolynomial| 8)
              (0 . |One|) (|Integer|) (|NonNegativeInteger|) (4 . |monomial|)
              '|x| (|Fraction| 8) (10 . |One|)
              (|SparseUnivariatePolynomial| 12) (14 . |monomial|) '|y|
              (20 . |Zero|) (24 . |One|) 'E 'B 'H 'L 'P 'CT 'U
              (28 . |leadingCoefficient|) (|Boolean|) (33 . =) (39 . |degree|)
              (44 . *) (50 . -) (56 . +) (|IntegerPrimesPackage| 8)
              (62 . |nextPrime|) (67 . |multiplyExponents|)
              |PNTHEORY;cyclotomic;ISup;2| (73 . |coerce|) (78 . |integrate|)
              (83 . *) (|IntegerNumberTheoryFunctions|) (89 . |euler|) (94 . /)
              (100 . |elt|) (106 . -) (112 . |coerce|) (117 . +)
              |PNTHEORY;euler;ISup;3| (123 . |bernoulli|)
              |PNTHEORY;bernoulli;ISup;4| (128 . |minimumDegree|)
              (133 . |coefficient|) (139 . |elt|)
              |PNTHEORY;fixedDivisor;SupI;5| (|PositiveInteger|) (145 . *)
              (151 . *) (157 . *) |PNTHEORY;hermite;ISup;6| (163 . *) (169 . -)
              |PNTHEORY;legendre;ISup;7| (175 . |coerce|) (180 . ^)
              |PNTHEORY;laguerre;ISup;8| |PNTHEORY;chebyshevT;ISup;9|
              |PNTHEORY;chebyshevU;ISup;10|)
           '#(|legendre| 186 |laguerre| 191 |hermite| 196 |fixedDivisor| 201
              |euler| 206 |cyclotomic| 211 |chebyshevU| 216 |chebyshevT| 221
              |bernoulli| 226)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 66
                                                 '(0 6 0 7 2 6 0 8 9 10 0 12 0
                                                   13 2 14 0 12 9 15 0 6 0 17 0
                                                   14 0 18 1 6 8 0 26 2 6 27 0
                                                   0 28 1 6 9 0 29 2 6 0 0 0 30
                                                   2 6 0 0 0 31 2 6 0 0 0 32 1
                                                   33 8 8 34 2 6 0 0 9 35 1 12
                                                   0 8 37 1 14 0 0 38 2 14 0 12
                                                   0 39 1 40 8 8 41 2 12 0 8 8
                                                   42 2 14 12 0 12 43 2 12 0 0
                                                   0 44 1 14 0 12 45 2 14 0 0 0
                                                   46 1 40 12 8 48 1 6 9 0 50 2
                                                   6 8 0 9 51 2 6 8 0 8 52 2 6
                                                   0 54 0 55 2 8 0 54 0 56 2 6
                                                   0 8 0 57 2 14 0 0 0 59 2 14
                                                   0 0 0 60 1 6 0 8 62 2 8 0 0
                                                   54 63 1 0 14 8 61 1 0 6 8 64
                                                   1 0 6 8 58 1 0 8 6 53 1 0 14
                                                   8 47 1 0 6 8 36 1 0 6 8 66 1
                                                   0 6 8 65 1 0 14 8 49)))))
           '|lookupComplete|)) 

(MAKEPROP '|PolynomialNumberTheoryFunctions| 'NILADIC T) 
