
(/VERSIONCHECK 2) 

(PUT '|XRPOLY;construct| '|SPADreplace| '(XLAM (|lt|) |lt|)) 

(DEFUN |XRPOLY;construct| (|lt| $) |lt|) 

(DEFUN |XRPOLY;=;2$B;2| (|p1| |p2| $)
  (COND
    ((QEQCAR |p1| 0)
     (COND
       ((QEQCAR |p2| 0)
        (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 10)))
       (#0='T 'NIL)))
    ((QEQCAR |p2| 0) 'NIL)
    (#0#
     (COND
       ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 10))
        (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|)) (QREFELT $ 12)))
       ('T 'NIL))))) 

(DEFUN |XRPOLY;monom;OfmR$;3| (|w| |r| $)
  (COND
    ((SPADCALL |r| (QCDR (|spadConstant| $ 14)) (QREFELT $ 10))
     (|spadConstant| $ 14))
    ('T (SPADCALL |r| (SPADCALL |w| (QREFELT $ 17)) (QREFELT $ 18))))) 

(DEFUN |XRPOLY;rquo;3$;4| (|p1| |p2| $)
  (PROG (#0=#:G1847 |t| #1=#:G1848 |a| |x|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p2| 0)
              (SPADCALL |p1| (QCDR |p2|) (QREFELT $ 20)))
             ((QEQCAR |p1| 0)
              (SPADCALL |p1| (CONS 0 (QCAR (QCDR |p2|)))
                  (QREFELT $ 21)))
             (#2='T
              (SEQ (LETT |x|
                         (|XRPOLY;construct|
                             (PROGN
                               (LETT #0# NIL . #3=(|XRPOLY;rquo;3$;4|))
                               (SEQ (LETT |t| NIL . #3#)
                                    (LETT #1#
                                     (SPADCALL (QCDR (QCDR |p1|))
                                      (QREFELT $ 24)) . #3#)
                                    G190
                                    (COND
                                      ((OR (ATOM #1#)
                                        (PROGN
                                          (LETT |t| (CAR #1#) . #3#)
                                          NIL))
                                       (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (COND
                                        ((SEQ
                                          (LETT |a|
                                           (SPADCALL (QCDR |t|) |p2|
                                            (QREFELT $ 25)) . #3#)
                                          (EXIT
                                           (COND
                                             ((SPADCALL |a|
                                               (|spadConstant| $ 14)
                                               (QREFELT $ 13))
                                              'NIL)
                                             (#2# 'T))))
                                         (LETT #0#
                                          (CONS (CONS (QCAR |t|) |a|)
                                           #0#) . #3#)))))
                                    (LETT #1# (CDR #1#) . #3#)
                                    (GO G190) G191
                                    (EXIT (NREVERSE0 #0#))))
                             $) . #3#)
                   (EXIT (|XRPOLY;simplifie|
                             (CONS (SPADCALL |p1| |p2| (QREFELT $ 26))
                                   |x|)
                             $))))))))) 

(DEFUN |XRPOLY;trunc;$Nni$;5| (|p| |n| $)
  (PROG (#0=#:G1852 |n1| #1=#:G1858 |t| #2=#:G1859 |r| |lt| |x|)
    (RETURN
      (SEQ (COND
             ((OR (EQL |n| 0) (QEQCAR |p| 0))
              (CONS 0 (SPADCALL |p| (QREFELT $ 27))))
             ('T
              (SEQ (LETT |n1|
                         (PROG1 (LETT #0# (- |n| 1)
                                      . #3=(|XRPOLY;trunc;$Nni$;5|))
                           (|check-subtype| (>= #0# 0)
                               '(|NonNegativeInteger|) #0#)) . #3#)
                   (LETT |lt|
                         (PROGN
                           (LETT #1# NIL . #3#)
                           (SEQ (LETT |t| NIL . #3#)
                                (LETT #2#
                                      (SPADCALL (QCDR (QCDR |p|))
                                       (QREFELT $ 24)) . #3#)
                                G190
                                (COND
                                  ((OR (ATOM #2#)
                                    (PROGN
                                      (LETT |t| (CAR #2#) . #3#)
                                      NIL))
                                   (GO G191)))
                                (SEQ (EXIT
                                      (COND
                                        ((SEQ
                                          (LETT |r|
                                           (SPADCALL (QCDR |t|) |n1|
                                            (QREFELT $ 31)) . #3#)
                                          (EXIT
                                           (COND
                                             ((SPADCALL |r|
                                               (|spadConstant| $ 14)
                                               (QREFELT $ 13))
                                              'NIL)
                                             ('T 'T))))
                                         (LETT #1#
                                          (CONS (CONS (QCAR |t|) |r|)
                                           #1#) . #3#)))))
                                (LETT #2# (CDR #2#) . #3#) (GO G190)
                                G191 (EXIT (NREVERSE0 #1#)))) . #3#)
                   (LETT |x| (|XRPOLY;construct| |lt| $) . #3#)
                   (EXIT (|XRPOLY;simplifie|
                             (CONS (SPADCALL |p| (QREFELT $ 27)) |x|)
                             $))))))))) 

(DEFUN |XRPOLY;unexpand;Xdp$;6| (|p| $)
  (PROG (|vl| #0=#:G1867 |v| #1=#:G1868 |r| |x|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 33))
              (CONS 0 (SPADCALL |p| (QREFELT $ 34))))
             ('T
              (SEQ (LETT |vl|
                         (SPADCALL
                             (CONS #'|XRPOLY;unexpand;Xdp$;6!0| $)
                             (SPADCALL |p| (QREFELT $ 37))
                             (QREFELT $ 39))
                         . #2=(|XRPOLY;unexpand;Xdp$;6|))
                   (LETT |x|
                         (|XRPOLY;construct|
                             (PROGN
                               (LETT #0# NIL . #2#)
                               (SEQ (LETT |v| NIL . #2#)
                                    (LETT #1# |vl| . #2#) G190
                                    (COND
                                      ((OR (ATOM #1#)
                                        (PROGN
                                          (LETT |v| (CAR #1#) . #2#)
                                          NIL))
                                       (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (COND
                                        ((SEQ
                                          (LETT |r|
                                           (SPADCALL |p| |v|
                                            (QREFELT $ 40)) . #2#)
                                          (EXIT
                                           (COND
                                             ((SPADCALL |r|
                                               (|spadConstant| $ 41)
                                               (QREFELT $ 42))
                                              'NIL)
                                             ('T 'T))))
                                         (LETT #0#
                                          (CONS
                                           (CONS |v|
                                            (SPADCALL |r|
                                             (QREFELT $ 43)))
                                           #0#) . #2#)))))
                                    (LETT #1# (CDR #1#) . #2#)
                                    (GO G190) G191
                                    (EXIT (NREVERSE0 #0#))))
                             $) . #2#)
                   (EXIT (CONS 1
                               (CONS (SPADCALL |p| (QREFELT $ 34)) |x|)))))))))) 

(DEFUN |XRPOLY;unexpand;Xdp$;6!0| (|#1| |#2| $)
  (SPADCALL |#2| |#1| (QREFELT $ 35))) 

(DEFUN |XRPOLY;sh;$Nni$;7| (|p| |n| $)
  (PROG (#0=#:G1872 |n1| |p1| #1=#:G1877 |t| #2=#:G1878 |lt|)
    (RETURN
      (SEQ (COND
             ((EQL |n| 0) (|spadConstant| $ 28))
             ((QEQCAR |p| 0)
              (CONS 0 (SPADCALL (QCDR |p|) |n| (QREFELT $ 44))))
             ('T
              (SEQ (LETT |n1|
                         (PROG1 (LETT #0# (- |n| 1)
                                      . #3=(|XRPOLY;sh;$Nni$;7|))
                           (|check-subtype| (>= #0# 0)
                               '(|NonNegativeInteger|) #0#)) . #3#)
                   (LETT |p1|
                         (SPADCALL |n|
                             (SPADCALL |p| |n1| (QREFELT $ 45))
                             (QREFELT $ 46)) . #3#)
                   (LETT |lt|
                         (PROGN
                           (LETT #1# NIL . #3#)
                           (SEQ (LETT |t| NIL . #3#)
                                (LETT #2#
                                      (SPADCALL (QCDR (QCDR |p|))
                                       (QREFELT $ 24)) . #3#)
                                G190
                                (COND
                                  ((OR (ATOM #2#)
                                    (PROGN
                                      (LETT |t| (CAR #2#) . #3#)
                                      NIL))
                                   (GO G191)))
                                (SEQ (EXIT
                                      (LETT #1#
                                       (CONS
                                        (CONS (QCAR |t|)
                                         (SPADCALL (QCDR |t|) |p1|
                                          (QREFELT $ 47)))
                                        #1#) . #3#)))
                                (LETT #2# (CDR #2#) . #3#) (GO G190)
                                G191 (EXIT (NREVERSE0 #1#)))) . #3#)
                   (EXIT (CONS 1
                               (CONS (QCDR
                                      (SPADCALL
                                       (CONS 0 (QCAR (QCDR |p|))) |n|
                                       (QREFELT $ 48)))
                                     (|XRPOLY;construct| |lt| $))))))))))) 

(DEFUN |XRPOLY;sh;3$;8| (|p1| |p2| $)
  (PROG (|lt1| |lt2| #0=#:G1884 #1=#:G1885 |x| #2=#:G1886 |t|
               #3=#:G1887 |y|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p1| 0)
              (SPADCALL (QCDR |p1|) |p2| (QREFELT $ 18)))
             ((QEQCAR |p2| 0)
              (SPADCALL |p1| (QCDR |p2|) (QREFELT $ 20)))
             ('T
              (SEQ (LETT |lt1|
                         (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 24))
                         . #4=(|XRPOLY;sh;3$;8|))
                   (LETT |lt2|
                         (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 24)) . #4#)
                   (LETT |x|
                         (|XRPOLY;construct|
                             (PROGN
                               (LETT #0# NIL . #4#)
                               (SEQ (LETT |t| NIL . #4#)
                                    (LETT #1# |lt1| . #4#) G190
                                    (COND
                                      ((OR (ATOM #1#)
                                        (PROGN
                                          (LETT |t| (CAR #1#) . #4#)
                                          NIL))
                                       #5=(GO G191)))
                                    (SEQ
                                     (EXIT
                                      (LETT #0#
                                       (CONS
                                        (CONS (QCAR |t|)
                                         (SPADCALL (QCDR |t|) |p2|
                                          (QREFELT $ 47)))
                                        #0#) . #4#)))
                                    (LETT #1# (CDR #1#) . #4#)
                                    #6=(GO G190) G191
                                    (EXIT (NREVERSE0 #0#))))
                             $) . #4#)
                   (LETT |y|
                         (|XRPOLY;construct|
                             (PROGN
                               (LETT #2# NIL . #4#)
                               (SEQ (LETT |t| NIL . #4#)
                                    (LETT #3# |lt2| . #4#) G190
                                    (COND
                                      ((OR (ATOM #3#)
                                        (PROGN
                                          (LETT |t| (CAR #3#) . #4#)
                                          NIL))
                                       #5#))
                                    (SEQ
                                     (EXIT
                                      (LETT #2#
                                       (CONS
                                        (CONS (QCAR |t|)
                                         (SPADCALL |p1| (QCDR |t|)
                                          (QREFELT $ 47)))
                                        #2#) . #4#)))
                                    (LETT #3# (CDR #3#) . #4#) #6# G191
                                    (EXIT (NREVERSE0 #2#))))
                             $) . #4#)
                   (EXIT (CONS 1
                               (CONS (QCDR
                                      (SPADCALL
                                       (CONS 0 (QCAR (QCDR |p1|)))
                                       (CONS 0 (QCAR (QCDR |p2|)))
                                       (QREFELT $ 21)))
                                     (SPADCALL |x| |y| (QREFELT $ 49)))))))))))) 

(DEFUN |XRPOLY;RemainderList;$L;9| (|p| $)
  (COND
    ((QEQCAR |p| 0) NIL)
    ('T (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24))))) 

(DEFUN |XRPOLY;lquo;3$;10| (|p1| |p2| $)
  (COND
    ((QEQCAR |p2| 0) (SPADCALL |p1| |p2| (QREFELT $ 21)))
    ((QEQCAR |p1| 0)
     (CONS 0 (SPADCALL (QCDR |p1|) (QCAR (QCDR |p2|)) (QREFELT $ 53))))
    ('T
     (SPADCALL
         (SPADCALL |p1| (CONS 0 (QCAR (QCDR |p2|))) (QREFELT $ 21))
         (|XRPOLY;lquo1| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 24))
             (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 24)) $)
         (QREFELT $ 54))))) 

(DEFUN |XRPOLY;lquo1| (|x| |y| $)
  (PROG (#0=#:G1900)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (NULL |x|) (NULL |y|)) (|spadConstant| $ 14))
                   ('T
                    (COND
                      ((SPADCALL
                           (QCAR (SPADCALL |x| '|first| (QREFELT $ 57)))
                           (QCAR (SPADCALL |y| '|first| (QREFELT $ 57)))
                           (QREFELT $ 35))
                       (|XRPOLY;lquo1| |x| (CDR |y|) $))
                      ((SPADCALL
                           (QCAR (SPADCALL |x| '|first| (QREFELT $ 57)))
                           (QCAR (SPADCALL |y| '|first| (QREFELT $ 57)))
                           (QREFELT $ 58))
                       (SPADCALL
                           (SPADCALL
                               (QCDR (SPADCALL |x| '|first|
                                      (QREFELT $ 57)))
                               (QCDR (SPADCALL |y| '|first|
                                      (QREFELT $ 57)))
                               (QREFELT $ 55))
                           (|XRPOLY;lquo1| (CDR |x|) (CDR |y|) $)
                           (QREFELT $ 54)))
                      ('T
                       (PROGN
                         (LETT #0# (|XRPOLY;lquo1| (CDR |x|) |y| $)
                               |XRPOLY;lquo1|)
                         (GO #0#)))))))
           #0# (EXIT #0#))))) 

(DEFUN |XRPOLY;coef;2$R;12| (|p1| |p2| $)
  (COND
    ((QEQCAR |p1| 0)
     (QCDR (SPADCALL (QCDR |p1|)
               (CONS 0 (SPADCALL |p2| (QREFELT $ 27))) (QREFELT $ 18))))
    ((QEQCAR |p2| 0)
     (QCDR (SPADCALL (CONS 0 (QCAR (QCDR |p1|))) (CONS 0 (QCDR |p2|))
               (QREFELT $ 21))))
    ('T
     (SPADCALL
         (QCDR (SPADCALL (CONS 0 (QCAR (QCDR |p1|)))
                   (CONS 0 (QCAR (QCDR |p2|))) (QREFELT $ 21)))
         (|XRPOLY;coef1| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 24))
             (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 24)) $)
         (QREFELT $ 59))))) 

(DEFUN |XRPOLY;coef1| (|x| |y| $)
  (PROG (#0=#:G1909)
    (RETURN
      (SEQ (EXIT (COND
                   ((OR (NULL |x|) (NULL |y|)) (|spadConstant| $ 15))
                   ('T
                    (COND
                      ((SPADCALL
                           (QCAR (SPADCALL |x| '|first| (QREFELT $ 57)))
                           (QCAR (SPADCALL |y| '|first| (QREFELT $ 57)))
                           (QREFELT $ 35))
                       (|XRPOLY;coef1| |x| (CDR |y|) $))
                      ((SPADCALL
                           (QCAR (SPADCALL |x| '|first| (QREFELT $ 57)))
                           (QCAR (SPADCALL |y| '|first| (QREFELT $ 57)))
                           (QREFELT $ 58))
                       (QCDR (SPADCALL
                                 (CONS 0
                                       (SPADCALL
                                        (QCDR
                                         (SPADCALL |x| '|first|
                                          (QREFELT $ 57)))
                                        (QCDR
                                         (SPADCALL |y| '|first|
                                          (QREFELT $ 57)))
                                        (QREFELT $ 26)))
                                 (CONS 0
                                       (|XRPOLY;coef1| (CDR |x|)
                                        (CDR |y|) $))
                                 (QREFELT $ 54))))
                      ('T
                       (PROGN
                         (LETT #0# (|XRPOLY;coef1| (CDR |x|) |y| $)
                               |XRPOLY;coef1|)
                         (GO #0#)))))))
           #0# (EXIT #0#))))) 

(DEFUN |XRPOLY;outForm| (|p| $)
  (PROG (#0=#:G1915 |t| #1=#:G1916 |le|)
    (RETURN
      (SEQ (LETT |le|
                 (PROGN
                   (LETT #0# NIL . #2=(|XRPOLY;outForm|))
                   (SEQ (LETT |t| NIL . #2#)
                        (LETT #1# (SPADCALL |p| (QREFELT $ 24)) . #2#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |t| (CAR #1#) . #2#) NIL))
                           (GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS
                                     (SPADCALL
                                      (SPADCALL (QCAR |t|)
                                       (QREFELT $ 61))
                                      (SPADCALL (QCDR |t|)
                                       (QREFELT $ 62))
                                      (QREFELT $ 63))
                                     #0#) . #2#)))
                        (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #2#)
           (EXIT (SPADCALL (ELT $ 64) (NREVERSE |le|) (QREFELT $ 67))))))) 

(DEFUN |XRPOLY;coerce;$Of;15| (|p| $)
  (COND
    ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 68)))
    ((SPADCALL (CONS 0 (QCAR (QCDR |p|))) (|spadConstant| $ 14)
         (QREFELT $ 13))
     (|XRPOLY;outForm| (QCDR (QCDR |p|)) $))
    ('T
     (SPADCALL (SPADCALL (QCAR (QCDR |p|)) (QREFELT $ 68))
         (|XRPOLY;outForm| (QCDR (QCDR |p|)) $) (QREFELT $ 64))))) 

(DEFUN |XRPOLY;Zero;$;16| ($) (CONS 0 (|spadConstant| $ 15))) 

(DEFUN |XRPOLY;One;$;17| ($) (CONS 0 (|spadConstant| $ 29))) 

(PUT '|XRPOLY;constant?;$B;18| '|SPADreplace|
     '(XLAM (|p|) (QEQCAR |p| 0))) 

(DEFUN |XRPOLY;constant?;$B;18| (|p| $) (QEQCAR |p| 0)) 

(DEFUN |XRPOLY;constant;$R;19| (|p| $)
  (COND ((QEQCAR |p| 0) (QCDR |p|)) ('T (QCAR (QCDR |p|))))) 

(DEFUN |XRPOLY;simplifie| (|p| $)
  (COND
    ((SPADCALL (QCDR |p|) (|spadConstant| $ 70) (QREFELT $ 12))
     (CONS 0 (QCAR |p|)))
    ('T (CONS 1 |p|)))) 

(DEFUN |XRPOLY;coerce;VarSet$;21| (|v| $)
  (CONS 1 (CONS (|spadConstant| $ 15) (SPADCALL |v| (QREFELT $ 71))))) 

(PUT '|XRPOLY;coerce;R$;22| '|SPADreplace| '(XLAM (|r|) (CONS 0 |r|))) 

(DEFUN |XRPOLY;coerce;R$;22| (|r| $) (CONS 0 |r|)) 

(DEFUN |XRPOLY;coerce;I$;23| (|n| $)
  (CONS 0 (SPADCALL |n| (QREFELT $ 75)))) 

(DEFUN |XRPOLY;coerce;Ofm$;24| (|w| $)
  (COND
    ((SPADCALL |w| (|spadConstant| $ 77) (QREFELT $ 78))
     (CONS 0 (|spadConstant| $ 29)))
    ('T
     (SPADCALL (SPADCALL |w| (QREFELT $ 79))
         (SPADCALL (SPADCALL |w| (QREFELT $ 80)) (QREFELT $ 17))
         (QREFELT $ 81))))) 

(DEFUN |XRPOLY;expand;$Xdp;25| (|p| $)
  (PROG (|lt| |t| #0=#:G1939 |ep|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 82)))
             ('T
              (SEQ (LETT |lt|
                         (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24))
                         . #1=(|XRPOLY;expand;$Xdp;25|))
                   (LETT |ep|
                         (SPADCALL (QCAR (QCDR |p|)) (QREFELT $ 82)) . #1#)
                   (SEQ (LETT |t| NIL . #1#) (LETT #0# |lt| . #1#) G190
                        (COND
                          ((OR (ATOM #0#)
                               (PROGN (LETT |t| (CAR #0#) . #1#) NIL))
                           (GO G191)))
                        (SEQ (EXIT (LETT |ep|
                                    (SPADCALL |ep|
                                     (SPADCALL (QCAR |t|)
                                      (SPADCALL (QCDR |t|)
                                       (QREFELT $ 83))
                                      (QREFELT $ 84))
                                     (QREFELT $ 85)) . #1#)))
                        (LETT #0# (CDR #0#) . #1#) (GO G190) G191
                        (EXIT NIL))
                   (EXIT |ep|)))))))) 

(DEFUN |XRPOLY;-;2$;26| (|p| $)
  (COND
    ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) (QREFELT $ 86))))
    ('T
     (CONS 1
           (CONS (QCDR (SPADCALL (CONS 0 (QCAR (QCDR |p|)))
                           (QREFELT $ 87)))
                 (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 88))))))) 

(DEFUN |XRPOLY;+;3$;27| (|p1| |p2| $)
  (SEQ (COND
         ((QEQCAR |p1| 0)
          (COND
            ((QEQCAR |p2| 0)
             (EXIT (CONS 0
                         (SPADCALL (QCDR |p1|) (QCDR |p2|)
                             (QREFELT $ 59))))))))
       (EXIT (COND
               ((QEQCAR |p1| 0)
                (CONS 1
                      (CONS (QCDR (SPADCALL |p1|
                                      (CONS 0 (QCAR (QCDR |p2|)))
                                      (QREFELT $ 54)))
                            (QCDR (QCDR |p2|)))))
               ((QEQCAR |p2| 0)
                (CONS 1
                      (CONS (QCDR (SPADCALL |p2|
                                      (CONS 0 (QCAR (QCDR |p1|)))
                                      (QREFELT $ 54)))
                            (QCDR (QCDR |p1|)))))
               ('T
                (|XRPOLY;simplifie|
                    (CONS (QCDR (SPADCALL (CONS 0 (QCAR (QCDR |p1|)))
                                    (CONS 0 (QCAR (QCDR |p2|)))
                                    (QREFELT $ 54)))
                          (SPADCALL (QCDR (QCDR |p1|))
                              (QCDR (QCDR |p2|)) (QREFELT $ 49)))
                    $)))))) 

(DEFUN |XRPOLY;-;3$;28| (|p1| |p2| $)
  (SEQ (COND
         ((QEQCAR |p1| 0)
          (COND
            ((QEQCAR |p2| 0)
             (EXIT (CONS 0
                         (SPADCALL (QCDR |p1|) (QCDR |p2|)
                             (QREFELT $ 89))))))))
       (EXIT (COND
               ((QEQCAR |p1| 0)
                (CONS 1
                      (CONS (QCDR (SPADCALL |p1|
                                      (CONS 0 (QCAR (QCDR |p2|)))
                                      (QREFELT $ 90)))
                            (SPADCALL (QCDR (QCDR |p2|))
                                (QREFELT $ 88)))))
               ((QEQCAR |p2| 0)
                (CONS 1
                      (CONS (QCDR (SPADCALL (CONS 0 (QCAR (QCDR |p1|)))
                                      |p2| (QREFELT $ 90)))
                            (QCDR (QCDR |p1|)))))
               ('T
                (|XRPOLY;simplifie|
                    (CONS (QCDR (SPADCALL (CONS 0 (QCAR (QCDR |p1|)))
                                    (CONS 0 (QCAR (QCDR |p2|)))
                                    (QREFELT $ 90)))
                          (SPADCALL (QCDR (QCDR |p1|))
                              (QCDR (QCDR |p2|)) (QREFELT $ 91)))
                    $)))))) 

(DEFUN |XRPOLY;*;I2$;29| (|n| |p| $)
  (COND
    ((EQL |n| 0) (|spadConstant| $ 14))
    ((QEQCAR |p| 0) (CONS 0 (SPADCALL |n| (QCDR |p|) (QREFELT $ 92))))
    ('T
     (|XRPOLY;simplifie|
         (CONS (QCDR (SPADCALL |n| (CONS 0 (QCAR (QCDR |p|)))
                         (QREFELT $ 93)))
               (SPADCALL |n| (QCDR (QCDR |p|)) (QREFELT $ 94)))
         $)))) 

(DEFUN |XRPOLY;*;R2$;30| (|r| |p| $)
  (COND
    ((SPADCALL |r| (QCDR (|spadConstant| $ 14)) (QREFELT $ 10))
     (|spadConstant| $ 14))
    ((QEQCAR |p| 0) (CONS 0 (SPADCALL |r| (QCDR |p|) (QREFELT $ 53))))
    ('T
     (|XRPOLY;simplifie|
         (CONS (QCDR (SPADCALL |r| (CONS 0 (QCAR (QCDR |p|)))
                         (QREFELT $ 18)))
               (SPADCALL (CONS 0 |r|) (QCDR (QCDR |p|)) (QREFELT $ 95)))
         $)))) 

(DEFUN |XRPOLY;*;$R$;31| (|p| |r| $)
  (COND
    ((SPADCALL |r| (QCDR (|spadConstant| $ 14)) (QREFELT $ 10))
     (|spadConstant| $ 14))
    ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) |r| (QREFELT $ 53))))
    ('T
     (|XRPOLY;simplifie|
         (CONS (QCDR (SPADCALL |r| (CONS 0 (QCAR (QCDR |p|)))
                         (QREFELT $ 18)))
               (SPADCALL (CONS 0 |r|) (QCDR (QCDR |p|)) (QREFELT $ 95)))
         $)))) 

(DEFUN |XRPOLY;*;VarSet2$;32| (|v| |p| $)
  (COND
    ((SPADCALL |p| (|spadConstant| $ 14) (QREFELT $ 13))
     (|spadConstant| $ 14))
    ('T
     (CONS 1
           (CONS (|spadConstant| $ 15)
                 (SPADCALL |v| |p| (QREFELT $ 96))))))) 

(DEFUN |XRPOLY;*;3$;33| (|p1| |p2| $)
  (PROG (|x| |y|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p1| 0)
              (SPADCALL (QCDR |p1|) |p2| (QREFELT $ 18)))
             ((QEQCAR |p2| 0)
              (SPADCALL |p1| (QCDR |p2|) (QREFELT $ 20)))
             ('T
              (SEQ (LETT |x|
                         (SPADCALL (QCDR (QCDR |p1|)) |p2|
                             (QREFELT $ 97))
                         . #0=(|XRPOLY;*;3$;33|))
                   (LETT |y|
                         (SPADCALL (CONS 0 (QCAR (QCDR |p1|)))
                             (QCDR (QCDR |p2|)) (QREFELT $ 95)) . #0#)
                   (EXIT (|XRPOLY;simplifie|
                             (CONS (QCDR
                                    (SPADCALL
                                     (CONS 0 (QCAR (QCDR |p1|)))
                                     (CONS 0 (QCAR (QCDR |p2|)))
                                     (QREFELT $ 21)))
                                   (SPADCALL |x| |y| (QREFELT $ 49)))
                             $))))))))) 

(DEFUN |XRPOLY;lquo;$VarSet$;34| (|p| |v| $)
  (COND
    ((QEQCAR |p| 0) (|spadConstant| $ 14))
    ('T (SPADCALL (QCDR (QCDR |p|)) |v| (QREFELT $ 98))))) 

(DEFUN |XRPOLY;lquo;$Ofm$;35| (|p| |w| $)
  (COND
    ((SPADCALL |w| (|spadConstant| $ 77) (QREFELT $ 78)) |p|)
    ('T
     (SPADCALL
         (SPADCALL |p| (SPADCALL |w| (QREFELT $ 79)) (QREFELT $ 99))
         (SPADCALL |w| (QREFELT $ 80)) (QREFELT $ 100))))) 

(DEFUN |XRPOLY;rquo;$VarSet$;36| (|p| |v| $)
  (PROG (#0=#:G1961 |t| #1=#:G1962 |a| |x|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0) (|spadConstant| $ 14))
             (#2='T
              (SEQ (LETT |x|
                         (|XRPOLY;construct|
                             (PROGN
                               (LETT #0# NIL
                                     . #3=(|XRPOLY;rquo;$VarSet$;36|))
                               (SEQ (LETT |t| NIL . #3#)
                                    (LETT #1#
                                     (SPADCALL (QCDR (QCDR |p|))
                                      (QREFELT $ 24)) . #3#)
                                    G190
                                    (COND
                                      ((OR (ATOM #1#)
                                        (PROGN
                                          (LETT |t| (CAR #1#) . #3#)
                                          NIL))
                                       (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (COND
                                        ((SEQ
                                          (LETT |a|
                                           (SPADCALL (QCDR |t|) |v|
                                            (QREFELT $ 101)) . #3#)
                                          (EXIT
                                           (COND
                                             ((SPADCALL |a|
                                               (|spadConstant| $ 14)
                                               (QREFELT $ 13))
                                              'NIL)
                                             (#2# 'T))))
                                         (LETT #0#
                                          (CONS (CONS (QCAR |t|) |a|)
                                           #0#) . #3#)))))
                                    (LETT #1# (CDR #1#) . #3#)
                                    (GO G190) G191
                                    (EXIT (NREVERSE0 #0#))))
                             $) . #3#)
                   (EXIT (|XRPOLY;simplifie|
                             (CONS (SPADCALL
                                    (SPADCALL (QCDR (QCDR |p|)) |v|
                                     (QREFELT $ 98))
                                    (QREFELT $ 27))
                                   |x|)
                             $))))))))) 

(DEFUN |XRPOLY;rquo;$Ofm$;37| (|p| |w| $)
  (COND
    ((SPADCALL |w| (|spadConstant| $ 77) (QREFELT $ 78)) |p|)
    ('T
     (SPADCALL
         (SPADCALL |p| (SPADCALL |w| (QREFELT $ 80)) (QREFELT $ 102))
         (SPADCALL |w| (QREFELT $ 79)) (QREFELT $ 101))))) 

(DEFUN |XRPOLY;coef;$OfmR;38| (|p| |w| $)
  (SPADCALL (SPADCALL |p| |w| (QREFELT $ 100)) (QREFELT $ 27))) 

(DEFUN |XRPOLY;quasiRegular?;$B;39| (|p| $)
  (COND
    ((QEQCAR |p| 0)
     (SPADCALL |p| (CONS 0 (|spadConstant| $ 15)) (QREFELT $ 13)))
    ('T
     (SPADCALL (CONS 0 (QCAR (QCDR |p|)))
         (CONS 0 (|spadConstant| $ 15)) (QREFELT $ 13))))) 

(DEFUN |XRPOLY;quasiRegular;2$;40| (|p| $)
  (COND
    ((QEQCAR |p| 0) (|spadConstant| $ 14))
    ('T (CONS 1 (CONS (|spadConstant| $ 15) (QCDR (QCDR |p|))))))) 

(DEFUN |XRPOLY;characteristic;Nni;41| ($) (SPADCALL (QREFELT $ 106))) 

(DEFUN |XRPOLY;recip;$U;42| (|p| $)
  (COND
    ((QEQCAR |p| 0) (SPADCALL (CONS 0 (QCDR |p|)) (QREFELT $ 109)))
    ('T (CONS 1 "failed")))) 

(DEFUN |XRPOLY;mindeg;$Ofm;43| (|p| $)
  (PROG (|t| #0=#:G1982 #1=#:G1979 #2=#:G1977 #3=#:G1978)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0)
              (COND
                ((SPADCALL |p| (|spadConstant| $ 14) (QREFELT $ 13))
                 (|error| "XRPOLY.mindeg: polynome nul !!"))
                (#4='T (|spadConstant| $ 77))))
             ((NULL (SPADCALL (CONS 0 (QCAR (QCDR |p|)))
                        (|spadConstant| $ 14) (QREFELT $ 13)))
              (|spadConstant| $ 77))
             ('T
              (PROGN
                (LETT #3# NIL . #5=(|XRPOLY;mindeg;$Ofm;43|))
                (SEQ (LETT |t| NIL . #5#)
                     (LETT #0#
                           (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24)) . #5#)
                     G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |t| (CAR #0#) . #5#) NIL))
                        (GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1#
                                        (SPADCALL (QCAR |t|)
                                         (SPADCALL (QCDR |t|)
                                          (QREFELT $ 110))
                                         (QREFELT $ 111)) . #5#)
                                  (COND
                                    (#3#
                                     (LETT #2#
                                      (SPADCALL #2# #1#
                                       (QREFELT $ 112)) . #5#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #5#)
                                       (LETT #3# 'T . #5#)))))))
                     (LETT #0# (CDR #0#) . #5#) (GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) (#4# (|IdentityError| '|min|)))))))))) 

(DEFUN |XRPOLY;maxdeg;$Ofm;44| (|p| $)
  (PROG (|t| #0=#:G1988 #1=#:G1986 #2=#:G1984 #3=#:G1985)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0)
              (COND
                ((SPADCALL |p| (|spadConstant| $ 14) (QREFELT $ 13))
                 (|error| "XRPOLY.maxdeg: polynome nul !!"))
                (#4='T (|spadConstant| $ 77))))
             (#4#
              (PROGN
                (LETT #3# NIL . #5=(|XRPOLY;maxdeg;$Ofm;44|))
                (SEQ (LETT |t| NIL . #5#)
                     (LETT #0#
                           (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24)) . #5#)
                     G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |t| (CAR #0#) . #5#) NIL))
                        (GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1#
                                        (SPADCALL (QCAR |t|)
                                         (SPADCALL (QCDR |t|)
                                          (QREFELT $ 113))
                                         (QREFELT $ 111)) . #5#)
                                  (COND
                                    (#3#
                                     (LETT #2#
                                      (SPADCALL #2# #1#
                                       (QREFELT $ 114)) . #5#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #5#)
                                       (LETT #3# 'T . #5#)))))))
                     (LETT #0# (CDR #0#) . #5#) (GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) (#4# (|IdentityError| '|max|)))))))))) 

(DEFUN |XRPOLY;degree;$Nni;45| (|p| $)
  (COND
    ((SPADCALL |p| (|spadConstant| $ 14) (QREFELT $ 13))
     (|error| "XRPOLY.degree: polynome nul !!"))
    ('T (SPADCALL (SPADCALL |p| (QREFELT $ 113)) (QREFELT $ 115))))) 

(DEFUN |XRPOLY;map;M2$;46| (|fn| |p| $)
  (PROG (#0=#:G1996 |t| #1=#:G1997 |a| |x|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) |fn|)))
             (#2='T
              (SEQ (LETT |x|
                         (|XRPOLY;construct|
                             (PROGN
                               (LETT #0# NIL
                                     . #3=(|XRPOLY;map;M2$;46|))
                               (SEQ (LETT |t| NIL . #3#)
                                    (LETT #1#
                                     (SPADCALL (QCDR (QCDR |p|))
                                      (QREFELT $ 24)) . #3#)
                                    G190
                                    (COND
                                      ((OR (ATOM #1#)
                                        (PROGN
                                          (LETT |t| (CAR #1#) . #3#)
                                          NIL))
                                       (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (COND
                                        ((SEQ
                                          (LETT |a|
                                           (SPADCALL |fn| (QCDR |t|)
                                            (QREFELT $ 118)) . #3#)
                                          (EXIT
                                           (COND
                                             ((SPADCALL |a|
                                               (CONS 0
                                                (|spadConstant| $ 15))
                                               (QREFELT $ 13))
                                              'NIL)
                                             (#2# 'T))))
                                         (LETT #0#
                                          (CONS (CONS (QCAR |t|) |a|)
                                           #0#) . #3#)))))
                                    (LETT #1# (CDR #1#) . #3#)
                                    (GO G190) G191
                                    (EXIT (NREVERSE0 #0#))))
                             $) . #3#)
                   (EXIT (|XRPOLY;simplifie|
                             (CONS (SPADCALL (QCAR (QCDR |p|)) |fn|)
                                   |x|)
                             $))))))))) 

(DEFUN |XRPOLY;varList;$L;47| (|p| $)
  (PROG (#0=#:G2005 #1=#:G2001 #2=#:G1999 #3=#:G2000 #4=#:G2006 |t|
            #5=#:G2007 |lv|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0) NIL)
             (#6='T
              (SEQ (LETT |lv|
                         (PROGN
                           (LETT #3# NIL . #7=(|XRPOLY;varList;$L;47|))
                           (SEQ (LETT |t| NIL . #7#)
                                (LETT #0#
                                      (SPADCALL (QCDR (QCDR |p|))
                                       (QREFELT $ 24)) . #7#)
                                G190
                                (COND
                                  ((OR (ATOM #0#)
                                    (PROGN
                                      (LETT |t| (CAR #0#) . #7#)
                                      NIL))
                                   #8=(GO G191)))
                                (SEQ (EXIT
                                      (PROGN
                                        (LETT #1#
                                         (SPADCALL (QCDR |t|)
                                          (QREFELT $ 119)) . #7#)
                                        (COND
                                          (#3#
                                           (LETT #2#
                                            (SPADCALL #2# #1#
                                             (QREFELT $ 120)) . #7#))
                                          ('T
                                           (PROGN
                                             (LETT #2# #1# . #7#)
                                             (LETT #3# 'T . #7#)))))))
                                (LETT #0# (CDR #0#) . #7#) #9=(GO G190)
                                G191 (EXIT NIL))
                           (COND
                             (#3# #2#)
                             (#6# (|IdentityError| '|setUnion|)))) . #7#)
                   (LETT |lv|
                         (SPADCALL |lv|
                             (PROGN
                               (LETT #4# NIL . #7#)
                               (SEQ (LETT |t| NIL . #7#)
                                    (LETT #5#
                                     (SPADCALL (QCDR (QCDR |p|))
                                      (QREFELT $ 24)) . #7#)
                                    G190
                                    (COND
                                      ((OR (ATOM #5#)
                                        (PROGN
                                          (LETT |t| (CAR #5#) . #7#)
                                          NIL))
                                       #8#))
                                    (SEQ
                                     (EXIT
                                      (LETT #4#
                                       (CONS (QCAR |t|) #4#) . #7#)))
                                    (LETT #5# (CDR #5#) . #7#) #9# G191
                                    (EXIT (NREVERSE0 #4#))))
                             (QREFELT $ 120)) . #7#)
                   (EXIT (SPADCALL |lv| (QREFELT $ 121)))))))))) 

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

(DEFUN |XRecursivePolynomial;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|XRecursivePolynomial|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$| (LIST '|XRecursivePolynomial| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 127) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#2| '(|noZeroDivisors|))
                            (|HasCategory| |#2| '(|CommutativeRing|)))) . #0#))
        (|haddProp| |$ConstructorCache| '|XRecursivePolynomial|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8
            (|Union| |#2|
                     (|Record| (|:| |c0| |#2|)
                         (|:| |reg| (|FreeModule1| $ |#1|)))))
        (COND
          ((|testBitVector| |pv$| 2)
           (PROGN
             (QSETREFV $ 45
                 (CONS (|dispatchFunction| |XRPOLY;sh;$Nni$;7|) $))
             (QSETREFV $ 47
                 (CONS (|dispatchFunction| |XRPOLY;sh;3$;8|) $)))))
        $)))) 

(MAKEPROP '|XRecursivePolynomial| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             '|Rep| (|Boolean|) (0 . =) (|FreeModule1| $$ 6) (6 . =)
             |XRPOLY;=;2$B;2|
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |XRPOLY;Zero;$;16|) $))
             (12 . |Zero|) (|OrderedFreeMonoid| 6)
             |XRPOLY;coerce;Ofm$;24| |XRPOLY;*;R2$;30|
             |XRPOLY;monom;OfmR$;3| |XRPOLY;*;$R$;31| |XRPOLY;*;3$;33|
             (|Record| (|:| |k| 6) (|:| |c| $$)) (|List| 22)
             (16 . |ListOfTerms|) |XRPOLY;rquo;3$;4|
             |XRPOLY;coef;2$R;12| |XRPOLY;constant;$R;19|
             (CONS IDENTITY
                   (FUNCALL (|dispatchFunction| |XRPOLY;One;$;17|) $))
             (21 . |One|) (|NonNegativeInteger|) |XRPOLY;trunc;$Nni$;5|
             (|XDistributedPolynomial| 6 7) (25 . |constant?|)
             (30 . |constant|) (35 . <) (|List| 6) (41 . |varList|)
             (|Mapping| 9 6 6) (46 . |sort|) (52 . |lquo|)
             (58 . |Zero|) (62 . =) |XRPOLY;unexpand;Xdp$;6| (68 . **)
             (74 . |sh|) (80 . *) (86 . |sh|) (92 . **) (98 . +)
             (|Record| (|:| |k| 6) (|:| |c| $)) (|List| 50)
             |XRPOLY;RemainderList;$L;9| (104 . *) |XRPOLY;+;3$;27|
             |XRPOLY;lquo;3$;10| '"first" (110 . |elt|) (116 . =)
             (122 . +) (|OutputForm|) (128 . |coerce|)
             |XRPOLY;coerce;$Of;15| (133 . *) (139 . +)
             (|Mapping| 60 60 60) (|List| 60) (145 . |reduce|)
             (151 . |coerce|) |XRPOLY;constant?;$B;18| (156 . |Zero|)
             (160 . |coerce|) |XRPOLY;coerce;VarSet$;21|
             |XRPOLY;coerce;R$;22| (|Integer|) (165 . |coerce|)
             |XRPOLY;coerce;I$;23| (170 . |One|) (174 . =)
             (180 . |first|) (185 . |rest|) |XRPOLY;*;VarSet2$;32|
             (190 . |coerce|) |XRPOLY;expand;$Xdp;25| (195 . *)
             (201 . +) (207 . -) |XRPOLY;-;2$;26| (212 . -) (217 . -)
             |XRPOLY;-;3$;28| (223 . -) (229 . *) |XRPOLY;*;I2$;29|
             (235 . *) (241 . *) (247 . *) (253 . *)
             (259 . |coefficient|) |XRPOLY;lquo;$VarSet$;34|
             |XRPOLY;lquo;$Ofm$;35| |XRPOLY;rquo;$VarSet$;36|
             |XRPOLY;rquo;$Ofm$;37| |XRPOLY;coef;$OfmR;38|
             |XRPOLY;quasiRegular?;$B;39| |XRPOLY;quasiRegular;2$;40|
             (265 . |characteristic|) |XRPOLY;characteristic;Nni;41|
             (|Union| $ '"failed") |XRPOLY;recip;$U;42|
             |XRPOLY;mindeg;$Ofm;43| (269 . *) (275 . |min|)
             |XRPOLY;maxdeg;$Ofm;44| (281 . |max|) (287 . |length|)
             |XRPOLY;degree;$Nni;45| (|Mapping| 7 7)
             |XRPOLY;map;M2$;46| |XRPOLY;varList;$L;47|
             (292 . |setUnion|) (298 . |sort!|)
             (|Record| (|:| |k| 16) (|:| |c| 7)) (|Union| 16 '"failed")
             (|PositiveInteger|) (|String|) (|SingleInteger|))
          '#(~= 303 |zero?| 309 |varList| 314 |unexpand| 319 |trunc|
             324 |subtractIfCan| 330 |sh| 336 |sample| 348 |rquo| 352
             |retractIfCan| 370 |retract| 375 |recip| 380
             |quasiRegular?| 385 |quasiRegular| 390 |one?| 395
             |monomial?| 400 |monom| 405 |mirror| 411 |mindegTerm| 416
             |mindeg| 421 |maxdeg| 426 |map| 431 |lquo| 437 |latex| 455
             |hash| 460 |expand| 465 |degree| 470 |constant?| 475
             |constant| 480 |coerce| 485 |coef| 510 |characteristic|
             522 ^ 526 |Zero| 538 |RemainderList| 542 |One| 547 = 551 -
             557 + 568 ** 574 * 586)
          'NIL
          (CONS (|makeByteWordVec2| 2
                    '(0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
                      1))
                (CONS '#(NIL NIL NIL |Algebra&| |Module&| NIL |Ring&|
                         NIL NIL NIL NIL |AbelianGroup&| NIL NIL
                         |AbelianMonoid&| |Monoid&| NIL |SemiGroup&|
                         |AbelianSemiGroup&| |SetCategory&|
                         |RetractableTo&| NIL |BasicType&| NIL NIL)
                      (CONS '#((|XPolynomialsCat| 6 7)
                               (|XFreeAlgebra| 6 7) (|XAlgebra| 7)
                               (|Algebra| 7) (|Module| 7)
                               (|BiModule| 7 7) (|Ring|)
                               (|LeftModule| 7) (|Rng|)
                               (|RightModule| 7) (|LeftModule| $$)
                               (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|) (|SetCategory|)
                               (|RetractableTo|
                                   (|OrderedFreeMonoid| 6))
                               (|unitsKnown|) (|BasicType|)
                               (|CoercibleTo| 60) (|noZeroDivisors|))
                            (|makeByteWordVec2| 126
                                '(2 7 9 0 0 10 2 11 9 0 0 12 0 7 0 15 1
                                  11 23 0 24 0 7 0 29 1 32 9 0 33 1 32
                                  7 0 34 2 6 9 0 0 35 1 32 36 0 37 2 36
                                  0 38 0 39 2 32 0 0 6 40 0 32 0 41 2
                                  32 9 0 0 42 2 7 0 0 30 44 2 0 0 0 30
                                  45 2 0 0 30 0 46 2 0 0 0 0 47 2 0 0 0
                                  30 48 2 11 0 0 0 49 2 7 0 0 0 53 2 23
                                  22 0 56 57 2 6 9 0 0 58 2 7 0 0 0 59
                                  1 6 60 0 61 2 60 0 0 0 63 2 60 0 0 0
                                  64 2 66 60 65 0 67 1 7 60 0 68 0 11 0
                                  70 1 11 0 6 71 1 7 0 74 75 0 16 0 77
                                  2 16 9 0 0 78 1 16 6 0 79 1 16 0 0 80
                                  1 32 0 7 82 2 32 0 6 0 84 2 32 0 0 0
                                  85 1 7 0 0 86 1 11 0 0 88 2 7 0 0 0
                                  89 2 11 0 0 0 91 2 7 0 74 0 92 2 11 0
                                  74 0 94 2 11 0 2 0 95 2 11 0 6 2 96 2
                                  11 0 0 2 97 2 11 2 0 6 98 0 7 30 106
                                  2 16 0 6 0 111 2 16 0 0 0 112 2 16 0
                                  0 0 114 1 16 30 0 115 2 36 0 0 0 120
                                  1 36 0 0 121 2 0 9 0 0 1 1 0 9 0 1 1
                                  0 36 0 119 1 0 0 32 43 2 0 0 0 30 31
                                  2 0 108 0 0 1 2 2 0 0 30 45 2 2 0 0 0
                                  47 0 0 0 1 2 0 0 0 16 102 2 0 0 0 0
                                  25 2 0 0 0 6 101 1 0 123 0 1 1 0 16 0
                                  1 1 0 108 0 109 1 0 9 0 104 1 0 0 0
                                  105 1 0 9 0 1 1 0 9 0 1 2 0 0 16 7 19
                                  1 0 0 0 1 1 0 122 0 1 1 0 16 0 110 1
                                  0 16 0 113 2 0 0 117 0 118 2 0 0 0 0
                                  55 2 0 0 0 6 99 2 0 0 0 16 100 1 0
                                  125 0 1 1 0 126 0 1 1 0 32 0 83 1 0
                                  30 0 116 1 0 9 0 69 1 0 7 0 27 1 0 0
                                  6 72 1 0 0 16 17 1 0 0 7 73 1 0 0 74
                                  76 1 0 60 0 62 2 0 7 0 16 103 2 0 7 0
                                  0 26 0 0 30 107 2 0 0 0 30 1 2 0 0 0
                                  124 1 0 0 0 14 1 0 51 0 52 0 0 0 28 2
                                  0 9 0 0 13 1 0 0 0 87 2 0 0 0 0 90 2
                                  0 0 0 0 54 2 0 0 0 30 48 2 0 0 0 124
                                  1 2 0 0 6 0 81 2 0 0 0 7 20 2 0 0 7 0
                                  18 2 0 0 0 0 21 2 0 0 74 0 93 2 0 0
                                  30 0 46 2 0 0 124 0 1)))))
          '|lookupComplete|)) 
