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