
(/VERSIONCHECK 2) 

(DEFUN |GENEEZ;compBound;BPLNni;1| (|m| |listpolys| $)
  (PROG (#0=#:G1846 #1=#:G1847 |ldeg| #2=#:G1848 #3=#:G1829 #4=#:G1827
            #5=#:G1828 |n| #6=#:G1849 |f| #7=#:G1850 #8=#:G1851
            #9=#:G1832 #10=#:G1830 #11=#:G1831 |normlist| |u|
            #12=#:G1852 #13=#:G1836 #14=#:G1834 #15=#:G1835 |nm| |df|
            #16=#:G1854 |g| #17=#:G1853 #18=#:G1841 #19=#:G1839
            #20=#:G1837 #21=#:G1838 |normprod| #22=#:G1843)
    (RETURN
      (SEQ (LETT |ldeg|
                 (PROGN
                   (LETT #0# NIL . #23=(|GENEEZ;compBound;BPLNni;1|))
                   (SEQ (LETT |f| NIL . #23#)
                        (LETT #1# |listpolys| . #23#) G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |f| (CAR #1#) . #23#) NIL))
                           #24=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS (SPADCALL |f| (QREFELT $ 9))
                                     #0#) . #23#)))
                        (LETT #1# (CDR #1#) . #23#) #25=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #23#)
           (LETT |n|
                 (PROGN
                   (LETT #5# NIL . #23#)
                   (SEQ (LETT |df| NIL . #23#) (LETT #2# |ldeg| . #23#)
                        G190
                        (COND
                          ((OR (ATOM #2#)
                               (PROGN
                                 (LETT |df| (CAR #2#) . #23#)
                                 NIL))
                           #24#))
                        (SEQ (EXIT (PROGN
                                     (LETT #3# |df| . #23#)
                                     (COND
                                       (#5#
                                        (LETT #4# (+ #4# #3#) . #23#))
                                       ('T
                                        (PROGN
                                          (LETT #4# #3# . #23#)
                                          (LETT #5# 'T . #23#)))))))
                        (LETT #2# (CDR #2#) . #23#) #25# G191
                        (EXIT NIL))
                   (COND (#5# #4#) (#26='T 0))) . #23#)
           (LETT |normlist|
                 (PROGN
                   (LETT #6# NIL . #23#)
                   (SEQ (LETT |f| NIL . #23#)
                        (LETT #7# |listpolys| . #23#) G190
                        (COND
                          ((OR (ATOM #7#)
                               (PROGN (LETT |f| (CAR #7#) . #23#) NIL))
                           #24#))
                        (SEQ (EXIT (LETT #6#
                                    (CONS
                                     (PROGN
                                       (LETT #11# NIL . #23#)
                                       (SEQ (LETT |u| NIL . #23#)
                                        (LETT #8#
                                         (SPADCALL |f| (QREFELT $ 11)) . #23#)
                                        G190
                                        (COND
                                          ((OR (ATOM #8#)
                                            (PROGN
                                              (LETT |u|
                                               (CAR #8#) . #23#)
                                              NIL))
                                           #24#))
                                        (SEQ
                                         (EXIT
                                          (PROGN
                                            (LETT #9#
                                             (SPADCALL
                                              (SPADCALL |u|
                                               (QREFELT $ 12))
                                              2 (QREFELT $ 14)) . #23#)
                                            (COND
                                              (#11#
                                               (LETT #10#
                                                (+ #10# #9#) . #23#))
                                              ('T
                                               (PROGN
                                                 (LETT #10# #9# . #23#)
                                                 (LETT #11# 'T . #23#)))))))
                                        (LETT #8# (CDR #8#) . #23#)
                                        #25# G191 (EXIT NIL))
                                       (COND (#11# #10#) ('T 0)))
                                     #6#) . #23#)))
                        (LETT #7# (CDR #7#) . #23#) #25# G191
                        (EXIT (NREVERSE0 #6#)))) . #23#)
           (LETT |nm|
                 (PROGN
                   (LETT #15# NIL . #23#)
                   (SEQ (LETT |u| NIL . #23#)
                        (LETT #12#
                              (SPADCALL |m| (QREFELT $ 11)) . #23#)
                        G190
                        (COND
                          ((OR (ATOM #12#)
                               (PROGN
                                 (LETT |u| (CAR #12#) . #23#)
                                 NIL))
                           #24#))
                        (SEQ (EXIT (PROGN
                                     (LETT #13#
                                      (SPADCALL
                                       (SPADCALL |u| (QREFELT $ 12)) 2
                                       (QREFELT $ 14)) . #23#)
                                     (COND
                                       (#15#
                                        (LETT #14#
                                         (+ #14# #13#) . #23#))
                                       ('T
                                        (PROGN
                                          (LETT #14# #13# . #23#)
                                          (LETT #15# 'T . #23#)))))))
                        (LETT #12# (CDR #12#) . #23#) #25# G191
                        (EXIT NIL))
                   (COND (#15# #14#) (#26# 0))) . #23#)
           (LETT |normprod|
                 (PROGN
                   (LETT #21# NIL . #23#)
                   (SEQ (LETT |df| NIL . #23#)
                        (LETT #16# |ldeg| . #23#) (LETT |g| NIL . #23#)
                        (LETT #17# |normlist| . #23#) G190
                        (COND
                          ((OR (ATOM #17#)
                               (PROGN
                                 (LETT |g| (CAR #17#) . #23#)
                                 NIL)
                               (ATOM #16#)
                               (PROGN
                                 (LETT |df| (CAR #16#) . #23#)
                                 NIL))
                           #24#))
                        (SEQ (EXIT (PROGN
                                     (LETT #19#
                                      (EXPT |g|
                                       (PROG1
                                        (LETT #18# (- |n| |df|) . #23#)
                                         (|check-subtype| (>= #18# 0)
                                          '(|NonNegativeInteger|) #18#))) . #23#)
                                     (COND
                                       (#21#
                                        (LETT #20#
                                         (* #20# #19#) . #23#))
                                       ('T
                                        (PROGN
                                          (LETT #20# #19# . #23#)
                                          (LETT #21# 'T . #23#)))))))
                        (LETT #17#
                              (PROG1 (CDR #17#)
                                (LETT #16# (CDR #16#) . #23#)) . #23#)
                        #25# G191 (EXIT NIL))
                   (COND (#21# #20#) (#26# 1))) . #23#)
           (EXIT (SPADCALL 2
                     (PROG1 (LETT #22#
                                  (SPADCALL (* |normprod| |nm|)
                                      (QREFELT $ 17)) . #23#)
                       (|check-subtype| (>= #22# 0)
                           '(|NonNegativeInteger|) #22#))
                     (QREFELT $ 18))))))) 

(DEFUN |GENEEZ;compBound;BPLNni;2| (|m| |listpolys| $)
  (PROG (#0=#:G1865 #1=#:G1857 #2=#:G1855 #3=#:G1856 |p| #4=#:G1866 |u|
            #5=#:G1867 #6=#:G1863 #7=#:G1861 #8=#:G1862 #9=#:G1860
            #10=#:G1858 #11=#:G1859)
    (RETURN
      (SEQ (+ (PROGN
                (LETT #3# NIL . #12=(|GENEEZ;compBound;BPLNni;2|))
                (SEQ (LETT |u| NIL . #12#)
                     (LETT #0# (SPADCALL |m| (QREFELT $ 11)) . #12#)
                     G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |u| (CAR #0#) . #12#) NIL))
                        #13=(GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1#
                                        (SPADCALL |u| (QREFELT $ 12)) . #12#)
                                  (COND
                                    (#3#
                                     (LETT #2# (MAX #2# #1#) . #12#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #12#)
                                       (LETT #3# 'T . #12#)))))))
                     (LETT #0# (CDR #0#) . #12#) #14=(GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) (#15='T (|IdentityError| '|max|))))
              (PROGN
                (LETT #11# NIL . #12#)
                (SEQ (LETT |p| NIL . #12#)
                     (LETT #4# |listpolys| . #12#) G190
                     (COND
                       ((OR (ATOM #4#)
                            (PROGN (LETT |p| (CAR #4#) . #12#) NIL))
                        #13#))
                     (SEQ (EXIT (PROGN
                                  (LETT #9#
                                        (PROGN
                                          (LETT #8# NIL . #12#)
                                          (SEQ (LETT |u| NIL . #12#)
                                           (LETT #5#
                                            (SPADCALL |p|
                                             (QREFELT $ 11)) . #12#)
                                           G190
                                           (COND
                                             ((OR (ATOM #5#)
                                               (PROGN
                                                 (LETT |u|
                                                  (CAR #5#) . #12#)
                                                 NIL))
                                              #13#))
                                           (SEQ
                                            (EXIT
                                             (PROGN
                                               (LETT #6#
                                                (SPADCALL |u|
                                                 (QREFELT $ 12)) . #12#)
                                               (COND
                                                 (#8#
                                                  (LETT #7#
                                                   (MAX #7# #6#) . #12#))
                                                 ('T
                                                  (PROGN
                                                    (LETT #7#
                                                     #6# . #12#)
                                                    (LETT #8#
                                                     'T . #12#)))))))
                                           (LETT #5# (CDR #5#) . #12#)
                                           #14# G191 (EXIT NIL))
                                          (COND
                                            (#8# #7#)
                                            ('T
                                             (|IdentityError| '|max|)))) . #12#)
                                  (COND
                                    (#11#
                                     (LETT #10# (+ #10# #9#) . #12#))
                                    ('T
                                     (PROGN
                                       (LETT #10# #9# . #12#)
                                       (LETT #11# 'T . #12#)))))))
                     (LETT #4# (CDR #4#) . #12#) #14# G191 (EXIT NIL))
                (COND (#11# #10#) (#15# 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| $)
  (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| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 25))) 

(DEFUN |GENEEZ;reduction;BPRBP;5| (|u| |p| $)
  (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| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 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 (#0=#:G1882)
    (RETURN
      (QCAR (PROG2 (LETT #0#
                         (SPADCALL |c| |p| (|spadConstant| $ 30)
                             (QREFELT $ 34))
                         |GENEEZ;modInverse|)
                   (QCDR #0#)
              (|check-union| (QEQCAR #0# 0)
                  (|Record| (|:| |coef1| (QREFELT $ 6))
                      (|:| |coef2| (QREFELT $ 6)))
                  #0#)))))) 

(DEFUN |GENEEZ;exactquo| (|u| |v| |p| $)
  (PROG (|invlcv| |r|)
    (RETURN
      (SEQ (LETT |invlcv|
                 (|GENEEZ;modInverse| (SPADCALL |v| (QREFELT $ 35)) |p|
                     $)
                 . #0=(|GENEEZ;exactquo|))
           (LETT |r|
                 (SPADCALL |u|
                     (SPADCALL (SPADCALL |invlcv| |v| (QREFELT $ 36))
                         |p| (QREFELT $ 28))
                     (QREFELT $ 38)) . #0#)
           (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 (#0=#:G1895 |ff| #1=#:G1896)
    (RETURN
      (SEQ (PROGN
             (LETT #0# NIL . #2=(|GENEEZ;reduceList|))
             (SEQ (LETT |ff| NIL . #2#) (LETT #1# |lp| . #2#) G190
                  (COND
                    ((OR (ATOM #1#)
                         (PROGN (LETT |ff| (CAR #1#) . #2#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (LETT #0#
                                   (CONS
                                    (SPADCALL |ff| |lmod|
                                     (QREFELT $ 41))
                                    #0#) . #2#)))
                  (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                  (EXIT (NREVERSE0 #0#)))))))) 

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

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

(DEFUN |GENEEZ;liftSol!0| (|#1| $$)
  (|GENEEZ;reduceList| |#1| (QREFELT $$ 1) (QREFELT $$ 0))) 

(DEFUN |GENEEZ;makeProducts| (|listPol| $)
  (PROG (|f| |ll| #0=#:G1815 #1=#:G1941 #2=#:G1935 #3=#:G1933
             #4=#:G1934 #5=#:G1942 |g| #6=#:G1943)
    (RETURN
      (SEQ (COND
             ((< (LENGTH |listPol|) 2) |listPol|)
             ((EQL (LENGTH |listPol|) 2) (REVERSE |listPol|))
             ('T
              (SEQ (LETT |f| (|SPADfirst| |listPol|)
                         . #7=(|GENEEZ;makeProducts|))
                   (LETT |ll| (CDR |listPol|) . #7#)
                   (EXIT (CONS (PROGN
                                 (LETT #4# NIL . #7#)
                                 (SEQ (LETT #0# NIL . #7#)
                                      (LETT #1# |ll| . #7#) G190
                                      (COND
                                        ((OR (ATOM #1#)
                                          (PROGN
                                            (LETT #0# (CAR #1#) . #7#)
                                            NIL))
                                         #8=(GO G191)))
                                      (SEQ
                                       (EXIT
                                        (PROGN
                                          (LETT #2# #0# . #7#)
                                          (COND
                                            (#4#
                                             (LETT #3#
                                              (SPADCALL #3# #2#
                                               (QREFELT $ 59)) . #7#))
                                            ('T
                                             (PROGN
                                               (LETT #3# #2# . #7#)
                                               (LETT #4# 'T . #7#)))))))
                                      (LETT #1# (CDR #1#) . #7#)
                                      #9=(GO G190) G191 (EXIT NIL))
                                 (COND
                                   (#4# #3#)
                                   ('T (|spadConstant| $ 31))))
                               (PROGN
                                 (LETT #5# NIL . #7#)
                                 (SEQ (LETT |g| NIL . #7#)
                                      (LETT #6#
                                       (|GENEEZ;makeProducts| |ll| $) . #7#)
                                      G190
                                      (COND
                                        ((OR (ATOM #6#)
                                          (PROGN
                                            (LETT |g| (CAR #6#) . #7#)
                                            NIL))
                                         #8#))
                                      (SEQ
                                       (EXIT
                                        (LETT #5#
                                         (CONS
                                          (SPADCALL |f| |g|
                                           (QREFELT $ 59))
                                          #5#) . #7#)))
                                      (LETT #6# (CDR #6#) . #7#) #9#
                                      G191 (EXIT (NREVERSE0 #5#))))))))))))) 

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

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

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

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

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

(DEFUN |GENEEZ;solveid;BPRVU;17!0| (|#1| $$)
  (|GENEEZ;reduceList| |#1| (QREFELT $$ 1) (QREFELT $$ 0))) 

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

(DEFUN |GenExEuclid;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|GenExEuclid|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$| (LIST '|GenExEuclid| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 84) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|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 $ 74
                 (CONS (|dispatchFunction| |GENEEZ;tablePow;NniRLU;14|)
                       $))
             (QSETREFV $ 76
                 (CONS (|dispatchFunction| |GENEEZ;solveid;BPRVU;15|)
                       $))))
          ('T
           (PROGN
             (QSETREFV $ 74
                 (CONS (|dispatchFunction| |GENEEZ;tablePow;NniRLU;16|)
                       $))
             (QSETREFV $ 76
                 (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 '"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 '"failed") (|List| $) (216 . |multiEuclidean|)
             (222 . |new|) (228 . |setelt|) (235 . |monomial|)
             (241 . |rem|) (|Union| 45 '"failed") (247 . |tablePow|)
             (|Union| 19 '"failed") (254 . |solveid|)
             (261 . |multiEuclidean|) (267 . |new|) (273 . |setelt|)
             (280 . |rem|) (|Mapping| 19 49) (|VectorFunctions2| 49 19)
             (286 . |map|))
          '#(|testModulus| 292 |tablePow| 298 |solveid| 305 |reduction|
             312 |compBound| 318)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 83
                                '(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 2 45
                                  0 8 19 69 3 45 19 0 15 19 70 2 7 0 6
                                  8 71 2 7 0 0 0 72 3 0 73 8 6 19 74 3
                                  0 75 7 6 45 76 2 40 66 67 0 77 2 43 0
                                  8 49 78 3 43 49 0 15 49 79 2 40 0 0 0
                                  80 2 82 45 81 43 83 2 0 23 6 19 65 3
                                  0 73 8 6 19 74 3 0 75 7 6 45 76 2 0 7
                                  7 6 28 2 0 8 7 19 20)))))
          '|lookupComplete|)) 
