[ Eq(1*k3*x1 + 1*k3*x3 + 1*k3*x12 + 1*k3*x13 + 1*k3*x15 + 1*k3*x16 + 1*k3*x17, k3*k38),
  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*k39),
  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*k40),
  Eq(1*k3*x4 + 1*k3*x6 + 1*k3*x8 + 1*k3*x11 + 1*k3*x12 + 1*k3*x16, k3*k41),
  Eq(1*k3*x5 + 1*k3*x10 + 1*k3*x11 + 1*k3*x14 + 1*k3*x15 + 1*k3*x16 + 1*k3*x17, k3*k42) ]