By applying the recursion multiple times, we find that a1,1=1,a2,n=nn+(n+1)n+1, and a3,n=nn+2(n+1)n+1+(n+2)n+2. At this point, we can conjecture and prove by induction that am,n=∑k=0m−1(km−1)(n+k)n+k=∑k≥0(km−1)(n+k)n+k. (The second expression is convenient for dealing with boundary cases. The induction relies on (0m)=(0m−1) on the k=0 boundary, as well as (km)=(km−1)+(k−1m−1) for k≥1.) We fix m=128. Note that (k127)≡1(mod2) for all 1≤k≤127 and (k127)≡0(mod5) for 3≤k≤124, by Lucas' theorem on binomial coefficients. Therefore, we find that a128,1=∑k=0127(k127)(k+1)k+1≡∑k=0127(k+1)k+1≡0(mod2) and a128,1≡∑k∈[0,2]∪[125,127](k127)(k+1)k+1≡4(mod5). Therefore, a128,1≡4(mod10).