!7

p {
  Set<S> inv = ai_invalidatedWebs();
  int n = 0, ids = 0;
  for (S s : scanLog_iterator(programFile(#1010745, "webs-made.txt"))) {
    S id = first(ai_tok_scanForGlobalIDs(s));
    if (inv.contains(id)) {
      print("Invalid >> " + id);
      ++invCount;
    }
    ++n;
  }
  print(n + " / " + invCount);
}