Source files:
------------------------------------
  CODE LINES:
  131409 lines,   5853892 characters
  COMMENT LINES:
   70581 lines,   4220190 characters
  BLANK LINES:
   30009 lines,     30009 characters
  TOTAL:
  231999 lines,  10104091 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  117541 lines,   5163508 characters
------------------------------------