# isabelle_session_info

session_name: HOL-UNITY
sources: fc78dc5a602de7385b45ad1a7e902dea79f0214a
uuid: c1f961e0-edca-4d91-8879-f12443a10cb4
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
c3e2ea981e28873b4afc853422cc8c03934cb515


