[ Eq(1*k3*x1 + 1*k3*x3 + 1*k3*x12 + 1*k3*x13 + 1*k3*x15 + 1*k3*x16 + 1*k3*x17, k3*k52),
  Eq(1*k3*x2 + 1*k3*x3 + 1*k3*x6 + 1*k3*x7 + 1*k3*x10 + 1*k3*x11 + 1*k3*x12 + 1*k3*x13 + 1*k3*x14 + 1*k3*x15 + 1*k3*x16 + 1*k3*x17, k3*k53),
  Eq(1*k3*x4 + 1*k3*x6 + 1*k3*x7 + 1*k3*x9 + 1*k3*x11 + 1*k3*x12 + 1*k3*x13 + 1*k3*x14 + 1*k3*x16 + 1*k3*x17, k3*k54),
  Eq(1*k3*x4 + 1*k3*x6 + 1*k3*x8 + 1*k3*x11 + 1*k3*x12 + 1*k3*x16, k3*k55),
  Eq(1*k3*x5 + 1*k3*x10 + 1*k3*x11 + 1*k3*x14 + 1*k3*x15 + 1*k3*x16 + 1*k3*x17, k3*k56) ]