[ 1*k[2]*x[4] + 1*k[2]*x[6] + 1*k[2]*x[7] + 1*k[2]*x[14] + 1*k[2]*x[43] + 1*k[2]*x[44] + 1*k[2]*x[48] + 1*k[2]*x[50] + 1*k[2]*x[78] + 1*k[2]*x[80] = k[2]*k[242],
  1*k[2]*x[7] + 1*k[2]*x[8] + 1*k[2]*x[14] + 1*k[2]*x[43] + 1*k[2]*x[44] + 1*k[2]*x[48] + 1*k[2]*x[50] + 1*k[2]*x[78] + 1*k[2]*x[80] = k[2]*k[243],
  1*k[2]*x[9] + 1*k[2]*x[10] + 1*k[2]*x[53] = k[2]*k[244],
  1*k[2]*x[11] + 1*k[2]*x[40] + 1*k[2]*x[42] + 1*k[2]*x[58] + 1*k[2]*x[64] + 1*k[2]*x[77] + 1*k[2]*x[79] = k[2]*k[245],
  1*k[2]*x[12] + 1*k[2]*x[22] + 1*k[2]*x[35] + 1*k[2]*x[39] + 1*k[2]*x[40] + 1*k[2]*x[42] + 1*k[2]*x[51] + 1*k[2]*x[52] + 1*k[2]*x[55] + 1*k[2]*x[56] + 1*k[2]*x[58] + 1*k[2]*x[72] + 1*k[2]*x[73] + 1*k[2]*x[75] + 1*k[2]*x[76] + 1*k[2]*x[77] + 1*k[2]*x[79] = k[2]*k[246],
  1*k[2]*x[13] + 1*k[2]*x[18] + 1*k[2]*x[21] + 1*k[2]*x[23] + 1*k[2]*x[34] + 1*k[2]*x[41] + 1*k[2]*x[43] + 1*k[2]*x[44] + 1*k[2]*x[45] + 1*k[2]*x[48] + 1*k[2]*x[49] + 1*k[2]*x[50] + 1*k[2]*x[69] + 1*k[2]*x[70] + 1*k[2]*x[71] + 1*k[2]*x[74] + 1*k[2]*x[78] + 1*k[2]*x[80] = k[2]*k[247],
  1*k[2]*x[15] + 1*k[2]*x[20] + 1*k[2]*x[65] + 1*k[2]*x[89] + 1*k[2]*x[90] + 1*k[2]*x[91] + 1*k[2]*x[92] = k[2]*k[248],
  1*k[2]*x[16] + 1*k[2]*x[37] + 1*k[2]*x[38] + 1*k[2]*x[54] + 1*k[2]*x[61] + 1*k[2]*x[67] + 1*k[2]*x[81] + 1*k[2]*x[82] + 1*k[2]*x[83] + 1*k[2]*x[84] + 1*k[2]*x[85] + 1*k[2]*x[86] + 1*k[2]*x[87] + 1*k[2]*x[88] + 1*k[2]*x[89] + 1*k[2]*x[90] + 1*k[2]*x[91] + 1*k[2]*x[92] = k[2]*k[249],
  1*k[2]*x[17] + 1*k[2]*x[93] + 1*k[2]*x[94] = k[2]*k[250],
  1*k[2]*x[19] + 1*k[2]*x[21] + 1*k[2]*x[22] + 1*k[2]*x[24] + 1*k[2]*x[39] + 1*k[2]*x[40] + 1*k[2]*x[41] + 1*k[2]*x[43] + 1*k[2]*x[44] + 1*k[2]*x[45] + 1*k[2]*x[46] + 1*k[2]*x[49] + 1*k[2]*x[55] + 1*k[2]*x[56] + 1*k[2]*x[58] = k[2]*k[251],
  1*k[2]*x[20] + 1*k[2]*x[27] + 1*k[2]*x[60] + 1*k[2]*x[85] + 1*k[2]*x[86] + 1*k[2]*x[87] + 1*k[2]*x[88] + 1*k[2]*x[89] + 1*k[2]*x[90] + 1*k[2]*x[91] + 1*k[2]*x[92] = k[2]*k[252],
  1*k[2]*x[25] + 1*k[2]*x[53] = k[2]*k[253],
  1*k[2]*x[26] + 1*k[2]*x[59] + 1*k[2]*x[81] + 1*k[2]*x[82] + 1*k[2]*x[83] + 1*k[2]*x[84] = k[2]*k[254],
  1*k[2]*x[28] + 1*k[2]*x[37] + 1*k[2]*x[38] + 1*k[2]*x[62] + 1*k[2]*x[67] + 2*k[2]*x[68] + 1*k[2]*x[83] + 1*k[2]*x[84] + 1*k[2]*x[87] + 1*k[2]*x[88] + 1*k[2]*x[91] + 1*k[2]*x[92] + 1*k[2]*x[93] + 2*k[2]*x[94] = k[2]*k[255],
  1*k[2]*x[30] + 1*k[2]*x[57] + 1*k[2]*x[59] + 1*k[2]*x[60] + 1*k[2]*x[81] + 1*k[2]*x[82] + 1*k[2]*x[83] + 1*k[2]*x[84] + 1*k[2]*x[85] + 1*k[2]*x[86] + 1*k[2]*x[87] + 1*k[2]*x[88] = k[2]*k[256],
  1*k[2]*x[32] + 1*k[2]*x[40] + 1*k[2]*x[42] + 1*k[2]*x[58] + 1*k[2]*x[64] + 1*k[2]*x[77] + 1*k[2]*x[79] = k[2]*k[257] ]