!7

p {
  File tripelizedDir = programDir(#1010745, "tripelized");
  new Set<S> ids;
  ids.addAll(collect('globalID, webs_readTripleFile(new File(tripelizedDir, "triples.gz"))));
  ids.addAll(collect('globalID, readWebsLog(new File(tripelizedDir, "webs-made.new.gz"))));
  print("Have " + n(ids, "id"));
}