!7

p {
  File f = loadLibrary(#1200000);
  L<S> names = endingWithIC(".ctx", listFilesInZip(f));
  for (S name : names) {
    L<S> lines = lines(loadTextFileFromZip(f, name));
    print(name + ": " + n(lines, "lines"));
    L<S> rules = [S s : lines | javaTokC(s).contains("RULE") ];
    for (S rule : rules)
      pnl("  RULE: " + rule);
  }
}