
(/VERSIONCHECK 2) 

(DEFUN |MLIFT;corrPoly;SupLLLLVRU;1|
       (|m| |lvar| |fval| |ld| |flist| |table| |pmod| $)
  (PROG (|lp| #0=#:G1874 |mp| #1=#:G1875 |deg1| |np| |a| |y| #2=#:G1876
              |f1| #3=#:G1877 |listpolv| |um| |flcoef| #4=#:G1878
              #5=#:G1844 #6=#:G1842 #7=#:G1843 |listcong| |polc|
              #8=#:G1848 #9=#:G1846 #10=#:G1847 |l| |pol| |ddiff|
              |fbeta| #11=#:G1873 |beta| #12=#:G1879 |lcoef| |i|
              #13=#:G1867 #14=#:G1865 #15=#:G1866 |diff|)
    (RETURN
      (SEQ (EXIT (COND
                   ((EQL (LENGTH |lvar|) 0)
                    (SEQ (LETT |lp|
                               (SPADCALL
                                   (SPADCALL (ELT $ 10) |m|
                                    (QREFELT $ 15))
                                   |pmod| |table| (QREFELT $ 19))
                               . #16=(|MLIFT;corrPoly;SupLLLLVRU;1|))
                         (COND
                           ((QEQCAR |lp| 1)
                            (PROGN
                              (LETT #11# (CONS 1 "failed") . #16#)
                              (GO #11#))))
                         (EXIT (LETT |lcoef|
                                     (CONS 0
                                      (PROGN
                                        (LETT #0# NIL . #16#)
                                        (SEQ (LETT |mp| NIL . #16#)
                                         (LETT #1# (QCDR |lp|) . #16#)
                                         G190
                                         (COND
                                           ((OR (ATOM #1#)
                                             (PROGN
                                               (LETT |mp|
                                                (CAR #1#) . #16#)
                                               NIL))
                                            #17=(GO G191)))
                                         (SEQ
                                          (EXIT
                                           (LETT #0#
                                            (CONS
                                             (SPADCALL (ELT $ 20) |mp|
                                              (QREFELT $ 23))
                                             #0#) . #16#)))
                                         (LETT #1# (CDR #1#) . #16#)
                                         #18=(GO G190) G191
                                         (EXIT (NREVERSE0 #0#))))) . #16#))))
                   ('T
                    (SEQ (LETT |deg1| (|SPADfirst| |ld|) . #16#)
                         (LETT |np| (LENGTH |flist|) . #16#)
                         (LETT |a|
                               (SPADCALL (|SPADfirst| |fval|)
                                   (QREFELT $ 20)) . #16#)
                         (LETT |y| (|SPADfirst| |lvar|) . #16#)
                         (LETT |lvar| (CDR |lvar|) . #16#)
                         (LETT |listpolv|
                               (PROGN
                                 (LETT #2# NIL . #16#)
                                 (SEQ (LETT |f1| NIL . #16#)
                                      (LETT #3# |flist| . #16#) G190
                                      (COND
                                        ((OR (ATOM #3#)
                                          (PROGN
                                            (LETT |f1|
                                             (CAR #3#) . #16#)
                                            NIL))
                                         #17#))
                                      (SEQ
                                       (EXIT
                                        (LETT #2#
                                         (CONS
                                          (SPADCALL
                                           (CONS
                                            #'|MLIFT;corrPoly;SupLLLLVRU;1!0|
                                            (VECTOR $ |a| |y|))
                                           |f1| (QREFELT $ 26))
                                          #2#) . #16#)))
                                      (LETT #3# (CDR #3#) . #16#) #18#
                                      G191 (EXIT (NREVERSE0 #2#)))) . #16#)
                         (LETT |um|
                               (SPADCALL
                                   (CONS
                                    #'|MLIFT;corrPoly;SupLLLLVRU;1!1|
                                    (VECTOR $ |a| |y|))
                                   |m| (QREFELT $ 26)) . #16#)
                         (LETT |flcoef|
                               (SPADCALL |um| |lvar| (CDR |fval|)
                                   (CDR |ld|) |listpolv| |table| |pmod|
                                   (QREFELT $ 32)) . #16#)
                         (COND
                           ((QEQCAR |flcoef| 1)
                            (PROGN
                              (LETT #11# (CONS 1 "failed") . #16#)
                              (GO #11#)))
                           ('T (LETT |lcoef| (QCDR |flcoef|) . #16#)))
                         (LETT |listcong|
                               (PROGN
                                 (LETT #4# NIL . #16#)
                                 (SEQ (LETT |l| 1 . #16#) G190
                                      (COND
                                        ((QSGREATERP |l| |np|) #17#))
                                      (SEQ
                                       (EXIT
                                        (LETT #4#
                                         (CONS
                                          (PROGN
                                            (LETT #7# NIL . #16#)
                                            (SEQ (LETT |i| 1 . #16#)
                                             G190
                                             (COND
                                               ((QSGREATERP |i| |np|)
                                                #17#))
                                             (SEQ
                                              (EXIT
                                               (COND
                                                 ((COND
                                                    ((EQL |i| |l|)
                                                     'NIL)
                                                    ('T 'T))
                                                  (PROGN
                                                    (LETT #5#
                                                     (SPADCALL |flist|
                                                      |i|
                                                      (QREFELT $ 34)) . #16#)
                                                    (COND
                                                      (#7#
                                                       (LETT #6#
                                                        (SPADCALL #6#
                                                         #5#
                                                         (QREFELT $ 35)) . #16#))
                                                      ('T
                                                       (PROGN
                                                         (LETT #6#
                                                          #5# . #16#)
                                                         (LETT #7#
                                                          'T . #16#)))))))))
                                             (LETT |i|
                                              (QSADD1 |i|) . #16#)
                                             #18# G191 (EXIT NIL))
                                            (COND
                                              (#7# #6#)
                                              ('T
                                               (|spadConstant| $ 36))))
                                          #4#) . #16#)))
                                      (LETT |l| (QSADD1 |l|) . #16#)
                                      #18# G191 (EXIT (NREVERSE0 #4#)))) . #16#)
                         (LETT |polc|
                               (SPADCALL
                                   (SPADCALL
                                    (SPADCALL (|spadConstant| $ 38) |y|
                                     1 (QREFELT $ 40))
                                    |a| (QREFELT $ 41))
                                   (QREFELT $ 42)) . #16#)
                         (LETT |pol| (|spadConstant| $ 36) . #16#)
                         (LETT |diff|
                               (SPADCALL |m|
                                   (PROGN
                                     (LETT #10# NIL . #16#)
                                     (SEQ (LETT |i| 1 . #16#) G190
                                      (COND
                                        ((QSGREATERP |i| |np|) #17#))
                                      (SEQ
                                       (EXIT
                                        (PROGN
                                          (LETT #8#
                                           (SPADCALL
                                            (SPADCALL |lcoef| |i|
                                             (QREFELT $ 34))
                                            (SPADCALL |listcong| |i|
                                             (QREFELT $ 34))
                                            (QREFELT $ 35)) . #16#)
                                          (COND
                                            (#10#
                                             (LETT #9#
                                              (SPADCALL #9# #8#
                                               (QREFELT $ 43)) . #16#))
                                            ('T
                                             (PROGN
                                               (LETT #9# #8# . #16#)
                                               (LETT #10# 'T . #16#)))))))
                                      (LETT |i| (QSADD1 |i|) . #16#)
                                      #18# G191 (EXIT NIL))
                                     (COND
                                       (#10# #9#)
                                       ('T (|spadConstant| $ 44))))
                                   (QREFELT $ 45)) . #16#)
                         (SEQ (LETT |l| 1 . #16#) G190
                              (COND ((QSGREATERP |l| |deg1|) #17#))
                              (SEQ (COND
                                     ((SPADCALL |diff|
                                       (|spadConstant| $ 44)
                                       (QREFELT $ 49))
                                      (PROGN
                                        (LETT #11#
                                         (CONS 0 |lcoef|) . #16#)
                                        (GO #11#))))
                                   (LETT |pol|
                                    (SPADCALL |pol| |polc|
                                     (QREFELT $ 35)) . #16#)
                                   (LETT |ddiff|
                                    (SPADCALL
                                     (CONS
                                      #'|MLIFT;corrPoly;SupLLLLVRU;1!2|
                                      (VECTOR |a| $ |y| |l|))
                                     |diff| (QREFELT $ 26)) . #16#)
                                   (EXIT
                                    (COND
                                      ((SPADCALL |ddiff|
                                        (|spadConstant| $ 44)
                                        (QREFELT $ 49))
                                       "next l")
                                      ('T
                                       (SEQ
                                        (LETT |fbeta|
                                         (SPADCALL |ddiff| |lvar|
                                          (CDR |fval|) (CDR |ld|)
                                          |listpolv| |table| |pmod|
                                          (QREFELT $ 32)) . #16#)
                                        (COND
                                          ((QEQCAR |fbeta| 1)
                                           (PROGN
                                             (LETT #11#
                                              (CONS 1 "failed") . #16#)
                                             (GO #11#)))
                                          ('T
                                           (LETT |beta|
                                            (QCDR |fbeta|) . #16#)))
                                        (LETT |lcoef|
                                         (PROGN
                                           (LETT #12# NIL . #16#)
                                           (SEQ (LETT |i| 1 . #16#)
                                            G190
                                            (COND
                                              ((QSGREATERP |i| |np|)
                                               #17#))
                                            (SEQ
                                             (EXIT
                                              (LETT #12#
                                               (CONS
                                                (SPADCALL
                                                 (SPADCALL |lcoef| |i|
                                                  (QREFELT $ 34))
                                                 (SPADCALL
                                                  (SPADCALL |beta| |i|
                                                   (QREFELT $ 34))
                                                  |pol| (QREFELT $ 35))
                                                 (QREFELT $ 43))
                                                #12#) . #16#)))
                                            (LETT |i|
                                             (QSADD1 |i|) . #16#)
                                            #18# G191
                                            (EXIT (NREVERSE0 #12#)))) . #16#)
                                        (EXIT
                                         (LETT |diff|
                                          (SPADCALL |diff|
                                           (SPADCALL
                                            (PROGN
                                              (LETT #15# NIL . #16#)
                                              (SEQ (LETT |i| 1 . #16#)
                                               G190
                                               (COND
                                                 ((QSGREATERP |i| |np|)
                                                  #17#))
                                               (SEQ
                                                (EXIT
                                                 (PROGN
                                                   (LETT #13#
                                                    (SPADCALL
                                                     (SPADCALL
                                                      |listcong| |i|
                                                      (QREFELT $ 34))
                                                     (SPADCALL |beta|
                                                      |i|
                                                      (QREFELT $ 34))
                                                     (QREFELT $ 35)) . #16#)
                                                   (COND
                                                     (#15#
                                                      (LETT #14#
                                                       (SPADCALL #14#
                                                        #13#
                                                        (QREFELT $ 43)) . #16#))
                                                     ('T
                                                      (PROGN
                                                        (LETT #14#
                                                         #13# . #16#)
                                                        (LETT #15#
                                                         'T . #16#)))))))
                                               (LETT |i|
                                                (QSADD1 |i|) . #16#)
                                               #18# G191 (EXIT NIL))
                                              (COND
                                                (#15# #14#)
                                                ('T
                                                 (|spadConstant| $ 44))))
                                            |pol| (QREFELT $ 35))
                                           (QREFELT $ 45)) . #16#)))))))
                              (LETT |l| (QSADD1 |l|) . #16#) #18# G191
                              (EXIT NIL))
                         (EXIT (CONS 0 |lcoef|))))))
           #11# (EXIT #11#))))) 

(DEFUN |MLIFT;corrPoly;SupLLLLVRU;1!2| (|#1| $$)
  (PROG (|y| $)
    (LETT |y| (QREFELT $$ 2) . #0=(|MLIFT;corrPoly;SupLLLLVRU;1|))
    (LETT $ (QREFELT $$ 1) . #0#)
    (RETURN
      (PROGN
        (SPADCALL (|MLIFT;normalDerivM| |#1| (QREFELT $$ 3) |y| $) |y|
            (QREFELT $$ 0) (QREFELT $ 24)))))) 

(DEFUN |MLIFT;corrPoly;SupLLLLVRU;1!1| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT (QREFELT $$ 0) 24))) 

(DEFUN |MLIFT;corrPoly;SupLLLLVRU;1!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT (QREFELT $$ 0) 24))) 

(DEFUN |MLIFT;lifting1;SupLLLLLLVRU;2|
       (|m| |lvar| |plist| |vlist| |tlist| |coeflist| |listdeg| |table|
            |pmod| $)
  (PROG (|nvar| |testp| |j| |x| |li| |conglist| |v| |degj| |ldeg|
                |subsvar| |subsval| #0=#:G1906 #1=#:G1907 #2=#:G1908
                #3=#:G1909 #4=#:G1910 #5=#:G1911 |#G39| |#G40| |tlv|
                |clv| #6=#:G1912 |lcp| #7=#:G1914 |p| #8=#:G1913
                #9=#:G1915 |clist| #10=#:G1917 |tpol| #11=#:G1916 |mj|
                |polc| |k| |pol| #12=#:G1918 #13=#:G1894 #14=#:G1892
                #15=#:G1893 #16=#:G1898 |mc| |flalpha| |lalpha|
                #17=#:G1919 |alpha| #18=#:G1921 #19=#:G1920 |term|
                #20=#:G1922 |idegj| #21=#:G1905)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |conglist| NIL
                            . #22=(|MLIFT;lifting1;SupLLLLLLVRU;2|))
                      (LETT |nvar| (LENGTH |lvar|) . #22#)
                      (LETT |testp|
                            (COND ((NULL |tlist|) 'NIL) ('T 'T)) . #22#)
                      (LETT |lalpha| NIL . #22#)
                      (LETT |tlv| NIL . #22#)
                      (LETT |subsvar| NIL . #22#)
                      (LETT |subsval| NIL . #22#)
                      (LETT |li| |lvar| . #22#)
                      (LETT |ldeg| NIL . #22#) (LETT |clv| NIL . #22#)
                      (SEQ (LETT |j| 1 . #22#) G190
                           (COND
                             ((QSGREATERP |j| |nvar|) #23=(GO G191)))
                           (SEQ (LETT |x| (|SPADfirst| |li|) . #22#)
                                (LETT |li| (CDR |li|) . #22#)
                                (LETT |conglist| |plist| . #22#)
                                (LETT |v| (|SPADfirst| |vlist|) . #22#)
                                (LETT |vlist| (CDR |vlist|) . #22#)
                                (LETT |degj|
                                      (SPADCALL |listdeg| |j|
                                       (QREFELT $ 50)) . #22#)
                                (LETT |ldeg|
                                      (CONS |degj| |ldeg|) . #22#)
                                (LETT |subsvar|
                                      (CONS |x| |subsvar|) . #22#)
                                (LETT |subsval|
                                      (CONS |v| |subsval|) . #22#)
                                (COND
                                  (|testp| (SEQ
                                            (COND
                                              ((< |j| |nvar|)
                                               (SEQ
                                                (LETT |tlv|
                                                 (PROGN
                                                   (LETT #0#
                                                    NIL . #22#)
                                                   (SEQ
                                                    (LETT |p|
                                                     NIL . #22#)
                                                    (LETT #1#
                                                     |tlist| . #22#)
                                                    G190
                                                    (COND
                                                      ((OR (ATOM #1#)
                                                        (PROGN
                                                          (LETT |p|
                                                           (CAR #1#) . #22#)
                                                          NIL))
                                                       #23#))
                                                    (SEQ
                                                     (EXIT
                                                      (LETT #0#
                                                       (CONS
                                                        (SPADCALL |p|
                                                         |li| |vlist|
                                                         (QREFELT $ 51))
                                                        #0#) . #22#)))
                                                    (LETT #1#
                                                     (CDR #1#) . #22#)
                                                    #24=(GO G190) G191
                                                    (EXIT
                                                     (NREVERSE0 #0#)))) . #22#)
                                                (EXIT
                                                 (LETT |clv|
                                                  (PROGN
                                                    (LETT #2#
                                                     NIL . #22#)
                                                    (SEQ
                                                     (LETT |clist|
                                                      NIL . #22#)
                                                     (LETT #3#
                                                      |coeflist| . #22#)
                                                     G190
                                                     (COND
                                                       ((OR (ATOM #3#)
                                                         (PROGN
                                                           (LETT
                                                            |clist|
                                                            (CAR #3#) . #22#)
                                                           NIL))
                                                        #23#))
                                                     (SEQ
                                                      (EXIT
                                                       (LETT #2#
                                                        (CONS
                                                         (PROGN
                                                           (LETT #4#
                                                            NIL . #22#)
                                                           (SEQ
                                                            (LETT
                                                             |term|
                                                             NIL . #22#)
                                                            (LETT #5#
                                                             |clist| . #22#)
                                                            G190
                                                            (COND
                                                              ((OR
                                                                (ATOM
                                                                 #5#)
                                                                (PROGN
                                                                  (LETT
                                                                   |term|
                                                                   (CAR
                                                                    #5#) . #22#)
                                                                  NIL))
                                                               #23#))
                                                            (SEQ
                                                             (EXIT
                                                              (LETT #4#
                                                               (CONS
                                                                (CONS
                                                                 (QCAR
                                                                  |term|)
                                                                 (SPADCALL
                                                                  (QCDR
                                                                   |term|)
                                                                  |li|
                                                                  |vlist|
                                                                  (QREFELT
                                                                   $
                                                                   51)))
                                                                #4#) . #22#)))
                                                            (LETT #5#
                                                             (CDR #5#) . #22#)
                                                            #24# G191
                                                            (EXIT
                                                             (NREVERSE0
                                                              #4#))))
                                                         #2#) . #22#)))
                                                     (LETT #3#
                                                      (CDR #3#) . #22#)
                                                     #24# G191
                                                     (EXIT
                                                      (NREVERSE0 #2#)))) . #22#))))
                                              ('T
                                               (PROGN
                                                 (LETT |#G39|
                                                  |tlist| . #22#)
                                                 (LETT |#G40|
                                                  |coeflist| . #22#)
                                                 (LETT |tlv|
                                                  |#G39| . #22#)
                                                 (LETT |clv|
                                                  |#G40| . #22#))))
                                            (LETT |plist|
                                             (PROGN
                                               (LETT #6# NIL . #22#)
                                               (SEQ
                                                (LETT |lcp| NIL . #22#)
                                                (LETT #7# |tlv| . #22#)
                                                (LETT |p| NIL . #22#)
                                                (LETT #8#
                                                 |plist| . #22#)
                                                G190
                                                (COND
                                                  ((OR (ATOM #8#)
                                                    (PROGN
                                                      (LETT |p|
                                                       (CAR #8#) . #22#)
                                                      NIL)
                                                    (ATOM #7#)
                                                    (PROGN
                                                      (LETT |lcp|
                                                       (CAR #7#) . #22#)
                                                      NIL))
                                                   #23#))
                                                (SEQ
                                                 (EXIT
                                                  (LETT #6#
                                                   (CONS
                                                    (|MLIFT;subslead|
                                                     |p| |lcp| $)
                                                    #6#) . #22#)))
                                                (LETT #8#
                                                 (PROG1 (CDR #8#)
                                                   (LETT #7#
                                                    (CDR #7#) . #22#)) . #22#)
                                                #24# G191
                                                (EXIT (NREVERSE0 #6#)))) . #22#)
                                            (EXIT
                                             (COND
                                               ((NULL
                                                 (NULL |coeflist|))
                                                (LETT |plist|
                                                 (PROGN
                                                   (LETT #9#
                                                    NIL . #22#)
                                                   (SEQ
                                                    (LETT |clist|
                                                     NIL . #22#)
                                                    (LETT #10#
                                                     |clv| . #22#)
                                                    (LETT |tpol|
                                                     NIL . #22#)
                                                    (LETT #11#
                                                     |plist| . #22#)
                                                    G190
                                                    (COND
                                                      ((OR (ATOM #11#)
                                                        (PROGN
                                                          (LETT |tpol|
                                                           (CAR #11#) . #22#)
                                                          NIL)
                                                        (ATOM #10#)
                                                        (PROGN
                                                          (LETT |clist|
                                                           (CAR #10#) . #22#)
                                                          NIL))
                                                       #23#))
                                                    (SEQ
                                                     (EXIT
                                                      (LETT #9#
                                                       (CONS
                                                        (|MLIFT;subscoef|
                                                         |tpol| |clist|
                                                         $)
                                                        #9#) . #22#)))
                                                    (LETT #11#
                                                     (PROG1 (CDR #11#)
                                                       (LETT #10#
                                                        (CDR #10#) . #22#)) . #22#)
                                                    #24# G191
                                                    (EXIT
                                                     (NREVERSE0 #9#)))) . #22#)))))))
                                (LETT |mj|
                                      (SPADCALL
                                       (CONS
                                        #'|MLIFT;lifting1;SupLLLLLLVRU;2!0|
                                        (VECTOR $ |vlist| |li|))
                                       |m| (QREFELT $ 26)) . #22#)
                                (LETT |polc|
                                      (SPADCALL
                                       (SPADCALL |x| (QREFELT $ 52))
                                       (SPADCALL |v| (QREFELT $ 20))
                                       (QREFELT $ 41)) . #22#)
                                (LETT |pol|
                                      (|spadConstant| $ 38) . #22#)
                                (SEQ (EXIT
                                      (SEQ (LETT |k| 1 . #22#) G190
                                       (COND
                                         ((QSGREATERP |k| |degj|) #23#))
                                       (SEQ
                                        (LETT |pol|
                                         (SPADCALL |pol| |polc|
                                          (QREFELT $ 53)) . #22#)
                                        (LETT |mc|
                                         (SPADCALL
                                          (PROGN
                                            (LETT #15# NIL . #22#)
                                            (SEQ
                                             (LETT |term| NIL . #22#)
                                             (LETT #12# |plist| . #22#)
                                             G190
                                             (COND
                                               ((OR (ATOM #12#)
                                                 (PROGN
                                                   (LETT |term|
                                                    (CAR #12#) . #22#)
                                                   NIL))
                                                #23#))
                                             (SEQ
                                              (EXIT
                                               (PROGN
                                                 (LETT #13#
                                                  |term| . #22#)
                                                 (COND
                                                   (#15#
                                                    (LETT #14#
                                                     (SPADCALL #14#
                                                      #13#
                                                      (QREFELT $ 35)) . #22#))
                                                   ('T
                                                    (PROGN
                                                      (LETT #14#
                                                       #13# . #22#)
                                                      (LETT #15#
                                                       'T . #22#)))))))
                                             (LETT #12#
                                              (CDR #12#) . #22#)
                                             #24# G191 (EXIT NIL))
                                            (COND
                                              (#15# #14#)
                                              ('T
                                               (|spadConstant| $ 36))))
                                          |mj| (QREFELT $ 45)) . #22#)
                                        (COND
                                          ((SPADCALL |mc|
                                            (|spadConstant| $ 44)
                                            (QREFELT $ 49))
                                           (PROGN
                                             (LETT #16#
                                              "next var" . #22#)
                                             (GO #16#))))
                                        (LETT |mc|
                                         (SPADCALL
                                          (CONS
                                           #'|MLIFT;lifting1;SupLLLLLLVRU;2!1|
                                           (VECTOR $ |x| |k|))
                                          |mc| (QREFELT $ 26)) . #22#)
                                        (LETT |mc|
                                         (SPADCALL
                                          (CONS
                                           #'|MLIFT;lifting1;SupLLLLLLVRU;2!2|
                                           (VECTOR $ |v| |x|))
                                          |mc| (QREFELT $ 26)) . #22#)
                                        (EXIT
                                         (COND
                                           ((SPADCALL |mc|
                                             (|spadConstant| $ 44)
                                             (QREFELT $ 49))
                                            "next k")
                                           ('T
                                            (SEQ
                                             (LETT |flalpha|
                                              (SPADCALL |mc|
                                               (CDR |subsvar|)
                                               (CDR |subsval|)
                                               (CDR |ldeg|) |conglist|
                                               |table| |pmod|
                                               (QREFELT $ 32)) . #22#)
                                             (COND
                                               ((QEQCAR |flalpha| 1)
                                                (PROGN
                                                  (LETT #21#
                                                   (CONS 1 "failed") . #22#)
                                                  (GO #21#)))
                                               ('T
                                                (LETT |lalpha|
                                                 (QCDR |flalpha|) . #22#)))
                                             (EXIT
                                              (LETT |plist|
                                               (PROGN
                                                 (LETT #17# NIL . #22#)
                                                 (SEQ
                                                  (LETT |alpha|
                                                   NIL . #22#)
                                                  (LETT #18#
                                                   |lalpha| . #22#)
                                                  (LETT |term|
                                                   NIL . #22#)
                                                  (LETT #19#
                                                   |plist| . #22#)
                                                  G190
                                                  (COND
                                                    ((OR (ATOM #19#)
                                                      (PROGN
                                                        (LETT |term|
                                                         (CAR #19#) . #22#)
                                                        NIL)
                                                      (ATOM #18#)
                                                      (PROGN
                                                        (LETT |alpha|
                                                         (CAR #18#) . #22#)
                                                        NIL))
                                                     #23#))
                                                  (SEQ
                                                   (EXIT
                                                    (LETT #17#
                                                     (CONS
                                                      (SPADCALL |term|
                                                       (SPADCALL
                                                        |alpha| |pol|
                                                        (QREFELT $ 54))
                                                       (QREFELT $ 45))
                                                      #17#) . #22#)))
                                                  (LETT #19#
                                                   (PROG1 (CDR #19#)
                                                     (LETT #18#
                                                      (CDR #18#) . #22#)) . #22#)
                                                  #24# G191
                                                  (EXIT
                                                   (NREVERSE0 #17#)))) . #22#)))))))
                                       (LETT |k| (QSADD1 |k|) . #22#)
                                       #24# G191 (EXIT NIL)))
                                     #16# (EXIT #16#))
                                (LETT |idegj|
                                      (|MLIFT;maxDegree| |m| |x| $) . #22#)
                                (SEQ (LETT |term| NIL . #22#)
                                     (LETT #20# |plist| . #22#) G190
                                     (COND
                                       ((OR (ATOM #20#)
                                         (PROGN
                                           (LETT |term|
                                            (CAR #20#) . #22#)
                                           NIL))
                                        #23#))
                                     (SEQ
                                      (EXIT
                                       (LETT |idegj|
                                        (- |idegj|
                                         (|MLIFT;maxDegree| |term| |x|
                                          $)) . #22#)))
                                     (LETT #20# (CDR #20#) . #22#) #24#
                                     G191 (EXIT NIL))
                                (EXIT (COND
                                        ((< |idegj| 0)
                                         (PROGN
                                           (LETT #21#
                                            (CONS 1 "failed") . #22#)
                                           (GO #21#))))))
                           (LETT |j| (QSADD1 |j|) . #22#) #24# G191
                           (EXIT NIL))
                      (EXIT (CONS 0 |plist|))))
           #21# (EXIT #21#))))) 

(DEFUN |MLIFT;lifting1;SupLLLLLLVRU;2!2| (|#1| $$)
  (SPADCALL |#1| (LIST (QREFELT $$ 2)) (LIST (QREFELT $$ 1))
      (QREFELT (QREFELT $$ 0) 51))) 

(DEFUN |MLIFT;lifting1;SupLLLLLLVRU;2!1| (|#1| $$)
  (|MLIFT;normalDerivM| |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT $$ 0))) 

(DEFUN |MLIFT;lifting1;SupLLLLLLVRU;2!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT (QREFELT $$ 0) 51))) 

(DEFUN |MLIFT;maxDegree| (|um| |x| $)
  (PROG (|ans|)
    (RETURN
      (SEQ (LETT |ans| 0 . #0=(|MLIFT;maxDegree|))
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((SPADCALL |um| (|spadConstant| $ 44)
                                (QREFELT $ 49))
                            'NIL)
                           ('T 'T)))
                   (GO G191)))
                (SEQ (LETT |ans|
                           (MAX |ans|
                                (SPADCALL
                                    (SPADCALL |um| (QREFELT $ 59)) |x|
                                    (QREFELT $ 60))) . #0#)
                     (EXIT (LETT |um|
                                 (SPADCALL |um| (QREFELT $ 61)) . #0#)))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT |ans|))))) 

(DEFUN |MLIFT;lifting;SupLLLLLRU;4|
       (|um| |lvar| |plist| |vlist| |tlist| |listdeg| |pmod| $)
  (PROG (#0=#:G1961 #1=#:G1962 |ldcoef| |listdet| #2=#:G1963 |pp|
            #3=#:G1964 |nplist| |pol| #4=#:G1965 #5=#:G1948 #6=#:G1946
            #7=#:G1947 #8=#:G1953 |tab| |table| |ffl| #9=#:G1960)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |nplist|
                            (PROGN
                              (LETT #0# NIL
                                    . #10=(|MLIFT;lifting;SupLLLLLRU;4|))
                              (SEQ (LETT |pp| NIL . #10#)
                                   (LETT #1# |plist| . #10#) G190
                                   (COND
                                     ((OR (ATOM #1#)
                                       (PROGN
                                         (LETT |pp| (CAR #1#) . #10#)
                                         NIL))
                                      #11=(GO G191)))
                                   (SEQ
                                    (EXIT
                                     (LETT #0#
                                      (CONS
                                       (SPADCALL (ELT $ 20) |pp|
                                        (QREFELT $ 23))
                                       #0#) . #10#)))
                                   (LETT #1# (CDR #1#) . #10#)
                                   #12=(GO G190) G191
                                   (EXIT (NREVERSE0 #0#)))) . #10#)
                      (EXIT (COND
                              ((NULL |tlist|)
                               (SEQ (LETT |table|
                                     (SPADCALL
                                      (SPADCALL |um| (QREFELT $ 62))
                                      |pmod| |plist| (QREFELT $ 65)) . #10#)
                                    (EXIT
                                     (COND
                                       ((QEQCAR |table| 1)
                                        (|error|
                                         "Table construction failed in MLIFT"))
                                       ('T
                                        (SPADCALL |um| |lvar| |nplist|
                                         |vlist| |tlist| NIL |listdeg|
                                         (QCDR |table|) |pmod|
                                         (QREFELT $ 58)))))))
                              ('T
                               (SEQ (LETT |ldcoef|
                                     (SPADCALL |um| |plist| |tlist|
                                      (QREFELT $ 68)) . #10#)
                                    (COND
                                      ((NULL
                                        (LETT |listdet|
                                         (QVELT |ldcoef| 0) . #10#))
                                       (LETT |tab|
                                        (SPADCALL
                                         (SPADCALL |um| (QREFELT $ 62))
                                         |pmod| |plist| (QREFELT $ 65)) . #10#))
                                      ('T
                                       (SEQ
                                        (COND
                                          ((EQL (LENGTH |listdet|)
                                            (LENGTH |plist|))
                                           (PROGN
                                             (LETT #9#
                                              (CONS 0 |listdet|) . #10#)
                                             (GO #9#))))
                                        (LETT |plist|
                                         (QVELT |ldcoef| 2) . #10#)
                                        (LETT |nplist|
                                         (PROGN
                                           (LETT #2# NIL . #10#)
                                           (SEQ (LETT |pp| NIL . #10#)
                                            (LETT #3# |plist| . #10#)
                                            G190
                                            (COND
                                              ((OR (ATOM #3#)
                                                (PROGN
                                                  (LETT |pp|
                                                   (CAR #3#) . #10#)
                                                  NIL))
                                               #11#))
                                            (SEQ
                                             (EXIT
                                              (LETT #2#
                                               (CONS
                                                (SPADCALL (ELT $ 20)
                                                 |pp| (QREFELT $ 23))
                                                #2#) . #10#)))
                                            (LETT #3# (CDR #3#) . #10#)
                                            #12# G191
                                            (EXIT (NREVERSE0 #2#)))) . #10#)
                                        (LETT |um|
                                         (PROG2
                                          (LETT #8#
                                           (SPADCALL |um|
                                            (PROGN
                                              (LETT #7# NIL . #10#)
                                              (SEQ
                                               (LETT |pol| NIL . #10#)
                                               (LETT #4#
                                                |listdet| . #10#)
                                               G190
                                               (COND
                                                 ((OR (ATOM #4#)
                                                   (PROGN
                                                     (LETT |pol|
                                                      (CAR #4#) . #10#)
                                                     NIL))
                                                  #11#))
                                               (SEQ
                                                (EXIT
                                                 (PROGN
                                                   (LETT #5#
                                                    |pol| . #10#)
                                                   (COND
                                                     (#7#
                                                      (LETT #6#
                                                       (SPADCALL #6#
                                                        #5#
                                                        (QREFELT $ 35)) . #10#))
                                                     ('T
                                                      (PROGN
                                                        (LETT #6#
                                                         #5# . #10#)
                                                        (LETT #7#
                                                         'T . #10#)))))))
                                               (LETT #4#
                                                (CDR #4#) . #10#)
                                               #12# G191 (EXIT NIL))
                                              (COND
                                                (#7# #6#)
                                                ('T
                                                 (|spadConstant| $ 36))))
                                            (QREFELT $ 70)) . #10#)
                                          (QCDR #8#)
                                           (|check-union|
                                            (QEQCAR #8# 0)
                                            (|SparseUnivariatePolynomial|
                                             (QREFELT $ 9))
                                            #8#)) . #10#)
                                        (LETT |tlist|
                                         (QVELT |ldcoef| 3) . #10#)
                                        (EXIT
                                         (LETT |tab|
                                          (SPADCALL
                                           (SPADCALL |um|
                                            (QREFELT $ 62))
                                           |pmod| (CDR |plist|)
                                           (QREFELT $ 65)) . #10#)))))
                                    (EXIT
                                     (COND
                                       ((QEQCAR |tab| 1)
                                        (|error|
                                         "Table construction failed in MLIFT"))
                                       ('T
                                        (SEQ
                                         (LETT |table|
                                          (QCDR |tab|) . #10#)
                                         (LETT |ffl|
                                          (SPADCALL |um| |lvar|
                                           |nplist| |vlist| |tlist|
                                           (QVELT |ldcoef| 1) |listdeg|
                                           |table| |pmod|
                                           (QREFELT $ 58)) . #10#)
                                         (COND
                                           ((QEQCAR |ffl| 1)
                                            (PROGN
                                              (LETT #9#
                                               (CONS 1 "failed") . #10#)
                                              (GO #9#))))
                                         (EXIT
                                          (CONS 0
                                           (APPEND |listdet|
                                            (QCDR |ffl|))))))))))))))
           #9# (EXIT #9#))))) 

(DEFUN |MLIFT;normalDerivM| (|g| |m| |x| $)
  (SPADCALL
      (|MLIFT;normalDeriv| (SPADCALL |g| |x| (QREFELT $ 73)) |m| $) |x|
      (QREFELT $ 74))) 

(DEFUN |MLIFT;normalDeriv| (|f| |m| $)
  (PROG (|#G1| |k| |n1| #0=#:G1969 |ris| |n|)
    (RETURN
      (SEQ (LETT |#G1| (SPADCALL |f| (QREFELT $ 62))
                 . #1=(|MLIFT;normalDeriv|))
           (LETT |n1| |#G1| . #1#)
           (EXIT (COND
                   ((< |#G1| |m|) (|spadConstant| $ 44))
                   ((EQL |n1| |m|)
                    (SPADCALL (SPADCALL |f| (QREFELT $ 59))
                        (QREFELT $ 42)))
                   ('T
                    (SEQ (LETT |k|
                               (SPADCALL |n1| |m| (QREFELT $ 76)) . #1#)
                         (LETT |ris| (|spadConstant| $ 44) . #1#)
                         (LETT |n| |n1| . #1#)
                         (SEQ G190
                              (COND
                                ((NULL (COND
                                         ((< |n| |m|) 'NIL)
                                         ('T 'T)))
                                 #2=(GO G191)))
                              (SEQ (SEQ G190
                                    (COND ((NULL (< |n| |n1|)) #2#))
                                    (SEQ
                                     (LETT |k|
                                      (QUOTIENT2 (* |k| (- |n1| |m|))
                                       |n1|) . #1#)
                                     (EXIT
                                      (LETT |n1| (- |n1| 1) . #1#)))
                                    NIL #3=(GO G190) G191 (EXIT NIL))
                                   (LETT |ris|
                                    (SPADCALL |ris|
                                     (SPADCALL
                                      (SPADCALL |k|
                                       (SPADCALL |f| (QREFELT $ 59))
                                       (QREFELT $ 77))
                                      (PROG1
                                       (LETT #0# (- |n| |m|) . #1#)
                                        (|check-subtype| (>= #0# 0)
                                         '(|NonNegativeInteger|) #0#))
                                      (QREFELT $ 78))
                                     (QREFELT $ 43)) . #1#)
                                   (LETT |f|
                                    (SPADCALL |f| (QREFELT $ 61)) . #1#)
                                   (EXIT
                                    (LETT |n|
                                     (SPADCALL |f| (QREFELT $ 62)) . #1#)))
                              NIL #3# G191 (EXIT NIL))
                         (EXIT |ris|))))))))) 

(DEFUN |MLIFT;subslead| (|m| |pol| $)
  (PROG (|dm|)
    (RETURN
      (SEQ (LETT |dm| (SPADCALL |m| (QREFELT $ 62)) |MLIFT;subslead|)
           (EXIT (SPADCALL (SPADCALL |pol| |dm| (QREFELT $ 78))
                     (SPADCALL |m| (QREFELT $ 61)) (QREFELT $ 43))))))) 

(DEFUN |MLIFT;subscoef| (|um| |lterm| $)
  (PROG (|dm| |k| #0=#:G1978 |i| |new|)
    (RETURN
      (SEQ (LETT |dm| (SPADCALL |um| (QREFELT $ 62))
                 . #1=(|MLIFT;subscoef|))
           (LETT |new|
                 (SPADCALL (SPADCALL |um| (QREFELT $ 59)) |dm|
                     (QREFELT $ 78)) . #1#)
           (SEQ (LETT |k| (- |dm| 1) . #1#) G190
                (COND ((< |k| 0) (GO G191)))
                (SEQ (LETT |i|
                           (PROG1 (LETT #0# |k| . #1#)
                             (|check-subtype| (>= #0# 0)
                                 '(|NonNegativeInteger|) #0#)) . #1#)
                     (COND
                       ((OR (NULL |lterm|)
                            (NULL (EQL (QCAR (|SPADfirst| |lterm|))
                                       |i|)))
                        (EXIT (LETT |new|
                                    (SPADCALL |new|
                                     (SPADCALL
                                      (SPADCALL |um| |i|
                                       (QREFELT $ 79))
                                      |i| (QREFELT $ 78))
                                     (QREFELT $ 43)) . #1#))))
                     (LETT |new|
                           (SPADCALL |new|
                               (SPADCALL (QCDR (|SPADfirst| |lterm|))
                                   |i| (QREFELT $ 78))
                               (QREFELT $ 43)) . #1#)
                     (EXIT (LETT |lterm| (CDR |lterm|) . #1#)))
                (LETT |k| (+ |k| -1) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |new|))))) 

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

(DEFUN |MultivariateLifting;| (|#1| |#2| |#3| |#4|)
  (PROG (DV$1 DV$2 DV$3 DV$4 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|MultivariateLifting|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT DV$4 (|devaluate| |#4|) . #0#)
        (LETT |dv$|
              (LIST '|MultivariateLifting| DV$1 DV$2 DV$3 DV$4) . #0#)
        (LETT $ (GETREFV 80) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|MultivariateLifting|
            (LIST DV$1 DV$2 DV$3 DV$4) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 9 |#4|)
        $)))) 

(MAKEPROP '|MultivariateLifting| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (|local| |#4|) (0 . |ground|)
             (|SparseUnivariatePolynomial| 8) (|Mapping| 8 9)
             (|SparseUnivariatePolynomial| 9)
             (|SparseUnivariatePolynomialFunctions2| 9 8) (5 . |map|)
             (|Union| 64 '"failed") (|Vector| 64) (|GenExEuclid| 8 11)
             (11 . |solveid|) (18 . |coerce|) (|Mapping| 9 8)
             (|SparseUnivariatePolynomialFunctions2| 8 9) (23 . |map|)
             (29 . |eval|) (|Mapping| 9 9) (36 . |map|)
             (|Union| 31 '"failed") (|List| 7) (|List| 8) (|List| 39)
             (|List| 13) |MLIFT;corrPoly;SupLLLLVRU;1| (|Integer|)
             (42 . |elt|) (48 . *) (54 . |One|) (58 . |One|)
             (62 . |One|) (|NonNegativeInteger|) (66 . |monomial|)
             (73 . -) (79 . |coerce|) (84 . +) (90 . |Zero|) (94 . -)
             (100 . |Zero|) (104 . |Zero|) (|Boolean|) (108 . =)
             (114 . |elt|) (120 . |eval|) (127 . |coerce|) (132 . *)
             (138 . *) (|List| 9)
             (|Record| (|:| |expt| 39) (|:| |pcoef| 9))
             (|List| (|List| 56)) |MLIFT;lifting1;SupLLLLLLVRU;2|
             (144 . |leadingCoefficient|) (149 . |degree|)
             (155 . |reductum|) (160 . |degree|) (|Union| 17 '"failed")
             (|List| 11) (165 . |tablePow|)
             (|Record| (|:| |deter| 31) (|:| |dterm| 57)
                 (|:| |nfacts| 64) (|:| |nlead| 55))
             (|NPCoef| 11 6 7 8 9) (172 . |npcoef|)
             (|Union| $ '"failed") (179 . |exquo|)
             |MLIFT;lifting;SupLLLLLRU;4|
             (|SparseUnivariatePolynomial| $) (185 . |univariate|)
             (191 . |multivariate|) (|IntegerCombinatoricFunctions| 33)
             (197 . |binomial|) (203 . *) (209 . |monomial|)
             (215 . |coefficient|))
          '#(|lifting1| 221 |lifting| 234 |corrPoly| 245) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 79
                                '(1 9 8 0 10 2 14 11 12 13 15 3 18 16
                                  11 8 17 19 1 9 0 8 20 2 22 13 21 11
                                  23 3 9 0 0 7 0 24 2 13 0 25 0 26 2 31
                                  13 0 33 34 2 13 0 0 0 35 0 13 0 36 0
                                  8 0 37 0 9 0 38 3 9 0 0 7 39 40 2 9 0
                                  0 0 41 1 13 0 9 42 2 13 0 0 0 43 0 13
                                  0 44 2 13 0 0 0 45 0 6 0 46 0 8 0 47
                                  2 13 48 0 0 49 2 30 39 0 33 50 3 9 0
                                  0 28 29 51 1 9 0 7 52 2 9 0 0 0 53 2
                                  13 0 0 9 54 1 13 9 0 59 2 9 39 0 7 60
                                  1 13 0 0 61 1 13 39 0 62 3 18 63 39 8
                                  64 65 3 67 66 13 64 55 68 2 13 69 0 0
                                  70 2 9 72 0 7 73 2 9 0 72 7 74 2 75
                                  33 33 33 76 2 9 0 33 0 77 2 13 0 9 39
                                  78 2 13 9 0 39 79 9 0 27 13 28 31 29
                                  55 57 30 17 8 58 7 0 27 13 28 64 29
                                  55 30 8 71 7 0 27 13 28 29 30 31 17 8
                                  32)))))
          '|lookupComplete|)) 
