# isabelle_session_info

session_name: HOL-TLA
input_heaps: 8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3 d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
output_heap: 3e5e69ab4db0c5555230db4693bc0a6e47966199
sources:
3cbe8f730d07ae9d2aa6d138c6a15a8289207d97
6352ed98074901473c7b4874a38fc3eca1da32cd
789fe8f172cce808830bc78b137ccb130574da8d
86725802d66c3a60d906aee4620517b27c8dbee9
d229d0337d2f53f6fd206279a2f30e462eae64df
e1434cbf7c0481841376fced7edaa3be024aa89a


