[ 1*k[143]*x[3] + 1*k[143]*x[4] = k[143]*k[147],
  1*k[143]*x[5] + 1*k[143]*x[6] = k[143]*k[148],
  1*k[143]*x[7] + 1*k[143]*x[8] = k[143]*k[149],
  1*k[143]*x[10] + 1*k[143]*x[11] + 1*k[143]*x[12] + 1*k[144]*x[30] + 1*k[144]*x[31] + 1*k[144]*x[32] + 1*k[144]*x[40] + 1*k[144]*x[41] + 1*k[144]*x[42] + 1*k[144]*x[43] + 1*k[144]*x[44] + 1*k[144]*x[45] = k[143]*k[150] + k[144]*k[151],
  1*k[143]*x[18] + 1*k[143]*x[19] = k[143]*k[152],
  1*k[143]*x[20] + 1*k[143]*x[21] = k[143]*k[153],
  1*k[143]*x[24] + 1*k[143]*x[25] + 1*k[144]*x[49] = k[143]*k[154] + k[144]*k[155],
  1*k[143]*x[26] + 1*k[143]*x[27] = k[143]*k[156],
  1*k[144]*x[28] + 1*k[144]*x[29] = k[144]*k[157],
  1*k[144]*x[33] + 1*k[144]*x[34] = k[144]*k[158] ]