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