{ 1*k15*x1 + 1*k15*x2 + 1*k15*x3 + 1*k15*x5 = k15*k16,
  1*k15*x4 + 1*k15*x5 = k15*k17,
  1*k15*x5 + 1*k15*x6 + 1*k15*x8 = k15*k18,
  1*k15*x7 + 1*k15*x9 + 1*k15*x10 + 1*k15*x11 = k15*k19 }