[ 1*k[223]*x[4] + 1*k[223]*x[32] + 1*k[223]*x[33] + 1*k[223]*x[50] + 1*k[223]*x[52] + 1*k[223]*x[53] + 1*k[223]*x[59] = k[223]*k[224],
  1*k[223]*x[5] + 1*k[223]*x[50] + 1*k[223]*x[59] = k[223]*k[225],
  1*k[223]*x[6] + 1*k[223]*x[36] = k[223]*k[226],
  1*k[223]*x[7] + 1*k[223]*x[8] + 1*k[223]*x[9] = k[223]*k[227],
  1*k[223]*x[10] + 1*k[223]*x[35] = k[223]*k[228],
  1*k[223]*x[14] + 1*k[223]*x[37] = k[223]*k[229],
  1*k[223]*x[15] + 1*k[223]*x[34] + 1*k[223]*x[38] + 1*k[223]*x[51] = k[223]*k[230],
  1*k[223]*x[16] + 1*k[223]*x[40] = k[223]*k[231],
  1*k[223]*x[17] + 1*k[223]*x[41] = k[223]*k[232],
  1*k[223]*x[18] + 1*k[223]*x[42] = k[223]*k[233],
  1*k[223]*x[19] + 1*k[223]*x[39] = k[223]*k[234],
  1*k[223]*x[20] + 1*k[223]*x[48] + 1*k[223]*x[52] + 1*k[223]*x[59] = k[223]*k[235],
  1*k[223]*x[21] + 1*k[223]*x[58] + 1*k[223]*x[61] = k[223]*k[236],
  1*k[223]*x[22] + 1*k[223]*x[53] = k[223]*k[237],
  1*k[223]*x[23] + 1*k[223]*x[43] = k[223]*k[238],
  1*k[223]*x[24] + 1*k[223]*x[44] = k[223]*k[239],
  1*k[223]*x[25] + 1*k[223]*x[45] + 1*k[223]*x[54] = k[223]*k[240],
  1*k[223]*x[26] + 1*k[223]*x[46] = k[223]*k[241],
  1*k[223]*x[27] + 1*k[223]*x[47] + 1*k[223]*x[55] = k[223]*k[242] ]