Source files:
------------------------------------
  CODE LINES:
  124125 lines,   5519483 characters
  COMMENT LINES:
   62001 lines,   3713849 characters
  BLANK LINES:
   26925 lines,     26940 characters
  TOTAL:
  213051 lines,   9260272 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  104180 lines,   4573832 characters
------------------------------------
