# isabelle_session_info

session_name: HOL-UNITY
sources: 64a7574d3de8dae8e5ed5f8312ea71f01058de85
input_heaps:
273806c095935afc4dbdd0f3af3457e74b254003
78173b8cac9a501f394ea1a1e14f166435a9dce2
6590fd47b5e016f0b890d4e129ee954b1bc04f25


