
(/VERSIONCHECK 2) 

(DEFUN |IR2;NLE2F| (|func| |r| $)
  (CONS (SPADCALL (QCAR |r|) |func|) (SPADCALL (QCDR |r|) |func|))) 

(DEFUN |IR2;NEE2F| (|func| |n| $)
  (CONS (SPADCALL (QCAR |n|) |func|) (SPADCALL (QCDR |n|) |func|))) 

(DEFUN |IR2;map;MUU;3| (|func| |u| $)
  (COND
    ((QEQCAR |u| 1) (CONS 1 "failed"))
    ('T (CONS 0 (SPADCALL (QCDR |u|) |func|))))) 

(DEFUN |IR2;map;MIrIr;4| (|func| |ir| $)
  (PROG (#0=#:G1851 |f| #1=#:G1852 #2=#:G1853 |g| #3=#:G1854)
    (RETURN
      (SEQ (SPADCALL (SPADCALL (SPADCALL |ir| (QREFELT $ 13)) |func|)
               (PROGN
                 (LETT #0# NIL . #4=(|IR2;map;MIrIr;4|))
                 (SEQ (LETT |f| NIL . #4#)
                      (LETT #1# (SPADCALL |ir| (QREFELT $ 16)) . #4#)
                      G190
                      (COND
                        ((OR (ATOM #1#)
                             (PROGN (LETT |f| (CAR #1#) . #4#) NIL))
                         #5=(GO G191)))
                      (SEQ (EXIT (LETT #0#
                                       (CONS (|IR2;LGE2F| |func| |f| $)
                                        #0#) . #4#)))
                      (LETT #1# (CDR #1#) . #4#) #6=(GO G190) G191
                      (EXIT (NREVERSE0 #0#))))
               (PROGN
                 (LETT #2# NIL . #4#)
                 (SEQ (LETT |g| NIL . #4#)
                      (LETT #3# (SPADCALL |ir| (QREFELT $ 19)) . #4#)
                      G190
                      (COND
                        ((OR (ATOM #3#)
                             (PROGN (LETT |g| (CAR #3#) . #4#) NIL))
                         #5#))
                      (SEQ (EXIT (LETT #2#
                                       (CONS (|IR2;NEE2F| |func| |g| $)
                                        #2#) . #4#)))
                      (LETT #3# (CDR #3#) . #4#) #6# G191
                      (EXIT (NREVERSE0 #2#))))
               (QREFELT $ 25)))))) 

(DEFUN |IR2;map;MUU;5| (|func| |u| $)
  (COND
    ((QEQCAR |u| 1) (CONS 1 "failed"))
    ('T
     (CONS 0
           (CONS (SPADCALL (QCAR (QCDR |u|)) |func|)
                 (SPADCALL (QCDR (QCDR |u|)) |func|)))))) 

(DEFUN |IR2;map;MUU;6| (|func| |u| $)
  (PROG (#0=#:G1894 |f| #1=#:G1895)
    (RETURN
      (SEQ (COND
             ((QEQCAR |u| 1) (CONS 1 "failed"))
             ('T
              (CONS 0
                    (CONS (SPADCALL (QCAR (QCDR |u|)) |func|)
                          (PROGN
                            (LETT #0# NIL . #2=(|IR2;map;MUU;6|))
                            (SEQ (LETT |f| NIL . #2#)
                                 (LETT #1# (QCDR (QCDR |u|)) . #2#)
                                 G190
                                 (COND
                                   ((OR (ATOM #1#)
                                     (PROGN
                                       (LETT |f| (CAR #1#) . #2#)
                                       NIL))
                                    (GO G191)))
                                 (SEQ (EXIT
                                       (LETT #0#
                                        (CONS
                                         (|IR2;NLE2F| |func| |f| $)
                                         #0#) . #2#)))
                                 (LETT #1# (CDR #1#) . #2#) (GO G190)
                                 G191 (EXIT (NREVERSE0 #0#)))))))))))) 

(DEFUN |IR2;LGE2F| (|func| |lg| $)
  (VECTOR (QVELT |lg| 0)
          (SPADCALL |func| (QVELT |lg| 1) (QREFELT $ 42))
          (SPADCALL |func| (QVELT |lg| 2) (QREFELT $ 42)))) 

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

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

(MAKEPROP '|IntegrationResultFunctions2| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|Union| 7 '"failed") (|Mapping| 7 6)
             (|Union| 6 '"failed") |IR2;map;MUU;3|
             (|IntegrationResult| 6) (0 . |ratpart|)
             (|Record| (|:| |scalar| (|Fraction| (|Integer|)))
                 (|:| |coeff| 40) (|:| |logand| 40))
             (|List| 14) (5 . |logpart|)
             (|Record| (|:| |integrand| 6) (|:| |intvar| 6))
             (|List| 17) (10 . |notelem|)
             (|Record| (|:| |scalar| (|Fraction| (|Integer|)))
                 (|:| |coeff| 39) (|:| |logand| 39))
             (|List| 20)
             (|Record| (|:| |integrand| 7) (|:| |intvar| 7))
             (|List| 22) (|IntegrationResult| 7) (15 . |mkAnswer|)
             |IR2;map;MIrIr;4|
             (|Record| (|:| |ratpart| 7) (|:| |coeff| 7))
             (|Union| 27 '"failed")
             (|Record| (|:| |ratpart| 6) (|:| |coeff| 6))
             (|Union| 29 '"failed") |IR2;map;MUU;5|
             (|Record| (|:| |coeff| 7) (|:| |logand| 7))
             (|Record| (|:| |mainpart| 7)
                 (|:| |limitedlogs| (|List| 32)))
             (|Union| 33 '"failed")
             (|Record| (|:| |coeff| 6) (|:| |logand| 6))
             (|Record| (|:| |mainpart| 6)
                 (|:| |limitedlogs| (|List| 35)))
             (|Union| 36 '"failed") |IR2;map;MUU;6|
             (|SparseUnivariatePolynomial| 7)
             (|SparseUnivariatePolynomial| 6)
             (|SparseUnivariatePolynomialFunctions2| 6 7) (22 . |map|))
          '#(|map| 28) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 42
                                '(1 12 6 0 13 1 12 15 0 16 1 12 18 0 19
                                  3 24 0 7 21 23 25 2 41 39 9 40 42 2 0
                                  28 9 30 31 2 0 24 9 12 26 2 0 34 9 37
                                  38 2 0 8 9 10 11)))))
          '|lookupComplete|)) 
