!7

p {
  Set<S> inv = ai_invalidatedWebs();
  int n = 0, invCount = 0;
  for (Web web : ai_triplesMadeByProgram(#1010745)) {
    if (containsNotNull(inv, web.globalID)) {
      print("Invalid >> " + web.globalID);
      ++invCount;
    }
    ++n;
  }
  print(n + " / " + invCount + " (of " + l(inv) + ")");
}