[ x[6] = x[1] + x[3] + x[2] + x[4] + x[5],
  x[7] = x[3] + x[4],
  x[14] = x[11] + x[13],
  x[19] = x[16] + x[15] + x[18],
  x[26] = x[17] + x[18],
  x[27] = x[24] + x[23] + x[22] + x[25],
  x[30] = x[29] + x[28] + x[38] + x[33] + x[37],
  x[34] = x[31] + x[38] + x[33] + x[37],
  x[35] = x[32] + x[37] + x[33],
  x[36] = x[21] + x[20] + x[23] + x[22] + x[25],
  x[39] = x[1] + x[2] + x[5],
  1*k[52]*x[1] + 1*k[52]*x[2] + 1*k[52]*x[3] + 1*k[52]*x[4] + 1*k[52]*x[5] = k[52]*k[53],
  1*k[52]*x[8] + 1*k[52]*x[9] + 1*k[52]*x[10] + 1*k[52]*x[11] + 1*k[52]*x[13] = k[52]*k[54],
  1*k[52]*x[11] + 1*k[52]*x[12] + 1*k[52]*x[13] = k[52]*k[55],
  1*k[52]*x[15] + 1*k[52]*x[16] + 1*k[52]*x[18] = k[52]*k[56],
  1*k[52]*x[17] + 1*k[52]*x[18] = k[52]*k[57],
  1*k[52]*x[20] + 1*k[52]*x[21] + 1*k[52]*x[22] + 1*k[52]*x[23] + 1*k[52]*x[25] = k[52]*k[58],
  1*k[52]*x[22] + 1*k[52]*x[23] + 1*k[52]*x[24] + 1*k[52]*x[25] = k[52]*k[59],
  1*k[52]*x[28] + 1*k[52]*x[29] + 1*k[52]*x[33] + 1*k[52]*x[37] + 1*k[52]*x[38] = k[52]*k[60],
  1*k[52]*x[31] + 1*k[52]*x[33] + 1*k[52]*x[37] + 1*k[52]*x[38] = k[52]*k[61],
  1*k[52]*x[32] + 1*k[52]*x[33] + 1*k[52]*x[37] = k[52]*k[62] ]