# isabelle_session_info

session_name: HOL-Auth
sources: b6caae5ca66ac48385893f79538186ed83b40d9f
output_heap: 933b49372fd543fefcbce72870b5932e836c2965
input_heaps:
63b1f4bc87078c4a404d2432b7da6c3c391c20b7
6b5716f4acaac0c8afde2d74e6603ed46b759ac9
f53d2cd4c8fdc28548614d5662a4e9ad718b3759


