[ x[9] = 1/2*(k[2] - (x[2] + x[3] + x[4] + x[5] + x[6])),
  5670*k[3]*x[1] + 2835*k[3]*x[2] + 2835*k[3]*x[3] + 2835*k[3]*x[4] + 2835*k[3]*x[5] + 2835*k[3]*x[6] = k[3]*k[25],
  1*k[3]*x[6] + 1*k[3]*x[7] = k[3]*k[26] ]