!7

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