# isabelle_session_info

session_name: HOL-UNITY
sources: 2a2c06a6d4ba2e32237223f9afa91406c405a3e4
input_heaps:
4e82e6c0bef1be82a2492fb5f5f1be25a3feffbc
e207e4cc91f8bd0aa5ea59721de9d4c9e38fdb88
0205a0f72d6fd71ae6ea4cec1732f601ef16a117


