# isabelle_session_info

session_name: HOL-Auth
sources: 3f1b6b646380c5aeb02ffe4ed00e91b00030014e
output_heap: 99bbd5a712ea210ae9f4e28fd1ddd95d152bc624
input_heaps:
ed6caa966bb75077c120e012673453f69d500802
269c54a80d587c3b365ca98028240e5f8391db0a
777cf8dd54e76baf8f45a139697e479ae8b5c1b1


