A0, A2, A3, A4, A5, B0, B1, B2, B3, B4, B5, C0, C1, C2, C3, C4, C5, 
A2*B2
A4*B4
A5*B5
A2*B1+B2
A4*B1+B4
A2*B4+A4*B2
A3*B5+A5*B3
A4*B5+A5*B4
A3*B5+A5*B3+2*A5*B5
2*A3*B3+A3*B5+A5*B3
A3*B3+A3*B5+A5*B3+A5*B5
A3*B4+A4*B3+A5*B1+B5
A0*B2+A2*B0+A2*B1+A2*B4+A4*B2+B2+C2
A0*B1+A2*B3+A3*B2+A4*B1+B0+2*B1+B4+C1
A0*B4+A2*B5+A4*B0+A4*B1+2*A4*B4+A5*B2+B4+C4
A0*B3+A3*B0+2*A3*B1+A3*B4+A4*B3+A5*B1+2*B3+B5+C3
A0*B5+A3*B4+A4*B3+2*A4*B5+A5*B0+A5*B1+2*A5*B4+B5+C5
A0*B3+A0*B5+A3*B0+A3*B1+A3*B4+A4*B3+A4*B5+A5*B0+A5*B1+A5*B4+B3+B5+C3+C5-1
A0*B0+A0*B1+A0*B4+A2*B3+A2*B5+A3*B2+A4*B0+A4*B1+A4*B4+A5*B2+B0+B1+B4+C0+C1+C4
