a^{a1}_{a0} b^{v0}_{a2} c^{a3}_{v0} eta1^{a2}_{a1} gamma1^{a0}_{a3}
+a^{a1}_{a0} b^{v0}_{a2} c^{a3}_{v0} gamma1^{a2}_{a3} a+(a0) a-(a1)
+a^{a1}_{a0} b^{v0}_{a2} c^{a3}_{v0} lambda2^{a0,a2}_{a1,a3}
-a^{a1}_{a0} b^{v0}_{a2} c^{a3}_{v1} eta1^{a2}_{a1} gamma1^{a0}_{a3} a+(v1) a-(v0)
-a^{a1}_{a0} b^{v0}_{a2} c^{a3}_{v1} lambda2^{a0,a2}_{a1,a3} a+(v1) a-(v0)
+a^{a2}_{a0} b^{v0}_{a3} c^{a1}_{v0} eta1^{a3}_{a2} a+(a0) a-(a1)
-a^{a0}_{a2} b^{v0}_{a1} c^{a3}_{v0} gamma1^{a2}_{a3} a+(a1) a-(a0)