1/2 a^{a0}_{c0} b^{a3,v0}_{a1,a2} c^{c0}_{v0} a+(a1) a+(a2) a-(a3) a-(a0)
+1/2 a^{a0}_{c0} b^{a3,v0}_{a1,a2} c^{c0}_{v0} lambda2^{a1,a2}_{a0,a3}
+1/2 a^{a0}_{c0} b^{a3,v0}_{a1,a2} c^{c1}_{v0} lambda2^{a1,a2}_{a0,a3} a+(c0) a-(c1)
-1/2 a^{a0}_{c0} b^{a3,v0}_{a1,a2} c^{c0}_{v1} lambda2^{a1,a2}_{a0,a3} a+(v1) a-(v0)
-1/2 a^{a0}_{c0} b^{a3,v0}_{a1,a2} c^{c1}_{v1} lambda2^{a1,a2}_{a0,a3} a+(c0) a+(v1) a-(v0) a-(c1)
+a^{a2}_{c0} b^{a1,v0}_{a0,a3} c^{c0}_{v0} eta1^{a3}_{a2} a+(a0) a-(a1)
+a^{a2}_{c0} b^{a1,v0}_{a0,a3} c^{c1}_{v0} eta1^{a3}_{a2} a+(c0) a+(a0) a-(a1) a-(c1)
-a^{a2}_{c0} b^{a1,v0}_{a0,a3} c^{c0}_{v1} eta1^{a3}_{a2} a+(a0) a+(v1) a-(v0) a-(a1)