{ 1*k3*x1 + 1*k3*x3 + 1*k3*x12 + 1*k3*x13 + 1*k3*x15 + 1*k3*x16 + 1*k3*x17 = k3*k38,
  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,
  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,
  1*k3*x4 + 1*k3*x6 + 1*k3*x8 + 1*k3*x11 + 1*k3*x12 + 1*k3*x16 = k3*k41,
  1*k3*x5 + 1*k3*x10 + 1*k3*x11 + 1*k3*x14 + 1*k3*x15 + 1*k3*x16 + 1*k3*x17 = k3*k42 }