[ Eq(1*k2*x1 + 1*k2*x3 + 1*k2*x9 + 1*k2*x10 + 1*k2*x11 + 1*k2*x12 + 1*k2*x14 + 1*k2*x16 + 1*k2*x17 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x23, k2*k28),
  Eq(1*k2*x2 + 1*k2*x3 + 1*k2*x9 + 1*k2*x10 + 1*k2*x11 + 1*k2*x12 + 1*k2*x14 + 1*k2*x16 + 1*k2*x17 + 1*k2*x19 + 1*k2*x20 + 1*k2*x21 + 1*k2*x22 + 1*k2*x23, k2*k29),
  Eq(2*k2*x4 + 1*k2*x5 + 2*k2*x9 + 2*k2*x10 + 2*k2*x11, k2*k30),
  Eq(1*k2*x6 + 1*k2*x7 + 1*k2*x10, k2*k31),
  Eq(1*k2*x7 + 1*k2*x8 + 1*k2*x10 + 1*k2*x11 + 1*k2*x12 + 1*k2*x14 + 1*k2*x15 + 2*k2*x16 + 2*k2*x17 + 2*k2*x19 + 3*k2*x20 + 3*k2*x21 + 3*k2*x22, k2*k32),
  Eq(1*k2*x13 + 1*k2*x14 + 1*k2*x16 + 1*k2*x17 + 1*k2*x20 + 1*k2*x21, k2*k33),
  Eq(1*k2*x15 + 1*k2*x16 + 1*k2*x18 + 1*k2*x20, k2*k34) ]