read DET:
a:=1/(m+n+p):
RproofP(a,m,n,N,20,R,p,1,10):
quit: