# isabelle_session_info

session_name: HOL-UNITY
sources: 49af57b014643a19c4d266ca170bed3259e9a779
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
ece0ecac6cb47571656629e2d5f9b74ce639f4b3


