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