Source files:
------------------------------------
  CODE LINES:
  129953 lines,   5766458 characters
  COMMENT LINES:
   65134 lines,   3892587 characters
  BLANK LINES:
   28199 lines,     28199 characters
  TOTAL:
  223286 lines,   9687244 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  105708 lines,   4640566 characters
------------------------------------
