# isabelle_session_info

session_name: HOL-UNITY
sources: 9b70a3b9257bbf524d885c2d072aa92493eaa41e
uuid: 366e2163-3855-46c2-9d51-5314199635a3
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
843114edf319b35ddd16226bc79e427f31d77744


