
(/VERSIONCHECK 2) 

(DEFUN |SMP;Zero;$;1| ($) (CONS 0 (|spadConstant| $ 11))) 

(DEFUN |SMP;One;$;2| ($) (CONS 0 (|spadConstant| $ 13))) 

(DEFUN |SMP;zero?;$B;3| (|p| $)
  (COND ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 16))) ('T 'NIL))) 

(DEFUN |SMP;one?;$B;4| (|p| $)
  (COND
   ((QEQCAR |p| 0)
    (SPADCALL (QCDR |p|) (QCDR (|spadConstant| $ 14)) (QREFELT $ 18)))
   ('T 'NIL))) 

(DEFUN |SMP;red| (|p| $)
  (COND ((QEQCAR |p| 0) (|spadConstant| $ 12))
        ((SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 20)) (QREFELT $ 21))
         (SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 20)) (QREFELT $ 22)))
        ('T
         (CONS 1
               (CONS (QCAR (QCDR |p|))
                     (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 20))))))) 

(DEFUN |SMP;numberOfMonomials;$Nni;6| (|p| $)
  (PROG (#1=#:G767 #2=#:G766 #3=#:G768 #4=#:G770 |q|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p| 0)
        (COND ((SPADCALL (QCDR |p|) (QREFELT $ 16)) 0) (#5='T 1)))
       (#5#
        (PROGN
         (LETT #1# NIL . #6=(|SMP;numberOfMonomials;$Nni;6|))
         (SEQ (LETT |q| NIL . #6#)
              (LETT #4# (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24)) . #6#) G190
              (COND
               ((OR (ATOM #4#) (PROGN (LETT |q| (CAR #4#) . #6#) NIL))
                (GO G191)))
              (SEQ
               (EXIT
                (PROGN
                 (LETT #3# (SPADCALL |q| (QREFELT $ 26)) . #6#)
                 (COND (#1# (LETT #2# (+ #2# #3#) . #6#))
                       ('T
                        (PROGN (LETT #2# #3# . #6#) (LETT #1# 'T . #6#)))))))
              (LETT #4# (CDR #4#) . #6#) (GO G190) G191 (EXIT NIL))
         (COND (#1# #2#) (#5# 0))))))))) 

(DEFUN |SMP;coerce;VarSet$;7| (|mvar| $)
  (CONS 1 (CONS |mvar| (SPADCALL (|spadConstant| $ 14) 1 (QREFELT $ 27))))) 

(DEFUN |SMP;monomial?;$B;8| (|p| $)
  (PROG (|sup|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) 'T)
            ('T
             (SEQ (LETT |sup| (QCDR (QCDR |p|)) |SMP;monomial?;$B;8|)
                  (COND
                   ((NULL (EQL 1 (SPADCALL |sup| (QREFELT $ 30))))
                    (EXIT 'NIL)))
                  (EXIT
                   (SPADCALL (SPADCALL |sup| (QREFELT $ 22))
                             (QREFELT $ 31)))))))))) 

(DEFUN |SMP;moreThanOneVariable?| (|p| $)
  (PROG (|q|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) 'NIL)
            (#1='T
             (SEQ (LETT |q| (QCDR (QCDR |p|)) |SMP;moreThanOneVariable?|)
                  (EXIT
                   (COND
                    ((SPADCALL (CONS #'|SMP;moreThanOneVariable?!0| $)
                               (SPADCALL |q| (QREFELT $ 24)) (QREFELT $ 36))
                     'T)
                    (#1# 'NIL)))))))))) 

(DEFUN |SMP;moreThanOneVariable?!0| (|x1| $)
  (COND ((SPADCALL |x1| (QREFELT $ 32)) (|spadConstant| $ 33))
        ('T (|spadConstant| $ 34)))) 

(DEFUN |SMP;univariateKnown| (|p| $)
  (COND
   ((QEQCAR |p| 0) (SPADCALL (SPADCALL |p| (QREFELT $ 37)) (QREFELT $ 39)))
   ('T
    (SPADCALL
     (SPADCALL (SPADCALL |p| (QREFELT $ 37))
               (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 40)) (QREFELT $ 41))
     (|SMP;univariateKnown| (|SMP;red| |p| $) $) (QREFELT $ 42))))) 

(DEFUN |SMP;univariate;$Sup;11| (|p| $)
  (COND
   ((QEQCAR |p| 0) (SPADCALL (SPADCALL |p| (QREFELT $ 37)) (QREFELT $ 39)))
   ((|SMP;moreThanOneVariable?| |p| $) (|error| "not univariate"))
   ('T
    (SPADCALL
     (SPADCALL (SPADCALL |p| (QREFELT $ 37))
               (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 40)) (QREFELT $ 41))
     (SPADCALL (|SMP;red| |p| $) (QREFELT $ 43)) (QREFELT $ 42))))) 

(DEFUN |SMP;multivariate;SupVarSet$;12| (|u| |var| $)
  (COND ((SPADCALL |u| (QREFELT $ 44)) (CONS 0 (SPADCALL |u| (QREFELT $ 45))))
        ('T
         (SPADCALL
          (CONS 1
                (CONS |var|
                      (SPADCALL (CONS 0 (SPADCALL |u| (QREFELT $ 45)))
                                (SPADCALL |u| (QREFELT $ 46)) (QREFELT $ 27))))
          (SPADCALL (SPADCALL |u| (QREFELT $ 47)) |var| (QREFELT $ 48))
          (QREFELT $ 49))))) 

(DEFUN |SMP;univariate;$VarSetSup;13| (|p| |mvar| $)
  (PROG (|pt|)
    (RETURN
     (SEQ
      (COND
       ((OR (QEQCAR |p| 0) (SPADCALL (QCAR (QCDR |p|)) |mvar| (QREFELT $ 50)))
        (SPADCALL |p| 0 (QREFELT $ 27)))
       ('T
        (SEQ (LETT |pt| (QCDR (QCDR |p|)) |SMP;univariate;$VarSetSup;13|)
             (EXIT
              (COND ((SPADCALL |mvar| (QCAR (QCDR |p|)) (QREFELT $ 51)) |pt|)
                    ('T
                     (SPADCALL
                      (SPADCALL
                       (SPADCALL (|spadConstant| $ 14) (QCAR (QCDR |p|))
                                 (SPADCALL |pt| (QREFELT $ 40)) (QREFELT $ 52))
                       (SPADCALL (SPADCALL |pt| (QREFELT $ 22)) |mvar|
                                 (QREFELT $ 54))
                       (QREFELT $ 55))
                      (SPADCALL (|SMP;red| |p| $) |mvar| (QREFELT $ 54))
                      (QREFELT $ 56)))))))))))) 

(DEFUN |SMP;unlikeUnivReconstruct| (|u| |mvar| $)
  (PROG (|d|)
    (RETURN
     (COND
      ((ZEROP
        (LETT |d| (SPADCALL |u| (QREFELT $ 58)) |SMP;unlikeUnivReconstruct|))
       (SPADCALL |u| 0 (QREFELT $ 59)))
      ('T
       (SPADCALL
        (SPADCALL (SPADCALL |u| (QREFELT $ 60)) |mvar| |d| (QREFELT $ 52))
        (|SMP;unlikeUnivReconstruct| (SPADCALL |u| (QREFELT $ 61)) |mvar| $)
        (QREFELT $ 49))))))) 

(DEFUN |SMP;multivariate;SupVarSet$;15| (|u| |mvar| $)
  (PROG (#1=#:G806 |uu| |cc|)
    (RETURN
     (SEQ
      (EXIT
       (COND ((SPADCALL |u| (QREFELT $ 62)) (SPADCALL |u| 0 (QREFELT $ 59)))
             ('T
              (SEQ (LETT |uu| |u| . #2=(|SMP;multivariate;SupVarSet$;15|))
                   (SEQ G190
                        (COND
                         ((NULL
                           (COND ((SPADCALL |uu| (QREFELT $ 63)) 'NIL)
                                 ('T 'T)))
                          (GO G191)))
                        (SEQ (LETT |cc| (SPADCALL |uu| (QREFELT $ 60)) . #2#)
                             (COND
                              ((OR (QEQCAR |cc| 0)
                                   (SPADCALL (QCAR (QCDR |cc|)) |mvar|
                                             (QREFELT $ 50)))
                               (EXIT
                                (LETT |uu| (SPADCALL |uu| (QREFELT $ 61))
                                      . #2#))))
                             (EXIT
                              (PROGN
                               (LETT #1#
                                     (|SMP;unlikeUnivReconstruct| |u| |mvar| $)
                                     . #2#)
                               (GO #1#))))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT (CONS 1 (CONS |mvar| |u|)))))))
      #1# (EXIT #1#))))) 

(DEFUN |SMP;ground?;$B;16| (|p| $) (COND ((QEQCAR |p| 0) 'T) ('T 'NIL))) 

(DEFUN |SMP;monomial;$VarSetNni$;17| (|p| |mvar| |k1| $)
  (COND ((OR (ZEROP |k1|) (SPADCALL |p| (QREFELT $ 17))) |p|)
        ((OR (QEQCAR |p| 0) (SPADCALL (QCAR (QCDR |p|)) |mvar| (QREFELT $ 50)))
         (CONS 1 (CONS |mvar| (SPADCALL |p| |k1| (QREFELT $ 27)))))
        ('T
         (SPADCALL |p|
                   (CONS 1
                         (CONS |mvar|
                               (SPADCALL (|spadConstant| $ 14) |k1|
                                         (QREFELT $ 27))))
                   (QREFELT $ 65))))) 

(DEFUN |SMP;monomial;RIe$;18| (|c| |e| $)
  (COND ((SPADCALL |e| (QREFELT $ 67)) (CONS 0 |c|))
        ('T
         (SPADCALL
          (SPADCALL (|spadConstant| $ 14) (SPADCALL |e| (QREFELT $ 68))
                    (SPADCALL |e| (QREFELT $ 69)) (QREFELT $ 52))
          (SPADCALL |c| (SPADCALL |e| (QREFELT $ 70)) (QREFELT $ 71))
          (QREFELT $ 65))))) 

(DEFUN |SMP;coefficient;$IeR;19| (|p| |e| $)
  (PROG (|vp| |ve|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |e| (QREFELT $ 67))
        (COND ((QEQCAR |p| 0) (QCDR |p|))
              (#1='T
               (SPADCALL (SPADCALL (QCDR (QCDR |p|)) 0 (QREFELT $ 72)) |e|
                         (QREFELT $ 73)))))
       ((QEQCAR |p| 0) (QCDR (|spadConstant| $ 12)))
       (#1#
        (SEQ
         (LETT |ve| (SPADCALL |e| (QREFELT $ 68))
               . #2=(|SMP;coefficient;$IeR;19|))
         (LETT |vp| (QCAR (QCDR |p|)) . #2#)
         (EXIT
          (COND
           ((SPADCALL |ve| |vp| (QREFELT $ 50))
            (SPADCALL (SPADCALL (QCDR (QCDR |p|)) 0 (QREFELT $ 72)) |e|
                      (QREFELT $ 73)))
           ((SPADCALL |vp| |ve| (QREFELT $ 50)) (QCDR (|spadConstant| $ 12)))
           (#1#
            (SPADCALL
             (SPADCALL (QCDR (QCDR |p|)) (SPADCALL |e| (QREFELT $ 69))
                       (QREFELT $ 72))
             (SPADCALL |e| (QREFELT $ 70)) (QREFELT $ 73)))))))))))) 

(DEFUN |SMP;coerce;I$;20| (|n| $) (CONS 0 (SPADCALL |n| (QREFELT $ 75)))) 

(PUT '|SMP;coerce;R$;21| '|SPADreplace| '(XLAM (|c|) (CONS 0 |c|))) 

(DEFUN |SMP;coerce;R$;21| (|c| $) (CONS 0 |c|)) 

(DEFUN |SMP;characteristic;Nni;22| ($) (SPADCALL (QREFELT $ 78))) 

(DEFUN |SMP;recip;$U;23| (|p| $)
  (PROG (|uu|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p| 0)
        (SEQ (LETT |uu| (SPADCALL (QCDR |p|) (QREFELT $ 81)) |SMP;recip;$U;23|)
             (EXIT
              (COND ((QEQCAR |uu| 1) (CONS 1 "failed"))
                    (#1='T (CONS 0 (CONS 0 (QCDR |uu|))))))))
       (#1# (CONS 1 "failed"))))))) 

(DEFUN |SMP;-;2$;24| (|p| $)
  (COND ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) (QREFELT $ 83))))
        ('T
         (CONS 1
               (CONS (QCAR (QCDR |p|))
                     (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 84))))))) 

(DEFUN |SMP;*;I2$;25| (|n| |p| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (CONS 0 (SPADCALL |n| (QCDR |p|) (QREFELT $ 86))))
            (#1='T
             (SEQ (LETT |mvar| (QCAR (QCDR |p|)) . #2=(|SMP;*;I2$;25|))
                  (LETT |up| (SPADCALL |n| (QCDR (QCDR |p|)) (QREFELT $ 87))
                        . #2#)
                  (EXIT
                   (COND
                    ((SPADCALL |up| (QREFELT $ 21))
                     (SPADCALL |up| (QREFELT $ 22)))
                    (#1# (CONS 1 (CONS |mvar| |up|)))))))))))) 

(DEFUN |SMP;*;R2$;26| (|c| |p| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((SPADCALL |c| (QCDR (|spadConstant| $ 14)) (QREFELT $ 18)) |p|)
            ((QEQCAR |p| 0) (CONS 0 (SPADCALL |c| (QCDR |p|) (QREFELT $ 89))))
            (#1='T
             (SEQ (LETT |mvar| (QCAR (QCDR |p|)) . #2=(|SMP;*;R2$;26|))
                  (LETT |up|
                        (SPADCALL (CONS 0 |c|) (QCDR (QCDR |p|))
                                  (QREFELT $ 55))
                        . #2#)
                  (EXIT
                   (COND
                    ((SPADCALL |up| (QREFELT $ 21))
                     (SPADCALL |up| (QREFELT $ 22)))
                    (#1# (CONS 1 (CONS |mvar| |up|)))))))))))) 

(DEFUN |SMP;+;3$;27| (|p1| |p2| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p1| 0)
        (COND
         ((QEQCAR |p2| 0)
          (EXIT (CONS 0 (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 91))))))))
      (EXIT
       (COND
        ((QEQCAR |p1| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p2|))
                     (SPADCALL (SPADCALL |p1| (QREFELT $ 92))
                               (QCDR (QCDR |p2|)) (QREFELT $ 56)))))
        ((QEQCAR |p2| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p1|))
                     (SPADCALL (QCDR (QCDR |p1|))
                               (SPADCALL |p2| (QREFELT $ 92))
                               (QREFELT $ 56)))))
        (#1='T
         (COND
          ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 51))
           (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;+;3$;27|))
                (LETT |up|
                      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                                (QREFELT $ 56))
                      . #2#)
                (EXIT
                 (COND
                  ((SPADCALL |up| (QREFELT $ 21))
                   (SPADCALL |up| (QREFELT $ 22)))
                  (#1# (CONS 1 (CONS |mvar| |up|)))))))
          ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 50))
           (CONS 1
                 (CONS (QCAR (QCDR |p2|))
                       (SPADCALL (SPADCALL |p1| (QREFELT $ 92))
                                 (QCDR (QCDR |p2|)) (QREFELT $ 56)))))
          (#1#
           (CONS 1
                 (CONS (QCAR (QCDR |p1|))
                       (SPADCALL (QCDR (QCDR |p1|))
                                 (SPADCALL |p2| (QREFELT $ 92))
                                 (QREFELT $ 56))))))))))))) 

(DEFUN |SMP;-;3$;28| (|p1| |p2| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p1| 0)
        (COND
         ((QEQCAR |p2| 0)
          (EXIT (CONS 0 (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 93))))))))
      (EXIT
       (COND
        ((QEQCAR |p1| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p2|))
                     (SPADCALL (SPADCALL |p1| (QREFELT $ 92))
                               (QCDR (QCDR |p2|)) (QREFELT $ 94)))))
        ((QEQCAR |p2| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p1|))
                     (SPADCALL (QCDR (QCDR |p1|))
                               (SPADCALL |p2| (QREFELT $ 92))
                               (QREFELT $ 94)))))
        (#1='T
         (COND
          ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 51))
           (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;-;3$;28|))
                (LETT |up|
                      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                                (QREFELT $ 94))
                      . #2#)
                (EXIT
                 (COND
                  ((SPADCALL |up| (QREFELT $ 21))
                   (SPADCALL |up| (QREFELT $ 22)))
                  (#1# (CONS 1 (CONS |mvar| |up|)))))))
          ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 50))
           (CONS 1
                 (CONS (QCAR (QCDR |p2|))
                       (SPADCALL (SPADCALL |p1| (QREFELT $ 92))
                                 (QCDR (QCDR |p2|)) (QREFELT $ 94)))))
          (#1#
           (CONS 1
                 (CONS (QCAR (QCDR |p1|))
                       (SPADCALL (QCDR (QCDR |p1|))
                                 (SPADCALL |p2| (QREFELT $ 92))
                                 (QREFELT $ 94))))))))))))) 

(DEFUN |SMP;=;2$B;29| (|p1| |p2| $)
  (COND
   ((QEQCAR |p1| 0)
    (COND ((QEQCAR |p2| 0) (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 18)))
          (#1='T 'NIL)))
   ((QEQCAR |p2| 0) 'NIL)
   (#1#
    (COND
     ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 51))
      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|)) (QREFELT $ 96)))
     (#1# 'NIL))))) 

(DEFUN |SMP;*;3$;30| (|p1| |p2| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p1| 0) (SPADCALL (QCDR |p1|) |p2| (QREFELT $ 90)))
            ((QEQCAR |p2| 0)
             (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1=(|SMP;*;3$;30|))
                  (LETT |up| (SPADCALL (QCDR (QCDR |p1|)) |p2| (QREFELT $ 98))
                        . #1#)
                  (EXIT
                   (COND
                    ((SPADCALL |up| (QREFELT $ 21))
                     (SPADCALL |up| (QREFELT $ 22)))
                    (#2='T (CONS 1 (CONS |mvar| |up|)))))))
            (#2#
             (COND
              ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 51))
               (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1#)
                    (LETT |up|
                          (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                                    (QREFELT $ 99))
                          . #1#)
                    (EXIT
                     (COND
                      ((SPADCALL |up| (QREFELT $ 21))
                       (SPADCALL |up| (QREFELT $ 22)))
                      (#2# (CONS 1 (CONS |mvar| |up|)))))))
              ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|)) (QREFELT $ 50))
               (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1#)
                    (LETT |up|
                          (SPADCALL (QCDR (QCDR |p1|)) |p2| (QREFELT $ 98))
                          . #1#)
                    (EXIT
                     (COND
                      ((SPADCALL |up| (QREFELT $ 21))
                       (SPADCALL |up| (QREFELT $ 22)))
                      (#2# (CONS 1 (CONS |mvar| |up|)))))))
              (#2#
               (SEQ (LETT |mvar| (QCAR (QCDR |p2|)) . #1#)
                    (LETT |up|
                          (SPADCALL |p1| (QCDR (QCDR |p2|)) (QREFELT $ 55))
                          . #1#)
                    (EXIT
                     (COND
                      ((SPADCALL |up| (QREFELT $ 21))
                       (SPADCALL |up| (QREFELT $ 22)))
                      (#2# (CONS 1 (CONS |mvar| |up|)))))))))))))) 

(DEFUN |SMP;^;$Pi$;31| (|p| |kp| $) (SPADCALL |p| |kp| (QREFELT $ 100))) 

(DEFUN |SMP;^;$Pi$;32| (|p| |kp| $) (SPADCALL |p| |kp| (QREFELT $ 100))) 

(DEFUN |SMP;^;$Nni$;33| (|p| |k| $) (SPADCALL |p| |k| (QREFELT $ 100))) 

(DEFUN |SMP;^;$Nni$;34| (|p| |k| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) |k| (QREFELT $ 103))))
            ((NULL (|SMP;moreThanOneVariable?| |p| $))
             (SPADCALL
              (SPADCALL (|SMP;univariateKnown| |p| $) |k| (QREFELT $ 104))
              (QCAR (QCDR |p|)) (QREFELT $ 48)))
            ('T
             (SEQ (LETT |mvar| (QCAR (QCDR |p|)) . #1=(|SMP;^;$Nni$;34|))
                  (LETT |up| (SPADCALL (QCDR (QCDR |p|)) |k| (QREFELT $ 105))
                        . #1#)
                  (EXIT
                   (COND
                    ((SPADCALL |up| (QREFELT $ 21))
                     (SPADCALL |up| (QREFELT $ 22)))
                    ('T (CONS 1 (CONS |mvar| |up|)))))))))))) 

(DEFUN |SMP;unitNormal;$R;35| (|p| $)
  (PROG (|a| |c| |u| |#G63| |#G62|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p| 0)
        (SEQ
         (PROGN
          (LETT |#G62| (SPADCALL (QCDR |p|) (QREFELT $ 107))
                . #1=(|SMP;unitNormal;$R;35|))
          (LETT |u| (QVELT |#G62| 0) . #1#)
          (LETT |c| (QVELT |#G62| 1) . #1#)
          (LETT |a| (QVELT |#G62| 2) . #1#)
          |#G62|)
         (EXIT (VECTOR (CONS 0 |u|) (CONS 0 |c|) (CONS 0 |a|)))))
       ('T
        (SEQ
         (PROGN
          (LETT |#G63| (SPADCALL (SPADCALL |p| (QREFELT $ 37)) (QREFELT $ 107))
                . #1#)
          (LETT |u| (QVELT |#G63| 0) . #1#)
          (LETT |c| (QVELT |#G63| 1) . #1#)
          (LETT |a| (QVELT |#G63| 2) . #1#)
          |#G63|)
         (EXIT
          (VECTOR (CONS 0 |u|) (SPADCALL |a| |p| (QREFELT $ 90))
                  (CONS 0 |a|)))))))))) 

(DEFUN |SMP;unitCanonical;2$;36| (|p| $)
  (PROG (|a| |c| |u| |#G68|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) (QREFELT $ 109))))
            ('T
             (SEQ
              (PROGN
               (LETT |#G68|
                     (SPADCALL (SPADCALL |p| (QREFELT $ 37)) (QREFELT $ 107))
                     . #1=(|SMP;unitCanonical;2$;36|))
               (LETT |u| (QVELT |#G68| 0) . #1#)
               (LETT |c| (QVELT |#G68| 1) . #1#)
               (LETT |a| (QVELT |#G68| 2) . #1#)
               |#G68|)
              (EXIT (SPADCALL |a| |p| (QREFELT $ 90)))))))))) 

(DEFUN |SMP;unit?;$B;37| (|p| $)
  (COND ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 111))) ('T 'NIL))) 

(DEFUN |SMP;associates?;2$B;38| (|p1| |p2| $)
  (COND
   ((QEQCAR |p1| 0)
    (COND ((QEQCAR |p2| 0) (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 113)))
          (#1='T 'NIL)))
   ((QEQCAR |p2| 1)
    (COND
     ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 51))
      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|)) (QREFELT $ 114)))
     (#1# 'NIL)))
   (#1# 'NIL))) 

(DEFUN |SMP;exquo;2$U;39| (|p1| |p2| $)
  (PROG (|up| |mvar| |a|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p1| 0)
        (COND
         ((QEQCAR |p2| 0)
          (EXIT
           (SEQ
            (LETT |a| (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 116))
                  . #1=(|SMP;exquo;2$U;39|))
            (EXIT
             (COND ((QEQCAR |a| 1) (CONS 1 "failed"))
                   (#2='T (CONS 0 (CONS 0 (QCDR |a|))))))))))))
      (EXIT
       (COND
        ((OR (SPADCALL |p1| (QREFELT $ 17))
             (SPADCALL |p2| (|spadConstant| $ 14) (QREFELT $ 97)))
         (CONS 0 |p1|))
        ('T
         (SEQ
          (COND ((QEQCAR |p1| 0) (EXIT (CONS 1 #3="failed")))
                ((QEQCAR |p2| 1)
                 (COND
                  ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|))
                             (QREFELT $ 50))
                   (EXIT (CONS 1 #3#))))))
          (COND
           ((OR (QEQCAR |p2| 0)
                (SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|))
                          (QREFELT $ 50)))
            (EXIT
             (SEQ
              (LETT |a|
                    (SPADCALL (QCDR (QCDR |p1|)) (SPADCALL |p2| (QREFELT $ 92))
                              (QREFELT $ 117))
                    . #1#)
              (EXIT
               (COND ((QEQCAR |a| 1) (CONS 1 "failed"))
                     (#2#
                      (CONS 0
                            (CONS 1
                                  (CONS (QCAR (QCDR |p1|)) (QCDR |a|)))))))))))
          (EXIT
           (COND
            ((SPADCALL |p1| |p2| (QREFELT $ 97))
             (CONS 0 (|spadConstant| $ 14)))
            (#2#
             (SEQ
              (LETT |a|
                    (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                              (QREFELT $ 117))
                    . #1#)
              (EXIT
               (COND ((QEQCAR |a| 1) (CONS 1 "failed"))
                     (#2#
                      (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1#)
                           (LETT |up| (QCDR |a|) . #1#)
                           (EXIT
                            (COND
                             ((SPADCALL |up| (QREFELT $ 62))
                              (CONS 0 (SPADCALL |up| (QREFELT $ 60))))
                             (#2#
                              (CONS 0
                                    (CONS 1
                                          (CONS |mvar|
                                                |up|)))))))))))))))))))))) 

(DEFUN |SMP;exquo;2$U;40| (|p1| |p2| $)
  (PROG (|up| |mvar| |a|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p1| 0)
        (COND
         ((QEQCAR |p2| 0)
          (EXIT
           (SEQ
            (LETT |a| (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 116))
                  . #1=(|SMP;exquo;2$U;40|))
            (EXIT
             (COND ((QEQCAR |a| 1) (CONS 1 "failed"))
                   (#2='T (CONS 0 (CONS 0 (QCDR |a|))))))))))))
      (EXIT
       (COND
        ((OR (SPADCALL |p1| (QREFELT $ 17))
             (SPADCALL |p2| (|spadConstant| $ 14) (QREFELT $ 97)))
         (CONS 0 |p1|))
        ('T
         (SEQ
          (COND ((QEQCAR |p1| 0) (EXIT (CONS 1 #3="failed")))
                ((QEQCAR |p2| 1)
                 (COND
                  ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|))
                             (QREFELT $ 50))
                   (EXIT (CONS 1 #3#))))))
          (COND
           ((OR (QEQCAR |p2| 0)
                (SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|))
                          (QREFELT $ 50)))
            (EXIT
             (SEQ
              (LETT |a|
                    (SPADCALL (QCDR (QCDR |p1|)) (SPADCALL |p2| (QREFELT $ 92))
                              (QREFELT $ 117))
                    . #1#)
              (EXIT
               (COND ((QEQCAR |a| 1) (CONS 1 "failed"))
                     (#2#
                      (CONS 0
                            (CONS 1
                                  (CONS (QCAR (QCDR |p1|)) (QCDR |a|)))))))))))
          (LETT |a|
                (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                          (QREFELT $ 117))
                . #1#)
          (EXIT
           (COND ((QEQCAR |a| 1) (CONS 1 "failed"))
                 (#2#
                  (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1#)
                       (LETT |up| (QCDR |a|) . #1#)
                       (EXIT
                        (COND
                         ((SPADCALL |up| (QREFELT $ 62))
                          (CONS 0 (SPADCALL |up| (QREFELT $ 60))))
                         (#2#
                          (CONS 0 (CONS 1 (CONS |mvar| |up|)))))))))))))))))) 

(DEFUN |SMP;map;M2$;41| (|fn| |p| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) |fn|)))
            (#1='T
             (SEQ (LETT |mvar| (QCAR (QCDR |p|)) . #2=(|SMP;map;M2$;41|))
                  (LETT |up|
                        (SPADCALL (CONS #'|SMP;map;M2$;41!0| (VECTOR $ |fn|))
                                  (QCDR (QCDR |p|)) (QREFELT $ 122))
                        . #2#)
                  (EXIT
                   (COND
                    ((SPADCALL |up| (QREFELT $ 21))
                     (SPADCALL |up| (QREFELT $ 22)))
                    (#1# (CONS 1 (CONS |mvar| |up|)))))))))))) 

(DEFUN |SMP;map;M2$;41!0| (|x1| $$)
  (PROG (|fn| $)
    (LETT |fn| (QREFELT $$ 1) . #1=(|SMP;map;M2$;41|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |fn| |x1| (QREFELT $ 120)))))) 

(DEFUN |SMP;/;$R$;42| (|p| |r| $)
  (SPADCALL (CONS 0 (SPADCALL |r| (QREFELT $ 123))) |p| (QREFELT $ 65))) 

(DEFUN |SMP;content;$R;43| (|p| $)
  (PROG (|up| |c|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (QCDR |p|))
            ('T
             (SEQ
              (LETT |c| (QCDR (|spadConstant| $ 12))
                    . #1=(|SMP;content;$R;43|))
              (LETT |up| (QCDR (QCDR |p|)) . #1#)
              (SEQ G190
                   (COND
                    ((NULL
                      (COND
                       ((OR (SPADCALL |up| (QREFELT $ 125))
                            (SPADCALL |c| (QCDR (|spadConstant| $ 14))
                                      (QREFELT $ 18)))
                        'NIL)
                       ('T 'T)))
                     (GO G191)))
                   (SEQ
                    (LETT |c|
                          (SPADCALL |c|
                                    (SPADCALL (SPADCALL |up| (QREFELT $ 22))
                                              (QREFELT $ 126))
                                    (QREFELT $ 127))
                          . #1#)
                    (EXIT (LETT |up| (SPADCALL |up| (QREFELT $ 20)) . #1#)))
                   NIL (GO G190) G191 (EXIT NIL))
              (EXIT |c|)))))))) 

(DEFUN |SMP;content;$VarSet$;44| (|p| |mvar| $)
  (COND ((QEQCAR |p| 0) |p|)
        ('T (SPADCALL (SPADCALL |p| |mvar| (QREFELT $ 54)) (QREFELT $ 128))))) 

(DEFUN |SMP;gcd;3$;45| (|p1| |p2| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p1| 0)
        (COND
         ((QEQCAR |p2| 0)
          (CONS 0 (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 127))))
         ((SPADCALL |p1| (QREFELT $ 17)) |p2|)
         (#1='T
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 128))
                    (QREFELT $ 130)))))
       ((QEQCAR |p2| 0)
        (COND ((SPADCALL |p2| (QREFELT $ 17)) |p1|)
              (#1#
               (SPADCALL |p2| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 128))
                         (QREFELT $ 130)))))
       (#1#
        (COND
         ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 50))
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 128))
                    (QREFELT $ 130)))
         ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|)) (QREFELT $ 50))
          (SPADCALL (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 128)) |p2|
                    (QREFELT $ 130)))
         (#1#
          (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;gcd;3$;45|))
               (LETT |up|
                     (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                               (QREFELT $ 131))
                     . #2#)
               (EXIT
                (COND
                 ((SPADCALL |up| (QREFELT $ 21))
                  (SPADCALL |up| (QREFELT $ 22)))
                 (#1# (CONS 1 (CONS |mvar| |up|)))))))))))))) 

(DEFUN |SMP;gcdPolynomial;3Sup;46| (|a| |b| $)
  (PROG (|mong| #1=#:G962 |monb| |contb| |mona| |conta|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |a| (QREFELT $ 62))
        (COND ((SPADCALL |a| (QREFELT $ 63)) |b|)
              (#2='T
               (SPADCALL
                (SPADCALL (SPADCALL |a| (QREFELT $ 60))
                          (SPADCALL |b| (QREFELT $ 132)) (QREFELT $ 130))
                (QREFELT $ 133)))))
       ((SPADCALL |b| (QREFELT $ 62))
        (COND ((SPADCALL |b| (QREFELT $ 63)) |b|)
              (#2#
               (SPADCALL
                (SPADCALL (SPADCALL |b| (QREFELT $ 60))
                          (SPADCALL |a| (QREFELT $ 132)) (QREFELT $ 130))
                (QREFELT $ 133)))))
       (#2#
        (SEQ
         (LETT |conta| (SPADCALL |a| (QREFELT $ 132))
               . #3=(|SMP;gcdPolynomial;3Sup;46|))
         (LETT |mona|
               (SPADCALL |conta| (SPADCALL |a| (QREFELT $ 134)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |mona| (|spadConstant| $ 29) (QREFELT $ 135)))
           (LETT |a|
                 (PROG2
                     (LETT #1# (SPADCALL |a| |mona| (QREFELT $ 136)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |contb| (SPADCALL |b| (QREFELT $ 132)) . #3#)
         (LETT |monb|
               (SPADCALL |contb| (SPADCALL |b| (QREFELT $ 134)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |monb| (|spadConstant| $ 29) (QREFELT $ 135)))
           (LETT |b|
                 (PROG2
                     (LETT #1# (SPADCALL |b| |monb| (QREFELT $ 136)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |mong|
               (SPADCALL (SPADCALL |conta| |contb| (QREFELT $ 130))
                         (MIN (SPADCALL |mona| (QREFELT $ 58))
                              (SPADCALL |monb| (QREFELT $ 58)))
                         (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL
            (< (SPADCALL |a| (QREFELT $ 58)) (SPADCALL |b| (QREFELT $ 58))))
           (EXIT
            (COND
             ((NULL (QEQCAR (SPADCALL |a| |b| (QREFELT $ 136)) 1))
              (SPADCALL |mong| |b| (QREFELT $ 137)))
             ('T |mong|)))))
         (COND
          ((NULL (QEQCAR (SPADCALL |b| |a| (QREFELT $ 136)) 1))
           (EXIT (SPADCALL |mong| |a| (QREFELT $ 137)))))
         (EXIT |mong|)))))))) 

(DEFUN |SMP;content;$VarSet$;47| (|p| |mvar| $)
  (COND ((QEQCAR |p| 0) |p|)
        ('T
         (SPADCALL
          (SPADCALL (SPADCALL |p| |mvar| (QREFELT $ 54)) (QREFELT $ 24))
          (QREFELT $ 140))))) 

(DEFUN |SMP;gcd;3$;48| (|p1| |p2| $) (SPADCALL |p1| |p2| (QREFELT $ 141))) 

(DEFUN |SMP;gcd;L$;49| (|lp| $) (SPADCALL |lp| (QREFELT $ 140))) 

(DEFUN |SMP;gcdPolynomial;3Sup;50| (|a| |b| $)
  (SPADCALL |a| |b| (QREFELT $ 144))) 

(DEFUN |SMP;content;$VarSet$;51| (|p| |mvar| $)
  (COND ((QEQCAR |p| 0) |p|)
        ('T (SPADCALL (SPADCALL |p| |mvar| (QREFELT $ 54)) (QREFELT $ 128))))) 

(DEFUN |SMP;gcd;3$;52| (|p1| |p2| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p1| 0)
        (COND
         ((QEQCAR |p2| 0)
          (CONS 0 (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 127))))
         ((SPADCALL |p1| (QREFELT $ 17)) |p2|)
         (#1='T
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 128))
                    (QREFELT $ 130)))))
       ((QEQCAR |p2| 0)
        (COND ((SPADCALL |p2| (QREFELT $ 17)) |p1|)
              (#1#
               (SPADCALL |p2| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 128))
                         (QREFELT $ 130)))))
       (#1#
        (COND
         ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 50))
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 128))
                    (QREFELT $ 130)))
         ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|)) (QREFELT $ 50))
          (SPADCALL (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 128)) |p2|
                    (QREFELT $ 130)))
         (#1#
          (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;gcd;3$;52|))
               (LETT |up|
                     (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                               (QREFELT $ 131))
                     . #2#)
               (EXIT
                (COND
                 ((SPADCALL |up| (QREFELT $ 21))
                  (SPADCALL |up| (QREFELT $ 22)))
                 (#1# (CONS 1 (CONS |mvar| |up|)))))))))))))) 

(DEFUN |SMP;gcdPolynomial;3Sup;53| (|a| |b| $)
  (PROG (|mong| #1=#:G992 |monb| |contb| |mona| |conta|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |a| (QREFELT $ 62))
        (COND ((SPADCALL |a| (QREFELT $ 63)) |b|)
              (#2='T
               (SPADCALL
                (SPADCALL (SPADCALL |a| (QREFELT $ 60))
                          (SPADCALL |b| (QREFELT $ 132)) (QREFELT $ 130))
                (QREFELT $ 133)))))
       ((SPADCALL |b| (QREFELT $ 62))
        (COND ((SPADCALL |b| (QREFELT $ 63)) |b|)
              (#2#
               (SPADCALL
                (SPADCALL (SPADCALL |b| (QREFELT $ 60))
                          (SPADCALL |a| (QREFELT $ 132)) (QREFELT $ 130))
                (QREFELT $ 133)))))
       (#2#
        (SEQ
         (LETT |conta| (SPADCALL |a| (QREFELT $ 132))
               . #3=(|SMP;gcdPolynomial;3Sup;53|))
         (LETT |mona|
               (SPADCALL |conta| (SPADCALL |a| (QREFELT $ 134)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |mona| (|spadConstant| $ 29) (QREFELT $ 135)))
           (LETT |a|
                 (PROG2
                     (LETT #1# (SPADCALL |a| |mona| (QREFELT $ 136)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |contb| (SPADCALL |b| (QREFELT $ 132)) . #3#)
         (LETT |monb|
               (SPADCALL |contb| (SPADCALL |b| (QREFELT $ 134)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |monb| (|spadConstant| $ 29) (QREFELT $ 135)))
           (LETT |b|
                 (PROG2
                     (LETT #1# (SPADCALL |b| |monb| (QREFELT $ 136)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |mong|
               (SPADCALL (SPADCALL |conta| |contb| (QREFELT $ 130))
                         (MIN (SPADCALL |mona| (QREFELT $ 58))
                              (SPADCALL |monb| (QREFELT $ 58)))
                         (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL
            (< (SPADCALL |a| (QREFELT $ 58)) (SPADCALL |b| (QREFELT $ 58))))
           (EXIT
            (COND
             ((NULL (QEQCAR (SPADCALL |a| |b| (QREFELT $ 136)) 1))
              (SPADCALL |mong| |b| (QREFELT $ 137)))
             ('T |mong|)))))
         (COND
          ((NULL (QEQCAR (SPADCALL |b| |a| (QREFELT $ 136)) 1))
           (EXIT (SPADCALL |mong| |a| (QREFELT $ 137)))))
         (EXIT |mong|)))))))) 

(DEFUN |SMP;content;$VarSet$;54| (|p| |mvar| $)
  (COND ((QEQCAR |p| 0) |p|)
        ('T (SPADCALL (SPADCALL |p| |mvar| (QREFELT $ 54)) (QREFELT $ 128))))) 

(DEFUN |SMP;gcd;3$;55| (|p1| |p2| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p1| 0)
        (COND
         ((QEQCAR |p2| 0)
          (CONS 0 (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 127))))
         ((SPADCALL |p1| (QREFELT $ 17)) |p2|)
         (#1='T
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 128))
                    (QREFELT $ 130)))))
       ((QEQCAR |p2| 0)
        (COND ((SPADCALL |p2| (QREFELT $ 17)) |p1|)
              (#1#
               (SPADCALL |p2| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 128))
                         (QREFELT $ 130)))))
       (#1#
        (COND
         ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 50))
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 128))
                    (QREFELT $ 130)))
         ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|)) (QREFELT $ 50))
          (SPADCALL (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 128)) |p2|
                    (QREFELT $ 130)))
         (#1#
          (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;gcd;3$;55|))
               (LETT |up|
                     (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                               (QREFELT $ 131))
                     . #2#)
               (EXIT
                (COND
                 ((SPADCALL |up| (QREFELT $ 21))
                  (SPADCALL |up| (QREFELT $ 22)))
                 (#1# (CONS 1 (CONS |mvar| |up|)))))))))))))) 

(DEFUN |SMP;gcdPolynomial;3Sup;56| (|a| |b| $)
  (PROG (|mong| #1=#:G1018 |monb| |contb| |mona| |conta|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |a| (QREFELT $ 62))
        (COND ((SPADCALL |a| (QREFELT $ 63)) |b|)
              (#2='T
               (SPADCALL
                (SPADCALL (SPADCALL |a| (QREFELT $ 60))
                          (SPADCALL |b| (QREFELT $ 132)) (QREFELT $ 130))
                (QREFELT $ 133)))))
       ((SPADCALL |b| (QREFELT $ 62))
        (COND ((SPADCALL |b| (QREFELT $ 63)) |b|)
              (#2#
               (SPADCALL
                (SPADCALL (SPADCALL |b| (QREFELT $ 60))
                          (SPADCALL |a| (QREFELT $ 132)) (QREFELT $ 130))
                (QREFELT $ 133)))))
       (#2#
        (SEQ
         (LETT |conta| (SPADCALL |a| (QREFELT $ 132))
               . #3=(|SMP;gcdPolynomial;3Sup;56|))
         (LETT |mona|
               (SPADCALL |conta| (SPADCALL |a| (QREFELT $ 134)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |mona| (|spadConstant| $ 29) (QREFELT $ 135)))
           (LETT |a|
                 (PROG2
                     (LETT #1# (SPADCALL |a| |mona| (QREFELT $ 136)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |contb| (SPADCALL |b| (QREFELT $ 132)) . #3#)
         (LETT |monb|
               (SPADCALL |contb| (SPADCALL |b| (QREFELT $ 134)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |monb| (|spadConstant| $ 29) (QREFELT $ 135)))
           (LETT |b|
                 (PROG2
                     (LETT #1# (SPADCALL |b| |monb| (QREFELT $ 136)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |mong|
               (SPADCALL (SPADCALL |conta| |contb| (QREFELT $ 130))
                         (MIN (SPADCALL |mona| (QREFELT $ 58))
                              (SPADCALL |monb| (QREFELT $ 58)))
                         (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL
            (< (SPADCALL |a| (QREFELT $ 58)) (SPADCALL |b| (QREFELT $ 58))))
           (EXIT
            (COND
             ((NULL (QEQCAR (SPADCALL |a| |b| (QREFELT $ 136)) 1))
              (SPADCALL |mong| |b| (QREFELT $ 137)))
             ('T |mong|)))))
         (COND
          ((NULL (QEQCAR (SPADCALL |b| |a| (QREFELT $ 136)) 1))
           (EXIT (SPADCALL |mong| |a| (QREFELT $ 137)))))
         (EXIT |mong|)))))))) 

(DEFUN |SMP;coerce;$Of;57| (|p| $)
  (COND ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 146)))
        ('T
         (SPADCALL (QCDR (QCDR |p|))
                   (SPADCALL (QCAR (QCDR |p|)) (QREFELT $ 147))
                   (QREFELT $ 148))))) 

(DEFUN |SMP;coefficients;$L;58| (|p| $)
  (PROG (#1=#:G1033 #2=#:G1032 #3=#:G1034 #4=#:G1036 |p1|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 151)))
            (#5='T
             (PROGN
              (LETT #1# NIL . #6=(|SMP;coefficients;$L;58|))
              (SEQ (LETT |p1| NIL . #6#)
                   (LETT #4# (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24)) . #6#)
                   G190
                   (COND
                    ((OR (ATOM #4#) (PROGN (LETT |p1| (CAR #4#) . #6#) NIL))
                     (GO G191)))
                   (SEQ
                    (EXIT
                     (PROGN
                      (LETT #3# (SPADCALL |p1| (QREFELT $ 152)) . #6#)
                      (COND (#1# (LETT #2# (APPEND #2# #3#) . #6#))
                            ('T
                             (PROGN
                              (LETT #2# #3# . #6#)
                              (LETT #1# 'T . #6#)))))))
                   (LETT #4# (CDR #4#) . #6#) (GO G190) G191 (EXIT NIL))
              (COND (#1# #2#) (#5# NIL))))))))) 

(DEFUN |SMP;retract;$R;59| (|p| $)
  (COND ((QEQCAR |p| 0) (QCDR |p|))
        ('T (|error| "cannot retract nonconstant polynomial")))) 

(DEFUN |SMP;retractIfCan;$U;60| (|p| $)
  (COND ((QEQCAR |p| 0) (CONS 0 (QCDR |p|))) ('T (CONS 1 "failed")))) 

(DEFUN |SMP;mymerge| (|l| |m| $)
  (SEQ
   (COND ((NULL |l|) |m|) ((NULL |m|) |l|)
         ((SPADCALL (|SPADfirst| |l|) (|SPADfirst| |m|) (QREFELT $ 51))
          (COND
           ((NULL (CDR |l|))
            (SEQ (SPADCALL |l| (CDR |m|) (QREFELT $ 158)) (EXIT |l|)))
           ((NULL (CDR |m|)) |l|)
           (#1='T
            (SEQ
             (SPADCALL |l| (|SMP;mymerge| (CDR |l|) (CDR |m|) $)
                       (QREFELT $ 158))
             (EXIT |l|)))))
         ((SPADCALL (|SPADfirst| |m|) (|SPADfirst| |l|) (QREFELT $ 50))
          (COND
           ((NULL (CDR |l|))
            (SEQ (SPADCALL |l| |m| (QREFELT $ 158)) (EXIT |l|)))
           (#1#
            (SEQ (SPADCALL |l| (|SMP;mymerge| (CDR |l|) |m| $) (QREFELT $ 158))
                 (EXIT |l|)))))
         ((NULL (CDR |m|)) (SEQ (SPADCALL |m| |l| (QREFELT $ 158)) (EXIT |m|)))
         (#1#
          (SEQ (SPADCALL |m| (|SMP;mymerge| |l| (CDR |m|) $) (QREFELT $ 158))
               (EXIT |m|)))))) 

(DEFUN |SMP;variables;$L;62| (|p| $)
  (PROG (|q| |lv|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) NIL)
            ('T
             (SEQ (LETT |lv| NIL . #1=(|SMP;variables;$L;62|))
                  (LETT |q| (QCDR (QCDR |p|)) . #1#)
                  (SEQ G190
                       (COND
                        ((NULL
                          (COND ((SPADCALL |q| (QREFELT $ 125)) 'NIL) ('T 'T)))
                         (GO G191)))
                       (SEQ
                        (LETT |lv|
                              (|SMP;mymerge| |lv|
                               (SPADCALL (SPADCALL |q| (QREFELT $ 22))
                                         (QREFELT $ 159))
                               $)
                              . #1#)
                        (EXIT (LETT |q| (SPADCALL |q| (QREFELT $ 20)) . #1#)))
                       NIL (GO G190) G191 (EXIT NIL))
                  (EXIT (CONS (QCAR (QCDR |p|)) |lv|))))))))) 

(DEFUN |SMP;mainVariable;$U;63| (|p| $)
  (COND ((QEQCAR |p| 0) (CONS 1 "failed")) ('T (CONS 0 (QCAR (QCDR |p|)))))) 

(DEFUN |SMP;eval;$VarSet2$;64| (|p| |mvar| |pval| $)
  (SPADCALL (SPADCALL |p| |mvar| (QREFELT $ 54)) |pval| (QREFELT $ 162))) 

(DEFUN |SMP;eval;$VarSetR$;65| (|p| |mvar| |val| $)
  (SPADCALL (SPADCALL |p| |mvar| (QREFELT $ 54)) (CONS 0 |val|)
            (QREFELT $ 162))) 

(DEFUN |SMP;evalSortedVarlist| (|p| |Lvar| |Lpval| $)
  (PROG (|pts| |pval| |mvar|)
    (RETURN
     (SEQ
      (COND
       ((OR (QEQCAR |p| 0)
            (OR (NULL |Lvar|) (SPADCALL |Lpval| (QREFELT $ 165))))
        |p|)
       ('T
        (SEQ (LETT |mvar| (|SPADfirst| |Lvar|) . #1=(|SMP;evalSortedVarlist|))
             (EXIT
              (COND
               ((SPADCALL (QCAR (QCDR |p|)) |mvar| (QREFELT $ 50))
                (|SMP;evalSortedVarlist| |p| (CDR |Lvar|)
                 (SPADCALL |Lpval| '|rest| (QREFELT $ 167)) $))
               (#2='T
                (SEQ
                 (LETT |pval| (SPADCALL |Lpval| '|first| (QREFELT $ 169))
                       . #1#)
                 (LETT |pts|
                       (SPADCALL
                        (CONS #'|SMP;evalSortedVarlist!0|
                              (VECTOR $ |Lpval| |Lvar|))
                        (QCDR (QCDR |p|)) (QREFELT $ 122))
                       . #1#)
                 (EXIT
                  (COND
                   ((SPADCALL |mvar| (QCAR (QCDR |p|)) (QREFELT $ 51))
                    (COND
                     ((QEQCAR |pval| 0)
                      (SPADCALL |pts| (CONS 0 (QCDR |pval|)) (QREFELT $ 162)))
                     (#2# (SPADCALL |pts| |pval| (QREFELT $ 162)))))
                   (#2#
                    (SPADCALL |pts| (QCAR (QCDR |p|))
                              (QREFELT $ 64)))))))))))))))) 

(DEFUN |SMP;evalSortedVarlist!0| (|x1| $$)
  (PROG (|Lvar| |Lpval| $)
    (LETT |Lvar| (QREFELT $$ 2) . #1=(|SMP;evalSortedVarlist|))
    (LETT |Lpval| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|SMP;evalSortedVarlist| |x1| |Lvar| |Lpval| $))))) 

(DEFUN |SMP;eval;$LL$;67| (|p| |Lvar| |Lpval| $)
  (PROG (|nlpval| #1=#:G1092 |mvar| #2=#:G1091 |nlvar|)
    (RETURN
     (SEQ
      (COND
       ((OR (NULL (CDR |Lvar|))
            (SPADCALL (CONS #'|SMP;eval;$LL$;67!0| $) |Lvar| (QREFELT $ 171)))
        (|SMP;evalSortedVarlist| |p| |Lvar| |Lpval| $))
       ('T
        (SEQ
         (LETT |nlvar|
               (SPADCALL (CONS #'|SMP;eval;$LL$;67!1| $) |Lvar|
                         (QREFELT $ 172))
               . #3=(|SMP;eval;$LL$;67|))
         (LETT |nlpval|
               (COND ((SPADCALL |Lvar| |nlvar| (QREFELT $ 173)) |Lpval|)
                     ('T
                      (LETT |nlpval|
                            (PROGN
                             (LETT #2# NIL . #3#)
                             (SEQ (LETT |mvar| NIL . #3#)
                                  (LETT #1# |nlvar| . #3#) G190
                                  (COND
                                   ((OR (ATOM #1#)
                                        (PROGN
                                         (LETT |mvar| (CAR #1#) . #3#)
                                         NIL))
                                    (GO G191)))
                                  (SEQ
                                   (EXIT
                                    (LETT #2#
                                          (CONS
                                           (SPADCALL |Lpval|
                                                     (SPADCALL |mvar| |Lvar|
                                                               (QREFELT $ 174))
                                                     (QREFELT $ 175))
                                           #2#)
                                          . #3#)))
                                  (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                                  (EXIT (NREVERSE0 #2#))))
                            . #3#)))
               . #3#)
         (EXIT (|SMP;evalSortedVarlist| |p| |nlvar| |nlpval| $))))))))) 

(DEFUN |SMP;eval;$LL$;67!1| (|x1| |x2| $) (SPADCALL |x2| |x1| (QREFELT $ 50))) 

(DEFUN |SMP;eval;$LL$;67!0| (|x1| |x2| $) (SPADCALL |x2| |x1| (QREFELT $ 50))) 

(DEFUN |SMP;eval;$LL$;68| (|p| |Lvar| |Lval| $)
  (PROG (#1=#:G1096 |val| #2=#:G1095)
    (RETURN
     (SEQ
      (SPADCALL |p| |Lvar|
                (PROGN
                 (LETT #2# NIL . #3=(|SMP;eval;$LL$;68|))
                 (SEQ (LETT |val| NIL . #3#) (LETT #1# |Lval| . #3#) G190
                      (COND
                       ((OR (ATOM #1#)
                            (PROGN (LETT |val| (CAR #1#) . #3#) NIL))
                        (GO G191)))
                      (SEQ (EXIT (LETT #2# (CONS (CONS 0 |val|) #2#) . #3#)))
                      (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                      (EXIT (NREVERSE0 #2#))))
                (QREFELT $ 176)))))) 

(DEFUN |SMP;degree;$VarSetNni;69| (|p| |mvar| $)
  (COND ((QEQCAR |p| 0) 0)
        ((SPADCALL |mvar| (QCAR (QCDR |p|)) (QREFELT $ 51))
         (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 40)))
        ((SPADCALL (QCAR (QCDR |p|)) |mvar| (QREFELT $ 50)) 0)
        ('T
         (MAX
          (SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 22)) |mvar|
                    (QREFELT $ 178))
          (SPADCALL (|SMP;red| |p| $) |mvar| (QREFELT $ 178)))))) 

(DEFUN |SMP;degree;$LL;70| (|p| |Lvar| $)
  (PROG (#1=#:G1106 |mvar| #2=#:G1105)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|SMP;degree;$LL;70|))
       (SEQ (LETT |mvar| NIL . #3#) (LETT #1# |Lvar| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |mvar| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (LETT #2# (CONS (SPADCALL |p| |mvar| (QREFELT $ 178)) #2#)
                    . #3#)))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |SMP;degree;$Ie;71| (|p| $)
  (COND ((QEQCAR |p| 0) (|spadConstant| $ 181))
        ('T
         (SPADCALL
          (SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 22))
                    (QREFELT $ 182))
          (SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 40))
                    (QCAR (QCDR |p|)) (QREFELT $ 183))
          (QREFELT $ 184))))) 

(DEFUN |SMP;minimumDegree;$Ie;72| (|p| $)
  (PROG (|md|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (|spadConstant| $ 181))
            ('T
             (SEQ
              (LETT |md| (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 185))
                    |SMP;minimumDegree;$Ie;72|)
              (EXIT
               (SPADCALL
                (SPADCALL (SPADCALL (QCDR (QCDR |p|)) |md| (QREFELT $ 72))
                          (QREFELT $ 186))
                (SPADCALL |md| (QCAR (QCDR |p|)) (QREFELT $ 183))
                (QREFELT $ 184)))))))))) 

(DEFUN |SMP;minimumDegree;$VarSetNni;73| (|p| |mvar| $)
  (PROG (|p1| |md|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) 0)
            ((SPADCALL |mvar| (QCAR (QCDR |p|)) (QREFELT $ 51))
             (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 185)))
            (#1='T
             (SEQ
              (LETT |md|
                    (SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 22))
                              |mvar| (QREFELT $ 187))
                    . #2=(|SMP;minimumDegree;$VarSetNni;73|))
              (EXIT
               (COND
                ((SPADCALL (LETT |p1| (|SMP;red| |p| $) . #2#) (QREFELT $ 17))
                 |md|)
                (#1# (MIN |md| (SPADCALL |p1| |mvar| (QREFELT $ 187))))))))))))) 

(DEFUN |SMP;minimumDegree;$LL;74| (|p| |Lvar| $)
  (PROG (#1=#:G1125 |mvar| #2=#:G1124)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|SMP;minimumDegree;$LL;74|))
       (SEQ (LETT |mvar| NIL . #3#) (LETT #1# |Lvar| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |mvar| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (LETT #2# (CONS (SPADCALL |p| |mvar| (QREFELT $ 187)) #2#)
                    . #3#)))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |SMP;totalDegree;$LNni;75| (|p| |Lvar| $)
  (PROG (|u| |tdeg| |termdeg| |weight| |mv| #1=#:G1127)
    (RETURN
     (SEQ
      (COND
       ((OR (SPADCALL |p| (QREFELT $ 32))
            (NULL
             (SPADCALL |Lvar| (SPADCALL |p| (QREFELT $ 159)) (QREFELT $ 189))))
        0)
       ('T
        (SEQ
         (LETT |u|
               (SPADCALL |p|
                         (LETT |mv|
                               (PROG2
                                   (LETT #1# (SPADCALL |p| (QREFELT $ 161))
                                         . #2=(|SMP;totalDegree;$LNni;75|))
                                   (QCDR #1#)
                                 (|check-union| (QEQCAR #1# 0) (QREFELT $ 7)
                                                #1#))
                               . #2#)
                         (QREFELT $ 54))
               . #2#)
         (LETT |weight|
               (COND ((SPADCALL |mv| |Lvar| (QREFELT $ 190)) 1) ('T 0)) . #2#)
         (LETT |tdeg| 0 . #2#)
         (SEQ G190
              (COND
               ((NULL
                 (COND
                  ((SPADCALL |u| (|spadConstant| $ 191) (QREFELT $ 135)) 'NIL)
                  ('T 'T)))
                (GO G191)))
              (SEQ
               (LETT |termdeg|
                     (+ (* |weight| (SPADCALL |u| (QREFELT $ 58)))
                        (SPADCALL (SPADCALL |u| (QREFELT $ 60)) |Lvar|
                                  (QREFELT $ 192)))
                     . #2#)
               (LETT |tdeg| (MAX |tdeg| |termdeg|) . #2#)
               (EXIT (LETT |u| (SPADCALL |u| (QREFELT $ 61)) . #2#)))
              NIL (GO G190) G191 (EXIT NIL))
         (EXIT |tdeg|)))))))) 

(DEFUN |SMP;differentiate;$VarSet$;76| (|p| |mvar| $)
  (PROG (|up|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (|spadConstant| $ 12))
            ((SPADCALL |mvar| (QCAR (QCDR |p|)) (QREFELT $ 51))
             (SEQ
              (LETT |up| (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 193))
                    . #1=(|SMP;differentiate;$VarSet$;76|))
              (EXIT
               (COND
                ((SPADCALL |up| (QREFELT $ 21)) (SPADCALL |up| (QREFELT $ 22)))
                (#2='T (CONS 1 (CONS |mvar| |up|)))))))
            (#2#
             (SEQ
              (LETT |up|
                    (SPADCALL
                     (CONS #'|SMP;differentiate;$VarSet$;76!0|
                           (VECTOR $ |mvar|))
                     (QCDR (QCDR |p|)) (QREFELT $ 122))
                    . #1#)
              (EXIT
               (COND
                ((SPADCALL |up| (QREFELT $ 21)) (SPADCALL |up| (QREFELT $ 22)))
                (#2# (CONS 1 (CONS (QCAR (QCDR |p|)) |up|)))))))))))) 

(DEFUN |SMP;differentiate;$VarSet$;76!0| (|x1| $$)
  (PROG (|mvar| $)
    (LETT |mvar| (QREFELT $$ 1) . #1=(|SMP;differentiate;$VarSet$;76|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (SPADCALL |x1| |mvar| (QREFELT $ 194)))))) 

(DEFUN |SMP;leadingCoefficient;$R;77| (|p| $)
  (COND ((QEQCAR |p| 0) (QCDR |p|))
        ('T
         (SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 22))
                   (QREFELT $ 37))))) 

(DEFUN |SMP;leadingMonomial;2$;78| (|p| $)
  (COND ((QEQCAR |p| 0) |p|)
        ('T
         (SPADCALL
          (SPADCALL (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 22))
                    (QREFELT $ 195))
          (QCAR (QCDR |p|)) (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 40))
          (QREFELT $ 52))))) 

(DEFUN |SMP;reductum;2$;79| (|p| $)
  (COND ((QEQCAR |p| 0) (|spadConstant| $ 12))
        ('T (SPADCALL |p| (SPADCALL |p| (QREFELT $ 195)) (QREFELT $ 95))))) 

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

(DEFUN |SparseMultivariatePolynomial;| (|#1| |#2|)
  (PROG (|pv$| #1=#:G1172 $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #2=(|SparseMultivariatePolynomial|))
      (LETT DV$2 (|devaluate| |#2|) . #2#)
      (LETT |dv$| (LIST '|SparseMultivariatePolynomial| DV$1 DV$2) . #2#)
      (LETT $ (GETREFV 225) . #2#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST
                                          (|HasCategory| |#1|
                                                         '(|PolynomialFactorizationExplicit|))
                                          (|HasCategory| |#1|
                                                         '(|CommutativeRing|))
                                          (|HasCategory| |#1|
                                                         '(|IntegralDomain|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|)))
                                          (|HasCategory| |#1|
                                                         '(|canonicalUnitNormal|))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PatternMatchable|
                                                            (|Float|)))
                                           (|HasCategory| |#2|
                                                          '(|PatternMatchable|
                                                            (|Float|))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|PatternMatchable|
                                                            (|Integer|)))
                                           (|HasCategory| |#2|
                                                          '(|PatternMatchable|
                                                            (|Integer|))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|ConvertibleTo|
                                                            (|Pattern|
                                                             (|Float|))))
                                           (|HasCategory| |#2|
                                                          '(|ConvertibleTo|
                                                            (|Pattern|
                                                             (|Float|)))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|ConvertibleTo|
                                                            (|Pattern|
                                                             (|Integer|))))
                                           (|HasCategory| |#2|
                                                          '(|ConvertibleTo|
                                                            (|Pattern|
                                                             (|Integer|)))))
                                          (AND
                                           (|HasCategory| |#1|
                                                          '(|ConvertibleTo|
                                                            (|InputForm|)))
                                           (|HasCategory| |#2|
                                                          '(|ConvertibleTo|
                                                            (|InputForm|))))
                                          (|HasCategory| |#1| '(|Comparable|))
                                          (|HasCategory| |#1|
                                                         '(|LinearlyExplicitRingOver|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|Algebra|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicNonZero|))
                                          (|HasCategory| |#1|
                                                         '(|CharacteristicZero|))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Integer|)))
                                          (|HasCategory| |#1|
                                                         '(|RetractableTo|
                                                           (|Fraction|
                                                            (|Integer|))))
                                          (|HasCategory| |#1| '(|Field|))
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|RetractableTo|
                                                            (|Fraction|
                                                             (|Integer|))))
                                           (|HasCategory| |#1|
                                                          '(|Algebra|
                                                            (|Fraction|
                                                             (|Integer|)))))
                                          (LETT #1#
                                                (|HasCategory| |#1|
                                                               '(|GcdDomain|))
                                                . #2#)
                                          (OR
                                           (|HasCategory| |#1|
                                                          '(|CommutativeRing|))
                                           #1#
                                           (|HasCategory| |#1|
                                                          '(|IntegralDomain|))
                                           (|HasCategory| |#1|
                                                          '(|PolynomialFactorizationExplicit|)))
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|IntegralDomain|))
                                              (|HasCategory| |#1|
                                                             '(|PolynomialFactorizationExplicit|)))
                                          (OR #1#
                                              (|HasCategory| |#1|
                                                             '(|PolynomialFactorizationExplicit|)))))
                      . #2#))
      (|haddProp| |$ConstructorCache| '|SparseMultivariatePolynomial|
                  (LIST DV$1 DV$2) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (AND (|HasCategory| $ '(|CharacteristicNonZero|))
           (|HasCategory| |#1| '(|PolynomialFactorizationExplicit|))
           (|augmentPredVector| $ 8388608))
      (AND
       (OR
        (AND (|HasCategory| $ '(|CharacteristicNonZero|))
             (|HasCategory| |#1| '(|PolynomialFactorizationExplicit|)))
        (|HasCategory| |#1| '(|CharacteristicNonZero|)))
       (|augmentPredVector| $ 16777216))
      (QSETREFV $ 8 (|SparseUnivariatePolynomial| $))
      (QSETREFV $ 9 (|Record| (|:| |v| |#2|) (|:| |ts| (QREFELT $ 8))))
      (QSETREFV $ 10 (|Union| |#1| (QREFELT $ 9)))
      (COND
       ((|testBitVector| |pv$| 3)
        (PROGN
         (QSETREFV $ 108 (CONS (|dispatchFunction| |SMP;unitNormal;$R;35|) $))
         (QSETREFV $ 110
                   (CONS (|dispatchFunction| |SMP;unitCanonical;2$;36|) $))
         (QSETREFV $ 112 (CONS (|dispatchFunction| |SMP;unit?;$B;37|) $))
         (QSETREFV $ 115
                   (CONS (|dispatchFunction| |SMP;associates?;2$B;38|) $))
         (COND
          ((|HasCategory| |#1| '(|Approximate|))
           (QSETREFV $ 118 (CONS (|dispatchFunction| |SMP;exquo;2$U;39|) $)))
          ('T
           (QSETREFV $ 118
                     (CONS (|dispatchFunction| |SMP;exquo;2$U;40|) $)))))))
      (COND
       ((|testBitVector| |pv$| 18)
        (QSETREFV $ 124 (CONS (|dispatchFunction| |SMP;/;$R$;42|) $))))
      (COND
       ((|testBitVector| |pv$| 20)
        (QSETREFV $ 126 (CONS (|dispatchFunction| |SMP;content;$R;43|) $))))
      (COND
       ((|HasCategory| |#1| '(|EuclideanDomain|))
        (COND
         ((|testBitVector| |pv$| 15)
          (COND
           ((|HasCategory| |#1| '(|FloatingPointSystem|))
            (COND
             ((|testBitVector| |pv$| 20)
              (PROGN
               (QSETREFV $ 129
                         (CONS (|dispatchFunction| |SMP;content;$VarSet$;44|)
                               $))
               (QSETREFV $ 130 (CONS (|dispatchFunction| |SMP;gcd;3$;45|) $))
               (COND
                ((|HasCategory| |#1| '(|FloatingPointSystem|))
                 (QSETREFV $ 138
                           (CONS
                            (|dispatchFunction| |SMP;gcdPolynomial;3Sup;46|)
                            $))))))))
           ('T
            (PROGN
             (QSETREFV $ 129
                       (CONS (|dispatchFunction| |SMP;content;$VarSet$;47|) $))
             (QSETREFV $ 130 (CONS (|dispatchFunction| |SMP;gcd;3$;48|) $))
             (QSETREFV $ 143 (CONS (|dispatchFunction| |SMP;gcd;L$;49|) $))
             (QSETREFV $ 138
                       (CONS (|dispatchFunction| |SMP;gcdPolynomial;3Sup;50|)
                             $))))))
         ((|testBitVector| |pv$| 20)
          (PROGN
           (QSETREFV $ 129
                     (CONS (|dispatchFunction| |SMP;content;$VarSet$;51|) $))
           (QSETREFV $ 130 (CONS (|dispatchFunction| |SMP;gcd;3$;52|) $))
           (COND
            ((|HasCategory| |#1| '(|FloatingPointSystem|))
             (QSETREFV $ 138
                       (CONS (|dispatchFunction| |SMP;gcdPolynomial;3Sup;53|)
                             $))))))))
       ((|testBitVector| |pv$| 20)
        (PROGN
         (QSETREFV $ 129
                   (CONS (|dispatchFunction| |SMP;content;$VarSet$;54|) $))
         (QSETREFV $ 130 (CONS (|dispatchFunction| |SMP;gcd;3$;55|) $))
         (COND
          ((|HasCategory| |#1| '(|FloatingPointSystem|))
           (QSETREFV $ 138
                     (CONS (|dispatchFunction| |SMP;gcdPolynomial;3Sup;56|)
                           $)))))))
      (COND
       ((|testBitVector| |pv$| 2)
        (QSETREFV $ 194
                  (CONS (|dispatchFunction| |SMP;differentiate;$VarSet$;76|)
                        $))))
      $)))) 

(MAKEPROP '|SparseMultivariatePolynomial| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) 'D '|VPoly|
              '|Rep| (0 . |Zero|)
              (CONS IDENTITY (FUNCALL (|dispatchFunction| |SMP;Zero;$;1|) $))
              (4 . |One|)
              (CONS IDENTITY (FUNCALL (|dispatchFunction| |SMP;One;$;2|) $))
              (|Boolean|) (8 . |zero?|) |SMP;zero?;$B;3| (13 . =)
              |SMP;one?;$B;4| (19 . |reductum|) (24 . |ground?|)
              (29 . |leadingCoefficient|) (|List| $$) (34 . |coefficients|)
              (|NonNegativeInteger|) |SMP;numberOfMonomials;$Nni;6|
              (39 . |monomial|) |SMP;coerce;VarSet$;7| (45 . |One|)
              (49 . |numberOfMonomials|) |SMP;monomial?;$B;8|
              |SMP;ground?;$B;16| (54 . |false|) (58 . |true|)
              (|Mapping| 15 $$) (62 . |any?|) |SMP;leadingCoefficient;$R;77|
              (|SparseUnivariatePolynomial| 6) (68 . |coerce|) (73 . |degree|)
              (78 . |monomial|) (84 . +) |SMP;univariate;$Sup;11|
              (90 . |ground?|) (95 . |leadingCoefficient|) (100 . |degree|)
              (105 . |reductum|) |SMP;multivariate;SupVarSet$;12| |SMP;+;3$;27|
              (110 . <) (116 . =) |SMP;monomial;$VarSetNni$;17|
              (|SparseUnivariatePolynomial| $) |SMP;univariate;$VarSetSup;13|
              (122 . *) (128 . +) (|SparseUnivariatePolynomial| $$)
              (134 . |degree|) (139 . |coefficient|)
              (145 . |leadingCoefficient|) (150 . |reductum|) (155 . |ground?|)
              (160 . |zero?|) |SMP;multivariate;SupVarSet$;15| |SMP;*;3$;30|
              (|IndexedExponents| 7) (165 . |zero?|) (170 . |leadingSupport|)
              (175 . |leadingCoefficient|) (180 . |reductum|)
              |SMP;monomial;RIe$;18| (185 . |coefficient|)
              |SMP;coefficient;$IeR;19| (|Integer|) (191 . |coerce|)
              |SMP;coerce;I$;20| |SMP;coerce;R$;21| (196 . |characteristic|)
              |SMP;characteristic;Nni;22| (|Union| $ '"failed") (200 . |recip|)
              |SMP;recip;$U;23| (205 . -) (210 . -) |SMP;-;2$;24| (215 . *)
              (221 . *) |SMP;*;I2$;25| (227 . *) |SMP;*;R2$;26| (233 . +)
              (239 . |coerce|) (244 . -) (250 . -) |SMP;-;3$;28| (256 . =)
              |SMP;=;2$B;29| (262 . *) (268 . *) |SMP;^;$Nni$;34|
              (|PositiveInteger|) |SMP;^;$Pi$;32| (274 . ^) (280 . ^) (286 . ^)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (292 . |unitNormal|) (297 . |unitNormal|) (302 . |unitCanonical|)
              (307 . |unitCanonical|) (312 . |unit?|) (317 . |unit?|)
              (322 . |associates?|) (328 . |associates?|) (334 . |associates?|)
              (340 . |exquo|) (346 . |exquo|) (352 . |exquo|) (|Mapping| 6 6)
              |SMP;map;M2$;41| (|Mapping| $$ $$) (358 . |map|) (364 . |inv|)
              (369 . /) (375 . |zero?|) (380 . |content|) (385 . |gcd|)
              (391 . |content|) (396 . |content|) (402 . |gcd|) (408 . |gcd|)
              (414 . |content|) (419 . |coerce|) (424 . |minimumDegree|)
              (429 . =) (435 . |exquo|) (441 . *) (447 . |gcdPolynomial|)
              (|PolynomialGcdPackage| 66 7 6 $$) (453 . |gcd|) (458 . |gcd|)
              (|List| $) (464 . |gcd|) (469 . |gcd|) (|OutputForm|)
              (475 . |coerce|) (480 . |coerce|) (485 . |outputForm|)
              |SMP;coerce;$Of;57| (|List| 6) (491 . |list|)
              |SMP;coefficients;$L;58| (496 . |nil|) |SMP;retract;$R;59|
              (|Union| 6 '"failed") |SMP;retractIfCan;$U;60| (|List| 7)
              (500 . |setrest!|) |SMP;variables;$L;62| (|Union| 7 '#1="failed")
              |SMP;mainVariable;$U;63| (506 . |elt|) |SMP;eval;$VarSet2$;64|
              |SMP;eval;$VarSetR$;65| (512 . |empty?|) '"rest" (517 . |elt|)
              '"first" (523 . |elt|) (|Mapping| 15 7 7) (529 . |sorted?|)
              (535 . |sort|) (541 . =) (547 . |position|) (553 . |elt|)
              |SMP;eval;$LL$;67| |SMP;eval;$LL$;68| |SMP;degree;$VarSetNni;69|
              (|List| 25) |SMP;degree;$LL;70| (559 . |Zero|)
              |SMP;degree;$Ie;71| (563 . |monomial|) (569 . +)
              (575 . |minimumDegree|) |SMP;minimumDegree;$Ie;72|
              |SMP;minimumDegree;$VarSetNni;73| |SMP;minimumDegree;$LL;74|
              (580 . |setIntersection|) (586 . |member?|) (592 . |Zero|)
              |SMP;totalDegree;$LNni;75| (596 . |differentiate|)
              (601 . |differentiate|) |SMP;leadingMonomial;2$;78|
              |SMP;reductum;2$;79| (|Union| 208 '#2="failed") (|Matrix| $)
              (|InputForm|) (|Pattern| (|Float|)) (|Pattern| 74)
              (|PatternMatchResult| (|Float|) $) (|PatternMatchResult| 74 $)
              (|Fraction| 74) (|Factored| $) (|Matrix| 74)
              (|Record| (|:| |mat| 206) (|:| |vec| (|Vector| 74))) (|Vector| $)
              (|Factored| 53) (|Union| 211 '#2#) (|List| 53)
              (|Union| 204 '#3="failed") (|Union| 74 '#3#) (|Union| 142 '#1#)
              (|Record| (|:| |var| 7) (|:| |exponent| 25)) (|Union| 215 '#1#)
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |mat| 219) (|:| |vec| (|Vector| 6))) (|Matrix| 6)
              (|List| 221) (|Equation| $) (|Mapping| 66 66) (|SingleInteger|)
              (|String|))
           '#(~= 607 |zero?| 613 |variables| 618 |univariate| 623 |unitNormal|
              634 |unitCanonical| 639 |unit?| 644 |totalDegree| 649
              |subtractIfCan| 660 |squareFreePolynomial| 666 |squareFreePart|
              671 |squareFree| 676 |solveLinearPolynomialEquation| 681
              |smaller?| 687 |sample| 693 |retractIfCan| 697 |retract| 717
              |resultant| 737 |reductum| 744 |reducedSystem| 749 |recip| 771
              |primitivePart| 776 |primitiveMonomials| 787 |prime?| 792
              |pomopo!| 797 |patternMatch| 805 |one?| 819 |numberOfMonomials|
              824 |multivariate| 829 |monomials| 841 |monomial?| 846 |monomial|
              851 |monicDivide| 871 |minimumDegree| 878 |mapExponents| 895
              |map| 901 |mainVariable| 907 |leadingMonomial| 912
              |leadingCoefficient| 917 |lcm| 922 |latex| 933 |isTimes| 938
              |isPlus| 943 |isExpt| 948 |hash| 953 |ground?| 958 |ground| 963
              |gcdPolynomial| 968 |gcd| 974 |factorSquareFreePolynomial| 985
              |factorPolynomial| 990 |factor| 995 |exquo| 1000 |eval| 1012
              |discriminant| 1066 |differentiate| 1072 |degree| 1098 |convert|
              1115 |content| 1130 |conditionP| 1141 |coerce| 1146
              |coefficients| 1176 |coefficient| 1181 |charthRoot| 1201
              |characteristic| 1206 |binomThmExpt| 1210 |associates?| 1217 ^
              1223 |Zero| 1235 |One| 1239 D 1243 = 1269 / 1275 - 1281 + 1292 *
              1298)
           'NIL
           (CONS
            (|makeByteWordVec2| 23
                                '(0 1 0 1 0 23 22 0 3 13 2 0 0 21 3 3 12 13 14
                                  15 2 0 0 4 13 0 0 0 0 2 13 13 0 0 0 0 0 0 0 0
                                  6 7 11 0 0 0 0 0 0 0 0 0 0 0 2 3 5 8 9 10 16
                                  17))
            (CONS
             '#(|PolynomialCategory&| |PolynomialFactorizationExplicit&|
                |FiniteAbelianMonoidRing&| |UniqueFactorizationDomain&|
                |AbelianMonoidRing&| |GcdDomain&| |IntegralDomain&|
                |FullyLinearlyExplicitRingOver&| |Algebra&| |Algebra&|
                |Algebra&| |PartialDifferentialRing&| NIL NIL |Module&| NIL NIL
                |Module&| NIL NIL |Module&| NIL |Ring&| NIL NIL NIL NIL NIL NIL
                NIL NIL NIL |AbelianGroup&| NIL NIL |AbelianMonoid&| |Monoid&|
                NIL |SemiGroup&| |AbelianSemiGroup&| NIL NIL NIL |Evalable&|
                |FullyRetractableTo&| |SetCategory&| |RetractableTo&|
                |InnerEvalable&| |InnerEvalable&| |InnerEvalable&|
                |RetractableTo&| NIL |BasicType&| NIL NIL NIL NIL NIL NIL NIL
                |RetractableTo&| |RetractableTo&|)
             (CONS
              '#((|PolynomialCategory| 6 (|IndexedExponents| 7) 7)
                 (|PolynomialFactorizationExplicit|)
                 (|FiniteAbelianMonoidRing| 6 (|IndexedExponents| 7))
                 (|UniqueFactorizationDomain|)
                 (|AbelianMonoidRing| 6 (|IndexedExponents| 7)) (|GcdDomain|)
                 (|IntegralDomain|) (|FullyLinearlyExplicitRingOver| 6)
                 (|Algebra| $$) (|Algebra| 204) (|Algebra| 6)
                 (|PartialDifferentialRing| 7) (|LinearlyExplicitRingOver| 6)
                 (|CommutativeRing|) (|Module| $$) (|EntireRing|)
                 (|LinearlyExplicitRingOver| 74) (|Module| 204)
                 (|CharacteristicNonZero|) (|CharacteristicZero|) (|Module| 6)
                 (|BiModule| 6 6) (|Ring|) (|BiModule| $$ $$)
                 (|BiModule| 204 204) (|LeftModule| 6) (|Rng|)
                 (|RightModule| 6) (|LeftModule| $$) (|RightModule| $$)
                 (|LeftModule| 204) (|RightModule| 204) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|SemiRing|) (|AbelianMonoid|)
                 (|Monoid|) (|SemiRng|) (|SemiGroup|) (|AbelianSemiGroup|)
                 (|PatternMatchable| (|Float|)) (|PatternMatchable| 74)
                 (|Comparable|) (|Evalable| $$) (|FullyRetractableTo| 6)
                 (|SetCategory|) (|RetractableTo| 7) (|InnerEvalable| 7 $$)
                 (|InnerEvalable| 7 6) (|InnerEvalable| $$ $$)
                 (|RetractableTo| 6) (|unitsKnown|) (|BasicType|)
                 (|CoercibleTo| 145) (|CommutativeStar|) (|noZeroDivisors|)
                 (|canonicalUnitNormal|) (|ConvertibleTo| 200)
                 (|ConvertibleTo| 201) (|ConvertibleTo| 199)
                 (|RetractableTo| 74) (|RetractableTo| 204))
              (|makeByteWordVec2| 224
                                  '(0 6 0 11 0 6 0 13 1 6 15 0 16 2 6 15 0 0 18
                                    1 8 0 0 20 1 8 15 0 21 1 8 2 0 22 1 8 23 0
                                    24 2 8 0 2 25 27 0 8 0 29 1 8 25 0 30 0 15
                                    0 33 0 15 0 34 2 23 15 35 0 36 1 38 0 6 39
                                    1 8 25 0 40 2 38 0 6 25 41 2 38 0 0 0 42 1
                                    38 15 0 44 1 38 6 0 45 1 38 25 0 46 1 38 0
                                    0 47 2 7 15 0 0 50 2 7 15 0 0 51 2 8 0 2 0
                                    55 2 8 0 0 0 56 1 57 25 0 58 2 57 2 0 25 59
                                    1 57 2 0 60 1 57 0 0 61 1 57 15 0 62 1 57
                                    15 0 63 1 66 15 0 67 1 66 7 0 68 1 66 25 0
                                    69 1 66 0 0 70 2 8 2 0 25 72 1 6 0 74 75 0
                                    6 25 78 1 6 80 0 81 1 6 0 0 83 1 8 0 0 84 2
                                    6 0 74 0 86 2 8 0 74 0 87 2 6 0 0 0 89 2 6
                                    0 0 0 91 1 8 0 2 92 2 6 0 0 0 93 2 8 0 0 0
                                    94 2 8 15 0 0 96 2 8 0 0 2 98 2 8 0 0 0 99
                                    2 6 0 0 25 103 2 38 0 0 25 104 2 8 0 0 25
                                    105 1 6 106 0 107 1 0 106 0 108 1 6 0 0 109
                                    1 0 0 0 110 1 6 15 0 111 1 0 15 0 112 2 6
                                    15 0 0 113 2 8 15 0 0 114 2 0 15 0 0 115 2
                                    6 80 0 0 116 2 8 80 0 0 117 2 0 80 0 0 118
                                    2 8 0 121 0 122 1 6 0 0 123 2 0 0 0 6 124 1
                                    8 15 0 125 1 0 6 0 126 2 6 0 0 0 127 1 8 2
                                    0 128 2 0 0 0 7 129 2 0 0 0 0 130 2 8 0 0 0
                                    131 1 57 2 0 132 1 57 0 2 133 1 57 25 0 134
                                    2 57 15 0 0 135 2 57 80 0 0 136 2 57 0 0 0
                                    137 2 0 53 53 53 138 1 139 2 23 140 2 139 2
                                    2 2 141 1 0 0 142 143 2 139 57 57 57 144 1
                                    6 145 0 146 1 7 145 0 147 2 8 145 0 145 148
                                    1 150 0 6 151 0 23 0 153 2 157 0 0 0 158 2
                                    8 2 0 2 162 1 23 15 0 165 2 23 0 0 166 167
                                    2 23 2 0 168 169 2 157 15 170 0 171 2 157 0
                                    170 0 172 2 157 15 0 0 173 2 157 74 7 0 174
                                    2 23 2 0 74 175 0 66 0 181 2 66 0 25 7 183
                                    2 66 0 0 0 184 1 8 25 0 185 2 157 0 0 0 189
                                    2 157 15 7 0 190 0 8 0 191 1 8 0 0 193 2 0
                                    0 0 7 194 2 0 15 0 0 1 1 0 15 0 17 1 0 157
                                    0 159 1 0 38 0 43 2 0 53 0 7 54 1 3 106 0
                                    108 1 3 0 0 110 1 3 15 0 112 1 0 25 0 1 2 0
                                    25 0 157 192 2 0 80 0 0 1 1 1 209 53 1 1 20
                                    0 0 1 1 20 205 0 1 2 1 210 211 53 1 2 11 15
                                    0 0 1 0 0 0 1 1 17 212 0 1 1 16 213 0 1 1 0
                                    160 0 1 1 0 155 0 156 1 17 204 0 1 1 16 74
                                    0 1 1 0 7 0 1 1 0 6 0 154 3 2 0 0 0 7 1 1 0
                                    0 0 196 1 12 206 198 1 2 12 207 198 208 1 2
                                    0 218 198 208 1 1 0 219 198 1 1 0 80 0 82 2
                                    20 0 0 7 1 1 20 0 0 1 1 0 142 0 1 1 1 15 0
                                    1 4 0 0 0 6 66 0 1 3 6 202 0 200 202 1 3 7
                                    203 0 201 203 1 1 0 15 0 19 1 0 25 0 26 2 0
                                    0 53 7 64 2 0 0 38 7 48 1 0 142 0 1 1 0 15
                                    0 31 3 0 0 0 157 179 1 3 0 0 0 7 25 52 2 0
                                    0 6 66 71 3 0 217 0 0 7 1 2 0 25 0 7 187 2
                                    0 179 0 157 188 1 0 66 0 186 2 0 0 222 0 1
                                    2 0 0 119 0 120 1 0 160 0 161 1 0 0 0 195 1
                                    0 6 0 37 1 20 0 142 1 2 20 0 0 0 1 1 0 224
                                    0 1 1 0 214 0 1 1 0 214 0 1 1 0 216 0 1 1 0
                                    223 0 1 1 0 15 0 32 1 0 6 0 1 2 20 53 53 53
                                    138 1 20 0 142 143 2 20 0 0 0 130 1 1 209
                                    53 1 1 1 209 53 1 1 1 205 0 1 2 3 80 0 0
                                    118 2 3 80 0 6 1 3 0 0 0 157 142 176 3 0 0
                                    0 7 0 163 3 0 0 0 7 6 164 3 0 0 0 157 150
                                    177 3 0 0 0 0 0 1 3 0 0 0 142 142 1 2 0 0 0
                                    220 1 2 0 0 0 221 1 2 2 0 0 7 1 3 0 0 0 7
                                    25 1 3 0 0 0 157 179 1 2 0 0 0 7 194 2 0 0
                                    0 157 1 2 0 25 0 7 178 2 0 179 0 157 180 1
                                    0 66 0 182 1 10 199 0 1 1 8 200 0 1 1 9 201
                                    0 1 2 20 0 0 7 129 1 20 6 0 126 1 24 197
                                    198 1 1 19 0 204 1 1 3 0 0 1 1 0 0 7 28 1 0
                                    0 6 77 1 0 0 74 76 1 0 145 0 149 1 0 150 0
                                    152 3 0 0 0 7 25 1 3 0 0 0 157 179 1 2 0 6
                                    0 66 73 1 25 80 0 1 0 0 25 79 3 2 0 0 0 25
                                    1 2 3 15 0 0 115 2 0 0 0 25 100 2 0 0 0 101
                                    102 0 0 0 12 0 0 0 14 3 0 0 0 7 25 1 3 0 0
                                    0 157 179 1 2 0 0 0 7 1 2 0 0 0 157 1 2 0
                                    15 0 0 97 2 18 0 0 6 124 2 0 0 0 0 95 1 0 0
                                    0 85 2 0 0 0 0 49 2 13 0 204 0 1 2 13 0 0
                                    204 1 2 0 0 6 0 90 2 0 0 0 6 1 2 0 0 0 0 65
                                    2 0 0 74 0 88 2 0 0 25 0 1 2 0 0 101 0
                                    1)))))
           '|lookupComplete|)) 
