46cc4287d1153ab4a37b792f83ca8275dc828ace  lispref.info.gz