# isabelle_session_info

session_name: HOL-TLA
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
output_heap: 74096f10ade152da5664050a37e244e22f5f579b
sources:
3cbe8f730d07ae9d2aa6d138c6a15a8289207d97
6352ed98074901473c7b4874a38fc3eca1da32cd
86725802d66c3a60d906aee4620517b27c8dbee9
aecf24051f828226a300cada1fe4173558f928fb
d229d0337d2f53f6fd206279a2f30e462eae64df
e1434cbf7c0481841376fced7edaa3be024aa89a


