# isabelle_session_info

session_name: HOL-TLA
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
output_heap: c1fb7eba5c1a3f54ad39e3634f0e5ac8f156c7e3
sources:
3cbe8f730d07ae9d2aa6d138c6a15a8289207d97
4ce7a76320d44a186085073e08b3e2cfe155fa87
6352ed98074901473c7b4874a38fc3eca1da32cd
86725802d66c3a60d906aee4620517b27c8dbee9
d229d0337d2f53f6fd206279a2f30e462eae64df
e1434cbf7c0481841376fced7edaa3be024aa89a


