read DET: print(` the Andrews determiant`): SRproofI(binomial(m+n,n),m,n,N,40,40); time(); quit: