
(/VERSIONCHECK 2) 

(DEFUN |EXPRODE;localInteger| (|n| $)
  (COND
    ((QREFELT $ 16) |n|)
    ('T (SPADCALL (QREFELT $ 15) |n| (QREFELT $ 17))))) 

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

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

(DEFUN |EXPRODE;smp2exquo| (|p| $)
  (SPADCALL (CONS (|function| |EXPRODE;k2exquo|) $)
      (CONS #'|EXPRODE;smp2exquo!0| $) |p| (QREFELT $ 33))) 

(DEFUN |EXPRODE;smp2exquo!0| (|#1| $) (SPADCALL |#1| (QREFELT $ 28))) 

(DEFUN |EXPRODE;div2exquo| (|f| $)
  (PROG (|d|)
    (RETURN
      (SEQ (LETT |d| (SPADCALL |f| (QREFELT $ 35)) |EXPRODE;div2exquo|)
           (EXIT (COND
                   ((SPADCALL |d| (|spadConstant| $ 38) (QREFELT $ 39))
                    |f|)
                   ('T
                    (SPADCALL (QREFELT $ 14)
                        (|EXPRODE;smp2exquo|
                            (SPADCALL |f| (QREFELT $ 40)) $)
                        (|EXPRODE;smp2exquo| |d| $) (QREFELT $ 41))))))))) 

(DEFUN |EXPRODE;diffRhsK| (|k| |g| $)
  (PROG (|h|)
    (RETURN
      (SEQ (LETT |h| (SPADCALL |g| |k| (QREFELT $ 43))
                 |EXPRODE;diffRhsK|)
           (COND
             ((NULL (< 1
                       (SPADCALL (SPADCALL |h| (QREFELT $ 46))
                           (QREFELT $ 50))))
              (COND
                ((SPADCALL (SPADCALL |h| (QREFELT $ 51))
                     (QREFELT $ 52))
                 (EXIT (SPADCALL
                           (SPADCALL
                               (SPADCALL (SPADCALL |h| (QREFELT $ 46))
                                   0 (QREFELT $ 54))
                               (SPADCALL (SPADCALL |h| (QREFELT $ 46))
                                   1 (QREFELT $ 54))
                               (QREFELT $ 55))
                           (QREFELT $ 56)))))))
           (EXIT (|error| "Improper differential equation")))))) 

(DEFUN |EXPRODE;checkCompat| (|y| |eqx| |eqy| $)
  (COND
    ((SPADCALL (SPADCALL |eqy| (QREFELT $ 58))
         (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 59)) (QREFELT $ 17))
         (QREFELT $ 60))
     (SPADCALL |eqy| (QREFELT $ 59)))
    ('T (|error| "Improper initial value")))) 

(DEFUN |EXPRODE;findCompat| (|yx| |l| $)
  (PROG (|eq| #0=#:G1846 #1=#:G1845 #2=#:G1843)
    (RETURN
      (SEQ (EXIT (SEQ (SEQ (EXIT (SEQ (LETT |eq| NIL
                                       . #3=(|EXPRODE;findCompat|))
                                      (LETT #0# |l| . #3#) G190
                                      (COND
                                        ((OR (ATOM #0#)
                                          (PROGN
                                            (LETT |eq| (CAR #0#) . #3#)
                                            NIL))
                                         (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (COND
                                          ((SPADCALL |yx|
                                            (SPADCALL |eq|
                                             (QREFELT $ 58))
                                            (QREFELT $ 60))
                                           (PROGN
                                             (LETT #2#
                                              (PROGN
                                                (LETT #1#
                                                 (SPADCALL |eq|
                                                  (QREFELT $ 59)) . #3#)
                                                (GO #1#)) . #3#)
                                             (GO #2#))))))
                                      (LETT #0# (CDR #0#) . #3#)
                                      (GO G190) G191 (EXIT NIL)))
                           #2# (EXIT #2#))
                      (EXIT (|error| "Improper initial value"))))
           #1# (EXIT #1#))))) 

(DEFUN |EXPRODE;findEq| (|k| |x| |sys| $)
  (PROG (|eq| #0=#:G1851 #1=#:G1850 #2=#:G1848)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |k|
                            (SPADCALL
                                (SPADCALL (SPADCALL |k| (QREFELT $ 61))
                                    |x| (QREFELT $ 62))
                                (QREFELT $ 19))
                            . #3=(|EXPRODE;findEq|))
                      (SEQ (EXIT (SEQ (LETT |eq| NIL . #3#)
                                      (LETT #0# |sys| . #3#) G190
                                      (COND
                                        ((OR (ATOM #0#)
                                          (PROGN
                                            (LETT |eq| (CAR #0#) . #3#)
                                            NIL))
                                         (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (COND
                                          ((SPADCALL |k|
                                            (SPADCALL |eq|
                                             (QREFELT $ 64))
                                            (QREFELT $ 66))
                                           (PROGN
                                             (LETT #2#
                                              (PROGN
                                                (LETT #1# |eq| . #3#)
                                                (GO #1#)) . #3#)
                                             (GO #2#))))))
                                      (LETT #0# (CDR #0#) . #3#)
                                      (GO G190) G191 (EXIT NIL)))
                           #2# (EXIT #2#))
                      (EXIT (|error| "Improper differential equation"))))
           #1# (EXIT #1#))))) 

(DEFUN |EXPRODE;checkOrder1| (|diffeq| |y| |yx| |x| |sy| $)
  (|EXPRODE;div2exquo|
      (SPADCALL
          (|EXPRODE;diffRhs|
              (SPADCALL (SPADCALL |yx| (QREFELT $ 61)) |x|
                  (QREFELT $ 62))
              |diffeq| $)
          (LIST |yx|) (LIST |sy|) (QREFELT $ 67))
      $)) 

(DEFUN |EXPRODE;checkOrderN| (|diffeq| |y| |yx| |x| |sy| |n| $)
  (PROG (|i| |f| |l| |m| |lv|)
    (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 $ 61))
                                          . #0=(|EXPRODE;checkOrderN|))
                                         (QREFELT $ 19))) . #0#)
                                 (QREFELT $ 69))
                             (QREFELT $ 70)) . #0#)
                   (LETT |lv|
                         (LIST (SPADCALL (QREFELT $ 13) |sy|
                                   (|EXPRODE;localInteger| |m| $)
                                   (QREFELT $ 41))) . #0#)
                   (SEQ (LETT |i| 2 . #0#) G190
                        (COND ((QSGREATERP |i| |n|) (GO G191)))
                        (SEQ (LETT |l|
                                   (CONS
                                    (SPADCALL
                                     (LETT |f|
                                      (SPADCALL |f| |x| (QREFELT $ 62)) . #0#)
                                     (QREFELT $ 19))
                                    |l|) . #0#)
                             (EXIT (LETT |lv|
                                    (CONS
                                     (SPADCALL (QREFELT $ 13) |sy|
                                      (|EXPRODE;localInteger|
                                       (LETT |m|
                                        (SPADCALL |m|
                                         (|spadConstant| $ 37)
                                         (QREFELT $ 71)) . #0#)
                                       $)
                                      (QREFELT $ 41))
                                     |lv|) . #0#)))
                        (LETT |i| (QSADD1 |i|) . #0#) (GO G190) G191
                        (EXIT NIL))
                   (EXIT (|EXPRODE;div2exquo|
                             (SPADCALL
                                 (|EXPRODE;diffRhs|
                                     (SPADCALL |f| |x| (QREFELT $ 62))
                                     |diffeq| $)
                                 |l| |lv| (QREFELT $ 67))
                             $))))))))) 

(DEFUN |EXPRODE;checkSystem| (|diffeq| |yx| |lv| $)
  (PROG (|k| #0=#:G1862 #1=#:G1861 #2=#:G1859)
    (RETURN
      (SEQ (EXIT (SEQ (SEQ (EXIT (SEQ (LETT |k| NIL
                                       . #3=(|EXPRODE;checkSystem|))
                                      (LETT #0#
                                       (SPADCALL |diffeq|
                                        (QREFELT $ 64)) . #3#)
                                      G190
                                      (COND
                                        ((OR (ATOM #0#)
                                          (PROGN
                                            (LETT |k| (CAR #0#) . #3#)
                                            NIL))
                                         (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (COND
                                          ((SPADCALL |k|
                                            (SPADCALL "%diff"
                                             (QREFELT $ 10))
                                            (QREFELT $ 72))
                                           (PROGN
                                             (LETT #2#
                                              (PROGN
                                                (LETT #1#
                                                 (|EXPRODE;div2exquo|
                                                  (SPADCALL
                                                   (|EXPRODE;diffRhsK|
                                                    |k| |diffeq| $)
                                                   |yx| |lv|
                                                   (QREFELT $ 67))
                                                  $) . #3#)
                                                (GO #1#)) . #3#)
                                             (GO #2#))))))
                                      (LETT #0# (CDR #0#) . #3#)
                                      (GO G190) G191 (EXIT NIL)))
                           #2# (EXIT #2#))
                      (EXIT (|spadConstant| $ 73))))
           #1# (EXIT #1#))))) 

(DEFUN |EXPRODE;seriesSolve;LLELA;13| (|l| |y| |eqx| |eqy| $)
  (PROG (#0=#:G1865 |deq| #1=#:G1866)
    (RETURN
      (SEQ (SPADCALL
               (PROGN
                 (LETT #0# NIL . #2=(|EXPRODE;seriesSolve;LLELA;13|))
                 (SEQ (LETT |deq| NIL . #2#) (LETT #1# |l| . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |deq| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (SPADCALL
                                         (SPADCALL |deq|
                                          (QREFELT $ 58))
                                         (SPADCALL |deq|
                                          (QREFELT $ 59))
                                         (QREFELT $ 74))
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               |y| |eqx| |eqy| (QREFELT $ 78)))))) 

(DEFUN |EXPRODE;seriesSolve;LLELA;14| (|l| |y| |eqx| |y0| $)
  (PROG (#0=#:G1870 |deq| #1=#:G1871)
    (RETURN
      (SEQ (SPADCALL
               (PROGN
                 (LETT #0# NIL . #2=(|EXPRODE;seriesSolve;LLELA;14|))
                 (SEQ (LETT |deq| NIL . #2#) (LETT #1# |l| . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |deq| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (SPADCALL
                                         (SPADCALL |deq|
                                          (QREFELT $ 58))
                                         (SPADCALL |deq|
                                          (QREFELT $ 59))
                                         (QREFELT $ 74))
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               |y| |eqx| |y0| (QREFELT $ 80)))))) 

(DEFUN |EXPRODE;seriesSolve;LLELA;15| (|l| |ly| |eqx| |eqy| $)
  (PROG (#0=#:G1874 |y| #1=#:G1875)
    (RETURN
      (SEQ (SPADCALL |l| |ly| |eqx|
               (PROGN
                 (LETT #0# NIL . #2=(|EXPRODE;seriesSolve;LLELA;15|))
                 (SEQ (LETT |y| NIL . #2#) (LETT #1# |ly| . #2#) G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |y| (CAR #1#) . #2#) NIL))
                         (GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS
                                        (|EXPRODE;findCompat|
                                         (SPADCALL |y|
                                          (SPADCALL |eqx|
                                           (QREFELT $ 59))
                                          (QREFELT $ 17))
                                         |eqy| $)
                                        #0#) . #2#)))
                      (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               (QREFELT $ 80)))))) 

(DEFUN |EXPRODE;seriesSolve;EBo2EA;16| (|diffeq| |y| |eqx| |eqy| $)
  (SPADCALL
      (SPADCALL (SPADCALL |diffeq| (QREFELT $ 58))
          (SPADCALL |diffeq| (QREFELT $ 59)) (QREFELT $ 74))
      |y| |eqx| |eqy| (QREFELT $ 82))) 

(DEFUN |EXPRODE;seriesSolve;EBoEFA;17| (|diffeq| |y| |eqx| |y0| $)
  (SPADCALL
      (SPADCALL (SPADCALL |diffeq| (QREFELT $ 58))
          (SPADCALL |diffeq| (QREFELT $ 59)) (QREFELT $ 74))
      |y| |eqx| |y0| (QREFELT $ 84))) 

(DEFUN |EXPRODE;seriesSolve;EBoELA;18| (|diffeq| |y| |eqx| |y0| $)
  (SPADCALL
      (SPADCALL (SPADCALL |diffeq| (QREFELT $ 58))
          (SPADCALL |diffeq| (QREFELT $ 59)) (QREFELT $ 74))
      |y| |eqx| |y0| (QREFELT $ 86))) 

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

(DEFUN |EXPRODE;seriesSolve;FBoEFA;20| (|diffeq| |y| |eqx| |y0| $)
  (PROG (#0=#:G1884 |x| |sy| |yx| |f| |center|)
    (RETURN
      (SEQ (LETT |x|
                 (PROG2 (LETT #0#
                              (SPADCALL
                                  (SPADCALL
                                      (SPADCALL |eqx| (QREFELT $ 58))
                                      (QREFELT $ 19))
                                  (QREFELT $ 89))
                              . #1=(|EXPRODE;seriesSolve;FBoEFA;20|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (|Symbol|) #0#)) . #1#)
           (LETT |sy| (SPADCALL |y| (QREFELT $ 90)) . #1#)
           (LETT |yx|
                 (SPADCALL
                     (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 58))
                         (QREFELT $ 17))
                     (QREFELT $ 19)) . #1#)
           (LETT |f|
                 (|EXPRODE;checkOrder1| |diffeq| |y| |yx| |x|
                     (SPADCALL |sy| (QREFELT $ 91)) $) . #1#)
           (LETT |center| (SPADCALL |eqx| (QREFELT $ 59)) . #1#)
           (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 (#0=#:G1889 |x| |sy| |yx| |f| |center|)
    (RETURN
      (SEQ (LETT |x|
                 (PROG2 (LETT #0#
                              (SPADCALL
                                  (SPADCALL
                                      (SPADCALL |eqx| (QREFELT $ 58))
                                      (QREFELT $ 19))
                                  (QREFELT $ 89))
                              . #1=(|EXPRODE;seriesSolve;FBoELA;21|))
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (|Symbol|) #0#)) . #1#)
           (LETT |sy| (SPADCALL (QREFELT $ 92)) . #1#)
           (LETT |yx|
                 (SPADCALL
                     (SPADCALL |y| (SPADCALL |eqx| (QREFELT $ 58))
                         (QREFELT $ 17))
                     (QREFELT $ 19)) . #1#)
           (LETT |f|
                 (|EXPRODE;checkOrderN| |diffeq| |y| |yx| |x|
                     (SPADCALL |sy| (QREFELT $ 91)) (LENGTH |y0|) $) . #1#)
           (LETT |center| (SPADCALL |eqx| (QREFELT $ 59)) . #1#)
           (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 (|kx| #0=#:G1894 |x| |sy| |fsy| #1=#:G1904 |y| #2=#:G1905 |yx|
              #3=#:G1906 #4=#:G1907 |m| |lelt| #5=#:G1908 |k|
              #6=#:G1909 #7=#:G1910 |eq| #8=#:G1911 |l| |center|
              #9=#:G1912 |f| #10=#:G1913)
    (RETURN
      (SEQ (LETT |x|
                 (PROG2 (LETT #0#
                              (SPADCALL
                                  (LETT |kx|
                                        (SPADCALL
                                         (SPADCALL |eqx|
                                          (QREFELT $ 58))
                                         (QREFELT $ 19))
                                        . #11=(|EXPRODE;seriesSolve;LLELA;22|))
                                  (QREFELT $ 89)) . #11#)
                        (QCDR #0#)
                   (|check-union| (QEQCAR #0# 0) (|Symbol|) #0#)) . #11#)
           (LETT |fsy|
                 (SPADCALL (LETT |sy| (SPADCALL (QREFELT $ 92)) . #11#)
                     (QREFELT $ 91)) . #11#)
           (LETT |m|
                 (SPADCALL (- (SPADCALL |l0| (QREFELT $ 93)) 1)
                     (QREFELT $ 70)) . #11#)
           (LETT |yx|
                 (CONS |kx|
                       (PROGN
                         (LETT #1# NIL . #11#)
                         (SEQ (LETT |y| NIL . #11#)
                              (LETT #2# |ly| . #11#) G190
                              (COND
                                ((OR (ATOM #2#)
                                     (PROGN
                                       (LETT |y| (CAR #2#) . #11#)
                                       NIL))
                                 #12=(GO G191)))
                              (SEQ (EXIT
                                    (LETT #1#
                                     (CONS
                                      (SPADCALL
                                       (SPADCALL |y|
                                        (SPADCALL |eqx| (QREFELT $ 58))
                                        (QREFELT $ 17))
                                       (QREFELT $ 19))
                                      #1#) . #11#)))
                              (LETT #2# (CDR #2#) . #11#) #13=(GO G190)
                              G191 (EXIT (NREVERSE0 #1#))))) . #11#)
           (LETT |lelt|
                 (PROGN
                   (LETT #3# NIL . #11#)
                   (SEQ (LETT |k| NIL . #11#) (LETT #4# |yx| . #11#)
                        G190
                        (COND
                          ((OR (ATOM #4#)
                               (PROGN (LETT |k| (CAR #4#) . #11#) NIL))
                           #12#))
                        (SEQ (EXIT (LETT #3#
                                    (CONS
                                     (SPADCALL (QREFELT $ 13) |fsy|
                                      (|EXPRODE;localInteger|
                                       (LETT |m|
                                        (SPADCALL |m|
                                         (|spadConstant| $ 37)
                                         (QREFELT $ 71)) . #11#)
                                       $)
                                      (QREFELT $ 41))
                                     #3#) . #11#)))
                        (LETT #4# (CDR #4#) . #11#) #13# G191
                        (EXIT (NREVERSE0 #3#)))) . #11#)
           (LETT |sys|
                 (PROGN
                   (LETT #5# NIL . #11#)
                   (SEQ (LETT |k| NIL . #11#)
                        (LETT #6# (CDR |yx|) . #11#) G190
                        (COND
                          ((OR (ATOM #6#)
                               (PROGN (LETT |k| (CAR #6#) . #11#) NIL))
                           #12#))
                        (SEQ (EXIT (LETT #5#
                                    (CONS
                                     (|EXPRODE;findEq| |k| |x| |sys| $)
                                     #5#) . #11#)))
                        (LETT #6# (CDR #6#) . #11#) #13# G191
                        (EXIT (NREVERSE0 #5#)))) . #11#)
           (LETT |l|
                 (PROGN
                   (LETT #7# NIL . #11#)
                   (SEQ (LETT |eq| NIL . #11#) (LETT #8# |sys| . #11#)
                        G190
                        (COND
                          ((OR (ATOM #8#)
                               (PROGN
                                 (LETT |eq| (CAR #8#) . #11#)
                                 NIL))
                           #12#))
                        (SEQ (EXIT (LETT #7#
                                    (CONS
                                     (|EXPRODE;checkSystem| |eq| |yx|
                                      |lelt| $)
                                     #7#) . #11#)))
                        (LETT #8# (CDR #8#) . #11#) #13# G191
                        (EXIT (NREVERSE0 #7#)))) . #11#)
           (LETT |center| (SPADCALL |eqx| (QREFELT $ 59)) . #11#)
           (EXIT (SPADCALL
                     (SPADCALL |l0|
                         (PROGN
                           (LETT #9# NIL . #11#)
                           (SEQ (LETT |f| NIL . #11#)
                                (LETT #10# |l| . #11#) G190
                                (COND
                                  ((OR (ATOM #10#)
                                    (PROGN
                                      (LETT |f| (CAR #10#) . #11#)
                                      NIL))
                                   #12#))
                                (SEQ (EXIT
                                      (LETT #9#
                                       (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|))))
                                        #9#) . #11#)))
                                (LETT #10# (CDR #10#) . #11#) #13# G191
                                (EXIT (NREVERSE0 #9#))))
                         (|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 #0=#:G1914)
  (PROG ()
    (RETURN
      (PROG (#1=#:G1915)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (|devaluateList| #0#)
                       (HGET |$ConstructorCache|
                             '|ExpressionSpaceODESolver|)
                       '|domainEqualList|)
                   . #2=(|ExpressionSpaceODESolver|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (APPLY (|function| |ExpressionSpaceODESolver;|)
                             #0#)
                 (LETT #1# T . #2#))
               (COND
                 ((NOT #1#)
                  (HREM |$ConstructorCache|
                        '|ExpressionSpaceODESolver|))))))))))) 

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

(MAKEPROP '|ExpressionSpaceODESolver| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|String|) (|Symbol|) (0 . |coerce|) (|BasicOperator|)
             (5 . |operator|) '|opelt| '|opex| '|opint| '|Rint?|
             (10 . |elt|) (|Kernel| $) (16 . |retract|) (|Kernel| 7)
             (21 . |operator|) (|Boolean|) (26 . |is?|) (|List| 7)
             (32 . |argument|) (|List| $) (37 . |kernel|)
             (43 . |coerce|) (|Mapping| 7 20) (|Mapping| 7 6)
             (|SparseMultivariatePolynomial| 6 20)
             (|PolynomialCategoryLifting| (|IndexedExponents| 20) 20 6
                 31 7)
             (48 . |map|) (|SparseMultivariatePolynomial| 6 18)
             (55 . |denom|) (60 . |One|) (64 . |One|) (68 . |One|)
             (72 . =) (78 . |numer|) (83 . |elt|)
             (|Fraction| (|SparseUnivariatePolynomial| $))
             (90 . |univariate|) (|SparseUnivariatePolynomial| 7)
             (|Fraction| 44) (96 . |numer|) (101 . |One|) (105 . |One|)
             (|NonNegativeInteger|) (109 . |degree|) (114 . |denom|)
             (119 . |ground?|) (124 . |Zero|) (128 . |coefficient|)
             (134 . /) (140 . -) (|Equation| 7) (145 . |lhs|)
             (150 . |rhs|) (155 . =) (161 . |coerce|)
             (166 . |differentiate|) (|List| 18) (172 . |kernels|)
             (|List| 20) (177 . |member?|) (183 . |subst|) (|Integer|)
             (190 . |minIndex|) (195 . |coerce|) (200 . +)
             (206 . |is?|) (212 . |Zero|) (216 . -) (|Any|) (|List| 11)
             (|List| 57) |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| 9 '"failed")
             (222 . |symbolIfCan|) (227 . |name|) (232 . |coerce|)
             (237 . |new|) (241 . |minIndex|))
          '#(|seriesSolve| 246) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 93
                                '(1 9 0 8 10 1 11 0 9 12 2 7 0 11 0 17
                                  1 7 18 0 19 1 20 11 0 21 2 11 22 0 9
                                  23 1 20 24 0 25 2 7 0 11 26 27 1 7 0
                                  6 28 3 32 7 29 30 31 33 1 7 34 0 35 0
                                  6 0 36 0 7 0 37 0 31 0 38 2 31 22 0 0
                                  39 1 7 34 0 40 3 7 0 11 0 0 41 2 7 42
                                  0 18 43 1 45 44 0 46 0 45 0 47 0 44 0
                                  48 1 44 49 0 50 1 45 44 0 51 1 44 22
                                  0 52 0 6 0 53 2 44 7 0 49 54 2 7 0 0
                                  0 55 1 7 0 0 56 1 57 7 0 58 1 57 7 0
                                  59 2 7 22 0 0 60 1 7 0 18 61 2 7 0 0
                                  9 62 1 7 63 0 64 2 65 22 20 0 66 3 7
                                  0 0 63 26 67 1 65 68 0 69 1 7 0 68 70
                                  2 7 0 0 0 71 2 20 22 0 9 72 0 7 0 73
                                  2 7 0 0 0 74 1 20 88 0 89 1 11 9 0 90
                                  1 7 0 9 91 0 9 0 92 1 24 68 0 93 4 0
                                  75 57 11 57 24 87 4 0 75 57 11 57 57
                                  83 4 0 75 77 76 57 77 79 4 0 75 24 76
                                  57 24 80 4 0 75 77 76 57 24 81 4 0 75
                                  57 11 57 7 85 4 0 75 24 76 57 77 78 4
                                  0 75 7 11 57 7 84 4 0 75 7 11 57 24
                                  86 4 0 75 7 11 57 57 82)))))
          '|lookupComplete|)) 
