[ Eq(1*x2 + 1*x3 + 1*x4 + 1*x5 + 1*x9 + 1*x10 + 1*x11, k34 + k33 + k32), Eq(1*x6 + 1*x7 + 1*x8, k35), Eq(1*x12 + 1*x13, k36) ]