baf3ca49214a6d43801d9f54e58aff6ee5246a4ef823b827aeaecc4397ce3090  lispref.info-13.gz