
(/VERSIONCHECK 2) 

(DEFUN |EXPRODE;localInteger| (|n| $)
  (COND ((QREFELT $ 14) |n|) ('T (SPADCALL (QREFELT $ 13) |n| (QREFELT $ 15))))) 

(DEFUN |EXPRODE;diffRhs| (|f| |g| $)
  (|EXPRODE;diffRhsK| (SPADCALL |f| (QREFELT $ 17)) |g| $)) 

(DEFUN |EXPRODE;k2exquo| (|k| $)
  (PROG (#1=#:G676 |f| #2=#:G675 |op|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL
         (LETT |op| (SPADCALL |k| (QREFELT $ 19)) . #3=(|EXPRODE;k2exquo|))
         '|%diff| (QREFELT $ 21))
        (|error| "Improper differential equation"))
       ('T
        (SPADCALL |op|
                  (PROGN
                   (LETT #2# NIL . #3#)
                   (SEQ (LETT |f| NIL . #3#)
                        (LETT #1# (SPADCALL |k| (QREFELT $ 23)) . #3#) G190
                        (COND
                         ((OR (ATOM #1#)
                              (PROGN (LETT |f| (CAR #1#) . #3#) NIL))
                          (GO G191)))
                        (SEQ
                         (EXIT
                          (LETT #2# (CONS (|EXPRODE;div2exquo| |f| $) #2#)
                                . #3#)))
                        (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                        (EXIT (NREVERSE0 #2#))))
                  (QREFELT $ 25)))))))) 

(DEFUN |EXPRODE;smp2exquo| (|p| $)
  (SPADCALL (CONS (|function| |EXPRODE;k2exquo|) $) (ELT $ 26) |p|
            (QREFELT $ 31))) 

(DEFUN |EXPRODE;div2exquo| (|f| $)
  (PROG (|d|)
    (RETURN
     (SEQ (LETT |d| (SPADCALL |f| (QREFELT $ 33)) |EXPRODE;div2exquo|)
          (EXIT
           (COND ((SPADCALL |d| (|spadConstant| $ 36) (QREFELT $ 37)) |f|)
                 ('T
                  (SPADCALL (QREFELT $ 12)
                            (|EXPRODE;smp2exquo| (SPADCALL |f| (QREFELT $ 38))
                             $)
                            (|EXPRODE;smp2exquo| |d| $) (QREFELT $ 39))))))))) 

(DEFUN |EXPRODE;diffRhsK| (|k| |g| $)
  (PROG (|h|)
    (RETURN
     (SEQ (LETT |h| (SPADCALL |g| |k| (QREFELT $ 41)) |EXPRODE;diffRhsK|)
          (COND
           ((NULL
             (< 1 (SPADCALL (SPADCALL |h| (QREFELT $ 45)) (QREFELT $ 48))))
            (COND
             ((SPADCALL (SPADCALL |h| (QREFELT $ 49)) (QREFELT $ 50))
              (EXIT
               (SPADCALL
                (SPADCALL
                 (SPADCALL (SPADCALL |h| (QREFELT $ 45)) 0 (QREFELT $ 52))
                 (SPADCALL (SPADCALL |h| (QREFELT $ 45)) 1 (QREFELT $ 52))
                 (QREFELT $ 53))
                (QREFELT $ 54)))))))
          (EXIT (|error| "Improper differential equation")))))) 

(DEFUN |EXPRODE;checkCompat| (|y| |eqx| |eqy| $)
  (COND
   ((SPADCALL (SPADCALL |eqy| (QREFELT $ 56))
              (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 57)) (QREFELT $ 15))
              (QREFELT $ 58))
    (SPADCALL |eqy| (QREFELT $ 57)))
   ('T (|error| "Improper initial value")))) 

(DEFUN |EXPRODE;findCompat| (|yx| |l| $)
  (PROG (#1=#:G689 #2=#:G691 #3=#:G692 |eq|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (EXIT
          (SEQ (LETT |eq| NIL . #4=(|EXPRODE;findCompat|)) (LETT #3# |l| . #4#)
               G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |eq| (CAR #3#) . #4#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((SPADCALL |yx| (SPADCALL |eq| (QREFELT $ 56))
                             (QREFELT $ 58))
                   (PROGN
                    (LETT #1#
                          (PROGN
                           (LETT #2# (SPADCALL |eq| (QREFELT $ 57)) . #4#)
                           (GO #2#))
                          . #4#)
                    (GO #1#))))))
               (LETT #3# (CDR #3#) . #4#) (GO G190) G191 (EXIT NIL)))
         #1# (EXIT #1#))
        (EXIT (|error| "Improper initial value"))))
      #2# (EXIT #2#))))) 

(DEFUN |EXPRODE;findEq| (|k| |x| |sys| $)
  (PROG (#1=#:G694 #2=#:G696 #3=#:G697 |eq|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |k|
              (SPADCALL
               (SPADCALL (SPADCALL |k| (QREFELT $ 59)) |x| (QREFELT $ 60))
               (QREFELT $ 17))
              . #4=(|EXPRODE;findEq|))
        (SEQ
         (EXIT
          (SEQ (LETT |eq| NIL . #4#) (LETT #3# |sys| . #4#) G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |eq| (CAR #3#) . #4#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((SPADCALL |k| (SPADCALL |eq| (QREFELT $ 62)) (QREFELT $ 64))
                   (PROGN
                    (LETT #1# (PROGN (LETT #2# |eq| . #4#) (GO #2#)) . #4#)
                    (GO #1#))))))
               (LETT #3# (CDR #3#) . #4#) (GO G190) G191 (EXIT NIL)))
         #1# (EXIT #1#))
        (EXIT (|error| "Improper differential equation"))))
      #2# (EXIT #2#))))) 

(DEFUN |EXPRODE;checkOrder1| (|diffeq| |y| |yx| |x| |sy| $)
  (|EXPRODE;div2exquo|
   (SPADCALL
    (|EXPRODE;diffRhs|
     (SPADCALL (SPADCALL |yx| (QREFELT $ 59)) |x| (QREFELT $ 60)) |diffeq| $)
    (LIST |yx|) (LIST |sy|) (QREFELT $ 65))
   $)) 

(DEFUN |EXPRODE;checkOrderN| (|diffeq| |y| |yx| |x| |sy| |n| $)
  (PROG (|lv| |m| |l| |f| |i|)
    (RETURN
     (SEQ
      (COND ((ZEROP |n|) (|error| "No initial value(s) given"))
            ('T
             (SEQ
              (LETT |m|
                    (SPADCALL
                     (SPADCALL
                      (LETT |l|
                            (LIST
                             (SPADCALL
                              (LETT |f| (SPADCALL |yx| (QREFELT $ 59))
                                    . #1=(|EXPRODE;checkOrderN|))
                              (QREFELT $ 17)))
                            . #1#)
                      (QREFELT $ 67))
                     (QREFELT $ 68))
                    . #1#)
              (LETT |lv|
                    (LIST
                     (SPADCALL (QREFELT $ 11) |sy|
                               (|EXPRODE;localInteger| |m| $) (QREFELT $ 39)))
                    . #1#)
              (SEQ (LETT |i| 2 . #1#) G190
                   (COND ((QSGREATERP |i| |n|) (GO G191)))
                   (SEQ
                    (LETT |l|
                          (CONS
                           (SPADCALL
                            (LETT |f| (SPADCALL |f| |x| (QREFELT $ 60)) . #1#)
                            (QREFELT $ 17))
                           |l|)
                          . #1#)
                    (EXIT
                     (LETT |lv|
                           (CONS
                            (SPADCALL (QREFELT $ 11) |sy|
                                      (|EXPRODE;localInteger|
                                       (LETT |m|
                                             (SPADCALL |m|
                                                       (|spadConstant| $ 35)
                                                       (QREFELT $ 69))
                                             . #1#)
                                       $)
                                      (QREFELT $ 39))
                            |lv|)
                           . #1#)))
                   (LETT |i| (QSADD1 |i|) . #1#) (GO G190) G191 (EXIT NIL))
              (EXIT
               (|EXPRODE;div2exquo|
                (SPADCALL
                 (|EXPRODE;diffRhs| (SPADCALL |f| |x| (QREFELT $ 60)) |diffeq|
                  $)
                 |l| |lv| (QREFELT $ 65))
                $))))))))) 

(DEFUN |EXPRODE;checkSystem| (|diffeq| |yx| |lv| $)
  (PROG (#1=#:G705 #2=#:G707 #3=#:G708 |k|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (SEQ
         (EXIT
          (SEQ (LETT |k| NIL . #4=(|EXPRODE;checkSystem|))
               (LETT #3# (SPADCALL |diffeq| (QREFELT $ 62)) . #4#) G190
               (COND
                ((OR (ATOM #3#) (PROGN (LETT |k| (CAR #3#) . #4#) NIL))
                 (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((SPADCALL |k| '|%diff| (QREFELT $ 70))
                   (PROGN
                    (LETT #1#
                          (PROGN
                           (LETT #2#
                                 (|EXPRODE;div2exquo|
                                  (SPADCALL (|EXPRODE;diffRhsK| |k| |diffeq| $)
                                            |yx| |lv| (QREFELT $ 65))
                                  $)
                                 . #4#)
                           (GO #2#))
                          . #4#)
                    (GO #1#))))))
               (LETT #3# (CDR #3#) . #4#) (GO G190) G191 (EXIT NIL)))
         #1# (EXIT #1#))
        (EXIT (|spadConstant| $ 71))))
      #2# (EXIT #2#))))) 

(DEFUN |EXPRODE;seriesSolve;LLELA;13| (|l| |y| |eqx| |eqy| $)
  (PROG (#1=#:G712 |deq| #2=#:G711)
    (RETURN
     (SEQ
      (SPADCALL
       (PROGN
        (LETT #2# NIL . #3=(|EXPRODE;seriesSolve;LLELA;13|))
        (SEQ (LETT |deq| NIL . #3#) (LETT #1# |l| . #3#) G190
             (COND
              ((OR (ATOM #1#) (PROGN (LETT |deq| (CAR #1#) . #3#) NIL))
               (GO G191)))
             (SEQ
              (EXIT
               (LETT #2#
                     (CONS
                      (SPADCALL (SPADCALL |deq| (QREFELT $ 56))
                                (SPADCALL |deq| (QREFELT $ 57)) (QREFELT $ 72))
                      #2#)
                     . #3#)))
             (LETT #1# (CDR #1#) . #3#) (GO G190) G191 (EXIT (NREVERSE0 #2#))))
       |y| |eqx| |eqy| (QREFELT $ 76)))))) 

(DEFUN |EXPRODE;seriesSolve;LLELA;14| (|l| |y| |eqx| |y0| $)
  (PROG (#1=#:G717 |deq| #2=#:G716)
    (RETURN
     (SEQ
      (SPADCALL
       (PROGN
        (LETT #2# NIL . #3=(|EXPRODE;seriesSolve;LLELA;14|))
        (SEQ (LETT |deq| NIL . #3#) (LETT #1# |l| . #3#) G190
             (COND
              ((OR (ATOM #1#) (PROGN (LETT |deq| (CAR #1#) . #3#) NIL))
               (GO G191)))
             (SEQ
              (EXIT
               (LETT #2#
                     (CONS
                      (SPADCALL (SPADCALL |deq| (QREFELT $ 56))
                                (SPADCALL |deq| (QREFELT $ 57)) (QREFELT $ 72))
                      #2#)
                     . #3#)))
             (LETT #1# (CDR #1#) . #3#) (GO G190) G191 (EXIT (NREVERSE0 #2#))))
       |y| |eqx| |y0| (QREFELT $ 78)))))) 

(DEFUN |EXPRODE;seriesSolve;LLELA;15| (|l| |ly| |eqx| |eqy| $)
  (PROG (#1=#:G721 |y| #2=#:G720)
    (RETURN
     (SEQ
      (SPADCALL |l| |ly| |eqx|
                (PROGN
                 (LETT #2# NIL . #3=(|EXPRODE;seriesSolve;LLELA;15|))
                 (SEQ (LETT |y| NIL . #3#) (LETT #1# |ly| . #3#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |y| (CAR #1#) . #3#) NIL))
                        (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #2#
                              (CONS
                               (|EXPRODE;findCompat|
                                (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 57))
                                          (QREFELT $ 15))
                                |eqy| $)
                               #2#)
                              . #3#)))
                      (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                      (EXIT (NREVERSE0 #2#))))
                (QREFELT $ 78)))))) 

(DEFUN |EXPRODE;seriesSolve;EBo2EA;16| (|diffeq| |y| |eqx| |eqy| $)
  (SPADCALL
   (SPADCALL (SPADCALL |diffeq| (QREFELT $ 56))
             (SPADCALL |diffeq| (QREFELT $ 57)) (QREFELT $ 72))
   |y| |eqx| |eqy| (QREFELT $ 80))) 

(DEFUN |EXPRODE;seriesSolve;EBoEFA;17| (|diffeq| |y| |eqx| |y0| $)
  (SPADCALL
   (SPADCALL (SPADCALL |diffeq| (QREFELT $ 56))
             (SPADCALL |diffeq| (QREFELT $ 57)) (QREFELT $ 72))
   |y| |eqx| |y0| (QREFELT $ 82))) 

(DEFUN |EXPRODE;seriesSolve;EBoELA;18| (|diffeq| |y| |eqx| |y0| $)
  (SPADCALL
   (SPADCALL (SPADCALL |diffeq| (QREFELT $ 56))
             (SPADCALL |diffeq| (QREFELT $ 57)) (QREFELT $ 72))
   |y| |eqx| |y0| (QREFELT $ 84))) 

(DEFUN |EXPRODE;seriesSolve;FBo2EA;19| (|diffeq| |y| |eqx| |eqy| $)
  (SPADCALL |diffeq| |y| |eqx| (|EXPRODE;checkCompat| |y| |eqx| |eqy| $)
            (QREFELT $ 82))) 

(DEFUN |EXPRODE;seriesSolve;FBoEFA;20| (|diffeq| |y| |eqx| |y0| $)
  (PROG (|center| |f| |yx| |sy| |x| #1=#:G730)
    (RETURN
     (SEQ
      (LETT |x|
            (PROG2
                (LETT #1#
                      (SPADCALL
                       (SPADCALL (SPADCALL |eqx| (QREFELT $ 56))
                                 (QREFELT $ 17))
                       (QREFELT $ 87))
                      . #2=(|EXPRODE;seriesSolve;FBoEFA;20|))
                (QCDR #1#)
              (|check-union| (QEQCAR #1# 0) (|Symbol|) #1#))
            . #2#)
      (LETT |sy| (SPADCALL |y| (QREFELT $ 88)) . #2#)
      (LETT |yx|
            (SPADCALL
             (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 56)) (QREFELT $ 15))
             (QREFELT $ 17))
            . #2#)
      (LETT |f|
            (|EXPRODE;checkOrder1| |diffeq| |y| |yx| |x|
             (SPADCALL |sy| (QREFELT $ 89)) $)
            . #2#)
      (LETT |center| (SPADCALL |eqx| (QREFELT $ 57)) . #2#)
      (EXIT
       (SPADCALL
        (SPADCALL
         (SPADCALL |f| |sy|
                   (|compiledLookupCheck| '|compiledFunction|
                                          (LIST
                                           (LIST '|Mapping|
                                                 (LIST
                                                  '|UnivariateTaylorSeries|
                                                  (|devaluate| (ELT $ 7)) |x|
                                                  |center|)
                                                 (LIST
                                                  '|UnivariateTaylorSeries|
                                                  (|devaluate| (ELT $ 7)) |x|
                                                  |center|))
                                           (|devaluate| (ELT $ 7))
                                           (LIST '|Symbol|))
                                          (|MakeUnaryCompiledFunction|
                                           (ELT $ 7)
                                           (|UnivariateTaylorSeries| (ELT $ 7)
                                                                     |x|
                                                                     |center|)
                                           (|UnivariateTaylorSeries| (ELT $ 7)
                                                                     |x|
                                                                     |center|))))
         |y0|
         (|compiledLookupCheck| '|ode1|
                                (LIST
                                 (LIST '|UnivariateTaylorSeries|
                                       (|devaluate| (ELT $ 7)) |x| |center|)
                                 (LIST '|Mapping|
                                       (LIST '|UnivariateTaylorSeries|
                                             (|devaluate| (ELT $ 7)) |x|
                                             |center|)
                                       (LIST '|UnivariateTaylorSeries|
                                             (|devaluate| (ELT $ 7)) |x|
                                             |center|))
                                 (|devaluate| (ELT $ 7)))
                                (|UnivariateTaylorSeriesODESolver| (ELT $ 7)
                                                                   (|UnivariateTaylorSeries|
                                                                    (ELT $ 7)
                                                                    |x|
                                                                    |center|))))
        (|compiledLookupCheck| '|coerce|
                               (LIST (LIST '|Any|)
                                     (LIST '|UnivariateTaylorSeries|
                                           (|devaluate| (ELT $ 7)) |x|
                                           |center|))
                               (|AnyFunctions1|
                                (|UnivariateTaylorSeries| (ELT $ 7) |x|
                                                          |center|))))))))) 

(DEFUN |EXPRODE;seriesSolve;FBoELA;21| (|diffeq| |y| |eqx| |y0| $)
  (PROG (|center| |f| |yx| |sy| |x| #1=#:G735)
    (RETURN
     (SEQ
      (LETT |x|
            (PROG2
                (LETT #1#
                      (SPADCALL
                       (SPADCALL (SPADCALL |eqx| (QREFELT $ 56))
                                 (QREFELT $ 17))
                       (QREFELT $ 87))
                      . #2=(|EXPRODE;seriesSolve;FBoELA;21|))
                (QCDR #1#)
              (|check-union| (QEQCAR #1# 0) (|Symbol|) #1#))
            . #2#)
      (LETT |sy| (SPADCALL (QREFELT $ 90)) . #2#)
      (LETT |yx|
            (SPADCALL
             (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 56)) (QREFELT $ 15))
             (QREFELT $ 17))
            . #2#)
      (LETT |f|
            (|EXPRODE;checkOrderN| |diffeq| |y| |yx| |x|
             (SPADCALL |sy| (QREFELT $ 89)) (LENGTH |y0|) $)
            . #2#)
      (LETT |center| (SPADCALL |eqx| (QREFELT $ 57)) . #2#)
      (EXIT
       (SPADCALL
        (SPADCALL
         (SPADCALL |f| |sy|
                   (|compiledLookupCheck| '|compiledFunction|
                                          (LIST
                                           (LIST '|Mapping|
                                                 (LIST
                                                  '|UnivariateTaylorSeries|
                                                  (|devaluate| (ELT $ 7)) |x|
                                                  |center|)
                                                 (LIST '|List|
                                                       (LIST
                                                        '|UnivariateTaylorSeries|
                                                        (|devaluate| (ELT $ 7))
                                                        |x| |center|)))
                                           (|devaluate| (ELT $ 7))
                                           (LIST '|Symbol|))
                                          (|MakeUnaryCompiledFunction|
                                           (ELT $ 7)
                                           (|List|
                                            (|UnivariateTaylorSeries| (ELT $ 7)
                                                                      |x|
                                                                      |center|))
                                           (|UnivariateTaylorSeries| (ELT $ 7)
                                                                     |x|
                                                                     |center|))))
         |y0|
         (|compiledLookupCheck| '|ode|
                                (LIST
                                 (LIST '|UnivariateTaylorSeries|
                                       (|devaluate| (ELT $ 7)) |x| |center|)
                                 (LIST '|Mapping|
                                       (LIST '|UnivariateTaylorSeries|
                                             (|devaluate| (ELT $ 7)) |x|
                                             |center|)
                                       (LIST '|List|
                                             (LIST '|UnivariateTaylorSeries|
                                                   (|devaluate| (ELT $ 7)) |x|
                                                   |center|)))
                                 (LIST '|List| (|devaluate| (ELT $ 7))))
                                (|UnivariateTaylorSeriesODESolver| (ELT $ 7)
                                                                   (|UnivariateTaylorSeries|
                                                                    (ELT $ 7)
                                                                    |x|
                                                                    |center|))))
        (|compiledLookupCheck| '|coerce|
                               (LIST (LIST '|Any|)
                                     (LIST '|UnivariateTaylorSeries|
                                           (|devaluate| (ELT $ 7)) |x|
                                           |center|))
                               (|AnyFunctions1|
                                (|UnivariateTaylorSeries| (ELT $ 7) |x|
                                                          |center|))))))))) 

(DEFUN |EXPRODE;seriesSolve;LLELA;22| (|sys| |ly| |eqx| |l0| $)
  (PROG (#1=#:G759 |f| #2=#:G758 |center| |l| #3=#:G757 |eq| #4=#:G756
         #5=#:G755 |k| #6=#:G754 |lelt| |m| #7=#:G753 #8=#:G752 |yx| #9=#:G751
         |y| #10=#:G750 |fsy| |sy| |x| #11=#:G740 |kx|)
    (RETURN
     (SEQ
      (LETT |x|
            (PROG2
                (LETT #11#
                      (SPADCALL
                       (LETT |kx|
                             (SPADCALL (SPADCALL |eqx| (QREFELT $ 56))
                                       (QREFELT $ 17))
                             . #12=(|EXPRODE;seriesSolve;LLELA;22|))
                       (QREFELT $ 87))
                      . #12#)
                (QCDR #11#)
              (|check-union| (QEQCAR #11# 0) (|Symbol|) #11#))
            . #12#)
      (LETT |fsy|
            (SPADCALL (LETT |sy| (SPADCALL (QREFELT $ 90)) . #12#)
                      (QREFELT $ 89))
            . #12#)
      (LETT |m| (SPADCALL (- (SPADCALL |l0| (QREFELT $ 91)) 1) (QREFELT $ 68))
            . #12#)
      (LETT |yx|
            (CONS |kx|
                  (PROGN
                   (LETT #10# NIL . #12#)
                   (SEQ (LETT |y| NIL . #12#) (LETT #9# |ly| . #12#) G190
                        (COND
                         ((OR (ATOM #9#)
                              (PROGN (LETT |y| (CAR #9#) . #12#) NIL))
                          #13=(GO G191)))
                        (SEQ
                         (EXIT
                          (LETT #10#
                                (CONS
                                 (SPADCALL
                                  (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 56))
                                            (QREFELT $ 15))
                                  (QREFELT $ 17))
                                 #10#)
                                . #12#)))
                        (LETT #9# (CDR #9#) . #12#) #14=(GO G190) G191
                        (EXIT (NREVERSE0 #10#)))))
            . #12#)
      (LETT |lelt|
            (PROGN
             (LETT #8# NIL . #12#)
             (SEQ (LETT |k| NIL . #12#) (LETT #7# |yx| . #12#) G190
                  (COND
                   ((OR (ATOM #7#) (PROGN (LETT |k| (CAR #7#) . #12#) NIL))
                    #13#))
                  (SEQ
                   (EXIT
                    (LETT #8#
                          (CONS
                           (SPADCALL (QREFELT $ 11) |fsy|
                                     (|EXPRODE;localInteger|
                                      (LETT |m|
                                            (SPADCALL |m| (|spadConstant| $ 35)
                                                      (QREFELT $ 69))
                                            . #12#)
                                      $)
                                     (QREFELT $ 39))
                           #8#)
                          . #12#)))
                  (LETT #7# (CDR #7#) . #12#) #14# G191
                  (EXIT (NREVERSE0 #8#))))
            . #12#)
      (LETT |sys|
            (PROGN
             (LETT #6# NIL . #12#)
             (SEQ (LETT |k| NIL . #12#) (LETT #5# (CDR |yx|) . #12#) G190
                  (COND
                   ((OR (ATOM #5#) (PROGN (LETT |k| (CAR #5#) . #12#) NIL))
                    #13#))
                  (SEQ
                   (EXIT
                    (LETT #6# (CONS (|EXPRODE;findEq| |k| |x| |sys| $) #6#)
                          . #12#)))
                  (LETT #5# (CDR #5#) . #12#) #14# G191
                  (EXIT (NREVERSE0 #6#))))
            . #12#)
      (LETT |l|
            (PROGN
             (LETT #4# NIL . #12#)
             (SEQ (LETT |eq| NIL . #12#) (LETT #3# |sys| . #12#) G190
                  (COND
                   ((OR (ATOM #3#) (PROGN (LETT |eq| (CAR #3#) . #12#) NIL))
                    #13#))
                  (SEQ
                   (EXIT
                    (LETT #4#
                          (CONS (|EXPRODE;checkSystem| |eq| |yx| |lelt| $) #4#)
                          . #12#)))
                  (LETT #3# (CDR #3#) . #12#) #14# G191
                  (EXIT (NREVERSE0 #4#))))
            . #12#)
      (LETT |center| (SPADCALL |eqx| (QREFELT $ 57)) . #12#)
      (EXIT
       (SPADCALL
        (SPADCALL |l0|
                  (PROGN
                   (LETT #2# NIL . #12#)
                   (SEQ (LETT |f| NIL . #12#) (LETT #1# |l| . #12#) G190
                        (COND
                         ((OR (ATOM #1#)
                              (PROGN (LETT |f| (CAR #1#) . #12#) NIL))
                          #13#))
                        (SEQ
                         (EXIT
                          (LETT #2#
                                (CONS
                                 (SPADCALL |f| |sy|
                                           (|compiledLookupCheck|
                                            '|compiledFunction|
                                            (LIST
                                             (LIST '|Mapping|
                                                   (LIST
                                                    '|UnivariateTaylorSeries|
                                                    (|devaluate| (ELT $ 7)) |x|
                                                    |center|)
                                                   (LIST '|List|
                                                         (LIST
                                                          '|UnivariateTaylorSeries|
                                                          (|devaluate|
                                                           (ELT $ 7))
                                                          |x| |center|)))
                                             (|devaluate| (ELT $ 7))
                                             (LIST '|Symbol|))
                                            (|MakeUnaryCompiledFunction|
                                             (ELT $ 7)
                                             (|List|
                                              (|UnivariateTaylorSeries|
                                               (ELT $ 7) |x| |center|))
                                             (|UnivariateTaylorSeries|
                                              (ELT $ 7) |x| |center|))))
                                 #2#)
                                . #12#)))
                        (LETT #1# (CDR #1#) . #12#) #14# G191
                        (EXIT (NREVERSE0 #2#))))
                  (|compiledLookupCheck| '|mpsode|
                                         (LIST
                                          (LIST '|List|
                                                (LIST '|UnivariateTaylorSeries|
                                                      (|devaluate| (ELT $ 7))
                                                      |x| |center|))
                                          (LIST '|List|
                                                (|devaluate| (ELT $ 7)))
                                          (LIST '|List|
                                                (LIST '|Mapping|
                                                      (LIST
                                                       '|UnivariateTaylorSeries|
                                                       (|devaluate| (ELT $ 7))
                                                       |x| |center|)
                                                      (LIST '|List|
                                                            (LIST
                                                             '|UnivariateTaylorSeries|
                                                             (|devaluate|
                                                              (ELT $ 7))
                                                             |x| |center|)))))
                                         (|UnivariateTaylorSeriesODESolver|
                                          (ELT $ 7)
                                          (|UnivariateTaylorSeries| (ELT $ 7)
                                                                    |x|
                                                                    |center|))))
        (|compiledLookupCheck| '|coerce|
                               (LIST (LIST '|Any|)
                                     (LIST '|List|
                                           (LIST '|UnivariateTaylorSeries|
                                                 (|devaluate| (ELT $ 7)) |x|
                                                 |center|)))
                               (|AnyFunctions1|
                                (|List|
                                 (|UnivariateTaylorSeries| (ELT $ 7) |x|
                                                           |center|)))))))))) 

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

(DEFUN |ExpressionSpaceODESolver;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|ExpressionSpaceODESolver|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|ExpressionSpaceODESolver| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 92) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|ExpressionSpaceODESolver|
                  (LIST DV$1 DV$2) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 11 (SPADCALL '|elt| (QREFELT $ 10)))
      (QSETREFV $ 12 (SPADCALL '|exquo| (QREFELT $ 10)))
      (QSETREFV $ 13 (SPADCALL '|integer| (QREFELT $ 10)))
      (QSETREFV $ 14 (|HasCategory| |#1| '(|IntegerNumberSystem|)))
      $)))) 

(MAKEPROP '|ExpressionSpaceODESolver| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Symbol|)
              (|BasicOperator|) (0 . |operator|) '|opelt| '|opex| '|opint|
              '|Rint?| (5 . |elt|) (|Kernel| $) (11 . |retract|) (|Kernel| 7)
              (16 . |operator|) (|Boolean|) (21 . |is?|) (|List| 7)
              (27 . |argument|) (|List| $) (32 . |kernel|) (38 . |coerce|)
              (|Mapping| 7 18) (|Mapping| 7 6)
              (|SparseMultivariatePolynomial| 6 18)
              (|PolynomialCategoryLifting| (|IndexedExponents| 18) 18 6 29 7)
              (43 . |map|) (|SparseMultivariatePolynomial| 6 16) (50 . |denom|)
              (55 . |One|) (59 . |One|) (63 . |One|) (67 . =) (73 . |numer|)
              (78 . |elt|) (|Fraction| (|SparseUnivariatePolynomial| $))
              (85 . |univariate|) (|Fraction| 44) (91 . |One|)
              (|SparseUnivariatePolynomial| 7) (95 . |numer|) (100 . |One|)
              (|NonNegativeInteger|) (104 . |degree|) (109 . |denom|)
              (114 . |ground?|) (119 . |Zero|) (123 . |coefficient|) (129 . /)
              (135 . -) (|Equation| 7) (140 . |lhs|) (145 . |rhs|) (150 . =)
              (156 . |coerce|) (161 . |differentiate|) (|List| 16)
              (167 . |kernels|) (|List| 18) (172 . |member?|) (178 . |subst|)
              (|Integer|) (185 . |minIndex|) (190 . |coerce|) (195 . +)
              (201 . |is?|) (207 . |Zero|) (211 . -) (|Any|) (|List| 9)
              (|List| 55) |EXPRODE;seriesSolve;LLELA;15|
              |EXPRODE;seriesSolve;LLELA;13| |EXPRODE;seriesSolve;LLELA;22|
              |EXPRODE;seriesSolve;LLELA;14| |EXPRODE;seriesSolve;FBo2EA;19|
              |EXPRODE;seriesSolve;EBo2EA;16| |EXPRODE;seriesSolve;FBoEFA;20|
              |EXPRODE;seriesSolve;EBoEFA;17| |EXPRODE;seriesSolve;FBoELA;21|
              |EXPRODE;seriesSolve;EBoELA;18| (|Union| 8 '"failed")
              (217 . |symbolIfCan|) (222 . |name|) (227 . |coerce|)
              (232 . |new|) (236 . |minIndex|))
           '#(|seriesSolve| 241) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 91
                                                 '(1 9 0 8 10 2 7 0 9 0 15 1 7
                                                   16 0 17 1 18 9 0 19 2 9 20 0
                                                   8 21 1 18 22 0 23 2 7 0 9 24
                                                   25 1 7 0 6 26 3 30 7 27 28
                                                   29 31 1 7 32 0 33 0 6 0 34 0
                                                   7 0 35 0 29 0 36 2 29 20 0 0
                                                   37 1 7 32 0 38 3 7 0 9 0 0
                                                   39 2 7 40 0 16 41 0 42 0 43
                                                   1 42 44 0 45 0 44 0 46 1 44
                                                   47 0 48 1 42 44 0 49 1 44 20
                                                   0 50 0 6 0 51 2 44 7 0 47 52
                                                   2 7 0 0 0 53 1 7 0 0 54 1 55
                                                   7 0 56 1 55 7 0 57 2 7 20 0
                                                   0 58 1 7 0 16 59 2 7 0 0 8
                                                   60 1 7 61 0 62 2 63 20 18 0
                                                   64 3 7 0 0 61 24 65 1 63 66
                                                   0 67 1 7 0 66 68 2 7 0 0 0
                                                   69 2 18 20 0 8 70 0 7 0 71 2
                                                   7 0 0 0 72 1 18 86 0 87 1 9
                                                   8 0 88 1 7 0 8 89 0 8 0 90 1
                                                   22 66 0 91 4 0 73 55 9 55 22
                                                   85 4 0 73 55 9 55 55 81 4 0
                                                   73 75 74 55 75 77 4 0 73 22
                                                   74 55 22 78 4 0 73 75 74 55
                                                   22 79 4 0 73 55 9 55 7 83 4
                                                   0 73 22 74 55 75 76 4 0 73 7
                                                   9 55 7 82 4 0 73 7 9 55 22
                                                   84 4 0 73 7 9 55 55 80)))))
           '|lookupComplete|)) 
