{ 3*k24*x1 + 3*k23*x2 + 9*k24*x4 + 9*k24*x6 + 9*k24*x7 + 9*k23*x10 + 9*k23*x12 + 9*k23*x13 = k23*k26 + k24*k25,
  1*k24*x3 + 1*k24*x5 + 1*k24*x6 + 1*k24*x7 + 1*k23*x9 + 1*k23*x11 + 1*k23*x12 + 1*k23*x13 = k23*k28 + k24*k27,
  1*k24*x4 + 1*k24*x6 + 1*k24*x7 + 1*k24*x8 + 1*k23*x10 + 1*k23*x12 + 1*k23*x13 + 1*k23*x14 = k23*k30 + k24*k29 }