
(/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 (#1=#:G1837 |g| #2=#:G1836 #3=#:G1835 |f| #4=#:G1834)
    (RETURN
     (SEQ
      (SPADCALL (SPADCALL (SPADCALL |ir| (QREFELT $ 13)) |func|)
                (PROGN
                 (LETT #4# NIL . #5=(|IR2;map;MIrIr;4|))
                 (SEQ (LETT |f| NIL . #5#)
                      (LETT #3# (SPADCALL |ir| (QREFELT $ 16)) . #5#) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |f| (CAR #3#) . #5#) NIL))
                        #6=(GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #4# (CONS (|IR2;LGE2F| |func| |f| $) #4#)
                              . #5#)))
                      (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                      (EXIT (NREVERSE0 #4#))))
                (PROGN
                 (LETT #2# NIL . #5#)
                 (SEQ (LETT |g| NIL . #5#)
                      (LETT #1# (SPADCALL |ir| (QREFELT $ 19)) . #5#) G190
                      (COND
                       ((OR (ATOM #1#) (PROGN (LETT |g| (CAR #1#) . #5#) NIL))
                        #6#))
                      (SEQ
                       (EXIT
                        (LETT #2# (CONS (|IR2;NEE2F| |func| |g| $) #2#)
                              . #5#)))
                      (LETT #1# (CDR #1#) . #5#) #7# 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 (#1=#:G1879 |f| #2=#:G1878)
    (RETURN
     (SEQ
      (COND ((QEQCAR |u| 1) (CONS 1 "failed"))
            ('T
             (CONS 0
                   (CONS (SPADCALL (QCAR (QCDR |u|)) |func|)
                         (PROGN
                          (LETT #2# NIL . #3=(|IR2;map;MUU;6|))
                          (SEQ (LETT |f| NIL . #3#)
                               (LETT #1# (QCDR (QCDR |u|)) . #3#) G190
                               (COND
                                ((OR (ATOM #1#)
                                     (PROGN (LETT |f| (CAR #1#) . #3#) NIL))
                                 (GO G191)))
                               (SEQ
                                (EXIT
                                 (LETT #2#
                                       (CONS (|IR2;NLE2F| |func| |f| $) #2#)
                                       . #3#)))
                               (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                               (EXIT (NREVERSE0 #2#)))))))))))) 

(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 #1=#:G1888)
  (PROG ()
    (RETURN
     (PROG (#2=#:G1889)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|IntegrationResultFunctions2|)
                                           '|domainEqualList|)
                . #3=(|IntegrationResultFunctions2|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |IntegrationResultFunctions2;|) #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache|
                    '|IntegrationResultFunctions2|))))))))))) 

(DEFUN |IntegrationResultFunctions2;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|IntegrationResultFunctions2|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|IntegrationResultFunctions2| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 43) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|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|)) 
