ResPubID7601, hypergeometric summation, definite integration