[ 1*k[223]*x[5] + 1*k[223]*x[6] + 1*k[223]*x[7] + 1*k[223]*x[8] + 1*k[223]*x[9] + 1*k[223]*x[10] + 1*k[223]*x[17] + 1*k[223]*x[18] + 1*k[223]*x[58] = k[223]*k[247],
  1*k[223]*x[9] + 1*k[223]*x[10] + 1*k[223]*x[18] + 1*k[223]*x[23] + 1*k[223]*x[25] + 1*k[223]*x[57] = k[223]*k[248],
  1*k[223]*x[9] + 1*k[223]*x[10] + 1*k[223]*x[18] + 1*k[223]*x[24] + 1*k[223]*x[25] + 1*k[223]*x[57] + 1*k[223]*x[59] = k[223]*k[249],
  1*k[223]*x[11] + 1*k[223]*x[12] + 1*k[223]*x[13] + 1*k[223]*x[14] + 1*k[223]*x[15] + 1*k[223]*x[16] + 1*k[223]*x[19] + 1*k[223]*x[60] = k[223]*k[250],
  1*k[223]*x[15] + 1*k[223]*x[16] + 1*k[223]*x[20] + 1*k[223]*x[53] = k[223]*k[251],
  1*k[223]*x[15] + 1*k[223]*x[16] + 1*k[223]*x[20] + 1*k[223]*x[54] = k[223]*k[252],
  1*k[223]*x[21] + 1*k[223]*x[22] + 1*k[223]*x[55] = k[223]*k[253],
  1*k[223]*x[26] + 1*k[223]*x[27] + 1*k[223]*x[28] + 1*k[223]*x[50] = k[223]*k[254],
  1*k[223]*x[28] + 1*k[223]*x[29] + 1*k[223]*x[51] = k[223]*k[255],
  1*k[223]*x[30] + 1*k[223]*x[50] = k[223]*k[256],
  1*k[223]*x[31] + 1*k[223]*x[51] + 1*k[223]*x[52] = k[223]*k[257],
  1*k[223]*x[55] + 1*k[223]*x[56] = k[223]*k[258],
  1*k[223]*x[61] + 1*k[223]*x[63] + 1*k[223]*x[64] + 1*k[223]*x[65] + 1*k[223]*x[66] + 1*k[224]*x[75] + 1*k[224]*x[76] = k[223]*k[259] + k[224]*k[260],
  1*k[224]*x[72] + 1*k[224]*x[73] + 1*k[224]*x[74] = k[224]*k[261] ]