
(/VERSIONCHECK 2) 

(DEFUN |GENEEZ;compBound;BPLNni;1| (|m| |listpolys| $)
  (PROG (#1=#:G1825 |normprod| #2=#:G1820 #3=#:G1819 #4=#:G1821 #5=#:G1823
         #6=#:G1835 |g| #7=#:G1836 |df| |nm| #8=#:G1817 #9=#:G1816 #10=#:G1818
         #11=#:G1834 |u| |normlist| #12=#:G1813 #13=#:G1812 #14=#:G1814
         #15=#:G1833 #16=#:G1832 |f| #17=#:G1831 |n| #18=#:G1810 #19=#:G1809
         #20=#:G1811 #21=#:G1830 |ldeg| #22=#:G1829 #23=#:G1828)
    (RETURN
     (SEQ
      (LETT |ldeg|
            (PROGN
             (LETT #23# NIL . #24=(|GENEEZ;compBound;BPLNni;1|))
             (SEQ (LETT |f| NIL . #24#) (LETT #22# |listpolys| . #24#) G190
                  (COND
                   ((OR (ATOM #22#) (PROGN (LETT |f| (CAR #22#) . #24#) NIL))
                    #25=(GO G191)))
                  (SEQ
                   (EXIT
                    (LETT #23# (CONS (SPADCALL |f| (QREFELT $ 9)) #23#)
                          . #24#)))
                  (LETT #22# (CDR #22#) . #24#) #26=(GO G190) G191
                  (EXIT (NREVERSE0 #23#))))
            . #24#)
      (LETT |n|
            (PROGN
             (LETT #18# NIL . #24#)
             (SEQ (LETT |df| NIL . #24#) (LETT #21# |ldeg| . #24#) G190
                  (COND
                   ((OR (ATOM #21#) (PROGN (LETT |df| (CAR #21#) . #24#) NIL))
                    #25#))
                  (SEQ
                   (EXIT
                    (PROGN
                     (LETT #20# |df| . #24#)
                     (COND (#18# (LETT #19# (+ #19# #20#) . #24#))
                           ('T
                            (PROGN
                             (LETT #19# #20# . #24#)
                             (LETT #18# 'T . #24#)))))))
                  (LETT #21# (CDR #21#) . #24#) #26# G191 (EXIT NIL))
             (COND (#18# #19#) (#27='T 0)))
            . #24#)
      (LETT |normlist|
            (PROGN
             (LETT #17# NIL . #24#)
             (SEQ (LETT |f| NIL . #24#) (LETT #16# |listpolys| . #24#) G190
                  (COND
                   ((OR (ATOM #16#) (PROGN (LETT |f| (CAR #16#) . #24#) NIL))
                    #25#))
                  (SEQ
                   (EXIT
                    (LETT #17#
                          (CONS
                           (PROGN
                            (LETT #12# NIL . #24#)
                            (SEQ (LETT |u| NIL . #24#)
                                 (LETT #15# (SPADCALL |f| (QREFELT $ 11))
                                       . #24#)
                                 G190
                                 (COND
                                  ((OR (ATOM #15#)
                                       (PROGN
                                        (LETT |u| (CAR #15#) . #24#)
                                        NIL))
                                   #25#))
                                 (SEQ
                                  (EXIT
                                   (PROGN
                                    (LETT #14#
                                          (SPADCALL
                                           (SPADCALL |u| (QREFELT $ 12)) 2
                                           (QREFELT $ 14))
                                          . #24#)
                                    (COND
                                     (#12# (LETT #13# (+ #13# #14#) . #24#))
                                     ('T
                                      (PROGN
                                       (LETT #13# #14# . #24#)
                                       (LETT #12# 'T . #24#)))))))
                                 (LETT #15# (CDR #15#) . #24#) #26# G191
                                 (EXIT NIL))
                            (COND (#12# #13#) ('T 0)))
                           #17#)
                          . #24#)))
                  (LETT #16# (CDR #16#) . #24#) #26# G191
                  (EXIT (NREVERSE0 #17#))))
            . #24#)
      (LETT |nm|
            (PROGN
             (LETT #8# NIL . #24#)
             (SEQ (LETT |u| NIL . #24#)
                  (LETT #11# (SPADCALL |m| (QREFELT $ 11)) . #24#) G190
                  (COND
                   ((OR (ATOM #11#) (PROGN (LETT |u| (CAR #11#) . #24#) NIL))
                    #25#))
                  (SEQ
                   (EXIT
                    (PROGN
                     (LETT #10#
                           (SPADCALL (SPADCALL |u| (QREFELT $ 12)) 2
                                     (QREFELT $ 14))
                           . #24#)
                     (COND (#8# (LETT #9# (+ #9# #10#) . #24#))
                           ('T
                            (PROGN
                             (LETT #9# #10# . #24#)
                             (LETT #8# 'T . #24#)))))))
                  (LETT #11# (CDR #11#) . #24#) #26# G191 (EXIT NIL))
             (COND (#8# #9#) (#27# 0)))
            . #24#)
      (LETT |normprod|
            (PROGN
             (LETT #2# NIL . #24#)
             (SEQ (LETT |df| NIL . #24#) (LETT #7# |ldeg| . #24#)
                  (LETT |g| NIL . #24#) (LETT #6# |normlist| . #24#) G190
                  (COND
                   ((OR (ATOM #6#) (PROGN (LETT |g| (CAR #6#) . #24#) NIL)
                        (ATOM #7#) (PROGN (LETT |df| (CAR #7#) . #24#) NIL))
                    #25#))
                  (SEQ
                   (EXIT
                    (PROGN
                     (LETT #4#
                           (EXPT |g|
                                 (PROG1 (LETT #5# (- |n| |df|) . #24#)
                                   (|check-subtype| (>= #5# 0)
                                                    '(|NonNegativeInteger|)
                                                    #5#)))
                           . #24#)
                     (COND (#2# (LETT #3# (* #3# #4#) . #24#))
                           ('T
                            (PROGN
                             (LETT #3# #4# . #24#)
                             (LETT #2# 'T . #24#)))))))
                  (LETT #6# (PROG1 (CDR #6#) (LETT #7# (CDR #7#) . #24#))
                        . #24#)
                  #26# G191 (EXIT NIL))
             (COND (#2# #3#) (#27# 1)))
            . #24#)
      (EXIT
       (SPADCALL 2
                 (PROG1
                     (LETT #1# (SPADCALL (* |normprod| |nm|) (QREFELT $ 17))
                           . #24#)
                   (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))
                 (QREFELT $ 18))))))) 

(DEFUN |GENEEZ;compBound;BPLNni;2| (|m| |listpolys| $)
  (PROG (#1=#:G1841 #2=#:G1840 #3=#:G1842 #4=#:G1844 #5=#:G1843 #6=#:G1845
         #7=#:G1849 |u| #8=#:G1848 |p| #9=#:G1838 #10=#:G1837 #11=#:G1839
         #12=#:G1847)
    (RETURN
     (SEQ
      (+
       (PROGN
        (LETT #9# NIL . #13=(|GENEEZ;compBound;BPLNni;2|))
        (SEQ (LETT |u| NIL . #13#)
             (LETT #12# (SPADCALL |m| (QREFELT $ 11)) . #13#) G190
             (COND
              ((OR (ATOM #12#) (PROGN (LETT |u| (CAR #12#) . #13#) NIL))
               #14=(GO G191)))
             (SEQ
              (EXIT
               (PROGN
                (LETT #11# (SPADCALL |u| (QREFELT $ 12)) . #13#)
                (COND (#9# (LETT #10# (MAX #10# #11#) . #13#))
                      ('T
                       (PROGN
                        (LETT #10# #11# . #13#)
                        (LETT #9# 'T . #13#)))))))
             (LETT #12# (CDR #12#) . #13#) #15=(GO G190) G191 (EXIT NIL))
        (COND (#9# #10#) (#16='T (|IdentityError| '|max|))))
       (PROGN
        (LETT #1# NIL . #13#)
        (SEQ (LETT |p| NIL . #13#) (LETT #8# |listpolys| . #13#) G190
             (COND
              ((OR (ATOM #8#) (PROGN (LETT |p| (CAR #8#) . #13#) NIL)) #14#))
             (SEQ
              (EXIT
               (PROGN
                (LETT #3#
                      (PROGN
                       (LETT #4# NIL . #13#)
                       (SEQ (LETT |u| NIL . #13#)
                            (LETT #7# (SPADCALL |p| (QREFELT $ 11)) . #13#)
                            G190
                            (COND
                             ((OR (ATOM #7#)
                                  (PROGN (LETT |u| (CAR #7#) . #13#) NIL))
                              #14#))
                            (SEQ
                             (EXIT
                              (PROGN
                               (LETT #6# (SPADCALL |u| (QREFELT $ 12)) . #13#)
                               (COND (#4# (LETT #5# (MAX #5# #6#) . #13#))
                                     ('T
                                      (PROGN
                                       (LETT #5# #6# . #13#)
                                       (LETT #4# 'T . #13#)))))))
                            (LETT #7# (CDR #7#) . #13#) #15# G191 (EXIT NIL))
                       (COND (#4# #5#) ('T (|IdentityError| '|max|))))
                      . #13#)
                (COND (#1# (LETT #2# (+ #2# #3#) . #13#))
                      ('T
                       (PROGN (LETT #2# #3# . #13#) (LETT #1# 'T . #13#)))))))
             (LETT #8# (CDR #8#) . #13#) #15# G191 (EXIT NIL))
        (COND (#1# #2#) (#16# 0)))))))) 

(PUT '|GENEEZ;compBound;BPLNni;3| '|SPADreplace|
     '(XLAM (|m| |listpolys|)
       (|error|
        "attempt to use compBound without a well-understood valuation"))) 

(DEFUN |GENEEZ;compBound;BPLNni;3| (|m| |listpolys| $)
  (|error| "attempt to use compBound without a well-understood valuation")) 

(DEFUN |GENEEZ;reduction;BPRBP;4| (|u| |p| $)
  (PROG ()
    (RETURN
     (COND ((SPADCALL |p| (|spadConstant| $ 21) (QREFELT $ 24)) |u|)
           ('T
            (SPADCALL (CONS #'|GENEEZ;reduction;BPRBP;4!0| (VECTOR $ |p|)) |u|
                      (QREFELT $ 27))))))) 

(DEFUN |GENEEZ;reduction;BPRBP;4!0| (|x| $$)
  (PROG (|p| $)
    (LETT |p| (QREFELT $$ 1) . #1=(|GENEEZ;reduction;BPRBP;4|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x| |p| (QREFELT $ 25)))))) 

(DEFUN |GENEEZ;reduction;BPRBP;5| (|u| |p| $)
  (PROG ()
    (RETURN
     (COND ((SPADCALL |p| (|spadConstant| $ 21) (QREFELT $ 24)) |u|)
           ('T
            (SPADCALL (CONS #'|GENEEZ;reduction;BPRBP;5!0| (VECTOR $ |p|)) |u|
                      (QREFELT $ 27))))))) 

(DEFUN |GENEEZ;reduction;BPRBP;5!0| (|x| $$)
  (PROG (|p| $)
    (LETT |p| (QREFELT $$ 1) . #1=(|GENEEZ;reduction;BPRBP;5|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x| |p| (QREFELT $ 29)))))) 

(DEFUN |GENEEZ;merge| (|p| |q| $)
  (COND ((SPADCALL |p| |q| (QREFELT $ 24)) (CONS 0 |p|))
        ((SPADCALL |p| (|spadConstant| $ 21) (QREFELT $ 24)) (CONS 0 |q|))
        ((SPADCALL |q| (|spadConstant| $ 21) (QREFELT $ 24)) (CONS 0 |p|))
        ('T (CONS 1 "failed")))) 

(DEFUN |GENEEZ;modInverse| (|c| |p| $)
  (PROG (#1=#:G1866)
    (RETURN
     (QCAR
      (PROG2
          (LETT #1# (SPADCALL |c| |p| (|spadConstant| $ 30) (QREFELT $ 34))
                |GENEEZ;modInverse|)
          (QCDR #1#)
        (|check-union| (QEQCAR #1# 0)
                       (|Record| (|:| |coef1| (QREFELT $ 6))
                                 (|:| |coef2| (QREFELT $ 6)))
                       #1#)))))) 

(DEFUN |GENEEZ;exactquo| (|u| |v| |p| $)
  (PROG (|r| |invlcv|)
    (RETURN
     (SEQ
      (LETT |invlcv| (|GENEEZ;modInverse| (SPADCALL |v| (QREFELT $ 35)) |p| $)
            . #1=(|GENEEZ;exactquo|))
      (LETT |r|
            (SPADCALL |u|
                      (SPADCALL (SPADCALL |invlcv| |v| (QREFELT $ 36)) |p|
                                (QREFELT $ 28))
                      (QREFELT $ 38))
            . #1#)
      (COND
       ((NULL
         (SPADCALL (SPADCALL (QCDR |r|) |p| (QREFELT $ 28))
                   (|spadConstant| $ 22) (QREFELT $ 39)))
        (EXIT (CONS 1 "failed"))))
      (EXIT
       (CONS 0
             (SPADCALL (SPADCALL |invlcv| (QCAR |r|) (QREFELT $ 36)) |p|
                       (QREFELT $ 28)))))))) 

(DEFUN |GENEEZ;reduceList| (|lp| |lmod| $)
  (PROG (#1=#:G1887 |ff| #2=#:G1886)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|GENEEZ;reduceList|))
       (SEQ (LETT |ff| NIL . #3#) (LETT #1# |lp| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |ff| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (LETT #2# (CONS (SPADCALL |ff| |lmod| (QREFELT $ 41)) #2#)
                    . #3#)))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |GENEEZ;coerceLFP| (|lf| $)
  (PROG (#1=#:G1891 |fm| #2=#:G1890)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|GENEEZ;coerceLFP|))
       (SEQ (LETT |fm| NIL . #3#) (LETT #1# |lf| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |fm| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT (LETT #2# (CONS (SPADCALL |fm| (QREFELT $ 42)) #2#) . #3#)))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |GENEEZ;liftSol| (|oldsol| |err| |lmod| |lmodk| |table| |m| |bound| $)
  (PROG (|a| #1=#:G1870 |fs| #2=#:G1905 #3=#:G1904 #4=#:G1906 #5=#:G1924 |f|
         #6=#:G1925 |g| |lpolys| |nsol| #7=#:G1923 |slp| #8=#:G1922 |lmodk1|
         #9=#:G1920 #10=#:G1921 #11=#:G1919 |sln| #12=#:G1917 |pp| #13=#:G1918
         #14=#:G1916 |cc| |i| #15=#:G1915 |xx| #16=#:G1914 |ftab| |d|)
    (RETURN
     (SEQ
      (COND ((< |bound| (SPADCALL |lmodk| (QREFELT $ 12))) (CONS 1 "failed"))
            (#17='T
             (SEQ
              (LETT |d| (SPADCALL |err| (QREFELT $ 9))
                    . #18=(|GENEEZ;liftSol|))
              (LETT |ftab|
                    (SPADCALL (CONS #'|GENEEZ;liftSol!0| (VECTOR $ |lmod|))
                              |table| (QREFELT $ 47))
                    . #18#)
              (LETT |sln|
                    (PROGN
                     (LETT #16# NIL . #18#)
                     (SEQ (LETT |xx| NIL . #18#)
                          (LETT #15# (SPADCALL |ftab| 1 (QREFELT $ 50)) . #18#)
                          G190
                          (COND
                           ((OR (ATOM #15#)
                                (PROGN (LETT |xx| (CAR #15#) . #18#) NIL))
                            #19=(GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #16# (CONS (|spadConstant| $ 51) #16#)
                                  . #18#)))
                          (LETT #15# (CDR #15#) . #18#) #20=(GO G190) G191
                          (EXIT (NREVERSE0 #16#))))
                    . #18#)
              (SEQ (LETT |i| 0 . #18#) G190 (COND ((QSGREATERP |i| |d|) #19#))
                   (SEQ
                    (EXIT
                     (COND
                      ((SEQ
                        (LETT |cc| (SPADCALL |err| |i| (QREFELT $ 52)) . #18#)
                        (EXIT
                         (COND
                          ((SPADCALL |cc| (|spadConstant| $ 21) (QREFELT $ 24))
                           'NIL)
                          (#17# 'T))))
                       (LETT |sln|
                             (PROGN
                              (LETT #14# NIL . #18#)
                              (SEQ (LETT |slp| NIL . #18#)
                                   (LETT #13# |sln| . #18#)
                                   (LETT |pp| NIL . #18#)
                                   (LETT #12#
                                         (SPADCALL |ftab| (+ |i| 1)
                                                   (QREFELT $ 50))
                                         . #18#)
                                   G190
                                   (COND
                                    ((OR (ATOM #12#)
                                         (PROGN
                                          (LETT |pp| (CAR #12#) . #18#)
                                          NIL)
                                         (ATOM #13#)
                                         (PROGN
                                          (LETT |slp| (CAR #13#) . #18#)
                                          NIL))
                                     #19#))
                                   (SEQ
                                    (EXIT
                                     (LETT #14#
                                           (CONS
                                            (SPADCALL |slp|
                                                      (SPADCALL
                                                       (SPADCALL
                                                        (SPADCALL |cc|
                                                                  (QREFELT $
                                                                           53))
                                                        |lmod| (QREFELT $ 41))
                                                       |pp| (QREFELT $ 54))
                                                      (QREFELT $ 55))
                                            #14#)
                                           . #18#)))
                                   (LETT #12#
                                         (PROG1 (CDR #12#)
                                           (LETT #13# (CDR #13#) . #18#))
                                         . #18#)
                                   #20# G191 (EXIT (NREVERSE0 #14#))))
                             . #18#)))))
                   (LETT |i| (QSADD1 |i|) . #18#) #20# G191 (EXIT NIL))
              (LETT |nsol|
                    (PROGN
                     (LETT #11# NIL . #18#)
                     (SEQ (LETT |g| NIL . #18#) (LETT #10# |sln| . #18#)
                          (LETT |f| NIL . #18#) (LETT #9# |oldsol| . #18#) G190
                          (COND
                           ((OR (ATOM #9#)
                                (PROGN (LETT |f| (CAR #9#) . #18#) NIL)
                                (ATOM #10#)
                                (PROGN (LETT |g| (CAR #10#) . #18#) NIL))
                            #19#))
                          (SEQ
                           (EXIT
                            (LETT #11#
                                  (CONS
                                   (SPADCALL |f|
                                             (SPADCALL |lmodk|
                                                       (SPADCALL
                                                        (SPADCALL |g|
                                                                  (QREFELT $
                                                                           42))
                                                        |lmod| (QREFELT $ 28))
                                                       (QREFELT $ 36))
                                             (QREFELT $ 56))
                                   #11#)
                                  . #18#)))
                          (LETT #9#
                                (PROG1 (CDR #9#) (LETT #10# (CDR #10#) . #18#))
                                . #18#)
                          #20# G191 (EXIT (NREVERSE0 #11#))))
                    . #18#)
              (LETT |lmodk1| (SPADCALL |lmod| |lmodk| (QREFELT $ 57)) . #18#)
              (LETT |nsol|
                    (PROGN
                     (LETT #8# NIL . #18#)
                     (SEQ (LETT |slp| NIL . #18#) (LETT #7# |nsol| . #18#) G190
                          (COND
                           ((OR (ATOM #7#)
                                (PROGN (LETT |slp| (CAR #7#) . #18#) NIL))
                            #19#))
                          (SEQ
                           (EXIT
                            (LETT #8#
                                  (CONS
                                   (SPADCALL |slp| |lmodk1| (QREFELT $ 28))
                                   #8#)
                                  . #18#)))
                          (LETT #7# (CDR #7#) . #18#) #20# G191
                          (EXIT (NREVERSE0 #8#))))
                    . #18#)
              (LETT |lpolys| (SPADCALL |table| (QVSIZE |table|) (QREFELT $ 58))
                    . #18#)
              (LETT |fs|
                    (PROGN
                     (LETT #2# NIL . #18#)
                     (SEQ (LETT |g| NIL . #18#) (LETT #6# |nsol| . #18#)
                          (LETT |f| NIL . #18#) (LETT #5# |lpolys| . #18#) G190
                          (COND
                           ((OR (ATOM #5#)
                                (PROGN (LETT |f| (CAR #5#) . #18#) NIL)
                                (ATOM #6#)
                                (PROGN (LETT |g| (CAR #6#) . #18#) NIL))
                            #19#))
                          (SEQ
                           (EXIT
                            (PROGN
                             (LETT #4# (SPADCALL |f| |g| (QREFELT $ 59))
                                   . #18#)
                             (COND
                              (#2#
                               (LETT #3# (SPADCALL #3# #4# (QREFELT $ 60))
                                     . #18#))
                              ('T
                               (PROGN
                                (LETT #3# #4# . #18#)
                                (LETT #2# 'T . #18#)))))))
                          (LETT #5#
                                (PROG1 (CDR #5#) (LETT #6# (CDR #6#) . #18#))
                                . #18#)
                          #20# G191 (EXIT NIL))
                     (COND (#2# #3#) (#17# (|spadConstant| $ 22))))
                    . #18#)
              (EXIT
               (COND ((SPADCALL |fs| |m| (QREFELT $ 39)) (CONS 0 |nsol|))
                     (#17#
                      (SEQ
                       (LETT |a|
                             (PROG2
                                 (LETT #1#
                                       (SPADCALL
                                        (SPADCALL |fs| |m| (QREFELT $ 56))
                                        |lmodk1| (QREFELT $ 62))
                                       . #18#)
                                 (QCDR #1#)
                               (|check-union| (QEQCAR #1# 0) (QREFELT $ 7)
                                              #1#))
                             . #18#)
                       (EXIT
                        (|GENEEZ;liftSol| |nsol| |a| |lmod| |lmodk1| |table|
                         |m| |bound| $))))))))))))) 

(DEFUN |GENEEZ;liftSol!0| (|x| $$)
  (PROG (|lmod| $)
    (LETT |lmod| (QREFELT $$ 1) . #1=(|GENEEZ;liftSol|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|GENEEZ;reduceList| |x| |lmod| $))))) 

(DEFUN |GENEEZ;makeProducts| (|listPol| $)
  (PROG (#1=#:G1940 |g| #2=#:G1939 #3=#:G1931 #4=#:G1930 #5=#:G1932 #6=#:G1938
         #7=#:G1792 |ll| |f|)
    (RETURN
     (SEQ
      (COND ((< (LENGTH |listPol|) 2) |listPol|)
            ((EQL (LENGTH |listPol|) 2) (REVERSE |listPol|))
            (#8='T
             (SEQ
              (LETT |f| (|SPADfirst| |listPol|) . #9=(|GENEEZ;makeProducts|))
              (LETT |ll| (CDR |listPol|) . #9#)
              (EXIT
               (CONS
                (PROGN
                 (LETT #3# NIL . #9#)
                 (SEQ (LETT #7# NIL . #9#) (LETT #6# |ll| . #9#) G190
                      (COND
                       ((OR (ATOM #6#) (PROGN (LETT #7# (CAR #6#) . #9#) NIL))
                        #10=(GO G191)))
                      (SEQ
                       (EXIT
                        (PROGN
                         (LETT #5# #7# . #9#)
                         (COND
                          (#3#
                           (LETT #4# (SPADCALL #4# #5# (QREFELT $ 59)) . #9#))
                          ('T
                           (PROGN
                            (LETT #4# #5# . #9#)
                            (LETT #3# 'T . #9#)))))))
                      (LETT #6# (CDR #6#) . #9#) #11=(GO G190) G191 (EXIT NIL))
                 (COND (#3# #4#) (#8# (|spadConstant| $ 31))))
                (PROGN
                 (LETT #2# NIL . #9#)
                 (SEQ (LETT |g| NIL . #9#)
                      (LETT #1# (|GENEEZ;makeProducts| |ll| $) . #9#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |g| (CAR #1#) . #9#) NIL))
                        #10#))
                      (SEQ
                       (EXIT
                        (LETT #2# (CONS (SPADCALL |f| |g| (QREFELT $ 59)) #2#)
                              . #9#)))
                      (LETT #1# (CDR #1#) . #9#) #11# G191
                      (EXIT (NREVERSE0 #2#))))))))))))) 

(DEFUN |GENEEZ;testModulus;RLB;13| (|pmod| |listPol| $)
  (PROG (#1=#:G1945 #2=#:G1949 #3=#:G1952 |rpol2| |redListPol| |rpol|
         #4=#:G1942 #5=#:G1950 |pol| #6=#:G1951)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |redListPol| (|GENEEZ;reduceList| |listPol| |pmod| $)
              . #7=(|GENEEZ;testModulus;RLB;13|))
        (SEQ
         (EXIT
          (SEQ (LETT |rpol| NIL . #7#) (LETT #6# |redListPol| . #7#)
               (LETT |pol| NIL . #7#) (LETT #5# |listPol| . #7#) G190
               (COND
                ((OR (ATOM #5#) (PROGN (LETT |pol| (CAR #5#) . #7#) NIL)
                     (ATOM #6#) (PROGN (LETT |rpol| (CAR #6#) . #7#) NIL))
                 #8=(GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((NULL
                    (EQL (SPADCALL |pol| (QREFELT $ 9))
                         (SPADCALL (SPADCALL |rpol| (QREFELT $ 42))
                                   (QREFELT $ 9))))
                   (PROGN
                    (LETT #4# (PROGN (LETT #2# 'NIL . #7#) (GO #2#)) . #7#)
                    (GO #4#))))))
               (LETT #5# (PROG1 (CDR #5#) (LETT #6# (CDR #6#) . #7#)) . #7#)
               #9=(GO G190) G191 (EXIT NIL)))
         #4# (EXIT #4#))
        (SEQ G190 (COND ((NULL (COND ((NULL |redListPol|) 'NIL) ('T 'T))) #8#))
             (SEQ (LETT |rpol| (|SPADfirst| |redListPol|) . #7#)
                  (LETT |redListPol| (CDR |redListPol|) . #7#)
                  (EXIT
                   (SEQ
                    (EXIT
                     (SEQ (LETT |rpol2| NIL . #7#)
                          (LETT #3# |redListPol| . #7#) G190
                          (COND
                           ((OR (ATOM #3#)
                                (PROGN (LETT |rpol2| (CAR #3#) . #7#) NIL))
                            #8#))
                          (SEQ
                           (EXIT
                            (COND
                             ((NULL
                               (SPADCALL
                                (SPADCALL |rpol| |rpol2| (QREFELT $ 63))
                                (|spadConstant| $ 48) (QREFELT $ 64)))
                              (PROGN
                               (LETT #1# (PROGN (LETT #2# 'NIL . #7#) (GO #2#))
                                     . #7#)
                               (GO #1#))))))
                          (LETT #3# (CDR #3#) . #7#) #9# G191 (EXIT NIL)))
                    #1# (EXIT #1#))))
             NIL #9# G191 (EXIT NIL))
        (EXIT 'T)))
      #2# (EXIT #2#))))) 

(DEFUN |GENEEZ;tablePow;NniRLU;14| (|mdeg| |pmod| |listPol| $)
  (PROG (#1=#:G1968 |tpol| #2=#:G1969 |fpol| #3=#:G1967 |i| |x| |ptable|
         |multiE|)
    (RETURN
     (SEQ
      (LETT |multiE| (SPADCALL |listPol| (|spadConstant| $ 31) (QREFELT $ 68))
            . #4=(|GENEEZ;tablePow;NniRLU;14|))
      (EXIT
       (COND ((QEQCAR |multiE| 1) (CONS 1 "failed"))
             ('T
              (SEQ (LETT |ptable| (MAKEARR1 (+ |mdeg| 1) NIL) . #4#)
                   (SPADCALL |ptable| 1 (QCDR |multiE|) (QREFELT $ 69))
                   (LETT |x| (SPADCALL (|spadConstant| $ 30) 1 (QREFELT $ 70))
                         . #4#)
                   (SEQ (LETT |i| 2 . #4#) G190
                        (COND ((QSGREATERP |i| |mdeg|) #5=(GO G191)))
                        (SEQ
                         (EXIT
                          (SPADCALL |ptable| |i|
                                    (PROGN
                                     (LETT #3# NIL . #4#)
                                     (SEQ (LETT |fpol| NIL . #4#)
                                          (LETT #2# |listPol| . #4#)
                                          (LETT |tpol| NIL . #4#)
                                          (LETT #1#
                                                (SPADCALL |ptable| (- |i| 1)
                                                          (QREFELT $ 58))
                                                . #4#)
                                          G190
                                          (COND
                                           ((OR (ATOM #1#)
                                                (PROGN
                                                 (LETT |tpol| (CAR #1#) . #4#)
                                                 NIL)
                                                (ATOM #2#)
                                                (PROGN
                                                 (LETT |fpol| (CAR #2#) . #4#)
                                                 NIL))
                                            #5#))
                                          (SEQ
                                           (EXIT
                                            (LETT #3#
                                                  (CONS
                                                   (SPADCALL
                                                    (SPADCALL |tpol| |x|
                                                              (QREFELT $ 59))
                                                    |fpol| (QREFELT $ 71))
                                                   #3#)
                                                  . #4#)))
                                          (LETT #1#
                                                (PROG1 (CDR #1#)
                                                  (LETT #2# (CDR #2#) . #4#))
                                                . #4#)
                                          #6=(GO G190) G191
                                          (EXIT (NREVERSE0 #3#))))
                                    (QREFELT $ 69))))
                        (LETT |i| (QSADD1 |i|) . #4#) #6# G191 (EXIT NIL))
                   (SPADCALL |ptable| (+ |mdeg| 1)
                             (|GENEEZ;makeProducts| |listPol| $)
                             (QREFELT $ 69))
                   (EXIT (CONS 0 |ptable|)))))))))) 

(DEFUN |GENEEZ;solveid;BPRVU;15| (|m| |pmod| |table| $)
  (PROG (|sln| #1=#:G1985 |pp| #2=#:G1986 |slp| #3=#:G1984 |i| #4=#:G1983 |xx|
         #5=#:G1982 |d|)
    (RETURN
     (SEQ
      (LETT |d| (SPADCALL |m| (QREFELT $ 9)) . #6=(|GENEEZ;solveid;BPRVU;15|))
      (LETT |sln|
            (PROGN
             (LETT #5# NIL . #6#)
             (SEQ (LETT |xx| NIL . #6#)
                  (LETT #4# (SPADCALL |table| 1 (QREFELT $ 58)) . #6#) G190
                  (COND
                   ((OR (ATOM #4#) (PROGN (LETT |xx| (CAR #4#) . #6#) NIL))
                    #7=(GO G191)))
                  (SEQ
                   (EXIT (LETT #5# (CONS (|spadConstant| $ 22) #5#) . #6#)))
                  (LETT #4# (CDR #4#) . #6#) #8=(GO G190) G191
                  (EXIT (NREVERSE0 #5#))))
            . #6#)
      (SEQ (LETT |i| 0 . #6#) G190 (COND ((QSGREATERP |i| |d|) #7#))
           (SEQ
            (EXIT
             (COND
              ((COND
                ((SPADCALL (SPADCALL |m| |i| (QREFELT $ 52))
                           (|spadConstant| $ 21) (QREFELT $ 24))
                 'NIL)
                ('T 'T))
               (LETT |sln|
                     (PROGN
                      (LETT #3# NIL . #6#)
                      (SEQ (LETT |slp| NIL . #6#) (LETT #2# |sln| . #6#)
                           (LETT |pp| NIL . #6#)
                           (LETT #1#
                                 (SPADCALL |table| (+ |i| 1) (QREFELT $ 58))
                                 . #6#)
                           G190
                           (COND
                            ((OR (ATOM #1#)
                                 (PROGN (LETT |pp| (CAR #1#) . #6#) NIL)
                                 (ATOM #2#)
                                 (PROGN (LETT |slp| (CAR #2#) . #6#) NIL))
                             #7#))
                           (SEQ
                            (EXIT
                             (LETT #3#
                                   (CONS
                                    (SPADCALL |slp|
                                              (SPADCALL
                                               (SPADCALL |m| |i|
                                                         (QREFELT $ 52))
                                               |pp| (QREFELT $ 36))
                                              (QREFELT $ 60))
                                    #3#)
                                   . #6#)))
                           (LETT #1#
                                 (PROG1 (CDR #1#) (LETT #2# (CDR #2#) . #6#))
                                 . #6#)
                           #8# G191 (EXIT (NREVERSE0 #3#))))
                     . #6#)))))
           (LETT |i| (QSADD1 |i|) . #6#) #8# G191 (EXIT NIL))
      (EXIT (CONS 0 |sln|)))))) 

(DEFUN |GENEEZ;tablePow;NniRLU;16| (|mdeg| |pmod| |listPol| $)
  (PROG (|ptable| #1=#:G2010 |tpol| #2=#:G2011 |fpol| #3=#:G2009 |i| |x|
         #4=#:G2008 #5=#:G2007 |fl| #6=#:G2006 |ff| #7=#:G2005 |ftable|
         |multiE| |listP| #8=#:G2004 |pol| #9=#:G2003)
    (RETURN
     (SEQ
      (LETT |listP|
            (PROGN
             (LETT #9# NIL . #10=(|GENEEZ;tablePow;NniRLU;16|))
             (SEQ (LETT |pol| NIL . #10#) (LETT #8# |listPol| . #10#) G190
                  (COND
                   ((OR (ATOM #8#) (PROGN (LETT |pol| (CAR #8#) . #10#) NIL))
                    #11=(GO G191)))
                  (SEQ
                   (EXIT
                    (LETT #9# (CONS (SPADCALL |pol| |pmod| (QREFELT $ 41)) #9#)
                          . #10#)))
                  (LETT #8# (CDR #8#) . #10#) #12=(GO G190) G191
                  (EXIT (NREVERSE0 #9#))))
            . #10#)
      (LETT |multiE| (SPADCALL |listP| (|spadConstant| $ 48) (QREFELT $ 76))
            . #10#)
      (EXIT
       (COND ((QEQCAR |multiE| 1) (CONS 1 "failed"))
             ('T
              (SEQ (LETT |ftable| (MAKEARR1 (+ |mdeg| 1) NIL) . #10#)
                   (LETT |fl|
                         (PROGN
                          (LETT #7# NIL . #10#)
                          (SEQ (LETT |ff| NIL . #10#)
                               (LETT #6# (QCDR |multiE|) . #10#) G190
                               (COND
                                ((OR (ATOM #6#)
                                     (PROGN (LETT |ff| (CAR #6#) . #10#) NIL))
                                 #11#))
                               (SEQ (EXIT (LETT #7# (CONS |ff| #7#) . #10#)))
                               (LETT #6# (CDR #6#) . #10#) #12# G191
                               (EXIT (NREVERSE0 #7#))))
                         . #10#)
                   (SPADCALL |ftable| 1
                             (PROGN
                              (LETT #5# NIL . #10#)
                              (SEQ (LETT |fpol| NIL . #10#)
                                   (LETT #4# |fl| . #10#) G190
                                   (COND
                                    ((OR (ATOM #4#)
                                         (PROGN
                                          (LETT |fpol| (CAR #4#) . #10#)
                                          NIL))
                                     #11#))
                                   (SEQ
                                    (EXIT (LETT #5# (CONS |fpol| #5#) . #10#)))
                                   (LETT #4# (CDR #4#) . #10#) #12# G191
                                   (EXIT (NREVERSE0 #5#))))
                             (QREFELT $ 77))
                   (LETT |x|
                         (SPADCALL
                          (SPADCALL (|spadConstant| $ 30) 1 (QREFELT $ 70))
                          |pmod| (QREFELT $ 41))
                         . #10#)
                   (SEQ (LETT |i| 2 . #10#) G190
                        (COND ((QSGREATERP |i| |mdeg|) #11#))
                        (SEQ
                         (EXIT
                          (SPADCALL |ftable| |i|
                                    (PROGN
                                     (LETT #3# NIL . #10#)
                                     (SEQ (LETT |fpol| NIL . #10#)
                                          (LETT #2# |listP| . #10#)
                                          (LETT |tpol| NIL . #10#)
                                          (LETT #1#
                                                (SPADCALL |ftable| (- |i| 1)
                                                          (QREFELT $ 50))
                                                . #10#)
                                          G190
                                          (COND
                                           ((OR (ATOM #1#)
                                                (PROGN
                                                 (LETT |tpol| (CAR #1#) . #10#)
                                                 NIL)
                                                (ATOM #2#)
                                                (PROGN
                                                 (LETT |fpol| (CAR #2#) . #10#)
                                                 NIL))
                                            #11#))
                                          (SEQ
                                           (EXIT
                                            (LETT #3#
                                                  (CONS
                                                   (SPADCALL
                                                    (SPADCALL |tpol| |x|
                                                              (QREFELT $ 54))
                                                    |fpol| (QREFELT $ 78))
                                                   #3#)
                                                  . #10#)))
                                          (LETT #1#
                                                (PROG1 (CDR #1#)
                                                  (LETT #2# (CDR #2#) . #10#))
                                                . #10#)
                                          #12# G191 (EXIT (NREVERSE0 #3#))))
                                    (QREFELT $ 77))))
                        (LETT |i| (QSADD1 |i|) . #10#) #12# G191 (EXIT NIL))
                   (LETT |ptable|
                         (SPADCALL (CONS (|function| |GENEEZ;coerceLFP|) $)
                                   |ftable| (QREFELT $ 81))
                         . #10#)
                   (SPADCALL |ptable| (+ |mdeg| 1)
                             (|GENEEZ;makeProducts| |listPol| $)
                             (QREFELT $ 69))
                   (EXIT (CONS 0 |ptable|)))))))))) 

(DEFUN |GENEEZ;solveid;BPRVU;17| (|m| |pmod| |table| $)
  (PROG (|a| #1=#:G1870 |bound| |fs| #2=#:G2019 #3=#:G2018 #4=#:G2020
         #5=#:G2031 |f| #6=#:G2032 |g| |soln| #7=#:G2030 |slp| #8=#:G2029 |sln|
         #9=#:G2027 |pp| #10=#:G2028 #11=#:G2026 |i| #12=#:G2025 |xx|
         #13=#:G2024 |lpolys| |ftab| |d|)
    (RETURN
     (SEQ
      (LETT |d| (SPADCALL |m| (QREFELT $ 9)) . #14=(|GENEEZ;solveid;BPRVU;17|))
      (LETT |ftab|
            (SPADCALL (CONS #'|GENEEZ;solveid;BPRVU;17!0| (VECTOR $ |pmod|))
                      |table| (QREFELT $ 47))
            . #14#)
      (LETT |lpolys| (SPADCALL |table| (QVSIZE |table|) (QREFELT $ 58)) . #14#)
      (LETT |sln|
            (PROGN
             (LETT #13# NIL . #14#)
             (SEQ (LETT |xx| NIL . #14#)
                  (LETT #12# (SPADCALL |ftab| 1 (QREFELT $ 50)) . #14#) G190
                  (COND
                   ((OR (ATOM #12#) (PROGN (LETT |xx| (CAR #12#) . #14#) NIL))
                    #15=(GO G191)))
                  (SEQ
                   (EXIT (LETT #13# (CONS (|spadConstant| $ 51) #13#) . #14#)))
                  (LETT #12# (CDR #12#) . #14#) #16=(GO G190) G191
                  (EXIT (NREVERSE0 #13#))))
            . #14#)
      (SEQ (LETT |i| 0 . #14#) G190 (COND ((QSGREATERP |i| |d|) #15#))
           (SEQ
            (EXIT
             (COND
              ((COND
                ((SPADCALL (SPADCALL |m| |i| (QREFELT $ 52))
                           (|spadConstant| $ 21) (QREFELT $ 24))
                 'NIL)
                (#17='T 'T))
               (LETT |sln|
                     (PROGN
                      (LETT #11# NIL . #14#)
                      (SEQ (LETT |slp| NIL . #14#) (LETT #10# |sln| . #14#)
                           (LETT |pp| NIL . #14#)
                           (LETT #9# (SPADCALL |ftab| (+ |i| 1) (QREFELT $ 50))
                                 . #14#)
                           G190
                           (COND
                            ((OR (ATOM #9#)
                                 (PROGN (LETT |pp| (CAR #9#) . #14#) NIL)
                                 (ATOM #10#)
                                 (PROGN (LETT |slp| (CAR #10#) . #14#) NIL))
                             #15#))
                           (SEQ
                            (EXIT
                             (LETT #11#
                                   (CONS
                                    (SPADCALL |slp|
                                              (SPADCALL
                                               (SPADCALL
                                                (SPADCALL
                                                 (SPADCALL |m| |i|
                                                           (QREFELT $ 52))
                                                 (QREFELT $ 53))
                                                |pmod| (QREFELT $ 41))
                                               |pp| (QREFELT $ 54))
                                              (QREFELT $ 55))
                                    #11#)
                                   . #14#)))
                           (LETT #9#
                                 (PROG1 (CDR #9#)
                                   (LETT #10# (CDR #10#) . #14#))
                                 . #14#)
                           #16# G191 (EXIT (NREVERSE0 #11#))))
                     . #14#)))))
           (LETT |i| (QSADD1 |i|) . #14#) #16# G191 (EXIT NIL))
      (LETT |soln|
            (PROGN
             (LETT #8# NIL . #14#)
             (SEQ (LETT |slp| NIL . #14#) (LETT #7# |sln| . #14#) G190
                  (COND
                   ((OR (ATOM #7#) (PROGN (LETT |slp| (CAR #7#) . #14#) NIL))
                    #15#))
                  (SEQ
                   (EXIT
                    (LETT #8# (CONS (SPADCALL |slp| (QREFELT $ 42)) #8#)
                          . #14#)))
                  (LETT #7# (CDR #7#) . #14#) #16# G191
                  (EXIT (NREVERSE0 #8#))))
            . #14#)
      (LETT |fs|
            (PROGN
             (LETT #2# NIL . #14#)
             (SEQ (LETT |g| NIL . #14#) (LETT #6# |soln| . #14#)
                  (LETT |f| NIL . #14#) (LETT #5# |lpolys| . #14#) G190
                  (COND
                   ((OR (ATOM #5#) (PROGN (LETT |f| (CAR #5#) . #14#) NIL)
                        (ATOM #6#) (PROGN (LETT |g| (CAR #6#) . #14#) NIL))
                    #15#))
                  (SEQ
                   (EXIT
                    (PROGN
                     (LETT #4# (SPADCALL |f| |g| (QREFELT $ 59)) . #14#)
                     (COND
                      (#2# (LETT #3# (SPADCALL #3# #4# (QREFELT $ 60)) . #14#))
                      ('T
                       (PROGN (LETT #3# #4# . #14#) (LETT #2# 'T . #14#)))))))
                  (LETT #5# (PROG1 (CDR #5#) (LETT #6# (CDR #6#) . #14#))
                        . #14#)
                  #16# G191 (EXIT NIL))
             (COND (#2# #3#) (#17# (|spadConstant| $ 22))))
            . #14#)
      (EXIT
       (COND ((SPADCALL |fs| |m| (QREFELT $ 39)) (CONS 0 |soln|))
             (#17#
              (SEQ (LETT |bound| (SPADCALL |m| |lpolys| (QREFELT $ 20)) . #14#)
                   (LETT |a|
                         (PROG2
                             (LETT #1#
                                   (SPADCALL (SPADCALL |fs| |m| (QREFELT $ 56))
                                             |pmod| (QREFELT $ 62))
                                   . #14#)
                             (QCDR #1#)
                           (|check-union| (QEQCAR #1# 0) (QREFELT $ 7) #1#))
                         . #14#)
                   (EXIT
                    (|GENEEZ;liftSol| |soln| |a| |pmod| |pmod| |table| |m|
                     |bound| $)))))))))) 

(DEFUN |GENEEZ;solveid;BPRVU;17!0| (|x| $$)
  (PROG (|pmod| $)
    (LETT |pmod| (QREFELT $$ 1) . #1=(|GENEEZ;solveid;BPRVU;17|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|GENEEZ;reduceList| |x| |pmod| $))))) 

(DEFUN |GenExEuclid| (&REST #1=#:G2033)
  (PROG ()
    (RETURN
     (PROG (#2=#:G2034)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|GenExEuclid|)
                                           '|domainEqualList|)
                . #3=(|GenExEuclid|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |GenExEuclid;|) #1#)
                (LETT #2# T . #3#))
            (COND ((NOT #2#) (HREM |$ConstructorCache| '|GenExEuclid|))))))))))) 

(DEFUN |GenExEuclid;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|GenExEuclid|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|GenExEuclid| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 82) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|GenExEuclid| (LIST DV$1 DV$2)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (COND
       ((|HasCategory| |#1| '(|multiplicativeValuation|))
        (QSETREFV $ 20
                  (CONS (|dispatchFunction| |GENEEZ;compBound;BPLNni;1|) $)))
       ((|HasCategory| |#1| '(|additiveValuation|))
        (QSETREFV $ 20
                  (CONS (|dispatchFunction| |GENEEZ;compBound;BPLNni;2|) $)))
       ('T
        (QSETREFV $ 20
                  (CONS (|dispatchFunction| |GENEEZ;compBound;BPLNni;3|) $))))
      (COND
       ((|HasCategory| |#1| '(|IntegerNumberSystem|))
        (QSETREFV $ 28
                  (CONS (|dispatchFunction| |GENEEZ;reduction;BPRBP;4|) $)))
       ('T
        (QSETREFV $ 28
                  (CONS (|dispatchFunction| |GENEEZ;reduction;BPRBP;5|) $))))
      (QSETREFV $ 40
                (|EuclideanModularRing| |#1| |#2| |#1| (ELT $ 28)
                                        (CONS (|function| |GENEEZ;merge|) $)
                                        (CONS (|function| |GENEEZ;exactquo|)
                                              $)))
      (COND
       ((|HasCategory| |#1| '(|Field|))
        (PROGN
         (QSETREFV $ 73
                   (CONS (|dispatchFunction| |GENEEZ;tablePow;NniRLU;14|) $))
         (QSETREFV $ 75
                   (CONS (|dispatchFunction| |GENEEZ;solveid;BPRVU;15|) $))))
       ('T
        (PROGN
         (QSETREFV $ 73
                   (CONS (|dispatchFunction| |GENEEZ;tablePow;NniRLU;16|) $))
         (QSETREFV $ 75
                   (CONS (|dispatchFunction| |GENEEZ;solveid;BPRVU;17|) $)))))
      $)))) 

(MAKEPROP '|GenExEuclid| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (|NonNegativeInteger|) (0 . |degree|) (|List| 6)
              (5 . |coefficients|) (10 . |euclideanSize|) (|PositiveInteger|)
              (15 . ^) (|Integer|) (|IntegerRoots| 15) (21 . |approxSqrt|)
              (26 . *) (|List| 7) (32 . |compBound|) (38 . |Zero|)
              (42 . |Zero|) (|Boolean|) (46 . =) (52 . |symmetricRemainder|)
              (|Mapping| 6 6) (58 . |map|) (64 . |reduction|) (70 . |rem|)
              (76 . |One|) (80 . |One|)
              (|Record| (|:| |coef1| $) (|:| |coef2| $))
              (|Union| 32 '#1="failed") (84 . |extendedEuclidean|)
              (91 . |leadingCoefficient|) (96 . *)
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (102 . |monicDivide|) (108 . =) 'FP (114 . |reduce|)
              (120 . |coerce|) (|Vector| 49) (|Mapping| 49 19) (|Vector| 19)
              (|VectorFunctions2| 19 49) (125 . |map|) (131 . |One|)
              (|List| 40) (135 . |elt|) (141 . |Zero|) (145 . |coefficient|)
              (151 . |coerce|) (156 . *) (162 . +) (168 . -) (174 . *)
              (180 . |elt|) (186 . *) (192 . +) (|Union| $ '"failed")
              (198 . |exquo|) (204 . |gcd|) (210 . =)
              |GENEEZ;testModulus;RLB;13| (|Union| 67 '#1#) (|List| $)
              (216 . |multiEuclidean|) (222 . |setelt|) (229 . |monomial|)
              (235 . |rem|) (|Union| 45 '"failed") (241 . |tablePow|)
              (|Union| 19 '"failed") (248 . |solveid|) (255 . |multiEuclidean|)
              (261 . |setelt|) (268 . |rem|) (|Mapping| 19 49)
              (|VectorFunctions2| 49 19) (274 . |map|))
           '#(|testModulus| 280 |tablePow| 286 |solveid| 293 |reduction| 300
              |compBound| 306)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 81
                                                 '(1 7 8 0 9 1 7 10 0 11 1 6 8
                                                   0 12 2 8 0 0 13 14 1 16 15
                                                   15 17 2 8 0 13 0 18 2 0 8 7
                                                   19 20 0 6 0 21 0 7 0 22 2 6
                                                   23 0 0 24 2 6 0 0 0 25 2 7 0
                                                   26 0 27 2 0 7 7 6 28 2 6 0 0
                                                   0 29 0 6 0 30 0 7 0 31 3 6
                                                   33 0 0 0 34 1 7 6 0 35 2 7 0
                                                   6 0 36 2 7 37 0 0 38 2 7 23
                                                   0 0 39 2 40 0 7 6 41 1 40 7
                                                   0 42 2 46 43 44 45 47 0 40 0
                                                   48 2 43 49 0 15 50 0 40 0 51
                                                   2 7 6 0 8 52 1 7 0 6 53 2 40
                                                   0 0 0 54 2 40 0 0 0 55 2 7 0
                                                   0 0 56 2 6 0 0 0 57 2 45 19
                                                   0 15 58 2 7 0 0 0 59 2 7 0 0
                                                   0 60 2 7 61 0 6 62 2 40 0 0
                                                   0 63 2 40 23 0 0 64 2 7 66
                                                   67 0 68 3 45 19 0 15 19 69 2
                                                   7 0 6 8 70 2 7 0 0 0 71 3 0
                                                   72 8 6 19 73 3 0 74 7 6 45
                                                   75 2 40 66 67 0 76 3 43 49 0
                                                   15 49 77 2 40 0 0 0 78 2 80
                                                   45 79 43 81 2 0 23 6 19 65 3
                                                   0 72 8 6 19 73 3 0 74 7 6 45
                                                   75 2 0 7 7 6 28 2 0 8 7 19
                                                   20)))))
           '|lookupComplete|)) 
