!7

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