RJ(x,y,z,p)=R32(12,12,12,12,12;x,y,z,p,p)