-1/12 a^{c1,c2}_{c0,c3} b^{c3,v0,v1,v2}_{} a+(c0) a-(v2) a-(v1) a-(v0) a-(c2) a-(c1)