# isabelle_session_info

session_name: HOL-UNITY
sources: 2464e59cf815a8ac67f6fc41ec889420977e50ab
input_heaps:
2323e0bcf9a949c0980c1f22cb8227d64a922d7b
c4b710fa6d0b34b7df331901656cc5e2aaceba02
6607dfe8900100d7a00a361a4db773934618ce91


