80221ac0725868f1e1141eee8d3debddfe6545fbaf837790953ee30d9085c733  lispref.info-22.gz