# isabelle_session_info

session_name: HOL-UNITY
sources: dea8cc2f42a17b0e25d729093327d67eea00d041
input_heaps:
e7fc28fdd000a6a43da8beffa0fdf0252dd408c4
481d810fe6ad6cfb0b1e2ecee5def91c00401e8b
374a22b68ae9c751c8864e23e93d7421f48308be
81dc9893ffe714f6e30c30f474f0211787378db4


