read DET:
#The Mills-Robbins-Rumsey determinant evaluation (MRR) of the paper
  RproofP(binomial(m+n+p,2*m-n+1),m,n,N,30,R,p,40,60);

quit: