{ 1*k3*x1 + 1*k3*x2 + 1*k3*x4 + 1*k3*x5 + 1*k3*x6 + 1*k3*x7 + 1*k3*x11 + 1*k3*x12 + 1*k3*x13 + 1*k3*x14 + 1*k3*x15 + 1*k3*x16 = k3*k50,
  1*k3*x3 + 1*k3*x4 + 1*k3*x5 + 2*k3*x6 + 2*k3*x7 + 1*k3*x9 + 2*k3*x10 + 1*k3*x11 + 1*k3*x12 + 2*k3*x15 + 2*k3*x16 = k3*k51,
  1*k3*x8 + 1*k3*x9 + 1*k3*x10 + 1*k3*x11 + 1*k3*x12 + 1*k3*x13 + 1*k3*x14 + 1*k3*x15 + 1*k3*x16 = k3*k52,
  1*k3*x17 + 1*k3*x18 = k3*k53,
  1*k3*x20 + 1*k3*x21 = k3*k54 }