1/12 a^{a1,a2,a3}_{a0} b^{v0,v1,v2}_{a4} eta1^{a4}_{a3} a+(a0) a-(v2) a-(v1) a-(v0) a-(a2) a-(a1)
+1/12 a^{a0,a2,a3}_{a1} b^{v0,v1,v2}_{a4} lambda2^{a1,a4}_{a2,a3} a-(v2) a-(v1) a-(v0) a-(a0)