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