1/12 a^{v1}_{c0,c1,v0} b^{}_{c2,c3,c4,c5} c^{c3,c4,c5}_{} a+(c0) a+(c1) a+(c2) a+(v0) a-(v1)
+1/24 a^{v1}_{c0,c1,v0} b^{}_{c2,c3,c4,c7} c^{c5,c6,c7}_{} a+(c0) a+(c1) a+(c2) a+(c3) a+(c4) a+(v0) a-(v1) a-(c6) a-(c5)
+1/8 a^{v1}_{c0,c1,v0} b^{}_{c2,c3,c5,c6} c^{c4,c5,c6}_{} a+(c0) a+(c1) a+(c2) a+(c3) a+(v0) a-(v1) a-(c4)
+1/4 a^{v1}_{c0,c3,v0} b^{}_{c1,c2,c4,c5} c^{c3,c4,c5}_{} a+(c0) a+(c1) a+(c2) a+(v0) a-(v1)
-1/6 a^{v1}_{c0,c5,v0} b^{}_{c1,c2,c3,c6} c^{c4,c5,c6}_{} a+(c0) a+(c1) a+(c2) a+(c3) a+(v0) a-(v1) a-(c4)
+1/48 a^{v1}_{c0,c7,v0} b^{}_{c1,c2,c3,c4} c^{c5,c6,c7}_{} a+(c0) a+(c1) a+(c2) a+(c3) a+(c4) a+(v0) a-(v1) a-(c6) a-(c5)
+1/12 a^{v1}_{c3,c4,v0} b^{}_{c0,c1,c2,c5} c^{c3,c4,c5}_{} a+(c0) a+(c1) a+(c2) a+(v0) a-(v1)
+1/48 a^{v1}_{c5,c6,v0} b^{}_{c0,c1,c2,c3} c^{c4,c5,c6}_{} a+(c0) a+(c1) a+(c2) a+(c3) a+(v0) a-(v1) a-(c4)