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