% ...
  Map = new_map(),
  foreach(P in P1) Map.put(P,1) end,
  println(missing7=[P:  P in Perms, not Map.has_key(P)]).