[ 1*k[115]*x[2] + 1*k[115]*x[15] + 1*k[115]*x[28] + 1*k[115]*x[29] + 1*k[115]*x[31] + 1*k[115]*x[42] + 1*k[115]*x[44] = k[115]*k[116],
  1*k[115]*x[7] + 1*k[115]*x[8] + 1*k[115]*x[9] + 1*k[115]*x[11] + 1*k[115]*x[49] + 1*k[115]*x[54] = k[115]*k[117],
  1*k[115]*x[10] + 1*k[115]*x[11] + 1*k[115]*x[49] = k[115]*k[118],
  1*k[115]*x[12] + 1*k[115]*x[48] + 1*k[115]*x[50] = k[115]*k[119],
  1*k[115]*x[13] + 1*k[115]*x[34] + 1*k[115]*x[36] + 1*k[115]*x[37] + 1*k[115]*x[38] + 2*k[115]*x[39] + 2*k[115]*x[43] = k[115]*k[120],
  1*k[115]*x[14] + 1*k[115]*x[53] = k[115]*k[121],
  1*k[115]*x[15] + 1*k[115]*x[23] + 1*k[115]*x[30] + 1*k[115]*x[32] + 1*k[115]*x[33] + 1*k[115]*x[35] + 1*k[115]*x[36] + 1*k[115]*x[37] + 1*k[115]*x[40] + 1*k[115]*x[44] + 1*k[115]*x[46] + 1*k[115]*x[47] = k[115]*k[122],
  1*k[115]*x[16] + 1*k[115]*x[52] = k[115]*k[123],
  1*k[115]*x[18] + 1*k[115]*x[19] + 1*k[115]*x[21] + 1*k[115]*x[22] + 1*k[115]*x[24] + 1*k[115]*x[45] = k[115]*k[124],
  1*k[115]*x[20] + 1*k[115]*x[21] + 1*k[115]*x[22] + 1*k[115]*x[23] + 1*k[115]*x[24] + 1*k[115]*x[33] + 1*k[115]*x[47] = k[115]*k[125],
  1*k[115]*x[23] + 1*k[115]*x[30] + 1*k[115]*x[33] + 1*k[115]*x[40] + 1*k[115]*x[41] + 1*k[115]*x[46] + 1*k[115]*x[47] = k[115]*k[126],
  1*k[115]*x[25] + 1*k[115]*x[26] + 1*k[115]*x[51] = k[115]*k[127] ]