{ 1*k16*x2 + 1*k16*x7 + 1*k16*x8 + 1*k16*x9 + 1*k16*x10 = k16*k17,
  1*k16*x3 + 1*k16*x8 + 1*k16*x9 + 1*k16*x10 + 1*k16*x11 + 1*k16*x12 = k16*k18,
  1*k16*x4 + 1*k16*x13 = k16*k19,
  1*k16*x5 + 1*k16*x14 = k16*k20,
  1*k16*x5 + 1*k16*x15 = k16*k21,
  1*k16*x6 + 1*k16*x16 = k16*k22,
  1*k16*x6 + 1*k16*x17 = k16*k23 }