-1/12 a^{c2}_{c0,c1,c6} b^{c6}_{c3,c4,c5} a+(c0) a+(c1) a+(c3) a+(c4) a+(c5) a-(c2)