[ 1*k[45]*x[1] + 1*k[45]*x[2] + 1*k[45]*x[4] + 1*k[45]*x[13] + 1*k[45]*x[14] + 1*k[45]*x[26] = k[45]*k[46],
  1*k[45]*x[2] + 1*k[45]*x[3] + 1*k[45]*x[5] = k[45]*k[47],
  1*k[45]*x[5] + 1*k[45]*x[6] + 1*k[45]*x[7] + 1*k[45]*x[9] + 1*k[45]*x[14] + 1*k[45]*x[16] + 1*k[45]*x[19] + 1*k[45]*x[21] + 1*k[45]*x[27] + 1*k[45]*x[29] + 1*k[45]*x[31] = k[45]*k[48],
  1*k[45]*x[8] + 1*k[45]*x[9] + 1*k[45]*x[10] + 1*k[45]*x[12] + 1*k[45]*x[13] + 1*k[45]*x[14] + 1*k[45]*x[25] = k[45]*k[49],
  1*k[45]*x[11] + 1*k[45]*x[12] + 1*k[45]*x[18] + 1*k[45]*x[20] + 1*k[45]*x[21] + 1*k[45]*x[23] + 1*k[45]*x[28] + 1*k[45]*x[32] = k[45]*k[50],
  1*k[45]*x[15] + 1*k[45]*x[16] + 1*k[45]*x[17] + 1*k[45]*x[18] + 1*k[45]*x[19] + 1*k[45]*x[21] + 1*k[45]*x[31] = k[45]*k[51],
  1*k[45]*x[22] + 1*k[45]*x[23] + 1*k[45]*x[24] = k[45]*k[52],
  1*k[45]*x[29] + 1*k[45]*x[30] + 1*k[45]*x[31] = k[45]*k[53],
  1*k[45]*x[32] + 1*k[45]*x[33] = k[45]*k[54] ]