# isabelle_session_info

session_name: HOL-Auth
sources: 0f30de7101af4a5af2a35700c02ae34d06d1ac95
output_heap: 5544449cc23319d497ab970840598366cf3e83fb
input_heaps:
6c60686a775c17b128fd9cd71424693ae23fa627
4ff4ab262683e151508a9833c0dc0c10d1ef6532
80471069f2c44ce5bfd043de38dc35abf5b77c3f


