a1, a2, a3, a4, a5, a6, b1, b2, b3, b4, b5, b6, c1, c10, c11, c12, c13, c14, c15, c16, c2, c3, c4, c5, c6, c7, c8, c9, d1, d10, d11, d12, d13, d14, d15, d16, d2, d3, d4, d5, d6, d7, d8, d9, 
-a5*d11+b3*c14
-a2*d1+b1*c2
-a6*d13+b4*c16
a5*d11-b3*c14
a2*d1-b1*c2
a6*d13-b4*c16
a5*d15+a6*d12+2*a6*d14-2*b3*c16-b4*c15-b5*c15
-a1*c2+a2*c1-a2*d2+b2*c2
-a4*d11-2*a5*d11+b3*c12+b3*c14
-a4*d13-a6*d12+b3*c16+2*b4*c13
-a2*d11-a5*d3+b1*c14+b3*c5
-a2*d13-a6*d4+b1*c16+b4*c6
-a3*c14+a5*c11-a5*d14+b5*c14
-a4*c16+a6*c13-a6*d16+b6*c16
-a2*d3-a5*d1+b1*c5+b3*c2
-a2*d4-a6*d1+b1*c6+b4*c2
-a5*d12-a6*d11+b3*c15+b4*c14
-a5*d13-a6*d12+b3*c16+b4*c15
a5*d13+a6*d12-b3*c16-b4*c15
a1*d1-b1*c1+b1*d2-b2*d1
2*a5*d14+a6*d11-b3*c15-b5*c14
a6*d13+a6*d15-2*b4*c16-b5*c16
a2*d13+a6*d4-b1*c16-b4*c6
a2*d4+a6*d1-b1*c6-b4*c2
a2*d3+a5*d1-b1*c5-b3*c2
a5*d12+a6*d11-b3*c15-b4*c14
a2*d11+a5*d3-b1*c14-b3*c5
a3*d11-b3*c11+b3*d14-b5*d11
a4*d13-b4*c13+b4*d16-b6*d13
-a3*c16-a4*c15+a5*c13-a5*d16+a6*c12-a6*d15+b5*c16+b6*c15
-3*a1*c10-a1*c6+a2*c5-3*a2*d10-a2*d6+10*a6*c1+b2*c6+10*b6*c2
-3*a1*c7-a2*d3-3*a2*d7+10*a3*c1+b1*c4+10*b3*c2
-6*a1*c11-8*a2*d11+3*a3*c3-a4*d3-a5*d3-a5*d7+b1*c12+b3*c4+4*b3*c5+b3*c9
-a1*c4-3*a1*c8-3*a1*c9+a2*c3-a2*d4-a2*d5-3*a2*d8-3*a2*d9+10*a4*c1+10*a5*c1+b1*c6+b2*c4+10*b4*c2+10*b5*c2
-a3*c15+a5*c14-a5*d15+a6*c11-a6*d14+b5*c15+b6*c14
-2*a4*c16-a5*c16+a6*c13+a6*c15-3*a6*d16+3*b6*c16
-3*a1*c3-3*a1*c7-3*a2*d3-4*a2*d7+15*a3*c1+b1*c8+15*b3*c2
-a3*c12-a3*c14+a4*c11-a4*d14+2*a5*c11-a5*d12-2*a5*d14-a6*d11+b3*c15+b4*c14+b5*c12+b5*c14
-2*a3*c13-a3*c15-a4*d15+a5*c12-2*a5*d13-a5*d15+2*a6*c11-2*a6*d12-2*a6*d14+2*b3*c16+2*b4*c15+2*b5*c13+b5*c15+b6*c12
-3*a1*c12-4*a2*d12+3*a3*c4-a4*d4-a6*d3-a6*d7+2*b1*c13+4*b3*c6+b4*c4+b4*c9
-2*a1*c13-3*a1*c15+a2*c12-2*a2*d13-3*a2*d15-a3*c6+a4*c4-a4*c9-a4*d6+3*a5*c4+a6*c7-a6*d5-a6*d9+2*b2*c13+2*b4*c6+3*b5*c6+b6*c9
-a4*d12-a5*d12-2*a6*d11+2*b3*c13+b3*c15+b4*c12
-a3*c16-a4*c13-a4*d16+a6*c12-3*a6*d13-a6*d15+3*b4*c16+b5*c16+2*b6*c13
-3*a1*c12-3*a2*d12-2*a2*d14-a3*c4+3*a4*c3+a5*c3-a5*d4-a5*d8-a6*d3+b1*c15+b3*c10+3*b4*c5+b5*c4+b5*c5
-4*a1*c15+2*a2*c14-4*a2*d15-a3*c10-a3*c6+a5*c8-a5*d10-a5*d6+4*a6*c3-a6*d5+b2*c15+b5*c10+b5*c6+4*b6*c5
-2*a3*c16-a4*c15-2*a5*d16+a6*c12+2*a6*c14-2*a6*d15+2*b5*c16+2*b6*c15
-6*a1*c13-6*a2*d13-a2*d15+2*a4*c4+a6*c3-2*a6*d4-a6*d8+2*b1*c16+b4*c10+3*b4*c6+b5*c6+b6*c4
-a1*c12-6*a1*c14+2*a2*c11-a2*d12-6*a2*d14-a3*c5-a3*c9+a4*c3-a4*d5+3*a5*c3+a5*c7-a5*d5-a5*d9+b2*c12+b3*c6+b4*c5+3*b5*c5+b5*c9
-8*a1*c16+a2*c15-8*a2*d16-a4*c10-a4*c6-a5*c6+4*a6*c4+a6*c5+a6*c8-a6*d10-2*a6*d6+2*b2*c16+b6*c10+5*b6*c6
-3*a1*c12-6*a1*c14-3*a2*d12-6*a2*d14-a3*c8+3*a4*c3+3*a5*c3+a5*c7-a5*d8-a5*d9+b3*c10+3*b4*c5+3*b5*c5+b5*c8
-6*a1*c13-3*a1*c15-6*a2*d13-3*a2*d15+3*a4*c4-a4*c8+3*a5*c4+a6*c7-a6*d8-a6*d9+b4*c10+3*b4*c6+3*b5*c6+b6*c8
-a1*c15+a2*c12-a2*d15-a3*c6-a4*c5+a5*c4-a5*d6+a6*c3-a6*d5+b2*c15+b5*c6+b6*c5
-a1*c16+a2*c13-a2*d16-a4*c6+a6*c4-a6*d6+b2*c16+b6*c6
-4*a1*c10-3*a1*c6+a2*c9-4*a2*d10-3*a2*d6+15*a6*c1+b2*c10+15*b6*c2
-3*a1*c3-3*a2*d3-a2*d7+5*a3*c1-a4*d1+b1*c9+6*b3*c2
-3*a1*c5-a1*c9+a2*c7-3*a2*d5-a2*d9-a3*c2+a4*c1-a4*d2+5*a5*c1+b2*c9+b4*c2+5*b5*c2
-3*a1*c5-a1*c8-3*a1*c9+a2*c7-3*a2*d5-a2*d8-3*a2*d9+5*a4*c1+10*a5*c1+b2*c8+5*b4*c2+10*b5*c2
-a1*c10-3*a1*c6+a2*c8-a2*d10-3*a2*d6-a5*c2+6*a6*c1-a6*d2+b2*c10+6*b6*c2
-a1*c6+a2*c4-a2*d6-a4*c2+a6*c1-a6*d2+b2*c6+b6*c2
-3*a1*c4-3*a1*c8-3*a2*d4-3*a2*d8-a2*d9+10*a4*c1+5*a5*c1+b1*c10+10*b4*c2+5*b5*c2
-3*a1*c4-3*a2*d4-a2*d8+5*a4*c1-a6*d1+b1*c10+5*b4*c2+b5*c2
-a1*c5+a2*c3-a2*d5-a3*c2+a5*c1-a5*d2+b2*c5+b5*c2
-6*a1*c13-9*a1*c15-6*a2*d13-9*a2*d15-a3*c10+a4*c8+a4*c9-a4*d10+2*a5*c8+3*a6*c7-a6*d9+2*b4*c10+3*b5*c10+3*b6*c9
-6*a1*c16-6*a2*d16-a4*c10+3*a6*c4+a6*c9-a6*d10+b6*c10+3*b6*c6
-9*a1*c12-6*a1*c14-9*a2*d12-6*a2*d14+2*a3*c8+3*a4*c7-a4*d8+a5*c7-a6*d7+3*b3*c10+b4*c8+2*b4*c9+b5*c8+b5*c9
-a3*c15-a4*c14+a5*c12-a5*d15+a6*c11-a6*d14+b5*c15+b6*c14
-a1*c14+a2*c11-a2*d14-a3*c5+a5*c3-a5*d5+b2*c14+b5*c5
-12*a1*c11-12*a2*d11+3*a3*c7-a4*d7+b3*c8+3*b3*c9
-3*a1*c15-3*a2*d15-a3*c10+a5*c9-a5*d10+3*a6*c3+b5*c10+3*b6*c5
-6*a1*c13-3*a1*c15-6*a2*d13-3*a2*d15+2*a4*c8+a6*c7-a6*d8+2*b4*c10+b5*c10+b6*c8
-12*a1*c16-12*a2*d16-a5*c10+3*a6*c8+a6*c9-a6*d10+4*b6*c10
-3*a1*c12-6*a1*c14-3*a2*d12-6*a2*d14+a4*c7-a4*d9+2*a5*c7+b3*c10+b4*c9+2*b5*c9
-6*a1*c11-6*a2*d11+3*a3*c3-a5*d7+3*b3*c5+b3*c8
-3*a1*c12-3*a2*d12+3*a3*c4-a6*d7+3*b3*c6+b4*c8
-a2*d12-a5*d4-a6*d3+b1*c15+b3*c6+b4*c5
a2*d5+10*a6*d1-3*b1*c10-b1*c6-3*b2*d10+10*b6*d2
a1*d3+10*a3*d1-b1*c3-3*b1*c7+b1*d4-b2*d3-3*b2*d7+10*b3*d2
2*a1*d11+5*a3*d3+a3*d7-8*b1*c11+b1*d12-8*b2*d11-2*b3*c3-b3*c7+b3*d4+4*b3*d5+b3*d9-b4*d3-b5*d3-b5*d7
a1*d5+a2*d3+10*a4*d1+10*a5*d1-b1*c4-b1*c5-3*b1*c8-3*b1*c9+b1*d6-b2*d5-3*b2*d8-3*b2*d9+10*b4*d2+10*b5*d2
a1*d7+15*a3*d1-3*b1*c3-4*b1*c7+b1*d8-3*b2*d3-4*b2*d7+15*b3*d2
2*a3*d14+a4*d11+3*a5*d11-b3*c12-3*b3*c14+b3*d15-b5*c11-b5*d14-b6*d11
a3*d15+a4*d12+2*a4*d14+2*a5*d12+2*a6*d11-2*b3*c13-2*b3*c15+2*b3*d16-b4*c12-2*b4*c14+b4*d15-b5*c12-b6*d12-2*b6*d14
a1*d12+4*a3*d4+a4*d3+a4*d7-4*b1*c12+2*b1*d13-4*b2*d12-b3*c4+4*b3*d6-b4*c3-b4*c7+b4*d9-b6*d3-b6*d7
a2*d12+a4*d4+a4*d5+3*a5*d4+a6*d7-2*b1*c13-3*b1*c15-3*b2*d15-b3*c6-b4*c5-b4*c9+b4*d6+3*b5*d6-b6*d5
2*a3*d12+2*a4*d11-2*b3*c12+2*b3*d13+b3*d15-2*b4*c11-b5*d12-2*b6*d11
a4*d13+a4*d15+a5*d13+a6*d12-b3*c16-2*b4*c13-b4*c15+2*b4*d16-b5*c13+b5*d16-b6*d13-b6*d15
2*a1*d14+a3*d8+3*a4*d3+2*a5*d3-3*b1*c12-2*b1*c14+b1*d15-3*b2*d12-2*b2*d14-b3*c4-b3*c8+b3*d10+3*b4*d5-b5*c3+b5*d5-b5*d8-b6*d3
2*a2*d14+a5*d5+a5*d8+4*a6*d3-4*b1*c15-3*b2*d15-b3*c10-b3*c6-b5*c5+3*b6*d5
a1*d15+3*a4*d4+a4*d8+a5*d4+a6*d3-6*b1*c13-b1*c15+2*b1*d16-6*b2*d13-b2*d15-b4*c4-b4*c8+b4*d10+3*b4*d6-b5*c4+b5*d6-b6*d4-b6*d8
2*a2*d11+a3*d5+a4*d3+3*a5*d3+a5*d7-b1*c12-6*b1*c14-6*b2*d14-2*b3*c5-b3*c9+b3*d6+2*b5*d5
a2*d15+4*a6*d4+a6*d5+a6*d8-8*b1*c16-6*b2*d16-b4*c10-b4*c6-b5*c6+3*b6*d6
a3*d9+3*a4*d3+3*a5*d3+a5*d7-3*b1*c12-6*b1*c14-3*b2*d12-6*b2*d14-b3*c8-b3*c9+b3*d10+3*b4*d5+3*b5*d5-b5*d9
3*a4*d4+a4*d9+3*a5*d4+a6*d7-6*b1*c13-3*b1*c15-6*b2*d13-3*b2*d15-b4*c8-b4*c9+b4*d10+3*b4*d6+3*b5*d6-b6*d9
a2*d12+a5*d4+a6*d3-b1*c15-b3*c6-b4*c5
a2*d9+15*a6*d1-4*b1*c10-3*b1*c6-3*b2*d10-3*b2*d6+15*b6*d2
a1*d7+6*a3*d1-3*b1*c3-b1*c7+b1*d9-3*b2*d3-b2*d7-b3*c1+6*b3*d2-b4*d1
a2*d7+a4*d1+5*a5*d1-3*b1*c5-b1*c9-3*b2*d5-b3*c2+5*b5*d2
a2*d7+5*a4*d1+10*a5*d1-3*b1*c5-b1*c8-3*b1*c9-3*b2*d5-3*b2*d9+5*b4*d2+10*b5*d2
a2*d8+6*a6*d1-b1*c10-3*b1*c6-3*b2*d6-b5*c2+5*b6*d2
a1*d9+10*a4*d1+5*a5*d1-3*b1*c4-3*b1*c8-b1*c9+b1*d10-3*b2*d4-3*b2*d8-b2*d9+10*b4*d2+5*b5*d2
a1*d8+5*a4*d1+a5*d1-3*b1*c4-b1*c8+b1*d10-3*b2*d4-b2*d8+5*b4*d2-b5*c1+b5*d2-b6*d1
3*a3*d11-3*b3*c11+b3*d12+b3*d14-b4*d11-2*b5*d11
a3*d13+a4*d12-b3*c13+b3*d16-b4*c12+b4*d13-b6*d12
a1*d11+a3*d3-b1*c11+b1*d14-b2*d11-b3*c3+b3*d5-b5*d3
a1*d13+a4*d4-b1*c13+b1*d16-b2*d13-b4*c4+b4*d6-b6*d4
a4*d8+a4*d9+2*a5*d8+a5*d9+3*a6*d7-6*b1*c13-9*b1*c15-6*b2*d13-9*b2*d15-b3*c10+b4*d10-b5*c9+3*b5*d10+2*b6*d9
3*a6*d4+a6*d9-6*b1*c16-6*b2*d16-b4*c10+3*b6*d6
3*a3*d8+3*a4*d7+2*a5*d7-9*b1*c12-6*b1*c14-9*b2*d12-6*b2*d14-b3*c8+3*b3*d10+2*b4*d9-b5*c7+b5*d8+b5*d9-b6*d7
4*a3*d7-12*b1*c11-12*b2*d11-b3*c7+b3*d8+3*b3*d9-b4*d7
a5*d9+3*a6*d3-3*b1*c15-3*b2*d15-b3*c10+3*b6*d5
2*a4*d8+a5*d8+a6*d7-6*b1*c13-3*b1*c15-6*b2*d13-3*b2*d15+2*b4*d10-b5*c8+b5*d10
3*a6*d8+a6*d9-12*b1*c16-12*b2*d16-b5*c10+3*b6*d10
a3*d9+a4*d7+2*a5*d7-3*b1*c12-6*b1*c14-3*b2*d12-6*b2*d14-b3*c9+b3*d10+2*b5*d9
3*a3*d3+a3*d7-6*b1*c11-6*b2*d11-b3*c7+3*b3*d5+b3*d8-b5*d7
3*a3*d4+a4*d7-3*b1*c12-3*b2*d12+3*b3*d6-b4*c7+b4*d8-b6*d7
a1*d12+a3*d4+a4*d3-b1*c12+b1*d15-b2*d12-b3*c4+b3*d6-b4*c3+b4*d5-b5*d4-b6*d3
a1*d3+a3*d1-b1*c3+b1*d5-b2*d3-b3*c1+b3*d2-b5*d1
a1*d4+a4*d1-b1*c4+b1*d6-b2*d4-b4*c1+b4*d2-b6*d1
a3*d12+a4*d11-b3*c12+b3*d15-b4*c11+b4*d14-b5*d12-b6*d11
a3*d13+a4*d12-b3*c13+b3*d16-b4*c12+b4*d15-b5*d13-b6*d12
