[ 1*k[33]*x[1] + 1*k[28]*x[13] + 1*k[33]*x[22] + 1*k[28]*x[28] + 1*k[28]*x[29] + 1*k[28]*x[30] + 1*k[33]*x[32] + 1*k[31]*x[43] + 1*k[31]*x[44] = k[28]*k[143] + k[31]*k[144] + k[33]*k[142],
  1*k[28]*x[3] + 1*k[31]*x[8] + 1*k[28]*x[26] = k[28]*k[145] + k[31]*k[146],
  1*k[31]*x[5] + 1*k[31]*x[6] + 1*k[31]*x[15] + 1*k[31]*x[27] = k[31]*k[147],
  1*k[31]*x[7] + 1*k[31]*x[10] + 1*k[31]*x[42] = k[31]*k[148],
  1*k[31]*x[8] + 1*k[32]*x[9] + 1*k[28]*x[17] + 1*k[32]*x[20] + 1*k[33]*x[23] + 1*k[28]*x[26] + 1*k[28]*x[31] + 1*k[33]*x[32] + 1*k[29]*x[35] + 1*k[28]*x[40] + 1*k[28]*x[46] = k[28]*k[151] + k[29]*k[153] + k[31]*k[149] + k[32]*k[150] + k[33]*k[152],
  1*k[32]*x[9] + 1*k[32]*x[18] = k[32]*k[154],
  1*k[31]*x[12] + 1*k[31]*x[14] = k[31]*k[155],
  1*k[32]*x[19] + 1*k[32]*x[20] = k[32]*k[156],
  1*k[33]*x[23] + 1*k[33]*x[25] + 1*k[28]*x[45] + 1*k[28]*x[46] = k[28]*k[158] + k[33]*k[157],
  1*k[28]*x[31] + 1*k[33]*x[32] + 1*k[28]*x[38] = k[28]*k[159] + k[33]*k[160],
  1*k[28]*x[36] + 1*k[28]*x[41] + 1*k[31]*x[42] = k[28]*k[161] + k[31]*k[162],
  1*k[28]*x[37] + 1*k[28]*x[41] + 1*k[31]*x[42] = k[28]*k[163] + k[31]*k[164],
  1*k[28]*x[39] + 1*k[28]*x[40] = k[28]*k[165] ]