18
2*m11+0*m12+0*m13+0*m21+0*m22+0*m23+0*m31+0*m32+0*m33+0*x+0*y+0*z-2+2*a1*m11+a4*m21+a5*m31;
0*m11+2*m12+1*m13+0*m21+0*m22+0*m23+0*m31+0*m32+0*m33+0*x+0*y+0*z-0+2*a1*m12+a4*m22+a5*m32;
0*m11+1*m12+8*m13+0*m21+0*m22+0*m23+0*m31+0*m32+0*m33-6*x+0*y+0*z-0+2*a1*m13+a4*m23+a5*m33;
0*m11+0*m12+0*m13+2*m21+0*m22+0*m23+0*m31+0*m32+0*m33+0*x+0*y+0*z-0+2*a2*m21+a4*m11+a6*m31;
0*m11+0*m12+0*m13+0*m21+2*m22+1*m23+0*m31+0*m32+0*m33+0*x+0*y+0*z-2+2*a2*m22+a4*m12+a6*m32;
0*m11+0*m12+0*m13+0*m21+1*m22+8*m23+0*m31+0*m32+0*m33+0*x-6*y+0*z-1+2*a2*m23+a4*m13+a6*m33;
0*m11+0*m12+0*m13+0*m21+0*m22+0*m23+2*m31+0*m32+0*m33+0*x+0*y+0*z-0+2*a3*m31+a5*m11+a6*m21;
0*m11+0*m12+0*m13+0*m21+0*m22+0*m23+0*m31+2*m32+1*m33+0*x+0*y+0*z-1+2*a3*m32+a5*m12+a6*m22;
0*m11+0*m12+0*m13+0*m21+0*m22+0*m23+0*m31+1*m32+8*m33+0*x+0*y-6*z-2+2*a3*m33+a5*m13+a6*m23;
0*m11+0*m12-6*m13+0*m21+0*m22+0*m23+0*m31+0*m32+0*m33+5*x+0*y+0*z-0;
0*m11+0*m12+0*m13+0*m21+0*m22-6*m23+0*m31+0*m32+0*m33+0*x+5*y+0*z-0;
0*m11+0*m12+0*m13+0*m21+0*m22+0*m23+0*m31+0*m32-6*m33+0*x+0*y+5*z+1;
m11^2+m12^2+m13^2-1;
m21^2+m22^2+m23^2-1;
m31^2+m32^2+m33^2-1;
m11*m21+m12*m22+m13*m23;
m11*m31+m12*m32+m13*m33;
m21*m31+m22*m32+m23*m33;