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