# isabelle_session_info

session_name: HOL-TLA-Buffer
sources: 5a66a52a3ae099eba86d5d0583a2c4b183f2b097
input_heaps:
c3eed4da8d2aaf2ad54b900993bdd6f7717404e6
f5ae9f289847647563f612b35004c35ff6735c80
49246497a0dc5aa5db7223466a1c8a2a9f4bf57c


