Source files (not including doc.lisp):
------------------------------------
  CODE LINES:
  152034 lines,   6778120 characters
  COMMENT LINES:
   86512 lines,   5237405 characters
  BLANK LINES:
   35768 lines,     35768 characters
  TOTAL:
  274314 lines,  12051293 characters
------------------------------------
Documentation (file books/system/doc/acl2-doc.lisp):
  141514 lines,   6263746 characters
------------------------------------
