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