
(/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=#:G1902 #2=#:G1901 #3=#:G1903 #4=#:G1905 |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 (ELT $ 37) (QCDR (QCDR |p|)) (QREFELT $ 45))))) 

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

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

(DEFUN |SMP;unlikeUnivReconstruct| (|u| |mvar| $)
  (PROG (|d|)
    (RETURN
     (COND
      ((ZEROP
        (LETT |d| (SPADCALL |u| (QREFELT $ 61)) |SMP;unlikeUnivReconstruct|))
       (SPADCALL |u| 0 (QREFELT $ 62)))
      ('T
       (SPADCALL
        (SPADCALL (SPADCALL |u| (QREFELT $ 63)) |mvar| |d| (QREFELT $ 55))
        (|SMP;unlikeUnivReconstruct| (SPADCALL |u| (QREFELT $ 64)) |mvar| $)
        (QREFELT $ 52))))))) 

(DEFUN |SMP;multivariate;SupVarSet$;15| (|u| |mvar| $)
  (PROG (#1=#:G1952 |uu| |cc|)
    (RETURN
     (SEQ
      (EXIT
       (COND ((SPADCALL |u| (QREFELT $ 65)) (SPADCALL |u| 0 (QREFELT $ 62)))
             ('T
              (SEQ (LETT |uu| |u| . #2=(|SMP;multivariate;SupVarSet$;15|))
                   (SEQ G190
                        (COND
                         ((NULL
                           (COND ((SPADCALL |uu| (QREFELT $ 66)) 'NIL)
                                 ('T 'T)))
                          (GO G191)))
                        (SEQ (LETT |cc| (SPADCALL |uu| (QREFELT $ 63)) . #2#)
                             (COND
                              ((OR (QEQCAR |cc| 0)
                                   (SPADCALL (QCAR (QCDR |cc|)) |mvar|
                                             (QREFELT $ 53)))
                               (EXIT
                                (LETT |uu| (SPADCALL |uu| (QREFELT $ 64))
                                      . #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 $ 53)))
         (CONS 1 (CONS |mvar| (SPADCALL |p| |k1| (QREFELT $ 27)))))
        ('T
         (SPADCALL |p|
                   (CONS 1
                         (CONS |mvar|
                               (SPADCALL (|spadConstant| $ 14) |k1|
                                         (QREFELT $ 27))))
                   (QREFELT $ 68))))) 

(DEFUN |SMP;monomial;RIe$;18| (|c| |e| $)
  (COND ((SPADCALL |e| (QREFELT $ 70)) (CONS 0 |c|))
        ('T
         (SPADCALL
          (SPADCALL (|spadConstant| $ 14) (SPADCALL |e| (QREFELT $ 71))
                    (SPADCALL |e| (QREFELT $ 72)) (QREFELT $ 55))
          (SPADCALL |c| (SPADCALL |e| (QREFELT $ 73)) (QREFELT $ 74))
          (QREFELT $ 68))))) 

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

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

(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 $ 81))) 

(DEFUN |SMP;recip;$U;23| (|p| $)
  (PROG (|uu|)
    (RETURN
     (SEQ
      (COND
       ((QEQCAR |p| 0)
        (SEQ (LETT |uu| (SPADCALL (QCDR |p|) (QREFELT $ 84)) |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 $ 86))))
        ('T
         (CONS 1
               (CONS (QCAR (QCDR |p|))
                     (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 87))))))) 

(DEFUN |SMP;*;I2$;25| (|n| |p| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (CONS 0 (SPADCALL |n| (QCDR |p|) (QREFELT $ 89))))
            (#1='T
             (SEQ (LETT |mvar| (QCAR (QCDR |p|)) . #2=(|SMP;*;I2$;25|))
                  (LETT |up| (SPADCALL |n| (QCDR (QCDR |p|)) (QREFELT $ 90))
                        . #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 $ 92))))
            (#1='T
             (SEQ (LETT |mvar| (QCAR (QCDR |p|)) . #2=(|SMP;*;R2$;26|))
                  (LETT |up|
                        (SPADCALL (CONS 0 |c|) (QCDR (QCDR |p|))
                                  (QREFELT $ 58))
                        . #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 $ 94))))))))
      (EXIT
       (COND
        ((QEQCAR |p1| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p2|))
                     (SPADCALL (SPADCALL |p1| (QREFELT $ 95))
                               (QCDR (QCDR |p2|)) (QREFELT $ 59)))))
        ((QEQCAR |p2| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p1|))
                     (SPADCALL (QCDR (QCDR |p1|))
                               (SPADCALL |p2| (QREFELT $ 95))
                               (QREFELT $ 59)))))
        (#1='T
         (COND
          ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 54))
           (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;+;3$;27|))
                (LETT |up|
                      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                                (QREFELT $ 59))
                      . #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 $ 53))
           (CONS 1
                 (CONS (QCAR (QCDR |p2|))
                       (SPADCALL (SPADCALL |p1| (QREFELT $ 95))
                                 (QCDR (QCDR |p2|)) (QREFELT $ 59)))))
          (#1#
           (CONS 1
                 (CONS (QCAR (QCDR |p1|))
                       (SPADCALL (QCDR (QCDR |p1|))
                                 (SPADCALL |p2| (QREFELT $ 95))
                                 (QREFELT $ 59))))))))))))) 

(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 $ 96))))))))
      (EXIT
       (COND
        ((QEQCAR |p1| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p2|))
                     (SPADCALL (SPADCALL |p1| (QREFELT $ 95))
                               (QCDR (QCDR |p2|)) (QREFELT $ 97)))))
        ((QEQCAR |p2| 0)
         (CONS 1
               (CONS (QCAR (QCDR |p1|))
                     (SPADCALL (QCDR (QCDR |p1|))
                               (SPADCALL |p2| (QREFELT $ 95))
                               (QREFELT $ 97)))))
        (#1='T
         (COND
          ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 54))
           (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;-;3$;28|))
                (LETT |up|
                      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                                (QREFELT $ 97))
                      . #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 $ 53))
           (CONS 1
                 (CONS (QCAR (QCDR |p2|))
                       (SPADCALL (SPADCALL |p1| (QREFELT $ 95))
                                 (QCDR (QCDR |p2|)) (QREFELT $ 97)))))
          (#1#
           (CONS 1
                 (CONS (QCAR (QCDR |p1|))
                       (SPADCALL (QCDR (QCDR |p1|))
                                 (SPADCALL |p2| (QREFELT $ 95))
                                 (QREFELT $ 97))))))))))))) 

