1/8 a^{v0,v1,v2,v3}_{} b^{a0,a1}_{v2,v3} a-(v1) a-(v0) a-(a1) a-(a0)
-1/12 a^{v0,v1,v2,v4}_{} b^{a0,a1}_{v3,v4} a+(v3) a-(v2) a-(v1) a-(v0) a-(a1) a-(a0)