[ 1*k[2]*x[1] + 1*k[2]*x[3] + 1*k[2]*x[9] + 1*k[2]*x[10] + 1*k[2]*x[11] + 1*k[2]*x[12] + 1*k[2]*x[14] + 1*k[2]*x[16] + 1*k[2]*x[17] + 1*k[2]*x[19] + 1*k[2]*x[20] + 1*k[2]*x[21] + 1*k[2]*x[22] + 1*k[2]*x[23] = k[2]*k[28],
  1*k[2]*x[2] + 1*k[2]*x[3] + 1*k[2]*x[9] + 1*k[2]*x[10] + 1*k[2]*x[11] + 1*k[2]*x[12] + 1*k[2]*x[14] + 1*k[2]*x[16] + 1*k[2]*x[17] + 1*k[2]*x[19] + 1*k[2]*x[20] + 1*k[2]*x[21] + 1*k[2]*x[22] + 1*k[2]*x[23] = k[2]*k[29],
  2*k[2]*x[4] + 1*k[2]*x[5] + 2*k[2]*x[9] + 2*k[2]*x[10] + 2*k[2]*x[11] = k[2]*k[30],
  1*k[2]*x[6] + 1*k[2]*x[7] + 1*k[2]*x[10] = k[2]*k[31],
  1*k[2]*x[7] + 1*k[2]*x[8] + 1*k[2]*x[10] + 1*k[2]*x[11] + 1*k[2]*x[12] + 1*k[2]*x[14] + 1*k[2]*x[15] + 2*k[2]*x[16] + 2*k[2]*x[17] + 2*k[2]*x[19] + 3*k[2]*x[20] + 3*k[2]*x[21] + 3*k[2]*x[22] = k[2]*k[32],
  1*k[2]*x[13] + 1*k[2]*x[14] + 1*k[2]*x[16] + 1*k[2]*x[17] + 1*k[2]*x[20] + 1*k[2]*x[21] = k[2]*k[33],
  1*k[2]*x[15] + 1*k[2]*x[16] + 1*k[2]*x[18] + 1*k[2]*x[20] = k[2]*k[34] ]