# isabelle_session_info

session_name: HOL-UNITY
sources: 587e5b92f351f73cecc2d89fc3bca6ea6a56fea4
input_heaps:
5610ccee8d50c8faa0a1915bbb604219e8b432ad
13a2690af0797a50544cd9caf6a410f62a2c356a
e97700af275a380b799e95ff08a94970dab89441


