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