-1/2 a^{v2,v6}_{v0,v1} b^{v4,v7}_{v3,v6} c^{v5}_{v7} a+(v0) a+(v1) a+(v3) a-(v5) a-(v4) a-(v2)
+1/4 a^{v4,v5}_{v0,v1} b^{v2,v6}_{v4,v5} c^{v3}_{v6} a+(v0) a+(v1) a-(v3) a-(v2)
+1/4 a^{v6,v7}_{v0,v1} b^{v3,v4}_{v2,v6} c^{v5}_{v7} a+(v0) a+(v1) a+(v2) a-(v5) a-(v4) a-(v3)
+1/8 a^{v6,v7}_{v0,v1} b^{v2,v3}_{v6,v7} c^{v5}_{v4} a+(v0) a+(v1) a+(v4) a-(v5) a-(v3) a-(v2)