
(/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 (|q| #0=#:G1924 #1=#:G1922 #2=#:G1920 #3=#:G1921)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0)
              (COND ((SPADCALL (QCDR |p|) (QREFELT $ 16)) 0) ('T 1)))
             (#4='T
              (PROGN
                (LETT #3# NIL . #5=(|SMP;numberOfMonomials;$Nni;6|))
                (SEQ (LETT |q| NIL . #5#)
                     (LETT #0#
                           (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24)) . #5#)
                     G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |q| (CAR #0#) . #5#) NIL))
                        (GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1#
                                        (SPADCALL |q| (QREFELT $ 26)) . #5#)
                                  (COND
                                    (#3# (LETT #2# (+ #2# #1#) . #5#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #5#)
                                       (LETT #3# 'T . #5#)))))))
                     (LETT #0# (CDR #0#) . #5#) (GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) (#4# 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)
             ('T
              (SEQ (LETT |q| (QCDR (QCDR |p|))
                         |SMP;moreThanOneVariable?|)
                   (EXIT (COND
                           ((SPADCALL
                                (CONS #'|SMP;moreThanOneVariable?!0| $)
                                (SPADCALL |q| (QREFELT $ 24))
                                (QREFELT $ 36))
                            'T)
                           ('T 'NIL)))))))))) 

(DEFUN |SMP;moreThanOneVariable?!0| (|#1| $)
  (COND
    ((SPADCALL |#1| (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 (|cc| |uu| #0=#:G1966)
    (RETURN
      (SEQ (EXIT (COND
                   ((SPADCALL |u| (QREFELT $ 62))
                    (SPADCALL |u| 0 (QREFELT $ 59)))
                   ('T
                    (SEQ (LETT |uu| |u|
                               . #1=(|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)) . #1#)
                                   (COND
                                     ((OR (QEQCAR |cc| 0)
                                       (SPADCALL (QCAR (QCDR |cc|))
                                        |mvar| (QREFELT $ 50)))
                                      (EXIT
                                       (LETT |uu|
                                        (SPADCALL |uu| (QREFELT $ 61)) . #1#))))
                                   (EXIT
                                    (PROGN
                                      (LETT #0#
                                       (|SMP;unlikeUnivReconstruct| |u|
                                        |mvar| $) . #1#)
                                      (GO #0#))))
                              NIL (GO G190) G191 (EXIT NIL))
                         (EXIT (CONS 1 (CONS |mvar| |u|)))))))
           #0# (EXIT #0#))))) 

(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 (|ve| |vp|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |e| (QREFELT $ 67))
              (COND
                ((QEQCAR |p| 0) (QCDR |p|))
                ('T
                 (SPADCALL
                     (SPADCALL (QCDR (QCDR |p|)) 0 (QREFELT $ 72)) |e|
                     (QREFELT $ 73)))))
             ((QEQCAR |p| 0) (QCDR (|spadConstant| $ 12)))
             ('T
              (SEQ (LETT |ve| (SPADCALL |e| (QREFELT $ 68))
                         . #0=(|SMP;coefficient;$IeR;19|))
                   (LETT |vp| (QCAR (QCDR |p|)) . #0#)
                   (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)))
                           ('T
                            (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"))
                           (#0='T (CONS 0 (CONS 0 (QCDR |uu|))))))))
             (#0# (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 (|mvar| |up|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0)
              (CONS 0 (SPADCALL |n| (QCDR |p|) (QREFELT $ 86))))
             ('T
              (SEQ (LETT |mvar| (QCAR (QCDR |p|))
                         . #0=(|SMP;*;I2$;25|))
                   (LETT |up|
                         (SPADCALL |n| (QCDR (QCDR |p|))
                             (QREFELT $ 87)) . #0#)
                   (EXIT (COND
                           ((SPADCALL |up| (QREFELT $ 21))
                            (SPADCALL |up| (QREFELT $ 22)))
                           ('T (CONS 1 (CONS |mvar| |up|)))))))))))) 

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

(DEFUN |SMP;+;3$;27| (|p1| |p2| $)
  (PROG (|mvar| |up|)
    (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)))))
                   ('T
                    (COND
                      ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|))
                           (QREFELT $ 51))
                       (SEQ (LETT |mvar| (QCAR (QCDR |p1|))
                                  . #0=(|SMP;+;3$;27|))
                            (LETT |up|
                                  (SPADCALL (QCDR (QCDR |p1|))
                                      (QCDR (QCDR |p2|))
                                      (QREFELT $ 56)) . #0#)
                            (EXIT (COND
                                    ((SPADCALL |up| (QREFELT $ 21))
                                     (SPADCALL |up| (QREFELT $ 22)))
                                    ('T (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)))))
                      ('T
                       (CONS 1
                             (CONS (QCAR (QCDR |p1|))
                                   (SPADCALL (QCDR (QCDR |p1|))
                                    (SPADCALL |p2| (QREFELT $ 92))
                                    (QREFELT $ 56))))))))))))) 

(DEFUN |SMP;-;3$;28| (|p1| |p2| $)
  (PROG (|mvar| |up|)
    (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)))))
                   ('T
                    (COND
                      ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|))
                           (QREFELT $ 51))
                       (SEQ (LETT |mvar| (QCAR (QCDR |p1|))
                                  . #0=(|SMP;-;3$;28|))
                            (LETT |up|
                                  (SPADCALL (QCDR (QCDR |p1|))
                                      (QCDR (QCDR |p2|))
                                      (QREFELT $ 94)) . #0#)
                            (EXIT (COND
                                    ((SPADCALL |up| (QREFELT $ 21))
                                     (SPADCALL |up| (QREFELT $ 22)))
                                    ('T (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)))))
                      ('T
                       (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)))
       (#0='T 'NIL)))
    ((QEQCAR |p2| 0) 'NIL)
    (#0#
     (COND
       ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|)) (QREFELT $ 51))
        (SPADCALL (QCDR (QCDR |p1|)) (QCDR (QCDR |p2|)) (QREFELT $ 96)))
       ('T 'NIL))))) 

(DEFUN |SMP;*;3$;30| (|p1| |p2| $)
  (PROG (|mvar| |up|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p1| 0)
              (SPADCALL (QCDR |p1|) |p2| (QREFELT $ 90)))
             ((QEQCAR |p2| 0)
              (SEQ (LETT |mvar| (QCAR (QCDR |p1|))
                         . #0=(|SMP;*;3$;30|))
                   (LETT |up|
                         (SPADCALL (QCDR (QCDR |p1|)) |p2|
                             (QREFELT $ 98)) . #0#)
                   (EXIT (COND
                           ((SPADCALL |up| (QREFELT $ 21))
                            (SPADCALL |up| (QREFELT $ 22)))
                           ('T (CONS 1 (CONS |mvar| |up|)))))))
             ('T
              (COND
                ((SPADCALL (QCAR (QCDR |p1|)) (QCAR (QCDR |p2|))
                     (QREFELT $ 51))
                 (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #0#)
                      (LETT |up|
                            (SPADCALL (QCDR (QCDR |p1|))
                                (QCDR (QCDR |p2|)) (QREFELT $ 99)) . #0#)
                      (EXIT (COND
                              ((SPADCALL |up| (QREFELT $ 21))
                               (SPADCALL |up| (QREFELT $ 22)))
                              ('T (CONS 1 (CONS |mvar| |up|)))))))
                ((SPADCALL (QCAR (QCDR |p2|)) (QCAR (QCDR |p1|))
                     (QREFELT $ 50))
                 (SEQ (LETT |mvar| (QCAR (QCDR |p1|)) . #0#)
                      (LETT |up|
                            (SPADCALL (QCDR (QCDR |p1|)) |p2|
                                (QREFELT $ 98)) . #0#)
                      (EXIT (COND
                              ((SPADCALL |up| (QREFELT $ 21))
                               (SPADCALL |up| (QREFELT $ 22)))
                              ('T (CONS 1 (CONS |mvar| |up|)))))))
                ('T
                 (SEQ (LETT |mvar| (QCAR (QCDR |p2|)) . #0#)
                      (LETT |up|
                            (SPADCALL |p1| (QCDR (QCDR |p2|))
                                (QREFELT $ 55)) . #0#)
                      (EXIT (COND
                              ((SPADCALL |up| (QREFELT $ 21))
                               (SPADCALL |up| (QREFELT $ 22)))
                              ('T (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 (|mvar| |up|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0)
              (CONS 0 (SPADCALL (QCDR |p|) |k| (QREFELT $ 105))))
             ((NULL (|SMP;moreThanOneVariable?| |p| $))
              (SPADCALL
                  (SPADCALL (|SMP;univariateKnown| |p| $) |k|
                      (QREFELT $ 106))
                  (QCAR (QCDR |p|)) (QREFELT $ 48)))
             ('T
              (SEQ (LETT |mvar| (QCAR (QCDR |p|))
                         . #0=(|SMP;**;$Nni$;34|))
                   (LETT |up|
                         (SPADCALL (QCDR (QCDR |p|)) |k|
                             (QREFELT $ 107)) . #0#)
                   (EXIT (COND
                           ((SPADCALL |up| (QREFELT $ 21))
                            (SPADCALL |up| (QREFELT $ 22)))
                           ('T (CONS 1 (CONS |mvar| |up|)))))))))))) 

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

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

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

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

(DEFUN |SMP;exquo;2$U;39| (|p1| |p2| $)
  (PROG (|a| |mvar| |up|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p1| 0)
              (COND
                ((QEQCAR |p2| 0)
                 (EXIT (SEQ (LETT |a|
                                  (SPADCALL (QCDR |p1|) (QCDR |p2|)
                                      (QREFELT $ 118))
                                  . #0=(|SMP;exquo;2$U;39|))
                            (EXIT (COND
                                    ((QEQCAR |a| 1) (CONS 1 "failed"))
                                    ('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 "failed")))
                           ((QEQCAR |p2| 1)
                            (COND
                              ((SPADCALL (QCAR (QCDR |p1|))
                                   (QCAR (QCDR |p2|)) (QREFELT $ 50))
                               (EXIT (CONS 1 "failed"))))))
                         (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 $ 119)) . #0#)
                                       (EXIT
                                        (COND
                                          ((QEQCAR |a| 1)
                                           (CONS 1 "failed"))
                                          ('T
                                           (CONS 0
                                            (CONS 1
                                             (CONS (QCAR (QCDR |p1|))
                                              (QCDR |a|)))))))))))
                         (EXIT (COND
                                 ((SPADCALL |p1| |p2| (QREFELT $ 97))
                                  (CONS 0 (|spadConstant| $ 14)))
                                 ('T
                                  (SEQ (LETT |a|
                                        (SPADCALL (QCDR (QCDR |p1|))
                                         (QCDR (QCDR |p2|))
                                         (QREFELT $ 119)) . #0#)
                                       (EXIT
                                        (COND
                                          ((QEQCAR |a| 1)
                                           (CONS 1 "failed"))
                                          ('T
                                           (SEQ
                                            (LETT |mvar|
                                             (QCAR (QCDR |p1|)) . #0#)
                                            (LETT |up|
                                             (QCDR |a|) . #0#)
                                            (EXIT
                                             (COND
                                               ((SPADCALL |up|
                                                 (QREFELT $ 62))
                                                (CONS 0
                                                 (SPADCALL |up|
                                                  (QREFELT $ 60))))
                                               ('T
                                                (CONS 0
                                                 (CONS 1
                                                  (CONS |mvar| |up|)))))))))))))))))))))) 

(DEFUN |SMP;exquo;2$U;40| (|p1| |p2| $)
  (PROG (|a| |mvar| |up|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p1| 0)
              (COND
                ((QEQCAR |p2| 0)
                 (EXIT (SEQ (LETT |a|
                                  (SPADCALL (QCDR |p1|) (QCDR |p2|)
                                      (QREFELT $ 118))
                                  . #0=(|SMP;exquo;2$U;40|))
                            (EXIT (COND
                                    ((QEQCAR |a| 1) (CONS 1 "failed"))
                                    ('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 "failed")))
                           ((QEQCAR |p2| 1)
                            (COND
                              ((SPADCALL (QCAR (QCDR |p1|))
                                   (QCAR (QCDR |p2|)) (QREFELT $ 50))
                               (EXIT (CONS 1 "failed"))))))
                         (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 $ 119)) . #0#)
                                       (EXIT
                                        (COND
                                          ((QEQCAR |a| 1)
                                           (CONS 1 "failed"))
                                          ('T
                                           (CONS 0
                                            (CONS 1
                                             (CONS (QCAR (QCDR |p1|))
                                              (QCDR |a|)))))))))))
                         (LETT |a|
                               (SPADCALL (QCDR (QCDR |p1|))
                                   (QCDR (QCDR |p2|)) (QREFELT $ 119)) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |a| 1) (CONS 1 "failed"))
                                 ('T
                                  (SEQ (LETT |mvar|
                                        (QCAR (QCDR |p1|)) . #0#)
                                       (LETT |up| (QCDR |a|) . #0#)
                                       (EXIT
                                        (COND
                                          ((SPADCALL |up|
                                            (QREFELT $ 62))
                                           (CONS 0
                                            (SPADCALL |up|
                                             (QREFELT $ 60))))
                                          ('T
                                           (CONS 0
                                            (CONS 1 (CONS |mvar| |up|)))))))))))))))))) 

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

(DEFUN |SMP;map;M2$;41!0| (|#1| $$)
  (SPADCALL (QREFELT $$ 1) |#1| (QREFELT (QREFELT $$ 0) 122))) 

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

(DEFUN |SMP;content;$R;43| (|p| $)
  (PROG (|c| |up|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0) (QCDR |p|))
             ('T
              (SEQ (LETT |c| (QCDR (|spadConstant| $ 12))
                         . #0=(|SMP;content;$R;43|))
                   (LETT |up| (QCDR (QCDR |p|)) . #0#)
                   (SEQ G190
                        (COND
                          ((NULL (COND
                                   ((OR (SPADCALL |up| (QREFELT $ 127))
                                     (SPADCALL |c|
                                      (QCDR (|spadConstant| $ 14))
                                      (QREFELT $ 18)))
                                    'NIL)
                                   ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |c|
                                   (SPADCALL |c|
                                    (SPADCALL
                                     (SPADCALL |up| (QREFELT $ 22))
                                     (QREFELT $ 128))
                                    (QREFELT $ 129)) . #0#)
                             (EXIT (LETT |up|
                                    (SPADCALL |up| (QREFELT $ 20)) . #0#)))
                        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 $ 130))))) 

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

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

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

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

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

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

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

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

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

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

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

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

(DEFUN |SMP;coefficients;$L;58| (|p| $)
  (PROG (|p1| #0=#:G2208 #1=#:G2206 #2=#:G2204 #3=#:G2205)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0) (SPADCALL (QCDR |p|) (QREFELT $ 153)))
             (#4='T
              (PROGN
                (LETT #3# NIL . #5=(|SMP;coefficients;$L;58|))
                (SEQ (LETT |p1| NIL . #5#)
                     (LETT #0#
                           (SPADCALL (QCDR (QCDR |p|)) (QREFELT $ 24)) . #5#)
                     G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |p1| (CAR #0#) . #5#) NIL))
                        (GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1#
                                        (SPADCALL |p1| (QREFELT $ 154)) . #5#)
                                  (COND
                                    (#3#
                                     (LETT #2# (APPEND #2# #1#) . #5#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #5#)
                                       (LETT #3# 'T . #5#)))))))
                     (LETT #0# (CDR #0#) . #5#) (GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) (#4# 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 $ 160)) (EXIT |l|)))
            ((NULL (CDR |m|)) |l|)
            ('T
             (SEQ (SPADCALL |l| (|SMP;mymerge| (CDR |l|) (CDR |m|) $)
                      (QREFELT $ 160))
                  (EXIT |l|)))))
         ((SPADCALL (|SPADfirst| |m|) (|SPADfirst| |l|) (QREFELT $ 50))
          (COND
            ((NULL (CDR |l|))
             (SEQ (SPADCALL |l| |m| (QREFELT $ 160)) (EXIT |l|)))
            ('T
             (SEQ (SPADCALL |l| (|SMP;mymerge| (CDR |l|) |m| $)
                      (QREFELT $ 160))
                  (EXIT |l|)))))
         ((NULL (CDR |m|))
          (SEQ (SPADCALL |m| |l| (QREFELT $ 160)) (EXIT |m|)))
         ('T
          (SEQ (SPADCALL |m| (|SMP;mymerge| |l| (CDR |m|) $)
                   (QREFELT $ 160))
               (EXIT |m|)))))) 

(DEFUN |SMP;variables;$L;62| (|p| $)
  (PROG (|lv| |q|)
    (RETURN
      (SEQ (COND
             ((QEQCAR |p| 0) NIL)
             ('T
              (SEQ (LETT |lv| NIL . #0=(|SMP;variables;$L;62|))
                   (LETT |q| (QCDR (QCDR |p|)) . #0#)
                   (SEQ G190
                        (COND
                          ((NULL (COND
                                   ((SPADCALL |q| (QREFELT $ 127))
                                    'NIL)
                                   ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |lv|
                                   (|SMP;mymerge| |lv|
                                    (SPADCALL
                                     (SPADCALL |q| (QREFELT $ 22))
                                     (QREFELT $ 161))
                                    $) . #0#)
                             (EXIT (LETT |q|
                                    (SPADCALL |q| (QREFELT $ 20)) . #0#)))
                        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 $ 164))) 

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

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

(DEFUN |SMP;evalSortedVarlist!0| (|#1| $$)
  (|SMP;evalSortedVarlist| |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT $$ 0))) 

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

(DEFUN |SMP;eval;$LL$;67!1| (|#1| |#2| $)
  (SPADCALL |#2| |#1| (QREFELT $ 50))) 

(DEFUN |SMP;eval;$LL$;67!0| (|#1| |#2| $)
  (SPADCALL |#2| |#1| (QREFELT $ 50))) 

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

(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 $ 180))
          (SPADCALL (|SMP;red| |p| $) |mvar| (QREFELT $ 180)))))) 

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

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

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

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

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

(DEFUN |SMP;totalDegree;$LNni;75| (|p| |Lvar| $)
  (PROG (#0=#:G2302 |mv| |weight| |termdeg| |tdeg| |u|)
    (RETURN
      (SEQ (COND
             ((OR (SPADCALL |p| (QREFELT $ 32))
                  (NULL (SPADCALL |Lvar| (SPADCALL |p| (QREFELT $ 161))
                            (QREFELT $ 191))))
              0)
             ('T
              (SEQ (LETT |u|
                         (SPADCALL |p|
                             (LETT |mv|
                                   (PROG2
                                    (LETT #0#
                                     (SPADCALL |p| (QREFELT $ 163))
                                     . #1=(|SMP;totalDegree;$LNni;75|))
                                    (QCDR #0#)
                                     (|check-union| (QEQCAR #0# 0)
                                      (QREFELT $ 7) #0#)) . #1#)
                             (QREFELT $ 54)) . #1#)
                   (LETT |weight|
                         (COND
                           ((SPADCALL |mv| |Lvar| (QREFELT $ 192)) 1)
                           ('T 0)) . #1#)
                   (LETT |tdeg| 0 . #1#)
                   (SEQ G190
                        (COND
                          ((NULL (COND
                                   ((SPADCALL |u|
                                     (|spadConstant| $ 193)
                                     (QREFELT $ 137))
                                    'NIL)
                                   ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |termdeg|
                                   (+
                                    (* |weight|
                                     (SPADCALL |u| (QREFELT $ 58)))
                                    (SPADCALL
                                     (SPADCALL |u| (QREFELT $ 60))
                                     |Lvar| (QREFELT $ 194))) . #1#)
                             (LETT |tdeg| (MAX |tdeg| |termdeg|) . #1#)
                             (EXIT (LETT |u|
                                    (SPADCALL |u| (QREFELT $ 61)) . #1#)))
                        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 $ 195))
                         . #0=(|SMP;differentiate;$VarSet$;76|))
                   (EXIT (COND
                           ((SPADCALL |up| (QREFELT $ 21))
                            (SPADCALL |up| (QREFELT $ 22)))
                           ('T (CONS 1 (CONS |mvar| |up|)))))))
             ('T
              (SEQ (LETT |up|
                         (SPADCALL
                             (CONS #'|SMP;differentiate;$VarSet$;76!0|
                                   (VECTOR $ |mvar|))
                             (QCDR (QCDR |p|)) (QREFELT $ 124)) . #0#)
                   (EXIT (COND
                           ((SPADCALL |up| (QREFELT $ 21))
                            (SPADCALL |up| (QREFELT $ 22)))
                           ('T (CONS 1 (CONS (QCAR (QCDR |p|)) |up|)))))))))))) 

(DEFUN |SMP;differentiate;$VarSet$;76!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 196))) 

(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 $ 197))
         (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 $ 197)) (QREFELT $ 95))))) 

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

(DEFUN |SparseMultivariatePolynomial;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ #0=#:G2347 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #1=(|SparseMultivariatePolynomial|))
        (LETT DV$2 (|devaluate| |#2|) . #1#)
        (LETT |dv$|
              (LIST '|SparseMultivariatePolynomial| DV$1 DV$2) . #1#)
        (LETT $ (GETREFV 227) . #1#)
        (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| '(|OrderedSet|))
                            (|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 #0#
                                  (|HasCategory| |#1| '(|GcdDomain|)) . #1#)
                            (OR (|HasCategory| |#1|
                                    '(|CommutativeRing|))
                                #0#
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|))
                                (|HasCategory| |#1|
                                    '(|PolynomialFactorizationExplicit|)))
                            (OR #0#
                                (|HasCategory| |#1|
                                    '(|IntegralDomain|))
                                (|HasCategory| |#1|
                                    '(|PolynomialFactorizationExplicit|)))
                            (OR #0#
                                (|HasCategory| |#1|
                                    '(|PolynomialFactorizationExplicit|))))) . #1#))
        (|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 $ 110
                 (CONS (|dispatchFunction| |SMP;unitNormal;$R;35|) $))
             (QSETREFV $ 112
                 (CONS (|dispatchFunction| |SMP;unitCanonical;2$;36|)
                       $))
             (QSETREFV $ 114
                 (CONS (|dispatchFunction| |SMP;unit?;$B;37|) $))
             (QSETREFV $ 117
                 (CONS (|dispatchFunction| |SMP;associates?;2$B;38|) $))
             (COND
               ((|HasCategory| |#1| '(|Approximate|))
                (QSETREFV $ 120
                    (CONS (|dispatchFunction| |SMP;exquo;2$U;39|) $)))
               ('T
                (QSETREFV $ 120
                    (CONS (|dispatchFunction| |SMP;exquo;2$U;40|) $)))))))
        (COND
          ((|testBitVector| |pv$| 18)
           (QSETREFV $ 126
               (CONS (|dispatchFunction| |SMP;/;$R$;42|) $))))
        (COND
          ((|testBitVector| |pv$| 20)
           (QSETREFV $ 128
               (CONS (|dispatchFunction| |SMP;content;$R;43|) $))))
        (COND
          ((|HasCategory| |#1| '(|EuclideanDomain|))
           (COND
             ((|testBitVector| |pv$| 15)
              (COND
                ((|HasCategory| |#1| '(|FloatingPointSystem|))
                 (COND
                   ((|testBitVector| |pv$| 20)
                    (PROGN
                      (QSETREFV $ 131
                          (CONS (|dispatchFunction|
                                    |SMP;content;$VarSet$;44|)
                                $))
                      (QSETREFV $ 132
                          (CONS (|dispatchFunction| |SMP;gcd;3$;45|) $))
                      (COND
                        ((|HasCategory| |#1| '(|FloatingPointSystem|))
                         (QSETREFV $ 140
                             (CONS (|dispatchFunction|
                                    |SMP;gcdPolynomial;3Sup;46|)
                                   $))))))))
                ('T
                 (PROGN
                   (QSETREFV $ 131
                       (CONS (|dispatchFunction|
                                 |SMP;content;$VarSet$;47|)
                             $))
                   (QSETREFV $ 132
                       (CONS (|dispatchFunction| |SMP;gcd;3$;48|) $))
                   (QSETREFV $ 145
                       (CONS (|dispatchFunction| |SMP;gcd;L$;49|) $))
                   (QSETREFV $ 140
                       (CONS (|dispatchFunction|
                                 |SMP;gcdPolynomial;3Sup;50|)
                             $))))))
             ((|testBitVector| |pv$| 20)
              (PROGN
                (QSETREFV $ 131
                    (CONS (|dispatchFunction|
                              |SMP;content;$VarSet$;51|)
                          $))
                (QSETREFV $ 132
                    (CONS (|dispatchFunction| |SMP;gcd;3$;52|) $))
                (COND
                  ((|HasCategory| |#1| '(|FloatingPointSystem|))
                   (QSETREFV $ 140
                       (CONS (|dispatchFunction|
                                 |SMP;gcdPolynomial;3Sup;53|)
                             $))))))))
          ((|testBitVector| |pv$| 20)
           (PROGN
             (QSETREFV $ 131
                 (CONS (|dispatchFunction| |SMP;content;$VarSet$;54|)
                       $))
             (QSETREFV $ 132
                 (CONS (|dispatchFunction| |SMP;gcd;3$;55|) $))
             (COND
               ((|HasCategory| |#1| '(|FloatingPointSystem|))
                (QSETREFV $ 140
                    (CONS (|dispatchFunction|
                              |SMP;gcdPolynomial;3Sup;56|)
                          $)))))))
        (COND
          ((|testBitVector| |pv$| 2)
           (QSETREFV $ 196
               (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$;31| |SMP;**;$Pi$;32| |SMP;^;$Nni$;33|
             (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 '"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| 209 '"failed") (|Matrix| $)
             (|InputForm|) (|Pattern| (|Float|)) (|Pattern| 74)
             (|PatternMatchResult| (|Float|) $)
             (|PatternMatchResult| 74 $) (|Fraction| 74) (|Factored| $)
             (|Record| (|:| |mat| 210) (|:| |vec| (|Vector| 74)))
             (|Vector| $) (|Matrix| 74) (|Factored| 53)
             (|Union| 213 '"failed") (|List| 53)
             (|Union| 206 '"failed") (|Union| 74 '"failed")
             (|Record| (|:| |var| 7) (|:| |exponent| 25))
             (|Union| 216 '"failed") (|Union| 144 '"failed")
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Matrix| 6)
             (|Record| (|:| |mat| 220) (|:| |vec| (|Vector| 6)))
             (|Equation| $) (|List| 222) (|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
             |sample| 687 |retractIfCan| 691 |retract| 711 |resultant|
             731 |reductum| 738 |reducedSystem| 743 |recip| 765
             |primitivePart| 770 |primitiveMonomials| 781 |prime?| 786
             |pomopo!| 791 |patternMatch| 799 |one?| 813
             |numberOfMonomials| 818 |multivariate| 823 |monomials| 835
             |monomial?| 840 |monomial| 845 |monicDivide| 865
             |minimumDegree| 872 |min| 889 |max| 895 |mapExponents| 901
             |map| 907 |mainVariable| 913 |leadingMonomial| 918
             |leadingCoefficient| 923 |lcm| 928 |latex| 939 |isTimes|
             944 |isPlus| 949 |isExpt| 954 |hash| 959 |ground?| 964
             |ground| 969 |gcdPolynomial| 974 |gcd| 980
             |factorSquareFreePolynomial| 991 |factorPolynomial| 996
             |factor| 1001 |exquo| 1006 |eval| 1018 |discriminant| 1072
             |differentiate| 1078 |degree| 1104 |convert| 1121
             |content| 1136 |conditionP| 1147 |coerce| 1152
             |coefficients| 1182 |coefficient| 1187 |charthRoot| 1207
             |characteristic| 1212 |binomThmExpt| 1216 |associates?|
             1223 ^ 1229 |Zero| 1241 |One| 1245 D 1249 >= 1275 > 1281 =
             1287 <= 1293 < 1299 / 1305 - 1311 + 1322 ** 1328 * 1340)
          '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 |OrderedSet&| |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| 206)
                               (|Algebra| 6)
                               (|PartialDifferentialRing| 7)
                               (|LinearlyExplicitRingOver| 6)
                               (|CommutativeRing|) (|Module| $$)
                               (|EntireRing|)
                               (|LinearlyExplicitRingOver| 74)
                               (|Module| 206) (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|Module| 6)
                               (|BiModule| 6 6) (|Ring|)
                               (|BiModule| $$ $$) (|BiModule| 206 206)
                               (|LeftModule| 6) (|Rng|)
                               (|RightModule| 6) (|LeftModule| $$)
                               (|RightModule| $$) (|LeftModule| 206)
                               (|RightModule| 206) (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|)
                               (|PatternMatchable| (|Float|))
                               (|PatternMatchable| 74) (|OrderedSet|)
                               (|Evalable| $$) (|FullyRetractableTo| 6)
                               (|SetCategory|) (|RetractableTo| 7)
                               (|InnerEvalable| 7 $$)
                               (|InnerEvalable| 7 6)
                               (|InnerEvalable| $$ $$)
                               (|RetractableTo| 6) (|unitsKnown|)
                               (|BasicType|) (|CoercibleTo| 147)
                               (|CommutativeStar|) (|noZeroDivisors|)
                               (|canonicalUnitNormal|)
                               (|ConvertibleTo| 202)
                               (|ConvertibleTo| 203)
                               (|ConvertibleTo| 201)
                               (|RetractableTo| 74)
                               (|RetractableTo| 206))
                            (|makeByteWordVec2| 226
                                '(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 105 2 38 0 0
                                  25 106 2 8 0 0 25 107 1 6 108 0 109 1
                                  0 108 0 110 1 6 0 0 111 1 0 0 0 112 1
                                  6 15 0 113 1 0 15 0 114 2 6 15 0 0
                                  115 2 8 15 0 0 116 2 0 15 0 0 117 2 6
                                  80 0 0 118 2 8 80 0 0 119 2 0 80 0 0
                                  120 2 8 0 123 0 124 1 6 0 0 125 2 0 0
                                  0 6 126 1 8 15 0 127 1 0 6 0 128 2 6
                                  0 0 0 129 1 8 2 0 130 2 0 0 0 7 131 2
                                  0 0 0 0 132 2 8 0 0 0 133 1 57 2 0
                                  134 1 57 0 2 135 1 57 25 0 136 2 57
                                  15 0 0 137 2 57 80 0 0 138 2 57 0 0 0
                                  139 2 0 53 53 53 140 1 141 2 23 142 2
                                  141 2 2 2 143 1 0 0 144 145 2 141 57
                                  57 57 146 1 6 147 0 148 1 7 147 0 149
                                  2 8 147 0 147 150 1 152 0 6 153 0 23
                                  0 155 2 159 0 0 0 160 2 8 2 0 2 164 1
                                  23 15 0 167 2 23 0 0 168 169 2 23 2 0
                                  170 171 2 159 15 172 0 173 2 159 0
                                  172 0 174 2 159 15 0 0 175 2 159 74 7
                                  0 176 2 23 2 0 74 177 0 66 0 183 2 66
                                  0 25 7 185 2 66 0 0 0 186 1 8 25 0
                                  187 2 159 0 0 0 191 2 159 15 7 0 192
                                  0 8 0 193 1 8 0 0 195 2 0 0 0 7 196 2
                                  0 15 0 0 1 1 0 15 0 17 1 0 159 0 161
                                  1 0 38 0 43 2 0 53 0 7 54 1 3 108 0
                                  110 1 3 0 0 112 1 3 15 0 114 2 0 25 0
                                  159 194 1 0 25 0 1 2 0 80 0 0 1 1 1
                                  211 53 1 1 20 0 0 1 1 20 207 0 1 2 1
                                  212 213 53 1 0 0 0 1 1 17 214 0 1 1
                                  16 215 0 1 1 0 162 0 1 1 0 157 0 158
                                  1 17 206 0 1 1 16 74 0 1 1 0 7 0 1 1
                                  0 6 0 156 3 2 0 0 0 7 1 1 0 0 0 198 2
                                  12 208 200 209 1 1 12 210 200 1 1 0
                                  220 200 1 2 0 221 200 209 1 1 0 80 0
                                  82 2 20 0 0 7 1 1 20 0 0 1 1 0 144 0
                                  1 1 1 15 0 1 4 0 0 0 6 66 0 1 3 6 204
                                  0 202 204 1 3 7 205 0 203 205 1 1 0
                                  15 0 19 1 0 25 0 26 2 0 0 38 7 48 2 0
                                  0 53 7 64 1 0 144 0 1 1 0 15 0 31 3 0
                                  0 0 7 25 52 3 0 0 0 159 181 1 2 0 0 6
                                  66 71 3 0 219 0 0 7 1 2 0 25 0 7 189
                                  2 0 181 0 159 190 1 0 66 0 188 2 11 0
                                  0 0 1 2 11 0 0 0 1 2 0 0 224 0 1 2 0
                                  0 121 0 122 1 0 162 0 163 1 0 0 0 197
                                  1 0 6 0 37 1 20 0 144 1 2 20 0 0 0 1
                                  1 0 226 0 1 1 0 218 0 1 1 0 218 0 1 1
                                  0 217 0 1 1 0 225 0 1 1 0 15 0 32 1 0
                                  6 0 1 2 20 53 53 53 140 1 20 0 144
                                  145 2 20 0 0 0 132 1 1 211 53 1 1 1
                                  211 53 1 1 1 207 0 1 2 3 80 0 0 120 2
                                  3 80 0 6 1 3 0 0 0 159 144 178 3 0 0
                                  0 159 152 179 3 0 0 0 7 0 165 3 0 0 0
                                  144 144 1 3 0 0 0 7 6 166 2 0 0 0 222
                                  1 3 0 0 0 0 0 1 2 0 0 0 223 1 2 2 0 0
                                  7 1 3 0 0 0 7 25 1 3 0 0 0 159 181 1
                                  2 0 0 0 7 196 2 0 0 0 159 1 2 0 181 0
                                  159 182 2 0 25 0 7 180 1 0 66 0 184 1
                                  10 201 0 1 1 8 202 0 1 1 9 203 0 1 2
                                  20 0 0 7 131 1 20 6 0 128 1 24 199
                                  200 1 1 19 0 206 1 1 3 0 0 1 1 0 0 7
                                  28 1 0 0 6 77 1 0 0 74 76 1 0 147 0
                                  151 1 0 152 0 154 3 0 0 0 7 25 1 3 0
                                  0 0 159 181 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
                                  117 2 0 0 0 25 104 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 159 181 1 2 0 0 0 7 1 2 0 0 0 159 1
                                  2 11 15 0 0 1 2 11 15 0 0 1 2 0 15 0
                                  0 97 2 11 15 0 0 1 2 11 15 0 0 1 2 18
                                  0 0 6 126 1 0 0 0 85 2 0 0 0 0 95 2 0
                                  0 0 0 49 2 0 0 0 25 100 2 0 0 0 101
                                  103 2 13 0 206 0 1 2 13 0 0 206 1 2 0
                                  0 0 6 1 2 0 0 6 0 90 2 0 0 74 0 88 2
                                  0 0 0 0 65 2 0 0 25 0 1 2 0 0 101 0
                                  1)))))
          '|lookupComplete|)) 
