[ 1*k[1]*x[1] + 1*k[1]*x[3] + 2*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[7] + 2*k[1]*x[8] + 2*k[1]*x[11] + 2*k[1]*x[13] + 2*k[1]*x[16] + 2*k[1]*x[17] + 2*k[1]*x[19] + 2*k[1]*x[21] = k[1]*k[52],
  1*k[1]*x[2] + 1*k[1]*x[3] + 2*k[1]*x[4] + 2*k[1]*x[5] + 2*k[1]*x[7] + 2*k[1]*x[8] + 2*k[1]*x[11] + 2*k[1]*x[13] + 2*k[1]*x[16] + 2*k[1]*x[17] + 2*k[1]*x[19] + 2*k[1]*x[21] = k[1]*k[53],
  1*k[1]*x[6] + 1*k[1]*x[7] + 1*k[1]*x[8] + 1*k[1]*x[9] + 1*k[1]*x[23] = k[1]*k[54],
  1*k[1]*x[10] + 1*k[1]*x[11] + 1*k[1]*x[13] + 1*k[1]*x[14] + 1*k[1]*x[19] + 1*k[1]*x[20] + 1*k[1]*x[21] + 1*k[1]*x[22] = k[1]*k[55],
  1*k[1]*x[12] + 1*k[1]*x[13] + 1*k[1]*x[14] + 1*k[1]*x[21] + 1*k[1]*x[22] = k[1]*k[56],
  1*k[1]*x[15] + 1*k[1]*x[16] + 1*k[1]*x[17] + 1*k[1]*x[18] + 1*k[1]*x[19] + 1*k[1]*x[20] + 1*k[1]*x[21] + 1*k[1]*x[22] = k[1]*k[57] ]