# isabelle_session_info

session_name: HOL-Auth
sources: 3020236011dffee8b3d26f1ae7cc841d1449ee16
output_heap: abca5f4649b1ee9acbd351232025d40aefb18988
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
4635c60c913dcc5f9239b81dba841b472bc64dcd


