Source files:
------------------------------------
  CODE LINES:
  129425 lines,   5752780 characters
  COMMENT LINES:
   66694 lines,   3989660 characters
  BLANK LINES:
   28636 lines,     28655 characters
  TOTAL:
  224755 lines,   9771095 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  109772 lines,   4812594 characters
------------------------------------
