((x_1,x_2),(u_1,(u_2, v_1, z_1)));
