1/2 a^{v0}_{a0} b^{v1}_{a1} c^{a2,a3}_{v0,v1} a+(a0) a+(a1) a-(a3) a-(a2)
+a^{v0}_{a0} b^{v1}_{a1} c^{a2,a3}_{v0,v1} gamma1^{a1}_{a3} gamma1^{a0}_{a2}
+1/2 a^{v0}_{a0} b^{v1}_{a1} c^{a2,a3}_{v0,v1} lambda2^{a0,a1}_{a2,a3}
+1/2 a^{v0}_{a0} b^{v1}_{a1} c^{a2,a3}_{v2,v3} gamma1^{a1}_{a3} gamma1^{a0}_{a2} a+(v2) a+(v3) a-(v1) a-(v0)
+1/4 a^{v0}_{a0} b^{v1}_{a1} c^{a2,a3}_{v2,v3} lambda2^{a0,a1}_{a2,a3} a+(v2) a+(v3) a-(v1) a-(v0)
-a^{v0}_{a0} b^{v2}_{a1} c^{a2,a3}_{v1,v2} gamma1^{a1}_{a3} gamma1^{a0}_{a2} a+(v1) a-(v0)
-1/2 a^{v0}_{a0} b^{v2}_{a1} c^{a2,a3}_{v1,v2} lambda2^{a0,a1}_{a2,a3} a+(v1) a-(v0)
+a^{v0}_{a0} b^{v1}_{a2} c^{a1,a3}_{v0,v1} gamma1^{a2}_{a3} a+(a0) a-(a1)
-a^{v0}_{a0} b^{v2}_{a2} c^{a1,a3}_{v1,v2} gamma1^{a2}_{a3} a+(a0) a+(v1) a-(v0) a-(a1)
+a^{v2}_{a0} b^{v0}_{a1} c^{a2,a3}_{v1,v2} gamma1^{a1}_{a3} gamma1^{a0}_{a2} a+(v1) a-(v0)
+1/2 a^{v2}_{a0} b^{v0}_{a1} c^{a2,a3}_{v1,v2} lambda2^{a0,a1}_{a2,a3} a+(v1) a-(v0)
+a^{v2}_{a0} b^{v0}_{a2} c^{a1,a3}_{v1,v2} gamma1^{a2}_{a3} a+(a0) a+(v1) a-(v0) a-(a1)
-a^{v0}_{a2} b^{v1}_{a0} c^{a1,a3}_{v0,v1} gamma1^{a2}_{a3} a+(a0) a-(a1)
+a^{v0}_{a2} b^{v2}_{a0} c^{a1,a3}_{v1,v2} gamma1^{a2}_{a3} a+(a0) a+(v1) a-(v0) a-(a1)
-a^{v2}_{a2} b^{v0}_{a0} c^{a1,a3}_{v1,v2} gamma1^{a2}_{a3} a+(a0) a+(v1) a-(v0) a-(a1)