(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 $ 54))
      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|)) (QREFELT $ 99)))
     (#1# 'NIL))))) 

(DEFUN |SMP;*;3$;30| (|p1| |p2| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p1| 0) (SPADCALL (QCDR |p1|) |p2| (QREFELT $ 93)))
            ((QEQCAR |p2| 0)
             (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1=(|SMP;*;3$;30|))
                  (LETT |up| (SPADCALL (QCDR (QCDR |p1|)) |p2| (QREFELT $ 101))
                        . #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 $ 54))
               (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1#)
                    (LETT |up|
                          (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                                    (QREFELT $ 102))
                          . #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 $ 53))
               (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #1#)
                    (LETT |up|
                          (SPADCALL (QCDR (QCDR |p1|)) |p2| (QREFELT $ 101))
                          . #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 $ 58))
                          . #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 $ 103))) 

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

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

(DEFUN |SMP;^;$Nni$;34| (|p| |k| $)
  (PROG (|up| |mvar|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (CONS 0 (SPADCALL (QCDR |p|) |k| (QREFELT $ 106))))
            ((NULL (|SMP;moreThanOneVariable?| |p| $))
             (SPADCALL
              (SPADCALL (|SMP;univariateKnown| |p| $) |k| (QREFELT $ 107))
              (QCAR (QCDR |p|)) (QREFELT $ 51)))
            ('T
             (SEQ (LETT |mvar| (QCAR (QCDR |p|)) . #1=(|SMP;^;$Nni$;34|))
                  (LETT |up| (SPADCALL (QCDR (QCDR |p|)) |k| (QREFELT $ 108))
                        . #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 $ 110))
                . #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 $ 110))
                . #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 $ 93))
                  (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 $ 112))))
            ('T
             (SEQ
              (PROGN
               (LETT |#G68|
                     (SPADCALL (SPADCALL |p| (QREFELT $ 37)) (QREFELT $ 110))
                     . #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 $ 93)))))))))) 

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

(DEFUN |SMP;associates?;2$B;38| (|p1| |p2| $)
  (COND
   ((QEQCAR |p1| 0)
    (COND ((QEQCAR |p2| 0) (SPADCALL (QCDR |p1|) (QCDR |p2|) (QREFELT $ 116)))
          (#1='T 'NIL)))
   ((QEQCAR |p2| 1)
    (COND
     ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 54))
      (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|)) (QREFELT $ 117)))
     (#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 $ 119))
                  . #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 $ 100)))
         (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 $ 53))
                   (EXIT (CONS 1 #3#))))))
          (COND
           ((OR (QEQCAR |p2| 0)
                (SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|))
                          (QREFELT $ 53)))
            (EXIT
             (SEQ
              (LETT |a|
                    (SPADCALL (QCDR (QCDR |p1|)) (SPADCALL |p2| (QREFELT $ 95))
                              (QREFELT $ 120))
                    . #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 $ 100))
             (CONS 0 (|spadConstant| $ 14)))
            (#2#
             (SEQ
              (LETT |a|
                    (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                              (QREFELT $ 120))
                    . #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 $ 65))
                              (CONS 0 (SPADCALL |up| (QREFELT $ 63))))
                             (#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 $ 119))
                  . #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 $ 100)))
         (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 $ 53))
                   (EXIT (CONS 1 #3#))))))
          (COND
           ((OR (QEQCAR |p2| 0)
                (SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|))
                          (QREFELT $ 53)))
            (EXIT
             (SEQ
              (LETT |a|
                    (SPADCALL (QCDR (QCDR |p1|)) (SPADCALL |p2| (QREFELT $ 95))
                              (QREFELT $ 120))
                    . #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 $ 120))
                . #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 $ 65))
                          (CONS 0 (SPADCALL |up| (QREFELT $ 63))))
                         (#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 $ 125))
                        . #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 $ 123)))))) 

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

(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 $ 128))
                            (SPADCALL |c| (QCDR (|spadConstant| $ 14))
                                      (QREFELT $ 18)))
                        'NIL)
                       ('T 'T)))
                     (GO G191)))
                   (SEQ
                    (LETT |c|
                          (SPADCALL |c|
                                    (SPADCALL (SPADCALL |up| (QREFELT $ 22))
                                              (QREFELT $ 129))
                                    (QREFELT $ 130))
                          . #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 $ 57)) (QREFELT $ 131))))) 

(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 $ 130))))
         ((SPADCALL |p1| (QREFELT $ 17)) |p2|)
         (#1='T
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 131))
                    (QREFELT $ 133)))))
       ((QEQCAR |p2| 0)
        (COND ((SPADCALL |p2| (QREFELT $ 17)) |p1|)
              (#1#
               (SPADCALL |p2| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 131))
                         (QREFELT $ 133)))))
       (#1#
        (COND
         ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 53))
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 131))
                    (QREFELT $ 133)))
         ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|)) (QREFELT $ 53))
          (SPADCALL (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 131)) |p2|
                    (QREFELT $ 133)))
         (#1#
          (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;gcd;3$;45|))
               (LETT |up|
                     (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                               (QREFELT $ 134))
                     . #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=#:G2110 |monb| |contb| |mona| |conta|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |a| (QREFELT $ 65))
        (COND ((SPADCALL |a| (QREFELT $ 66)) |b|)
              (#2='T
               (SPADCALL
                (SPADCALL (SPADCALL |a| (QREFELT $ 63))
                          (SPADCALL |b| (QREFELT $ 135)) (QREFELT $ 133))
                (QREFELT $ 136)))))
       ((SPADCALL |b| (QREFELT $ 65))
        (COND ((SPADCALL |b| (QREFELT $ 66)) |b|)
              (#2#
               (SPADCALL
                (SPADCALL (SPADCALL |b| (QREFELT $ 63))
                          (SPADCALL |a| (QREFELT $ 135)) (QREFELT $ 133))
                (QREFELT $ 136)))))
       (#2#
        (SEQ
         (LETT |conta| (SPADCALL |a| (QREFELT $ 135))
               . #3=(|SMP;gcdPolynomial;3Sup;46|))
         (LETT |mona|
               (SPADCALL |conta| (SPADCALL |a| (QREFELT $ 137)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |mona| (|spadConstant| $ 29) (QREFELT $ 138)))
           (LETT |a|
                 (PROG2
                     (LETT #1# (SPADCALL |a| |mona| (QREFELT $ 139)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |contb| (SPADCALL |b| (QREFELT $ 135)) . #3#)
         (LETT |monb|
               (SPADCALL |contb| (SPADCALL |b| (QREFELT $ 137)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |monb| (|spadConstant| $ 29) (QREFELT $ 138)))
           (LETT |b|
                 (PROG2
                     (LETT #1# (SPADCALL |b| |monb| (QREFELT $ 139)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |mong|
               (SPADCALL (SPADCALL |conta| |contb| (QREFELT $ 133))
                         (MIN (SPADCALL |mona| (QREFELT $ 61))
                              (SPADCALL |monb| (QREFELT $ 61)))
                         (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL
            (< (SPADCALL |a| (QREFELT $ 61)) (SPADCALL |b| (QREFELT $ 61))))
           (EXIT
            (COND
             ((NULL (QEQCAR (SPADCALL |a| |b| (QREFELT $ 139)) 1))
              (SPADCALL |mong| |b| (QREFELT $ 140)))
             ('T |mong|)))))
         (COND
          ((NULL (QEQCAR (SPADCALL |b| |a| (QREFELT $ 139)) 1))
           (EXIT (SPADCALL |mong| |a| (QREFELT $ 140)))))
         (EXIT |mong|)))))))) 

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

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

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

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

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

(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 $ 130))))
         ((SPADCALL |p1| (QREFELT $ 17)) |p2|)
         (#1='T
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 131))
                    (QREFELT $ 133)))))
       ((QEQCAR |p2| 0)
        (COND ((SPADCALL |p2| (QREFELT $ 17)) |p1|)
              (#1#
               (SPADCALL |p2| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 131))
                         (QREFELT $ 133)))))
       (#1#
        (COND
         ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 53))
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 131))
                    (QREFELT $ 133)))
         ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|)) (QREFELT $ 53))
          (SPADCALL (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 131)) |p2|
                    (QREFELT $ 133)))
         (#1#
          (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;gcd;3$;52|))
               (LETT |up|
                     (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                               (QREFELT $ 134))
                     . #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=#:G2140 |monb| |contb| |mona| |conta|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |a| (QREFELT $ 65))
        (COND ((SPADCALL |a| (QREFELT $ 66)) |b|)
              (#2='T
               (SPADCALL
                (SPADCALL (SPADCALL |a| (QREFELT $ 63))
                          (SPADCALL |b| (QREFELT $ 135)) (QREFELT $ 133))
                (QREFELT $ 136)))))
       ((SPADCALL |b| (QREFELT $ 65))
        (COND ((SPADCALL |b| (QREFELT $ 66)) |b|)
              (#2#
               (SPADCALL
                (SPADCALL (SPADCALL |b| (QREFELT $ 63))
                          (SPADCALL |a| (QREFELT $ 135)) (QREFELT $ 133))
                (QREFELT $ 136)))))
       (#2#
        (SEQ
         (LETT |conta| (SPADCALL |a| (QREFELT $ 135))
               . #3=(|SMP;gcdPolynomial;3Sup;53|))
         (LETT |mona|
               (SPADCALL |conta| (SPADCALL |a| (QREFELT $ 137)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |mona| (|spadConstant| $ 29) (QREFELT $ 138)))
           (LETT |a|
                 (PROG2
                     (LETT #1# (SPADCALL |a| |mona| (QREFELT $ 139)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |contb| (SPADCALL |b| (QREFELT $ 135)) . #3#)
         (LETT |monb|
               (SPADCALL |contb| (SPADCALL |b| (QREFELT $ 137)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |monb| (|spadConstant| $ 29) (QREFELT $ 138)))
           (LETT |b|
                 (PROG2
                     (LETT #1# (SPADCALL |b| |monb| (QREFELT $ 139)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |mong|
               (SPADCALL (SPADCALL |conta| |contb| (QREFELT $ 133))
                         (MIN (SPADCALL |mona| (QREFELT $ 61))
                              (SPADCALL |monb| (QREFELT $ 61)))
                         (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL
            (< (SPADCALL |a| (QREFELT $ 61)) (SPADCALL |b| (QREFELT $ 61))))
           (EXIT
            (COND
             ((NULL (QEQCAR (SPADCALL |a| |b| (QREFELT $ 139)) 1))
              (SPADCALL |mong| |b| (QREFELT $ 140)))
             ('T |mong|)))))
         (COND
          ((NULL (QEQCAR (SPADCALL |b| |a| (QREFELT $ 139)) 1))
           (EXIT (SPADCALL |mong| |a| (QREFELT $ 140)))))
         (EXIT |mong|)))))))) 

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

(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 $ 130))))
         ((SPADCALL |p1| (QREFELT $ 17)) |p2|)
         (#1='T
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 131))
                    (QREFELT $ 133)))))
       ((QEQCAR |p2| 0)
        (COND ((SPADCALL |p2| (QREFELT $ 17)) |p1|)
              (#1#
               (SPADCALL |p2| (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 131))
                         (QREFELT $ 133)))))
       (#1#
        (COND
         ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 53))
          (SPADCALL |p1| (SPADCALL (QCDR (QCDR |p2|)) (QREFELT $ 131))
                    (QREFELT $ 133)))
         ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|)) (QREFELT $ 53))
          (SPADCALL (SPADCALL (QCDR (QCDR |p1|)) (QREFELT $ 131)) |p2|
                    (QREFELT $ 133)))
         (#1#
          (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #2=(|SMP;gcd;3$;55|))
               (LETT |up|
                     (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|))
                               (QREFELT $ 134))
                     . #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=#:G2166 |monb| |contb| |mona| |conta|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL |a| (QREFELT $ 65))
        (COND ((SPADCALL |a| (QREFELT $ 66)) |b|)
              (#2='T
               (SPADCALL
                (SPADCALL (SPADCALL |a| (QREFELT $ 63))
                          (SPADCALL |b| (QREFELT $ 135)) (QREFELT $ 133))
                (QREFELT $ 136)))))
       ((SPADCALL |b| (QREFELT $ 65))
        (COND ((SPADCALL |b| (QREFELT $ 66)) |b|)
              (#2#
               (SPADCALL
                (SPADCALL (SPADCALL |b| (QREFELT $ 63))
                          (SPADCALL |a| (QREFELT $ 135)) (QREFELT $ 133))
                (QREFELT $ 136)))))
       (#2#
        (SEQ
         (LETT |conta| (SPADCALL |a| (QREFELT $ 135))
               . #3=(|SMP;gcdPolynomial;3Sup;56|))
         (LETT |mona|
               (SPADCALL |conta| (SPADCALL |a| (QREFELT $ 137)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |mona| (|spadConstant| $ 29) (QREFELT $ 138)))
           (LETT |a|
                 (PROG2
                     (LETT #1# (SPADCALL |a| |mona| (QREFELT $ 139)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |contb| (SPADCALL |b| (QREFELT $ 135)) . #3#)
         (LETT |monb|
               (SPADCALL |contb| (SPADCALL |b| (QREFELT $ 137)) (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL (SPADCALL |monb| (|spadConstant| $ 29) (QREFELT $ 138)))
           (LETT |b|
                 (PROG2
                     (LETT #1# (SPADCALL |b| |monb| (QREFELT $ 139)) . #3#)
                     (QCDR #1#)
                   (|check-union| (QEQCAR #1# 0)
                                  (|SparseUnivariatePolynomial| $) #1#))
                 . #3#)))
         (LETT |mong|
               (SPADCALL (SPADCALL |conta| |contb| (QREFELT $ 133))
                         (MIN (SPADCALL |mona| (QREFELT $ 61))
                              (SPADCALL |monb| (QREFELT $ 61)))
                         (QREFELT $ 27))
               . #3#)
         (COND
          ((NULL
            (< (SPADCALL |a| (QREFELT $ 61)) (SPADCALL |b| (QREFELT $ 61))))
           (EXIT
            (COND
             ((NULL (QEQCAR (SPADCALL |a| |b| (QREFELT $ 139)) 1))
              (SPADCALL |mong| |b| (QREFELT $ 140)))
             ('T |mong|)))))
         (COND
          ((NULL (QEQCAR (SPADCALL |b| |a| (QREFELT $ 139)) 1))
           (EXIT (SPADCALL |mong| |a| (QREFELT $ 140)))))
         (EXIT |mong|)))))))) 

(DEFUN |SMP;coerce;$Of;57| (|p| $)
  (COND ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 149)))
        ('T
         (SPADCALL (QCDR (QCDR |p|))
                   (SPADCALL (QCAR (QCDR |p|)) (QREFELT $ 150))
                   (QREFELT $ 151))))) 

(DEFUN |SMP;coefficients;$L;58| (|p| $)
  (PROG (#1=#:G2181 #2=#:G2180 #3=#:G2182 #4=#:G2184 |p1|)
    (RETURN
     (SEQ
      (COND ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 154)))
            (#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 $ 155)) . #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 $ 54))
          (COND
           ((NULL (CDR |l|))
            (SEQ (SPADCALL |l| (CDR |m|) (QREFELT $ 161)) (EXIT |l|)))
           ((NULL (CDR |m|)) |l|)
           (#1='T
            (SEQ
             (SPADCALL |l| (|SMP;mymerge| (CDR |l|) (CDR |m|) $)
                       (QREFELT $ 161))
             (EXIT |l|)))))
         ((SPADCALL (|SPADfirst| |m|) (|SPADfirst| |l|) (QREFELT $ 53))
          (COND
           ((NULL (CDR |l|))
            (SEQ (SPADCALL |l| |m| (QREFELT $ 161)) (EXIT |l|)))
           (#1#
            (SEQ (SPADCALL |l| (|SMP;mymerge| (CDR |l|) |m| $) (QREFELT $ 161))
                 (EXIT |l|)))))
         ((NULL (CDR |m|)) (SEQ (SPADCALL |m| |l| (QREFELT $ 161)) (EXIT |m|)))
         (#1#
          (SEQ (SPADCALL |m| (|SMP;mymerge| |l| (CDR |m|) $) (QREFELT $ 161))
               (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 $ 128)) 'NIL) ('T 'T)))
                         (GO G191)))
                       (SEQ
                        (LETT |lv|
                              (|SMP;mymerge| |lv|
                               (SPADCALL (SPADCALL |q| (QREFELT $ 22))
                                         (QREFELT $ 162))
                               $)
                              . #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 $ 57)) |pval| (QREFELT $ 165))) 

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

(DEFUN |SMP;evalSortedVarlist| (|p| |Lvar| |Lpval| $)
  (PROG (|pts| |pval| |mvar|)
    (RETURN
     (SEQ
      (COND
       ((OR (QEQCAR |p| 0)
            (OR (NULL |Lvar|) (SPADCALL |Lpval| (QREFELT $ 168))))
        |p|)
       ('T
        (SEQ (LETT |mvar| (|SPADfirst| |Lvar|) . #1=(|SMP;evalSortedVarlist|))
             (EXIT
              (COND
               ((SPADCALL (QCAR (QCDR |p|)) |mvar| (QREFELT $ 53))
                (|SMP;evalSortedVarlist| |p| (CDR |Lvar|)
                 (SPADCALL |Lpval| '|rest| (QREFELT $ 170)) $))
               (#2='T
                (SEQ
                 (LETT |pval| (SPADCALL |Lpval| '|first| (QREFELT $ 172))
                       . #1#)
                 (LETT |pts|
                       (SPADCALL
                        (CONS #'|SMP;evalSortedVarlist!0|
                              (VECTOR $ |Lpval| |Lvar|))
                        (QCDR (QCDR |p|)) (QREFELT $ 125))
                       . #1#)
                 (EXIT
                  (COND
                   ((SPADCALL |mvar| (QCAR (QCDR |p|)) (QREFELT $ 54))
                    (COND
                     ((QEQCAR |pval| 0)
                      (SPADCALL |pts| (CONS 0 (QCDR |pval|)) (QREFELT $ 165)))
                     (#2# (SPADCALL |pts| |pval| (QREFELT $ 165)))))
                   (#2#
                    (SPADCALL |pts| (QCAR (QCDR |p|))
                              (QREFELT $ 67)))))))))))))))) 

(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=#:G2254 |mvar| #2=#:G2253 |nlvar|)
    (RETURN
     (SEQ
      (COND
       ((OR (NULL (CDR |Lvar|))
            (SPADCALL (CONS #'|SMP;eval;$LL$;67!0| $) |Lvar| (QREFELT $ 174)))
        (|SMP;evalSortedVarlist| |p| |Lvar| |Lpval| $))
       ('T
        (SEQ
         (LETT |nlvar|
               (SPADCALL (CONS #'|SMP;eval;$LL$;67!1| $) |Lvar|
                         (QREFELT $ 175))
               . #3=(|SMP;eval;$LL$;67|))
         (LETT |nlpval|
               (COND ((SPADCALL |Lvar| |nlvar| (QREFELT $ 176)) |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 $ 177))
                                                     (QREFELT $ 178))
                                           #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 $ 53))) 

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

(DEFUN |SMP;eval;$LL$;68| (|p| |Lvar| |Lval| $)
  (PROG (#1=#:G2258 |val| #2=#:G2257)
    (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 $ 179)))))) 

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

(DEFUN |SMP;degree;$LL;70| (|p| |Lvar| $)
  (PROG (#1=#:G2268 |mvar| #2=#:G2267)
    (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 $ 181)) #2#)
                    . #3#)))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

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

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

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

(DEFUN |SMP;minimumDegree;$LL;74| (|p| |Lvar| $)
  (PROG (#1=#:G2287 |mvar| #2=#:G2286)
    (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 $ 190)) #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=#:G2289)
    (RETURN
     (SEQ
      (COND
       ((OR (SPADCALL |p| (QREFELT $ 32))
            (NULL
             (SPADCALL |Lvar| (SPADCALL |p| (QREFELT $ 162)) (QREFELT $ 192))))
        0)
       ('T
        (SEQ
         (LETT |u|
               (SPADCALL |p|
                         (LETT |mv|
                               (PROG2
                                   (LETT #1# (SPADCALL |p| (QREFELT $ 164))
                                         . #2=(|SMP;totalDegree;$LNni;75|))
                                   (QCDR #1#)
                                 (|check-union| (QEQCAR #1# 0) (QREFELT $ 7)
                                                #1#))
                               . #2#)
                         (QREFELT $ 57))
               . #2#)
         (LETT |weight|
               (COND ((SPADCALL |mv| |Lvar| (QREFELT $ 193)) 1) ('T 0)) . #2#)
         (LETT |tdeg| 0 . #2#)
         (SEQ G190
              (COND
               ((NULL
                 (COND
                  ((SPADCALL |u| (|spadConstant| $ 194) (QREFELT $ 138)) 'NIL)
                  ('T 'T)))
                (GO G191)))
              (SEQ
               (LETT |termdeg|
                     (+ (* |weight| (SPADCALL |u| (QREFELT $ 61)))
                        (SPADCALL (SPADCALL |u| (QREFELT $ 63)) |Lvar|
                                  (QREFELT $ 195)))
                     . #2#)
               (LETT |tdeg| (MAX |tdeg| |termdeg|) . #2#)
               (EXIT (LETT |u| (SPADCALL |u| (QREFELT $ 64)) . #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 $ 54))
             (SEQ
              (LETT |up| (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 196))
                    . #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 $ 125))
                    . #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 $ 197)))))) 

(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 $ 198))
          (QCAR (QCDR |p|)) (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 40))
          (QREFELT $ 55))))) 

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

(DEFUN |SMP;monomials1| (|p| |vars| |degs| |res| $)
  (PROG (|degs1| |vars1| |mon| |mon1| #1=#:G2325 |var| #2=#:G2326 |deg| |k1|
         |p1| #3=#:G2324 |t| |v1| |tl|)
    (RETURN
     (SEQ (LETT |tl| (QCDR |p|) . #4=(|SMP;monomials1|))
          (LETT |v1| (QCAR |p|) . #4#)
          (SEQ (LETT |t| NIL . #4#) (LETT #3# |tl| . #4#) G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |t| (CAR #3#) . #4#) NIL))
                 #5=(GO G191)))
               (SEQ (LETT |p1| (QCDR |t|) . #4#) (LETT |k1| (QCAR |t|) . #4#)
                    (EXIT
                     (COND
                      ((QEQCAR |p1| 0)
                       (SEQ
                        (LETT |mon|
                              (COND
                               ((< 0 |k1|) (CONS 1 (CONS |v1| (LIST |t|))))
                               ('T |p1|))
                              . #4#)
                        (SEQ (LETT |deg| NIL . #4#) (LETT #2# |degs| . #4#)
                             (LETT |var| NIL . #4#) (LETT #1# |vars| . #4#)
                             G190
                             (COND
                              ((OR (ATOM #1#)
                                   (PROGN (LETT |var| (CAR #1#) . #4#) NIL)
                                   (ATOM #2#)
                                   (PROGN (LETT |deg| (CAR #2#) . #4#) NIL))
                               #5#))
                             (SEQ (LETT |mon1| (CONS |deg| |mon|) . #4#)
                                  (EXIT
                                   (LETT |mon|
                                         (CONS 1 (CONS |var| (LIST |mon1|)))
                                         . #4#)))
                             (LETT #1#
                                   (PROG1 (CDR #1#) (LETT #2# (CDR #2#) . #4#))
                                   . #4#)
                             #6=(GO G190) G191 (EXIT NIL))
                        (EXIT
                         (LETT |res| (SPADCALL |mon| |res| (QREFELT $ 201))
                               . #4#))))
                      ('T
                       (SEQ
                        (LETT |vars1|
                              (COND ((< 0 |k1|) (CONS |v1| |vars|))
                                    ('T |vars|))
                              . #4#)
                        (LETT |degs1|
                              (COND ((< 0 |k1|) (CONS |k1| |degs|))
                                    ('T |degs|))
                              . #4#)
                        (EXIT
                         (LETT |res|
                               (|SMP;monomials1| (QCDR |p1|) |vars1| |degs1|
                                |res| $)
                               . #4#)))))))
               (LETT #3# (CDR #3#) . #4#) #6# G191 (EXIT NIL))
          (EXIT |res|))))) 

(DEFUN |SMP;monomials;$L;81| (|p| $)
  (COND ((SPADCALL |p| (|spadConstant| $ 12) (QREFELT $ 100)) NIL)
        ((QEQCAR |p| 0) (LIST |p|))
        ('T
         (SPADCALL (|SMP;monomials1| (QCDR |p|) NIL NIL NIL $)
                   (QREFELT $ 203))))) 

(DEFUN |SparseMultivariatePolynomial| (&REST #1=#:G2358)
  (PROG ()
    (RETURN
     (PROG (#2=#:G2359)
       (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=#:G2357 $ |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 233) . #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|
                                                          '(|Algebra|
                                                            (|Fraction|
                                                             (|Integer|))))
                                           (|HasCategory| |#1|
                                                          '(|RetractableTo|
                                                            (|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| |#1| '(|PolynomialFactorizationExplicit|))
           (|HasCategory| $ '(|CharacteristicNonZero|))
           (|augmentPredVector| $ 8388608))
      (AND
       (OR (|HasCategory| |#1| '(|CharacteristicNonZero|))
           (AND (|HasCategory| |#1| '(|PolynomialFactorizationExplicit|))
                (|HasCategory| $ '(|CharacteristicNonZero|))))
       (|augmentPredVector| $ 16777216))
      (SETF |pv$| (QREFELT $ 3))
      (QSETREFV $ 8 (|SparseUnivariatePolynomial| $))
      (QSETREFV $ 9 (|Record| (|:| |v| |#2|) (|:| |ts| (QREFELT $ 8))))
      (QSETREFV $ 10 (|Union| |#1| (QREFELT $ 9)))
      (COND
       ((|testBitVector| |pv$| 3)
        (PROGN
         (QSETREFV $ 111 (CONS (|dispatchFunction| |SMP;unitNormal;$R;35|) $))
         (QSETREFV $ 113
                   (CONS (|dispatchFunction| |SMP;unitCanonical;2$;36|) $))
         (QSETREFV $ 115 (CONS (|dispatchFunction| |SMP;unit?;$B;37|) $))
         (QSETREFV $ 118
                   (CONS (|dispatchFunction| |SMP;associates?;2$B;38|) $))
         (COND
          ((|HasCategory| |#1| '(|Approximate|))
           (QSETREFV $ 121 (CONS (|dispatchFunction| |SMP;exquo;2$U;39|) $)))
          ('T
           (QSETREFV $ 121
                     (CONS (|dispatchFunction| |SMP;exquo;2$U;40|) $)))))))
      (COND
       ((|testBitVector| |pv$| 18)
        (QSETREFV $ 127 (CONS (|dispatchFunction| |SMP;/;$R$;42|) $))))
      (COND
       ((|testBitVector| |pv$| 20)
        (QSETREFV $ 129 (CONS (|dispatchFunction| |SMP;content;$R;43|) $))))
      (COND
       ((|HasCategory| |#1| '(|EuclideanDomain|))
        (COND
         ((|testBitVector| |pv$| 15)
          (COND
           ((|HasCategory| |#1| '(|FloatingPointSystem|))
            (COND
             ((|testBitVector| |pv$| 20)
              (PROGN
               (QSETREFV $ 132
                         (CONS (|dispatchFunction| |SMP;content;$VarSet$;44|)
                               $))
               (QSETREFV $ 133 (CONS (|dispatchFunction| |SMP;gcd;3$;45|) $))
               (COND
                ((|HasCategory| |#1| '(|FloatingPointSystem|))
                 (QSETREFV $ 141
                           (CONS
                            (|dispatchFunction| |SMP;gcdPolynomial;3Sup;46|)
                            $))))))))
           ('T
            (PROGN
             (QSETREFV $ 132
                       (CONS (|dispatchFunction| |SMP;content;$VarSet$;47|) $))
             (QSETREFV $ 133 (CONS (|dispatchFunction| |SMP;gcd;3$;48|) $))
             (QSETREFV $ 146 (CONS (|dispatchFunction| |SMP;gcd;L$;49|) $))
             (QSETREFV $ 141
                       (CONS (|dispatchFunction| |SMP;gcdPolynomial;3Sup;50|)
                             $))))))
         ((|testBitVector| |pv$| 20)
          (PROGN
           (QSETREFV $ 132
                     (CONS (|dispatchFunction| |SMP;content;$VarSet$;51|) $))
           (QSETREFV $ 133 (CONS (|dispatchFunction| |SMP;gcd;3$;52|) $))
           (COND
            ((|HasCategory| |#1| '(|FloatingPointSystem|))
             (QSETREFV $ 141
                       (CONS (|dispatchFunction| |SMP;gcdPolynomial;3Sup;53|)
                             $))))))))
       ((|testBitVector| |pv$| 20)
        (PROGN
         (QSETREFV $ 132
                   (CONS (|dispatchFunction| |SMP;content;$VarSet$;54|) $))
         (QSETREFV $ 133 (CONS (|dispatchFunction| |SMP;gcd;3$;55|) $))
         (COND
          ((|HasCategory| |#1| '(|FloatingPointSystem|))
           (QSETREFV $ 141
                     (CONS (|dispatchFunction| |SMP;gcdPolynomial;3Sup;56|)
                           $)))))))
      (COND
       ((|testBitVector| |pv$| 2)
        (QSETREFV $ 197
                  (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 . +) (|Mapping| 6 $$)
              (|UnivariatePolynomialCategoryFunctions2| $$ 8 6 38) (90 . |map|)
              |SMP;univariate;$Sup;11| (96 . |ground?|)
              (101 . |leadingCoefficient|) (106 . |degree|) (111 . |reductum|)
              |SMP;multivariate;SupVarSet$;12| |SMP;+;3$;27| (116 . <)
              (122 . =) |SMP;monomial;$VarSetNni$;17|
              (|SparseUnivariatePolynomial| $) |SMP;univariate;$VarSetSup;13|
              (128 . *) (134 . +) (|SparseUnivariatePolynomial| $$)
              (140 . |degree|) (145 . |coefficient|)
              (151 . |leadingCoefficient|) (156 . |reductum|) (161 . |ground?|)
              (166 . |zero?|) |SMP;multivariate;SupVarSet$;15| |SMP;*;3$;30|
              (|IndexedExponents| 7) (171 . |zero?|) (176 . |leadingSupport|)
              (181 . |leadingCoefficient|) (186 . |reductum|)
              |SMP;monomial;RIe$;18| (191 . |coefficient|)
              |SMP;coefficient;$IeR;19| (|Integer|) (197 . |coerce|)
              |SMP;coerce;I$;20| |SMP;coerce;R$;21| (202 . |characteristic|)
              |SMP;characteristic;Nni;22| (|Union| $ '"failed") (206 . |recip|)
              |SMP;recip;$U;23| (211 . -) (216 . -) |SMP;-;2$;24| (221 . *)
              (227 . *) |SMP;*;I2$;25| (233 . *) |SMP;*;R2$;26| (239 . +)
              (245 . |coerce|) (250 . -) (256 . -) |SMP;-;3$;28| (262 . =)
              |SMP;=;2$B;29| (268 . *) (274 . *) |SMP;^;$Nni$;34|
              (|PositiveInteger|) |SMP;^;$Pi$;32| (280 . ^) (286 . ^) (292 . ^)
              (|Record| (|:| |unit| $) (|:| |canonical| $) (|:| |associate| $))
              (298 . |unitNormal|) (303 . |unitNormal|) (308 . |unitCanonical|)
              (313 . |unitCanonical|) (318 . |unit?|) (323 . |unit?|)
              (328 . |associates?|) (334 . |associates?|) (340 . |associates?|)
              (346 . |exquo|) (352 . |exquo|) (358 . |exquo|) (|Mapping| 6 6)
              |SMP;map;M2$;41| (|Mapping| $$ $$) (364 . |map|) (370 . |inv|)
              (375 . /) (381 . |zero?|) (386 . |content|) (391 . |gcd|)
              (397 . |content|) (402 . |content|) (408 . |gcd|) (414 . |gcd|)
              (420 . |content|) (425 . |coerce|) (430 . |minimumDegree|)
              (435 . =) (441 . |exquo|) (447 . *) (453 . |gcdPolynomial|)
              (|PolynomialGcdPackage| 69 7 6 $$) (459 . |gcd|) (464 . |gcd|)
              (|List| $) (470 . |gcd|) (475 . |gcd|) (|OutputForm|)
              (481 . |coerce|) (486 . |coerce|) (491 . |outputForm|)
              |SMP;coerce;$Of;57| (|List| 6) (497 . |list|)
              |SMP;coefficients;$L;58| (502 . |nil|) |SMP;retract;$R;59|
              (|Union| 6 '"failed") |SMP;retractIfCan;$U;60| (|List| 7)
              (506 . |setrest!|) |SMP;variables;$L;62| (|Union| 7 '#1="failed")
              |SMP;mainVariable;$U;63| (512 . |elt|) |SMP;eval;$VarSet2$;64|
              |SMP;eval;$VarSetR$;65| (518 . |empty?|) '"rest" (523 . |elt|)
              '"first" (529 . |elt|) (|Mapping| 15 7 7) (535 . |sorted?|)
              (541 . |sort|) (547 . =) (553 . |position|) (559 . |elt|)
              |SMP;eval;$LL$;67| |SMP;eval;$LL$;68| |SMP;degree;$VarSetNni;69|
              (|List| 25) |SMP;degree;$LL;70| (565 . |Zero|)
              |SMP;degree;$Ie;71| (569 . |monomial|) (575 . +)
              (581 . |minimumDegree|) |SMP;minimumDegree;$Ie;72|
              |SMP;minimumDegree;$VarSetNni;73| |SMP;minimumDegree;$LL;74|
              (586 . |setIntersection|) (592 . |member?|) (598 . |Zero|)
              |SMP;totalDegree;$LNni;75| (602 . |differentiate|)
              (607 . |differentiate|) |SMP;leadingMonomial;2$;78|
              |SMP;reductum;2$;79| (613 . |Zero|) (617 . |cons|) (623 . |Zero|)
              (627 . |reverse!|) |SMP;monomials;$L;81|
              (|Union| 216 '#2="failed") (|Matrix| $) (|InputForm|)
              (|Pattern| (|Float|)) (|Pattern| 77)
              (|PatternMatchResult| (|Float|) $) (|PatternMatchResult| 77 $)
              (|Fraction| 77) (|Factored| $) (|Matrix| 77)
              (|Record| (|:| |mat| 214) (|:| |vec| (|Vector| 77))) (|Vector| $)
              (|Factored| 56) (|Union| 219 '#2#) (|List| 56)
              (|Union| 212 '#3="failed") (|Union| 77 '#3#) (|Union| 145 '#1#)
              (|Record| (|:| |var| 7) (|:| |exponent| 25)) (|Union| 223 '#1#)
              (|Record| (|:| |quotient| $) (|:| |remainder| $))
              (|Record| (|:| |mat| 227) (|:| |vec| (|Vector| 6))) (|Matrix| 6)
              (|List| 229) (|Equation| $) (|Mapping| 69 69) (|SingleInteger|)
              (|String|))
           '#(~= 632 |zero?| 638 |variables| 643 |univariate| 648 |unitNormal|
              659 |unitCanonical| 664 |unit?| 669 |totalDegree| 674
              |subtractIfCan| 685 |squareFreePolynomial| 691 |squareFreePart|
              696 |squareFree| 701 |solveLinearPolynomialEquation| 706
              |smaller?| 712 |sample| 718 |retractIfCan| 722 |retract| 742
              |resultant| 762 |reductum| 769 |reducedSystem| 774 |recip| 796
              |primitivePart| 801 |primitiveMonomials| 812 |prime?| 817
              |pomopo!| 822 |patternMatch| 830 |one?| 844 |numberOfMonomials|
              849 |multivariate| 854 |monomials| 866 |monomial?| 871 |monomial|
              876 |monicDivide| 896 |minimumDegree| 903 |mapExponents| 920
              |map| 926 |mainVariable| 932 |leadingMonomial| 937
              |leadingCoefficient| 942 |lcm| 947 |latex| 958 |isTimes| 963
              |isPlus| 968 |isExpt| 973 |hash| 978 |ground?| 983 |ground| 988
              |gcdPolynomial| 993 |gcd| 999 |factorSquareFreePolynomial| 1010
              |factorPolynomial| 1015 |factor| 1020 |exquo| 1025 |eval| 1037
              |discriminant| 1091 |differentiate| 1097 |degree| 1123 |convert|
              1140 |content| 1155 |conditionP| 1166 |coerce| 1171
              |coefficients| 1201 |coefficient| 1206 |charthRoot| 1226
              |characteristic| 1231 |binomThmExpt| 1235 |associates?| 1242 ^
              1248 |Zero| 1260 |One| 1264 D 1268 = 1294 / 1300 - 1306 + 1317 *
              1323)
           '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| 212) (|Algebra| 6)
                 (|PartialDifferentialRing| 7) (|LinearlyExplicitRingOver| 6)
                 (|CommutativeRing|) (|Module| $$) (|EntireRing|)
                 (|LinearlyExplicitRingOver| 77) (|Module| 212)
                 (|CharacteristicNonZero|) (|CharacteristicZero|) (|Module| 6)
                 (|BiModule| 6 6) (|Ring|) (|BiModule| $$ $$)
                 (|BiModule| 212 212) (|LeftModule| 6) (|Rng|)
                 (|RightModule| 6) (|LeftModule| $$) (|RightModule| $$)
                 (|LeftModule| 212) (|RightModule| 212) (|AbelianGroup|)
                 (|CancellationAbelianMonoid|) (|SemiRing|) (|AbelianMonoid|)
                 (|Monoid|) (|SemiRng|) (|SemiGroup|) (|AbelianSemiGroup|)
                 (|PatternMatchable| (|Float|)) (|PatternMatchable| 77)
                 (|Comparable|) (|Evalable| $$) (|FullyRetractableTo| 6)
                 (|SetCategory|) (|RetractableTo| 7) (|InnerEvalable| 7 $$)
                 (|InnerEvalable| 7 6) (|InnerEvalable| $$ $$)
                 (|RetractableTo| 6) (|unitsKnown|) (|BasicType|)
                 (|CoercibleTo| 148) (|CommutativeStar|) (|noZeroDivisors|)
                 (|canonicalUnitNormal|) (|ConvertibleTo| 208)
                 (|ConvertibleTo| 209) (|ConvertibleTo| 207)
                 (|RetractableTo| 77) (|RetractableTo| 212))
              (|makeByteWordVec2| 232
                                  '(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 2
                                    44 38 43 8 45 1 38 15 0 47 1 38 6 0 48 1 38
                                    25 0 49 1 38 0 0 50 2 7 15 0 0 53 2 7 15 0
                                    0 54 2 8 0 2 0 58 2 8 0 0 0 59 1 60 25 0 61
                                    2 60 2 0 25 62 1 60 2 0 63 1 60 0 0 64 1 60
                                    15 0 65 1 60 15 0 66 1 69 15 0 70 1 69 7 0
                                    71 1 69 25 0 72 1 69 0 0 73 2 8 2 0 25 75 1
                                    6 0 77 78 0 6 25 81 1 6 83 0 84 1 6 0 0 86
                                    1 8 0 0 87 2 6 0 77 0 89 2 8 0 77 0 90 2 6
                                    0 0 0 92 2 6 0 0 0 94 1 8 0 2 95 2 6 0 0 0
                                    96 2 8 0 0 0 97 2 8 15 0 0 99 2 8 0 0 2 101
                                    2 8 0 0 0 102 2 6 0 0 25 106 2 38 0 0 25
                                    107 2 8 0 0 25 108 1 6 109 0 110 1 0 109 0
                                    111 1 6 0 0 112 1 0 0 0 113 1 6 15 0 114 1
                                    0 15 0 115 2 6 15 0 0 116 2 8 15 0 0 117 2
                                    0 15 0 0 118 2 6 83 0 0 119 2 8 83 0 0 120
                                    2 0 83 0 0 121 2 8 0 124 0 125 1 6 0 0 126
                                    2 0 0 0 6 127 1 8 15 0 128 1 0 6 0 129 2 6
                                    0 0 0 130 1 8 2 0 131 2 0 0 0 7 132 2 0 0 0
                                    0 133 2 8 0 0 0 134 1 60 2 0 135 1 60 0 2
                                    136 1 60 25 0 137 2 60 15 0 0 138 2 60 83 0
                                    0 139 2 60 0 0 0 140 2 0 56 56 56 141 1 142
                                    2 23 143 2 142 2 2 2 144 1 0 0 145 146 2
                                    142 60 60 60 147 1 6 148 0 149 1 7 148 0
                                    150 2 8 148 0 148 151 1 153 0 6 154 0 23 0
                                    156 2 160 0 0 0 161 2 8 2 0 2 165 1 23 15 0
                                    168 2 23 0 0 169 170 2 23 2 0 171 172 2 160
                                    15 173 0 174 2 160 0 173 0 175 2 160 15 0 0
                                    176 2 160 77 7 0 177 2 23 2 0 77 178 0 69 0
                                    184 2 69 0 25 7 186 2 69 0 0 0 187 1 8 25 0
                                    188 2 160 0 0 0 192 2 160 15 7 0 193 0 8 0
                                    194 1 8 0 0 196 2 0 0 0 7 197 0 38 0 200 2
                                    23 0 2 0 201 0 60 0 202 1 23 0 0 203 2 0 15
                                    0 0 1 1 0 15 0 17 1 0 160 0 162 1 0 38 0 46
                                    2 0 56 0 7 57 1 3 109 0 111 1 3 0 0 113 1 3
                                    15 0 115 1 0 25 0 1 2 0 25 0 160 195 2 0 83
                                    0 0 1 1 1 217 56 1 1 20 0 0 1 1 20 213 0 1
                                    2 1 218 219 56 1 2 11 15 0 0 1 0 0 0 1 1 17
                                    220 0 1 1 16 221 0 1 1 0 163 0 1 1 0 158 0
                                    159 1 17 212 0 1 1 16 77 0 1 1 0 7 0 1 1 0
                                    6 0 157 3 2 0 0 0 7 1 1 0 0 0 199 1 12 214
                                    206 1 2 12 215 206 216 1 2 0 226 206 216 1
                                    1 0 227 206 1 1 0 83 0 85 2 20 0 0 7 1 1 20
                                    0 0 1 1 0 145 0 1 1 1 15 0 1 4 0 0 0 6 69 0
                                    1 3 6 210 0 208 210 1 3 7 211 0 209 211 1 1
                                    0 15 0 19 1 0 25 0 26 2 0 0 56 7 67 2 0 0
                                    38 7 51 1 0 145 0 204 1 0 15 0 31 3 0 0 0
                                    160 182 1 3 0 0 0 7 25 55 2 0 0 6 69 74 3 0
                                    225 0 0 7 1 2 0 25 0 7 190 2 0 182 0 160
                                    191 1 0 69 0 189 2 0 0 230 0 1 2 0 0 122 0
                                    123 1 0 163 0 164 1 0 0 0 198 1 0 6 0 37 1
                                    20 0 145 1 2 20 0 0 0 1 1 0 232 0 1 1 0 222
                                    0 1 1 0 222 0 1 1 0 224 0 1 1 0 231 0 1 1 0
                                    15 0 32 1 0 6 0 1 2 20 56 56 56 141 1 20 0
                                    145 146 2 20 0 0 0 133 1 1 217 56 1 1 1 217
                                    56 1 1 1 213 0 1 2 3 83 0 0 121 2 3 83 0 6
                                    1 3 0 0 0 160 145 179 3 0 0 0 7 0 166 3 0 0
                                    0 7 6 167 3 0 0 0 160 153 180 3 0 0 0 0 0 1
                                    3 0 0 0 145 145 1 2 0 0 0 228 1 2 0 0 0 229
                                    1 2 2 0 0 7 1 3 0 0 0 7 25 1 3 0 0 0 160
                                    182 1 2 0 0 0 7 197 2 0 0 0 160 1 2 0 25 0
                                    7 181 2 0 182 0 160 183 1 0 69 0 185 1 10
                                    207 0 1 1 8 208 0 1 1 9 209 0 1 2 20 0 0 7
                                    132 1 20 6 0 129 1 24 205 206 1 1 19 0 212
                                    1 1 3 0 0 1 1 0 0 7 28 1 0 0 6 80 1 0 0 77
                                    79 1 0 148 0 152 1 0 153 0 155 3 0 0 0 7 25
                                    1 3 0 0 0 160 182 1 2 0 6 0 69 76 1 25 83 0
                                    1 0 0 25 82 3 2 0 0 0 25 1 2 3 15 0 0 118 2
                                    0 0 0 25 103 2 0 0 0 104 105 0 0 0 12 0 0 0
                                    14 3 0 0 0 7 25 1 3 0 0 0 160 182 1 2 0 0 0
                                    7 1 2 0 0 0 160 1 2 0 15 0 0 100 2 18 0 0 6
                                    127 2 0 0 0 0 98 1 0 0 0 88 2 0 0 0 0 52 2
                                    13 0 212 0 1 2 13 0 0 212 1 2 0 0 6 0 93 2
                                    0 0 0 6 1 2 0 0 0 0 68 2 0 0 77 0 91 2 0 0
                                    25 0 1 2 0 0 104 0 1)))))
           '|lookupComplete|)) 
