# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 9a547d9f9f3034fbd20250dca5950a9c404491b2
input_heaps:
1f11aeb0b5cb58822b61789e97e7af2cf416f0f7
064d95192f7eed013868891c67a843698304438a
cab8f060c521325a607e5fcabfe675ff074fef84


