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