[ 3*k[24]*x[1] + 3*k[23]*x[2] + 9*k[24]*x[4] + 9*k[24]*x[6] + 9*k[24]*x[7] + 9*k[23]*x[10] + 9*k[23]*x[12] + 9*k[23]*x[13] = k[23]*k[26] + k[24]*k[25],
  1*k[24]*x[3] + 1*k[24]*x[5] + 1*k[24]*x[6] + 1*k[24]*x[7] + 1*k[23]*x[9] + 1*k[23]*x[11] + 1*k[23]*x[12] + 1*k[23]*x[13] = k[23]*k[28] + k[24]*k[27],
  1*k[24]*x[4] + 1*k[24]*x[6] + 1*k[24]*x[7] + 1*k[24]*x[8] + 1*k[23]*x[10] + 1*k[23]*x[12] + 1*k[23]*x[13] + 1*k[23]*x[14] = k[23]*k[30] + k[24]*k[29] ]