{ 1*k1*x1 + 1*k1*x2 + 1*k1*x3 + 1*k1*x4 + 1*k1*x6 = k1*k12,
  1*k1*x1 + 1*k1*x2 + 1*k1*x3 + 1*k1*x5 + 1*k1*x6 + 1*k1*x7 = k1*k13,
  1*k1*x2 + 1*k1*x3 + 1*k1*x4 + 1*k1*x6 + 1*k1*x8 = k1*k14,
  1*k1*x2 + 1*k1*x3 + 1*k1*x5 + 1*k1*x6 + 1*k1*x7 + 1*k1*x8 = k1*k15,
  1*k1*x3 + 1*k1*x4 + 1*k1*x6 + 1*k1*x9 + 1*k1*x10 = k1*k16,
  1*k1*x3 + 1*k1*x5 + 1*k1*x6 + 1*k1*x7 + 1*k1*x9 + 1*k1*x10 = k1*k17 }