read "rga_variant.mpl";
t3:=time():
MainProc([u[x,x]^4*v+u[x,x]^8*v+u[x],u[x,y],u[y,y]-1],R):
t3:=time()-t3;