# isabelle_session_info

session_name: HOL-UNITY
sources: 1d8e3d92ac05686b3a4827bf5b346962e5a8e5eb
input_heaps:
d6c847931405fa336fce077665f38125e2e96ac1
91c0565cebcc5e75b6ce0f995c80e54f320cc221
23479072d12535e7a427f45af43c7f53593218e7
b1de9e728e958b5dcb4c27b61820ed2b51d25793


