# isabelle_session_info

session_name: HOL-Auth
sources: ad871400c3ad8d2df7ff8dc398a2d00972fb13bc
output_heap: 9915976ced029d3e33cc21ed0669c3deb45f1c9b
input_heaps:
62dd5ef845605834f99fd219c6113e6e5d2ead3b
e158806d250ceec2e5c99ef815333151f28fb293
69e6c53cc553f832f80191480af118e89874fb3a


