I have veriﬁed the following double sum is always an integer for $s$ up to $1000$ via Maple.
But I can not prove it. Proofs, hints, or references are all welcome.
Thanks!
$$\sum\_{m=s}^{2s}\sum\_{k=0}^{s} {2s\choose s}{s\choose k}{m\choose k}{k\choose m-s} \frac{1}{(s+1)(2k-1)(2m-2k-1)}$$


What I have known is that: 


(1) Every term is not always an integer, but I can prove that ${2s\choose s}{s\choose k}{m\choose k}{k\choose m-s} \frac{1}{(2k-1)(2m-2k-1)}$ is always an integer.


(2) $\sum\_{k=0}^{s} {2s\choose s}{s\choose k}{m\choose k}{k\choose m-s} ={2s\choose s}^2{s\choose m-s}$. This combinatorial identity may be helpful to solve this problem.


**Note:-** The problem has also been posted [here](https://math.stackexchange.com/questions/1042332/how-to-prove-sum-m-s2s-sum-k-0s-2s-choose-ss-choose-km-choose-k).



How to prove that the following double sum is always an integer？
Here is an attempt at an answer. We assume that the recurrence from my comment above holds [with a small correction] (a proof was obtained by Kevin using Zeilberger's algorithm, see the comment below):
$$ (7s+8)(s+4)(s+3)^2 a\_{s+3} - 4(56s^2+127s+57)(s+3)(s+2) a\_{s+2} $$
$$ - 16(7s^4-6s^3-121s^2-210s-90) a\_{s+1} + 128(7s+15)(2s+3)(2s+1)(s-1) a\_s = 0 $$
Write $a\_s = b\_s/(s+1)$. According to Kevin's claim (1), $b\_s \in \mathbb Z$. Now
the sequence $(b\_s)$ satisfies the recurrence
$$ (7s+8)(s+3)^2(s+2)(s+1) b\_{s+3} - 4(56s^2+127s+57)(s+2)^2(s+1) b\_{s+2} $$
$$ - 16(7s^4-6s^3-121s^2-210s-90)(s+1) b\_{s+1}
 + 128(7s+15)(2s+3)(2s+1)(s+2)(s-1) b\_s = 0 .$$
We want to show that $s+1$ divides $b\_s$. By the recurrence, we have that
$$ (s+1) \mid 128(7s+15)(2s+3)(2s+1)(s+2)(s-1) b\_s . $$
Since the gcd of $s+1$ with the factor in front of $b\_s$ is a power of 2, we can conclude that the odd part of $s+1$ divides $b\_s$. On the other hand, it is easy to see that each term in the sum for $a\_s$ is 2-adically integral (it is a 
Catalan number times some binomial coefficients times a fraction with odd
denominator), so there is no need to consider the 2-power part of $s+1$.


