# isabelle_session_info

session_name: HOL-UNITY
sources: 5d17a09ef97ccb93ef794646f3530968bd96bf74
uuid: 4b344127-4b22-448d-bfe0-5943bb13f56e
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
97f2e9de79630fc912ecfc33864d6ff50fc31657


