read "rga_main.mpl";
t4:=time():
E4:=[u[x]^4*v[x]^4*u[x,y]^9+50*v[y],31*v[x,x]^10+v[y]]:
RosGrobim(E4,[],R):
t4:=time()-t4;