b07c572bebb4f4a33d72f521677d4001  lispref.info-32.gz