[ Eq(x3, k1 - x4), Eq(x10, k2 - x11), Eq(x18, k3 - x19) ]