# isabelle_session_info

session_name: HOL-Auth
sources: 353c7f3ed5c1acf64d0bcd3ccb3877154ab336ee
output_heap: 357123bb8d0713ad5512b01c8008048bde19bda6
input_heaps:
04cbdab1f686d7eea03656c087fb6cb51858d69d
f912c7c4bd035c878b5878ea5c558fa4f129fd49
9721597f4d8852322e6c1f69e08ef325199d5509


