
(/VERSIONCHECK 2) 

(DEFUN |INTPM;mkalist| (|res| $)
  (SPADCALL (SPADCALL |res| (QREFELT $ 52)) (QREFELT $ 54))) 

(DEFUN |INTPM;splitConstant;FSR;2| (|f| |x| $)
  (PROG (#0=#:G1911 |u| |nc| |g| #1=#:G1885 #2=#:G1912 |cc| |v|
            #3=#:G1901 |vv| |rec| #4=#:G1910)
    (RETURN
      (SEQ (EXIT (COND
                   ((NULL (SPADCALL |x| (SPADCALL |f| (QREFELT $ 23))
                              (QREFELT $ 55)))
                    (CONS |f| (|spadConstant| $ 44)))
                   ('T
                    (COND
                      ((QEQCAR (SPADCALL |f| (QREFELT $ 58)) 0)
                       (CONS (|spadConstant| $ 44) |f|))
                      ((QEQCAR (LETT |u| (SPADCALL |f| (QREFELT $ 60))
                                     . #5=(|INTPM;splitConstant;FSR;2|))
                               0)
                       (SEQ (LETT |cc|
                                  (LETT |nc|
                                        (|spadConstant| $ 44) . #5#) . #5#)
                            (SEQ (LETT |g| NIL . #5#)
                                 (LETT #0#
                                       (PROG2 (LETT #1# |u| . #5#)
                                        (QCDR #1#)
                                         (|check-union| (QEQCAR #1# 0)
                                          (|List| (QREFELT $ 7)) #1#)) . #5#)
                                 G190
                                 (COND
                                   ((OR (ATOM #0#)
                                     (PROGN
                                       (LETT |g| (CAR #0#) . #5#)
                                       NIL))
                                    #6=(GO G191)))
                                 (SEQ (LETT |rec|
                                       (SPADCALL |g| |x|
                                        (QREFELT $ 62)) . #5#)
                                      (LETT |cc|
                                       (SPADCALL |cc| (QCAR |rec|)
                                        (QREFELT $ 63)) . #5#)
                                      (EXIT
                                       (LETT |nc|
                                        (SPADCALL |nc| (QCDR |rec|)
                                         (QREFELT $ 63)) . #5#)))
                                 (LETT #0# (CDR #0#) . #5#)
                                 #7=(GO G190) G191 (EXIT NIL))
                            (EXIT (CONS |cc| |nc|))))
                      ((QEQCAR (LETT |u|
                                     (SPADCALL |f| (QREFELT $ 64)) . #5#)
                               0)
                       (SEQ (LETT |rec|
                                  (SPADCALL
                                      (|SPADfirst|
                                       (PROG2 (LETT #1# |u| . #5#)
                                        (QCDR #1#)
                                         (|check-union| (QEQCAR #1# 0)
                                          (|List| (QREFELT $ 7)) #1#)))
                                      |x| (QREFELT $ 62)) . #5#)
                            (LETT |cc| (QCAR |rec|) . #5#)
                            (LETT |nc| (QCDR |rec|) . #5#)
                            (SEQ (LETT |g| NIL . #5#)
                                 (LETT #2#
                                       (CDR
                                        (PROG2 (LETT #1# |u| . #5#)
                                         (QCDR #1#)
                                          (|check-union| (QEQCAR #1# 0)
                                           (|List| (QREFELT $ 7)) #1#))) . #5#)
                                 G190
                                 (COND
                                   ((OR (ATOM #2#)
                                     (PROGN
                                       (LETT |g| (CAR #2#) . #5#)
                                       NIL))
                                    #6#))
                                 (SEQ (LETT |rec|
                                       (SPADCALL |g| |x|
                                        (QREFELT $ 62)) . #5#)
                                      (EXIT
                                       (COND
                                         ((SPADCALL (QCDR |rec|) |nc|
                                           (QREFELT $ 65))
                                          (LETT |cc|
                                           (SPADCALL |cc| (QCAR |rec|)
                                            (QREFELT $ 66)) . #5#))
                                         ((SPADCALL (QCDR |rec|)
                                           (SPADCALL |nc|
                                            (QREFELT $ 67))
                                           (QREFELT $ 65))
                                          (LETT |cc|
                                           (SPADCALL |cc| (QCAR |rec|)
                                            (QREFELT $ 68)) . #5#))
                                         ('T
                                          (PROGN
                                            (LETT #4#
                                             (CONS
                                              (|spadConstant| $ 44)
                                              |f|) . #5#)
                                            (GO #4#))))))
                                 (LETT #2# (CDR #2#) . #5#) #7# G191
                                 (EXIT NIL))
                            (EXIT (CONS |cc| |nc|))))
                      ('T
                       (SEQ (COND
                              ((QEQCAR (LETT |v|
                                        (SPADCALL |f| (QREFELT $ 71)) . #5#)
                                       0)
                               (SEQ (LETT |vv|
                                     (PROG2 (LETT #3# |v| . #5#)
                                      (QCDR #3#)
                                       (|check-union| (QEQCAR #3# 0)
                                        (|Record|
                                         (|:| |val| (QREFELT $ 7))
                                         (|:| |exponent| (|Integer|)))
                                        #3#)) . #5#)
                                    (EXIT
                                     (COND
                                       ((NULL (EQL (QCDR |vv|) 1))
                                        (SEQ
                                         (LETT |rec|
                                          (SPADCALL (QCAR |vv|) |x|
                                           (QREFELT $ 62)) . #5#)
                                         (EXIT
                                          (PROGN
                                            (LETT #4#
                                             (CONS
                                              (SPADCALL (QCAR |rec|)
                                               (QCDR |vv|)
                                               (QREFELT $ 72))
                                              (SPADCALL (QCDR |rec|)
                                               (QCDR |vv|)
                                               (QREFELT $ 72))) . #5#)
                                            (GO #4#))))))))))
                            (EXIT (|error| "splitConstant: should not happen"))))))))
           #4# (EXIT #4#))))) 

(DEFUN |INTPM;goodlilog?| (|k| |p| $)
  (COND
    ((SPADCALL |k| (SPADCALL "log" (QREFELT $ 74)) (QREFELT $ 76))
     (EQL (SPADCALL |p| |k| (QREFELT $ 79)) 1))
    ('T 'NIL))) 

(DEFUN |INTPM;gooddilog?| (|k| |p| |q| $)
  (COND
    ((SPADCALL |k| (SPADCALL "log" (QREFELT $ 74)) (QREFELT $ 76))
     (COND
       ((EQL (SPADCALL |p| |k| (QREFELT $ 80)) 1)
        (ZEROP (SPADCALL |q| |k| (QREFELT $ 80))))
       ('T 'NIL)))
    ('T 'NIL))) 

(DEFUN |INTPM;matcherfei| (|f| |x| |comp?| $)
  (PROG (|res0| |pat| |res| |l| |a| |da| |cc| |u| |sa| |d| #0=#:G1925)
    (RETURN
      (SEQ (LETT |res0| (SPADCALL (QREFELT $ 81))
                 . #1=(|INTPM;matcherfei|))
           (LETT |pat|
                 (SPADCALL (QREFELT $ 21)
                     (SPADCALL (SPADCALL (QREFELT $ 16) (QREFELT $ 18))
                         (QREFELT $ 82))
                     (QREFELT $ 63)) . #1#)
           (EXIT (COND
                   ((SPADCALL
                        (LETT |res|
                              (SPADCALL |f|
                                  (SPADCALL |pat| (QREFELT $ 84))
                                  |res0| (QREFELT $ 86)) . #1#)
                        (QREFELT $ 87))
                    (COND
                      (|comp?| (VECTOR 0 (|spadConstant| $ 37)
                                       (|spadConstant| $ 37)))
                      ('T (|INTPM;matchei| |f| |x| $))))
                   ('T
                    (SEQ (LETT |l| (|INTPM;mkalist| |res| $) . #1#)
                         (LETT |da|
                               (SPADCALL
                                   (LETT |a|
                                    (SPADCALL |l| (QREFELT $ 16)
                                     (QREFELT $ 88)) . #1#)
                                   |x| (QREFELT $ 89)) . #1#)
                         (LETT |d|
                               (SPADCALL
                                   (SPADCALL |a|
                                    (LETT |cc|
                                     (SPADCALL |l| (QREFELT $ 15)
                                      (QREFELT $ 88)) . #1#)
                                    (QREFELT $ 63))
                                   |da| (QREFELT $ 47)) . #1#)
                         (EXIT (COND
                                 ((SPADCALL
                                      (SPADCALL |d| |x| (QREFELT $ 89))
                                      (QREFELT $ 90))
                                  (VECTOR 1 |a| |d|))
                                 ('T
                                  (SEQ (EXIT
                                        (SEQ
                                         (COND
                                           (|comp?|
                                            (EXIT
                                             (SEQ
                                              (LETT |d|
                                               (SPADCALL
                                                (SPADCALL |cc|
                                                 (LETT |sa|
                                                  (|INTPM;insqrt|
                                                   (SPADCALL |a|
                                                    (QREFELT $ 67))
                                                   $) . #1#)
                                                 (QREFELT $ 63))
                                                |da| (QREFELT $ 47)) . #1#)
                                              (EXIT
                                               (COND
                                                 ((SPADCALL
                                                   (SPADCALL |d| |x|
                                                    (QREFELT $ 89))
                                                   (QREFELT $ 90))
                                                  (VECTOR 2 |sa|
                                                   (SPADCALL
                                                    (SPADCALL |d|
                                                     (QREFELT $ 43)
                                                     (QREFELT $ 63))
                                                    (QREFELT $ 67))))
                                                 ('T
                                                  (VECTOR 0
                                                   (|spadConstant| $
                                                    37)
                                                   (|spadConstant| $
                                                    37))))))))
                                           ('T
                                            (SEQ
                                             (LETT |u|
                                              (SPADCALL |a|
                                               (QREFELT $ 92)) . #1#)
                                             (EXIT
                                              (COND
                                                ((QEQCAR |u| 0)
                                                 (COND
                                                   ((< (QCDR |u|) 0)
                                                    (PROGN
                                                      (LETT #0#
                                                       (SEQ
                                                        (LETT |d|
                                                         (SPADCALL
                                                          (SPADCALL
                                                           |cc|
                                                           (LETT |sa|
                                                            (|INTPM;insqrt|
                                                             (SPADCALL
                                                              |a|
                                                              (QREFELT
                                                               $ 67))
                                                             $) . #1#)
                                                           (QREFELT $
                                                            63))
                                                          |da|
                                                          (QREFELT $
                                                           47)) . #1#)
                                                        (EXIT
                                                         (COND
                                                           ((SPADCALL
                                                             (SPADCALL
                                                              |d| |x|
                                                              (QREFELT
                                                               $ 89))
                                                             (QREFELT $
                                                              90))
                                                            (VECTOR 2
                                                             |sa|
                                                             (SPADCALL
                                                              (SPADCALL
                                                               |d|
                                                               (QREFELT
                                                                $ 43)
                                                               (QREFELT
                                                                $ 63))
                                                              (QREFELT
                                                               $ 67))))
                                                           ('T
                                                            (VECTOR 0
                                                             (|spadConstant|
                                                              $ 37)
                                                             (|spadConstant|
                                                              $ 37)))))) . #1#)
                                                      (GO #0#))))))))))
                                         (EXIT
                                          (VECTOR 0
                                           (|spadConstant| $ 37)
                                           (|spadConstant| $ 37)))))
                                       #0# (EXIT #0#))))))))))))) 

(DEFUN |INTPM;matchei| (|f| |x| $)
  (PROG (|res0| |pat| |res| |l| |a| |da| |cc| |d|)
    (RETURN
      (SEQ (LETT |res0| (SPADCALL (QREFELT $ 81))
                 . #0=(|INTPM;matchei|))
           (LETT |a| (SPADCALL (QREFELT $ 16) (QREFELT $ 18)) . #0#)
           (LETT |pat|
                 (SPADCALL
                     (SPADCALL (QREFELT $ 21)
                         (SPADCALL |a| (QREFELT $ 29) (QREFELT $ 93))
                         (QREFELT $ 63))
                     (SPADCALL |a| (QREFELT $ 94)) (QREFELT $ 47)) . #0#)
           (EXIT (COND
                   ((SPADCALL
                        (LETT |res|
                              (SPADCALL |f|
                                  (SPADCALL |pat| (QREFELT $ 84))
                                  |res0| (QREFELT $ 86)) . #0#)
                        (QREFELT $ 87))
                    (VECTOR 0 (|spadConstant| $ 37)
                            (|spadConstant| $ 37)))
                   ('T
                    (SEQ (LETT |l| (|INTPM;mkalist| |res| $) . #0#)
                         (LETT |da|
                               (SPADCALL
                                   (LETT |a|
                                    (SPADCALL |l| (QREFELT $ 16)
                                     (QREFELT $ 88)) . #0#)
                                   |x| (QREFELT $ 89)) . #0#)
                         (LETT |d|
                               (SPADCALL
                                   (LETT |cc|
                                    (SPADCALL |l| (QREFELT $ 15)
                                     (QREFELT $ 88)) . #0#)
                                   |da| (QREFELT $ 47)) . #0#)
                         (EXIT (COND
                                 ((SPADCALL
                                      (SPADCALL |d| |x| (QREFELT $ 89))
                                      (QREFELT $ 90))
                                  (VECTOR 1
                                          (SPADCALL
                                           (SPADCALL
                                            (|spadConstant| $ 44)
                                            (SPADCALL |l|
                                             (QREFELT $ 12)
                                             (QREFELT $ 88))
                                            (QREFELT $ 66))
                                           (SPADCALL |a|
                                            (QREFELT $ 94))
                                           (QREFELT $ 63))
                                          |d|))
                                 ('T
                                  (VECTOR 0 (|spadConstant| $ 37)
                                          (|spadConstant| $ 37))))))))))))) 

(DEFUN |INTPM;matchdilog| (|f| |x| $)
  (PROG (|n| |d| |df| |k| #0=#:G1938 |l| #1=#:G1937 #2=#:G1935)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |n| (SPADCALL |f| (QREFELT $ 98))
                            . #3=(|INTPM;matchdilog|))
                      (LETT |df|
                            (SPADCALL
                                (LETT |d|
                                      (SPADCALL |f| (QREFELT $ 99)) . #3#)
                                (QREFELT $ 100)) . #3#)
                      (SEQ (EXIT (SEQ (LETT |k| NIL . #3#)
                                      (LETT #0#
                                       (SPADCALL
                                        (CONS #'|INTPM;matchdilog!0|
                                         (VECTOR $ |d| |n|))
                                        (SPADCALL |n| (QREFELT $ 102))
                                        (QREFELT $ 104)) . #3#)
                                      G190
                                      (COND
                                        ((OR (ATOM #0#)
                                          (PROGN
                                            (LETT |k| (CAR #0#) . #3#)
                                            NIL))
                                         (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (COND
                                          ((NULL
                                            (NULL
                                             (LETT |l|
                                              (|INTPM;matchdilog0| |f|
                                               |k| |x| |n| |df| $) . #3#)))
                                           (PROGN
                                             (LETT #2#
                                              (PROGN
                                                (LETT #1# |l| . #3#)
                                                (GO #1#)) . #3#)
                                             (GO #2#))))))
                                      (LETT #0# (CDR #0#) . #3#)
                                      (GO G190) G191 (EXIT NIL)))
                           #2# (EXIT #2#))
                      (EXIT NIL)))
           #1# (EXIT #1#))))) 

(DEFUN |INTPM;matchdilog!0| (|#1| $$)
  (|INTPM;gooddilog?| |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT $$ 0))) 

(DEFUN |INTPM;matchdilog0| (|f| |k| |x| |p| |q| $)
  (PROG (|a| |da| |a1| |d|)
    (RETURN
      (SEQ (COND
             ((SPADCALL
                  (LETT |da|
                        (SPADCALL
                            (LETT |a|
                                  (|SPADfirst|
                                      (SPADCALL |k| (QREFELT $ 106)))
                                  . #0=(|INTPM;matchdilog0|))
                            |x| (QREFELT $ 89)) . #0#)
                  (QREFELT $ 90))
              NIL)
             ('T
              (SEQ (LETT |a1|
                         (SPADCALL (|spadConstant| $ 44) |a|
                             (QREFELT $ 68)) . #0#)
                   (LETT |d|
                         (SPADCALL
                             (SPADCALL
                                 (SPADCALL
                                     (SPADCALL
                                      (SPADCALL |p| |k|
                                       (QREFELT $ 108))
                                      1 (QREFELT $ 110))
                                     (QREFELT $ 100))
                                 |a1| (QREFELT $ 63))
                             (SPADCALL |q| |da| (QREFELT $ 63))
                             (QREFELT $ 47)) . #0#)
                   (EXIT (COND
                           ((SPADCALL (SPADCALL |d| |x| (QREFELT $ 89))
                                (QREFELT $ 90))
                            (LIST |a| |d|
                                  (SPADCALL |f|
                                      (SPADCALL
                                       (SPADCALL
                                        (SPADCALL |d| |da|
                                         (QREFELT $ 63))
                                        (SPADCALL |k| (QREFELT $ 112))
                                        (QREFELT $ 63))
                                       |a1| (QREFELT $ 47))
                                      (QREFELT $ 68))))
                           ('T NIL)))))))))) 

(DEFUN |INTPM;matchli| (|f| |x| $)
  (PROG (|d| |k| #0=#:G1946 |l| #1=#:G1945 #2=#:G1943)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |d| (SPADCALL |f| (QREFELT $ 99))
                            . #3=(|INTPM;matchli|))
                      (SEQ (EXIT (SEQ (LETT |k| NIL . #3#)
                                      (LETT #0#
                                       (SPADCALL
                                        (CONS #'|INTPM;matchli!0|
                                         (VECTOR $ |d|))
                                        (SPADCALL |d| (QREFELT $ 102))
                                        (QREFELT $ 104)) . #3#)
                                      G190
                                      (COND
                                        ((OR (ATOM #0#)
                                          (PROGN
                                            (LETT |k| (CAR #0#) . #3#)
                                            NIL))
                                         (GO G191)))
                                      (SEQ
                                       (EXIT
                                        (COND
                                          ((NULL
                                            (NULL
                                             (LETT |l|
                                              (|INTPM;matchli0| |f| |k|
                                               |x| $) . #3#)))
                                           (PROGN
                                             (LETT #2#
                                              (PROGN
                                                (LETT #1# |l| . #3#)
                                                (GO #1#)) . #3#)
                                             (GO #2#))))))
                                      (LETT #0# (CDR #0#) . #3#)
                                      (GO G190) G191 (EXIT NIL)))
                           #2# (EXIT #2#))
                      (EXIT NIL)))
           #1# (EXIT #1#))))) 

(DEFUN |INTPM;matchli!0| (|#1| $$)
  (|INTPM;goodlilog?| |#1| (QREFELT $$ 1) (QREFELT $$ 0))) 

(DEFUN |INTPM;matchli0| (|f| |k| |x| $)
  (PROG (|lg| |g| |a| |da| |ug| |u| |p| |d|)
    (RETURN
      (SEQ (LETT |g|
                 (SPADCALL
                     (LETT |lg| (SPADCALL |k| (QREFELT $ 112))
                           . #0=(|INTPM;matchli0|))
                     |f| (QREFELT $ 63)) . #0#)
           (EXIT (COND
                   ((SPADCALL
                        (LETT |da|
                              (SPADCALL
                                  (LETT |a|
                                        (|SPADfirst|
                                         (SPADCALL |k| (QREFELT $ 106))) . #0#)
                                  |x| (QREFELT $ 89)) . #0#)
                        (QREFELT $ 90))
                    NIL)
                   ((SPADCALL
                        (SPADCALL
                            (LETT |d|
                                  (SPADCALL |g| |da| (QREFELT $ 47)) . #0#)
                            |x| (QREFELT $ 89))
                        (QREFELT $ 90))
                    (LIST |a| |d| (|spadConstant| $ 37)))
                   ('T
                    (SEQ (LETT |ug|
                               (SPADCALL |g| |k| (QREFELT $ 114)) . #0#)
                         (LETT |u|
                               (SPADCALL |ug| (QREFELT $ 117)) . #0#)
                         (EXIT (COND
                                 ((OR (QEQCAR |u| 1)
                                      (OR
                                       (< 1
                                        (SPADCALL
                                         (LETT |p| (QCDR |u|) . #0#)
                                         (QREFELT $ 121)))
                                       (NULL
                                        (SPADCALL
                                         (SPADCALL
                                          (LETT |d|
                                           (SPADCALL
                                            (SPADCALL |p| 0
                                             (QREFELT $ 122))
                                            |da| (QREFELT $ 47)) . #0#)
                                          |x| (QREFELT $ 89))
                                         (QREFELT $ 90)))))
                                  NIL)
                                 ('T
                                  (LIST |a| |d|
                                        (SPADCALL |p| (QREFELT $ 123)))))))))))))) 

(DEFUN |INTPM;matchsici| (|f| |x| $)
  (PROG (|res0| |t| |patden| |patsi| |patci| |patci0| |ci?| |ci0?|
                |res| #0=#:G1964 |l| |b| |a| |db| |cc| |d|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |res0| (SPADCALL (QREFELT $ 81))
                            . #1=(|INTPM;matchsici|))
                      (LETT |b|
                            (SPADCALL (QREFELT $ 17) (QREFELT $ 18)) . #1#)
                      (LETT |t|
                            (SPADCALL
                                (LETT |a|
                                      (SPADCALL (QREFELT $ 16)
                                       (QREFELT $ 18)) . #1#)
                                (QREFELT $ 124)) . #1#)
                      (LETT |patsi|
                            (SPADCALL
                                (SPADCALL (QREFELT $ 21) |t|
                                    (QREFELT $ 63))
                                (LETT |patden|
                                      (SPADCALL |b|
                                       (SPADCALL |b|
                                        (SPADCALL |t| 2
                                         (QREFELT $ 126))
                                        (QREFELT $ 63))
                                       (QREFELT $ 66)) . #1#)
                                (QREFELT $ 47)) . #1#)
                      (LETT |patci|
                            (SPADCALL
                                (SPADCALL (QREFELT $ 21)
                                    (SPADCALL (QREFELT $ 21)
                                     (SPADCALL |t| 2 (QREFELT $ 126))
                                     (QREFELT $ 63))
                                    (QREFELT $ 68))
                                |patden| (QREFELT $ 47)) . #1#)
                      (LETT |patci0|
                            (SPADCALL (QREFELT $ 21) |patden|
                                (QREFELT $ 47)) . #1#)
                      (SEQ (LETT |ci?|
                                 (SPADCALL
                                     (LETT |res|
                                      (SPADCALL |f|
                                       (SPADCALL |patsi|
                                        (QREFELT $ 84))
                                       |res0| (QREFELT $ 86)) . #1#)
                                     (QREFELT $ 87)) . #1#)
                           (EXIT (COND
                                   (|ci?|
                                    (SEQ
                                     (LETT |ci0?|
                                      (SPADCALL
                                       (LETT |res|
                                        (SPADCALL |f|
                                         (SPADCALL |patci|
                                          (QREFELT $ 84))
                                         |res0| (QREFELT $ 86)) . #1#)
                                       (QREFELT $ 87)) . #1#)
                                     (EXIT
                                      (COND
                                        (|ci0?|
                                         (COND
                                           ((SPADCALL
                                             (LETT |res|
                                              (SPADCALL |f|
                                               (SPADCALL |patci0|
                                                (QREFELT $ 84))
                                               |res0| (QREFELT $ 86)) . #1#)
                                             (QREFELT $ 87))
                                            (PROGN
                                              (LETT #0#
                                               (VECTOR 0
                                                (|spadConstant| $ 37)
                                                (|spadConstant| $ 37)) . #1#)
                                              (GO #0#))))))))))))
                      (LETT |l| (|INTPM;mkalist| |res| $) . #1#)
                      (COND
                        ((NULL (SPADCALL
                                   (LETT |b|
                                    (SPADCALL |l| (QREFELT $ 17)
                                     (QREFELT $ 88)) . #1#)
                                   (SPADCALL 2
                                    (LETT |a|
                                     (SPADCALL |l| (QREFELT $ 16)
                                      (QREFELT $ 88)) . #1#)
                                    (QREFELT $ 127))
                                   (QREFELT $ 65)))
                         (EXIT (VECTOR 0 (|spadConstant| $ 37)
                                       (|spadConstant| $ 37)))))
                      (LETT |db|
                            (SPADCALL |b| |x| (QREFELT $ 89)) . #1#)
                      (LETT |d|
                            (SPADCALL
                                (LETT |cc|
                                      (SPADCALL |l| (QREFELT $ 15)
                                       (QREFELT $ 88)) . #1#)
                                |db| (QREFELT $ 47)) . #1#)
                      (EXIT (COND
                              ((SPADCALL
                                   (SPADCALL |d| |x| (QREFELT $ 89))
                                   (QREFELT $ 90))
                               (COND
                                 (|ci?| (COND
                                          (|ci0?|
                                           (VECTOR 6 |b|
                                            (SPADCALL |d|
                                             (SPADCALL 2
                                              (QREFELT $ 46))
                                             (QREFELT $ 47))))
                                          ('T (VECTOR 4 |b| |d|))))
                                 ('T
                                  (VECTOR 3 |b|
                                          (SPADCALL |d|
                                           (SPADCALL 2 (QREFELT $ 46))
                                           (QREFELT $ 47))))))
                              ('T
                               (VECTOR 0 (|spadConstant| $ 37)
                                       (|spadConstant| $ 37)))))))
           #0# (EXIT #0#))))) 

(DEFUN |INTPM;insqrt| (|y| $)
  (PROG (|rec|)
    (RETURN
      (SEQ (LETT |rec| (SPADCALL |y| 2 (QREFELT $ 130)) |INTPM;insqrt|)
           (EXIT (COND
                   ((EQL (QVELT |rec| 0) 1)
                    (SPADCALL (QVELT |rec| 1) (QVELT |rec| 2)
                        (QREFELT $ 63)))
                   ((NULL (EQL (QVELT |rec| 0) 2))
                    (|error| "insqrt: hould not happen"))
                   ('T
                    (SPADCALL (QVELT |rec| 1)
                        (SPADCALL (QVELT |rec| 2) (QREFELT $ 42))
                        (QREFELT $ 63))))))))) 

(DEFUN |INTPM;pmintegrate;FSU;13| (|f| |x| $)
  (PROG (|rc| |u| |l| |rec| |cse|)
    (RETURN
      (SEQ (COND
             ((NULL (SPADCALL
                        (QCAR (LETT |rc|
                                    (SPADCALL |f| |x| (QREFELT $ 62))
                                    . #0=(|INTPM;pmintegrate;FSU;13|)))
                        (|spadConstant| $ 44) (QREFELT $ 65)))
              (SEQ (LETT |u|
                         (SPADCALL (QCDR |rc|) |x| (QREFELT $ 133)) . #0#)
                   (EXIT (COND
                           ((QEQCAR |u| 1) (CONS 1 "failed"))
                           ('T
                            (SEQ (LETT |rec| (QCDR |u|) . #0#)
                                 (EXIT (CONS 0
                                        (CONS
                                         (SPADCALL (QCAR |rc|)
                                          (QCAR |rec|) (QREFELT $ 63))
                                         (SPADCALL (QCAR |rc|)
                                          (QCDR |rec|) (QREFELT $ 63)))))))))))
             ((NULL (NULL (LETT |l| (|INTPM;matchli| |f| |x| $) . #0#)))
              (CONS 0
                    (CONS (SPADCALL (SPADCALL |l| (QREFELT $ 134))
                              (SPADCALL (|SPADfirst| |l|)
                                  (QREFELT $ 135))
                              (QREFELT $ 63))
                          (SPADCALL |l| (QREFELT $ 136)))))
             ((NULL (NULL (LETT |l|
                                (|INTPM;matchdilog| |f| |x| $) . #0#)))
              (CONS 0
                    (CONS (SPADCALL (SPADCALL |l| (QREFELT $ 134))
                              (SPADCALL (|SPADfirst| |l|)
                                  (QREFELT $ 137))
                              (QREFELT $ 63))
                          (SPADCALL |l| (QREFELT $ 136)))))
             ('T
              (SEQ (LETT |cse|
                         (QVELT (LETT |rec|
                                      (|INTPM;matcherfei| |f| |x| 'NIL
                                       $) . #0#)
                                0) . #0#)
                   (EXIT (COND
                           ((EQL |cse| 1)
                            (CONS 0
                                  (CONS (SPADCALL (QVELT |rec| 2)
                                         (SPADCALL (QVELT |rec| 1)
                                          (QREFELT $ 138))
                                         (QREFELT $ 63))
                                        (|spadConstant| $ 37))))
                           ((EQL |cse| 2)
                            (CONS 0
                                  (CONS (SPADCALL (QVELT |rec| 2)
                                         (SPADCALL (QVELT |rec| 1)
                                          (QREFELT $ 139))
                                         (QREFELT $ 63))
                                        (|spadConstant| $ 37))))
                           (#1='T
                            (SEQ (LETT |cse|
                                       (QVELT
                                        (LETT |rec|
                                         (|INTPM;matchsici| |f| |x| $) . #0#)
                                        0) . #0#)
                                 (EXIT (COND
                                         ((EQL |cse| 3)
                                          (CONS 0
                                           (CONS
                                            (SPADCALL (QVELT |rec| 2)
                                             (SPADCALL (QVELT |rec| 1)
                                              (QREFELT $ 140))
                                             (QREFELT $ 63))
                                            (|spadConstant| $ 37))))
                                         ((EQL |cse| 4)
                                          (CONS 0
                                           (CONS
                                            (SPADCALL (QVELT |rec| 2)
                                             (SPADCALL (QVELT |rec| 1)
                                              (QREFELT $ 141))
                                             (QREFELT $ 63))
                                            (|spadConstant| $ 37))))
                                         ((EQL |cse| 6)
                                          (CONS 0
                                           (CONS
                                            (SPADCALL
                                             (SPADCALL (QVELT |rec| 2)
                                              (SPADCALL (QVELT |rec| 1)
                                               (QREFELT $ 141))
                                              (QREFELT $ 63))
                                             (SPADCALL (QVELT |rec| 2)
                                              (SPADCALL (QVELT |rec| 1)
                                               (QREFELT $ 94))
                                              (QREFELT $ 63))
                                             (QREFELT $ 66))
                                            (|spadConstant| $ 37))))
                                         (#1# (CONS 1 "failed"))))))))))))))) 

(DEFUN |INTPM;pmComplexintegrate;FSU;14| (|f| |x| $)
  (PROG (|rc| |u| |rec| |cse|)
    (RETURN
      (SEQ (COND
             ((NULL (SPADCALL
                        (QCAR (LETT |rc|
                                    (SPADCALL |f| |x| (QREFELT $ 62))
                                    . #0=(|INTPM;pmComplexintegrate;FSU;14|)))
                        (|spadConstant| $ 44) (QREFELT $ 65)))
              (SEQ (LETT |u|
                         (SPADCALL (QCDR |rc|) |x| (QREFELT $ 142)) . #0#)
                   (EXIT (COND
                           ((QEQCAR |u| 1) (CONS 1 "failed"))
                           ('T
                            (SEQ (LETT |rec| (QCDR |u|) . #0#)
                                 (EXIT (CONS 0
                                        (CONS
                                         (SPADCALL (QCAR |rc|)
                                          (QCAR |rec|) (QREFELT $ 63))
                                         (SPADCALL (QCAR |rc|)
                                          (QCDR |rec|) (QREFELT $ 63)))))))))))
             ('T
              (SEQ (LETT |cse|
                         (QVELT (LETT |rec|
                                      (|INTPM;matcherfei| |f| |x| 'T $) . #0#)
                                0) . #0#)
                   (EXIT (COND
                           ((EQL |cse| 2)
                            (CONS 0
                                  (CONS (SPADCALL (QVELT |rec| 2)
                                         (SPADCALL (QVELT |rec| 1)
                                          (QREFELT $ 139))
                                         (QREFELT $ 63))
                                        (|spadConstant| $ 37))))
                           ('T (CONS 1 "failed"))))))))))) 

(DEFUN |INTPM;formula1| (|f| |x| |t| |cc| $)
  (PROG (|l| |mw| |ms| |sgs| |z| |sgz| #0=#:G2019 |mm| |mmi|
             #1=#:G2018)
    (RETURN
      (SEQ (COND
             ((NULL (LETT |l| (|INTPM;match1| |f| |x| |t| |cc| $)
                          . #2=(|INTPM;formula1|)))
              (CONS 1 "failed"))
             ('T
              (SEQ (EXIT (SEQ (LETT |mw| (|SPADfirst| |l|) . #2#)
                              (COND
                                ((SPADCALL
                                     (LETT |ms|
                                      (SPADCALL |l| (QREFELT $ 136)) . #2#)
                                     (QREFELT $ 90))
                                 (EXIT (CONS 1 "failed")))
                                ('T
                                 (SEQ (LETT |sgs|
                                       (SPADCALL |ms| (QREFELT $ 92)) . #2#)
                                      (EXIT
                                       (COND
                                         ((QEQCAR |sgs| 1)
                                          (PROGN
                                            (LETT #0#
                                             (CONS 1 "failed") . #2#)
                                            (GO #0#))))))))
                              (SEQ (LETT |sgz|
                                    (SPADCALL
                                     (LETT |z|
                                      (SPADCALL
                                       (SPADCALL |mw|
                                        (|spadConstant| $ 44)
                                        (QREFELT $ 66))
                                       |ms| (QREFELT $ 47)) . #2#)
                                     (QREFELT $ 92)) . #2#)
                                   (EXIT
                                    (COND
                                      ((OR (QEQCAR |sgz| 1)
                                        (< (QCDR |sgz|) 0))
                                       (PROGN
                                         (LETT #0#
                                          (CONS 1 "failed") . #2#)
                                         (GO #0#))))))
                              (LETT |mmi|
                                    (SPADCALL
                                     (LETT |mm|
                                      (SPADCALL |l| (QREFELT $ 134)) . #2#)
                                     (QREFELT $ 143)) . #2#)
                              (EXIT (CONS 0
                                     (SPADCALL
                                      (SPADCALL
                                       (SPADCALL (QCDR |sgs|)
                                        (SPADCALL |l| (QREFELT $ 144))
                                        (QREFELT $ 145))
                                       (SPADCALL |ms| (- (- |mmi|) 1)
                                        (QREFELT $ 72))
                                       (QREFELT $ 63))
                                      (SPADCALL
                                       (SPADCALL
                                        (SPADCALL
                                         (SPADCALL |x| (QREFELT $ 18))
                                         (QREFELT $ 146))
                                        |x|
                                        (PROG1 (LETT #1# |mmi| . #2#)
                                          (|check-subtype| (>= #1# 0)
                                           '(|NonNegativeInteger|) #1#))
                                        (QREFELT $ 147))
                                       (LIST
                                        (SPADCALL |x| (QREFELT $ 148)))
                                       (LIST |z|) (QREFELT $ 151))
                                      (QREFELT $ 63))))))
                   #0# (EXIT #0#)))))))) 

(DEFUN |INTPM;match1| (|f| |x| |t| |cc| $)
  (PROG (|res0| |pat| |res| |l|)
    (RETURN
      (SEQ (LETT |res0| (SPADCALL (QREFELT $ 81))
                 . #0=(|INTPM;match1|))
           (LETT |pat|
                 (SPADCALL
                     (SPADCALL |cc|
                         (SPADCALL (SPADCALL |t| (QREFELT $ 94))
                             (QREFELT $ 40) (QREFELT $ 93))
                         (QREFELT $ 63))
                     (SPADCALL
                         (SPADCALL
                             (SPADCALL |t| (QREFELT $ 33)
                                 (QREFELT $ 93))
                             (QREFELT $ 67))
                         (QREFELT $ 82))
                     (QREFELT $ 63)) . #0#)
           (COND
             ((NULL (SPADCALL
                        (LETT |res|
                              (SPADCALL |f|
                                  (SPADCALL |pat| (QREFELT $ 84))
                                  |res0| (QREFELT $ 86)) . #0#)
                        (QREFELT $ 87)))
              (EXIT (SEQ (LETT |l| (|INTPM;mkalist| |res| $) . #0#)
                         (EXIT (LIST (|spadConstant| $ 37)
                                     (SPADCALL |l| (QREFELT $ 13)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 14)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 15)
                                      (QREFELT $ 88))))))))
           (LETT |pat|
                 (SPADCALL
                     (SPADCALL |cc|
                         (SPADCALL |t| (QREFELT $ 29) (QREFELT $ 93))
                         (QREFELT $ 63))
                     (SPADCALL
                         (SPADCALL
                             (SPADCALL |t| (QREFELT $ 33)
                                 (QREFELT $ 93))
                             (QREFELT $ 67))
                         (QREFELT $ 82))
                     (QREFELT $ 63)) . #0#)
           (COND
             ((NULL (SPADCALL
                        (LETT |res|
                              (SPADCALL |f|
                                  (SPADCALL |pat| (QREFELT $ 84))
                                  |res0| (QREFELT $ 86)) . #0#)
                        (QREFELT $ 87)))
              (EXIT (SEQ (LETT |l| (|INTPM;mkalist| |res| $) . #0#)
                         (EXIT (LIST (SPADCALL |l| (QREFELT $ 12)
                                      (QREFELT $ 88))
                                     (|spadConstant| $ 37)
                                     (SPADCALL |l| (QREFELT $ 14)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 15)
                                      (QREFELT $ 88))))))))
           (LETT |pat|
                 (SPADCALL
                     (SPADCALL |cc|
                         (SPADCALL |t| (QREFELT $ 29) (QREFELT $ 93))
                         (QREFELT $ 47))
                     (SPADCALL
                         (SPADCALL
                             (SPADCALL |t| (QREFELT $ 33)
                                 (QREFELT $ 93))
                             (QREFELT $ 67))
                         (QREFELT $ 82))
                     (QREFELT $ 63)) . #0#)
           (COND
             ((NULL (SPADCALL
                        (LETT |res|
                              (SPADCALL |f|
                                  (SPADCALL |pat| (QREFELT $ 84))
                                  |res0| (QREFELT $ 86)) . #0#)
                        (QREFELT $ 87)))
              (EXIT (SEQ (LETT |l| (|INTPM;mkalist| |res| $) . #0#)
                         (EXIT (LIST (SPADCALL
                                      (SPADCALL |l| (QREFELT $ 12)
                                       (QREFELT $ 88))
                                      (QREFELT $ 67))
                                     (|spadConstant| $ 37)
                                     (SPADCALL |l| (QREFELT $ 14)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 15)
                                      (QREFELT $ 88))))))))
           (LETT |pat|
                 (SPADCALL
                     (SPADCALL
                         (SPADCALL |cc|
                             (SPADCALL |t| (QREFELT $ 29)
                                 (QREFELT $ 93))
                             (QREFELT $ 63))
                         (SPADCALL (SPADCALL |t| (QREFELT $ 94))
                             (QREFELT $ 40) (QREFELT $ 93))
                         (QREFELT $ 63))
                     (SPADCALL
                         (SPADCALL
                             (SPADCALL |t| (QREFELT $ 33)
                                 (QREFELT $ 93))
                             (QREFELT $ 67))
                         (QREFELT $ 82))
                     (QREFELT $ 63)) . #0#)
           (COND
             ((NULL (SPADCALL
                        (LETT |res|
                              (SPADCALL |f|
                                  (SPADCALL |pat| (QREFELT $ 84))
                                  |res0| (QREFELT $ 86)) . #0#)
                        (QREFELT $ 87)))
              (EXIT (SEQ (LETT |l| (|INTPM;mkalist| |res| $) . #0#)
                         (EXIT (LIST (SPADCALL |l| (QREFELT $ 12)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 13)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 14)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 15)
                                      (QREFELT $ 88))))))))
           (LETT |pat|
                 (SPADCALL
                     (SPADCALL
                         (SPADCALL |cc|
                             (SPADCALL |t| (QREFELT $ 29)
                                 (QREFELT $ 93))
                             (QREFELT $ 47))
                         (SPADCALL (SPADCALL |t| (QREFELT $ 94))
                             (QREFELT $ 40) (QREFELT $ 93))
                         (QREFELT $ 63))
                     (SPADCALL
                         (SPADCALL
                             (SPADCALL |t| (QREFELT $ 33)
                                 (QREFELT $ 93))
                             (QREFELT $ 67))
                         (QREFELT $ 82))
                     (QREFELT $ 63)) . #0#)
           (COND
             ((NULL (SPADCALL
                        (LETT |res|
                              (SPADCALL |f|
                                  (SPADCALL |pat| (QREFELT $ 84))
                                  |res0| (QREFELT $ 86)) . #0#)
                        (QREFELT $ 87)))
              (EXIT (SEQ (LETT |l| (|INTPM;mkalist| |res| $) . #0#)
                         (EXIT (LIST (SPADCALL
                                      (SPADCALL |l| (QREFELT $ 12)
                                       (QREFELT $ 88))
                                      (QREFELT $ 67))
                                     (SPADCALL |l| (QREFELT $ 13)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 14)
                                      (QREFELT $ 88))
                                     (SPADCALL |l| (QREFELT $ 15)
                                      (QREFELT $ 88))))))))
           (EXIT NIL))))) 

(DEFUN |INTPM;pmintegrate;FS2OcU;17| (|f| |x| |a| |b| $)
  (SEQ (COND
         ((SPADCALL |a| (QREFELT $ 153))
          (COND
            ((EQL (SPADCALL |b| (QREFELT $ 155)) 1)
             (EXIT (|INTPM;formula1| |f| |x|
                       (SPADCALL (SPADCALL |x| (QREFELT $ 18))
                           (QREFELT $ 156))
                       (SPADCALL (QREFELT $ 21)
                           (CONS #'|INTPM;pmintegrate;FS2OcU;17!0|
                                 (VECTOR $ |x|))
                           (QREFELT $ 28))
                       $))))))
       (EXIT (CONS 1 "failed")))) 

(DEFUN |INTPM;pmintegrate;FS2OcU;17!0| (|#1| $$)
  (SPADCALL |#1| (QREFELT $$ 1) (QREFELT (QREFELT $$ 0) 157))) 

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

(DEFUN |PatternMatchIntegration;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|PatternMatchIntegration|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$| (LIST '|PatternMatchIntegration| DV$1 DV$2) . #0#)
        (LETT $ (GETREFV 160) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (AND (|HasCategory| |#1|
                                     '(|ConvertibleTo|
                                       (|Pattern| (|Integer|))))
                                 (|HasCategory| |#1|
                                     '(|PatternMatchable| (|Integer|)))
                                 (|HasCategory| |#2|
                                     '(|SpecialFunctionCategory|)))
                            (AND (|HasCategory| |#1|
                                     '(|ConvertibleTo|
                                       (|Pattern| (|Integer|))))
                                 (|HasCategory| |#1|
                                     '(|PatternMatchable| (|Integer|)))
                                 (|HasCategory| |#2|
                                     '(|LiouvillianFunctionCategory|))))) . #0#))
        (|haddProp| |$ConstructorCache| '|PatternMatchIntegration|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 10 (SPADCALL (QREFELT $ 9)))
        (QSETREFV $ 12 (SPADCALL (QREFELT $ 10) (QREFELT $ 11)))
        (QSETREFV $ 13 (SPADCALL (QREFELT $ 10) (QREFELT $ 11)))
        (QSETREFV $ 14 (SPADCALL (QREFELT $ 10) (QREFELT $ 11)))
        (QSETREFV $ 15 (SPADCALL (QREFELT $ 10) (QREFELT $ 11)))
        (QSETREFV $ 16 (SPADCALL (QREFELT $ 10) (QREFELT $ 11)))
        (QSETREFV $ 17 (SPADCALL (QREFELT $ 10) (QREFELT $ 11)))
        (QSETREFV $ 21
            (SPADCALL (SPADCALL (QREFELT $ 15) (QREFELT $ 18))
                (QREFELT $ 20)))
        (QSETREFV $ 29
            (SPADCALL
                (SPADCALL (SPADCALL (QREFELT $ 12) (QREFELT $ 18))
                    (QREFELT $ 20))
                (CONS #'|PatternMatchIntegration!0| $) (QREFELT $ 28)))
        (QSETREFV $ 33
            (SPADCALL
                (SPADCALL (SPADCALL (QREFELT $ 14) (QREFELT $ 18))
                    (QREFELT $ 20))
                (CONS #'|PatternMatchIntegration!1| $) (QREFELT $ 28)))
        (QSETREFV $ 40
            (SPADCALL
                (SPADCALL (SPADCALL (QREFELT $ 13) (QREFELT $ 18))
                    (QREFELT $ 20))
                (CONS #'|PatternMatchIntegration!2| $) (QREFELT $ 28)))
        (QSETREFV $ 43
            (SPADCALL (SPADCALL (QREFELT $ 41)) (QREFELT $ 42)))
        (QSETREFV $ 48
            (SPADCALL (|spadConstant| $ 44) (SPADCALL 2 (QREFELT $ 46))
                (QREFELT $ 47)))
        (COND
          ((|HasCategory| |#1|
               '(|ConvertibleTo| (|Pattern| (|Integer|))))
           (COND
             ((|HasCategory| |#1| '(|PatternMatchable| (|Integer|)))
              (PROGN
                (COND
                  ((|HasCategory| |#2|
                       '(|LiouvillianFunctionCategory|))
                   (PROGN
                     (QSETREFV $ 133
                         (CONS (|dispatchFunction|
                                   |INTPM;pmintegrate;FSU;13|)
                               $))
                     (QSETREFV $ 142
                         (CONS (|dispatchFunction|
                                   |INTPM;pmComplexintegrate;FSU;14|)
                               $)))))
                (COND
                  ((|HasCategory| |#2| '(|SpecialFunctionCategory|))
                   (PROGN
                     (QSETREFV $ 159
                         (CONS (|dispatchFunction|
                                   |INTPM;pmintegrate;FS2OcU;17|)
                               $))))))))))
        $)))) 

(DEFUN |PatternMatchIntegration!2| (|#1| $)
  (COND
    ((QEQCAR (SPADCALL |#1| (QREFELT $ 35)) 0)
     (COND
       ((SPADCALL |#1| (|spadConstant| $ 37) (QREFELT $ 38))
        (|spadConstant| $ 32))
       ('T (|spadConstant| $ 39))))
    ('T (|spadConstant| $ 32)))) 

(DEFUN |PatternMatchIntegration!1| (|#1| $)
  (COND
    ((SPADCALL (SPADCALL |#1| (QREFELT $ 23)) (QREFELT $ 25))
     (SPADCALL |#1| (QREFELT $ 31)))
    ('T (|spadConstant| $ 32)))) 

(DEFUN |PatternMatchIntegration!0| (|#1| $)
  (SPADCALL (SPADCALL |#1| (QREFELT $ 23)) (QREFELT $ 25))) 

(MAKEPROP '|PatternMatchIntegration| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|Symbol|) (0 . |new|) '|pm| (4 . |new|) '|pmw| '|pmm|
             '|pms| '|pmc| '|pma| '|pmb| (9 . |coerce|)
             (|FunctionSpaceAssertions| 6 7) (14 . |optional|) '|c|
             (|List| 8) (19 . |variables|) (|Boolean|) (24 . |empty?|)
             (|Mapping| 24 7) (|FunctionSpaceAttachPredicates| 6 7 7)
             (29 . |suchThat|) '|w| (|TrigonometricManipulations| 6 7)
             (35 . |real?|) (40 . |false|) '|s| (|Union| 45 '"failed")
             (44 . |retractIfCan|) (49 . |Zero|) (53 . |Zero|) (57 . <)
             (63 . |true|) '|m| (67 . |pi|) (71 . |sqrt|) '|spi|
             (76 . |One|) (|Integer|) (80 . |coerce|) (85 . /) '|half|
             (|Record| (|:| |key| 8) (|:| |entry| 7)) (|List| 49)
             (|PatternMatchResult| 45 7) (91 . |destruct|)
             (|AssociationList| 8 7) (96 . |construct|)
             (101 . |member?|) (107 . |One|) (|Union| 111 '"failed")
             (111 . |retractIfCan|) (|Union| 150 '"failed")
             (116 . |isTimes|)
             (|Record| (|:| |const| 7) (|:| |nconst| 7))
             |INTPM;splitConstant;FSR;2| (121 . *) (127 . |isPlus|)
             (132 . =) (138 . +) (144 . -) (149 . -)
             (|Record| (|:| |val| $) (|:| |exponent| 45))
             (|Union| 69 '"failed") (155 . |isPower|) (160 . **)
             (|String|) (166 . |coerce|) (|Kernel| 7) (171 . |is?|)
             (|NonNegativeInteger|)
             (|SparseMultivariatePolynomial| 6 75)
             (177 . |minimumDegree|) (183 . |degree|) (189 . |new|)
             (193 . |exp|) (|Pattern| 45) (198 . |convert|)
             (|PatternMatchResult| 45 $) (203 . |patternMatch|)
             (210 . |failed?|) (215 . |elt|) (221 . |differentiate|)
             (227 . |zero?|) (|ElementaryFunctionSign| 6 7)
             (232 . |sign|) (237 . **) (243 . |log|) (|Fraction| 45)
             (248 . |One|) (|SparseMultivariatePolynomial| 6 111)
             (252 . |numer|) (257 . |denom|) (262 . |coerce|)
             (|List| 75) (267 . |variables|) (|Mapping| 24 75)
             (272 . |select!|) (|List| 7) (278 . |argument|)
             (|SparseUnivariatePolynomial| $) (283 . |univariate|)
             (|SparseUnivariatePolynomial| 78) (289 . |coefficient|)
             (|Kernel| $) (295 . |coerce|) (|Fraction| 107)
             (300 . |univariate|) (|Union| 119 '"failed")
             (|Fraction| 119) (306 . |retractIfCan|) (311 . |One|)
             (|SparseUnivariatePolynomial| 7) (315 . |One|)
             (319 . |degree|) (324 . |coefficient|)
             (330 . |leadingCoefficient|) (335 . |tan|)
             (|PositiveInteger|) (340 . **) (346 . *)
             (|Record| (|:| |exponent| 77) (|:| |coef| 7)
                 (|:| |radicand| 7))
             (|PolynomialRoots| (|IndexedExponents| 75) 75 6 78 7)
             (352 . |froot|)
             (|Record| (|:| |special| 7) (|:| |integrand| 7))
             (|Union| 131 '"failed") (358 . |pmintegrate|)
             (364 . |second|) (369 . |li|) (374 . |third|)
             (379 . |dilog|) (384 . |Ei|) (389 . |erf|) (394 . |Si|)
             (399 . |Ci|) (404 . |pmComplexintegrate|)
             (410 . |retract|) (415 . |last|) (420 . *) (426 . |Gamma|)
             (431 . |differentiate|) (438 . |kernel|) (|List| 111)
             (|List| $) (443 . |eval|) (|OrderedCompletion| 7)
             (450 . |zero?|) (|SingleInteger|) (455 . |whatInfinity|)
             (460 . |constant|) (465 . |freeOf?|) (|Union| 7 '"failed")
             (471 . |pmintegrate|))
          '#(|splitConstant| 479 |pmintegrate| 485 |pmComplexintegrate|
             499)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 159
                                '(0 8 0 9 1 8 0 0 11 1 7 0 8 18 1 19 7
                                  7 20 1 7 22 0 23 1 22 24 0 25 2 27 7
                                  7 26 28 1 30 24 7 31 0 24 0 32 1 7 34
                                  0 35 0 6 0 36 0 7 0 37 2 7 24 0 0 38
                                  0 24 0 39 0 7 0 41 1 7 0 0 42 0 7 0
                                  44 1 7 0 45 46 2 7 0 0 0 47 1 51 50 0
                                  52 1 53 0 50 54 2 22 24 8 0 55 0 6 0
                                  56 1 7 57 0 58 1 7 59 0 60 2 7 0 0 0
                                  63 1 7 59 0 64 2 7 24 0 0 65 2 7 0 0
                                  0 66 1 7 0 0 67 2 7 0 0 0 68 1 7 70 0
                                  71 2 7 0 0 45 72 1 8 0 73 74 2 75 24
                                  0 8 76 2 78 77 0 75 79 2 78 77 0 75
                                  80 0 51 0 81 1 7 0 0 82 1 7 83 0 84 3
                                  7 85 0 83 85 86 1 51 24 0 87 2 53 7 0
                                  8 88 2 7 0 0 8 89 1 7 24 0 90 1 91 34
                                  7 92 2 7 0 0 0 93 1 7 0 0 94 0 95 0
                                  96 1 7 97 0 98 1 7 97 0 99 1 7 0 97
                                  100 1 78 101 0 102 2 101 0 103 0 104
                                  1 75 105 0 106 2 78 107 0 75 108 2
                                  109 78 0 77 110 1 7 0 111 112 2 7 113
                                  0 111 114 1 116 115 0 117 0 116 0 118
                                  0 119 0 120 1 119 77 0 121 2 119 7 0
                                  77 122 1 119 7 0 123 1 7 0 0 124 2 7
                                  0 0 125 126 2 7 0 125 0 127 2 129 128
                                  7 77 130 2 0 132 7 8 133 1 105 7 0
                                  134 1 7 0 0 135 1 105 7 0 136 1 7 0 0
                                  137 1 7 0 0 138 1 7 0 0 139 1 7 0 0
                                  140 1 7 0 0 141 2 0 132 7 8 142 1 7
                                  45 0 143 1 105 7 0 144 2 7 0 45 0 145
                                  1 7 0 0 146 3 7 0 0 8 77 147 1 75 0 8
                                  148 3 7 0 0 149 150 151 1 152 24 0
                                  153 1 152 154 0 155 1 19 7 7 156 2 7
                                  24 0 8 157 4 0 158 7 8 152 152 159 2
                                  0 61 7 8 62 2 2 132 7 8 133 4 1 158 7
                                  8 152 152 159 2 2 132 7 8 142)))))
          '|lookupComplete|)) 
