# isabelle_session_info

session_name: HOL-UNITY
sources: e1b64d4b8eb3a752667005c35aa47425e024e505
input_heaps:
7fddbccf8fd3f8ba352491f0609478af9a67de35
30397a6608123bad9ab773becd5f4664d5f8fe91
d8fd4f758690ee88d111319934aff3a37eca5fb0


