# isabelle_session_info

session_name: HOL-UNITY
sources: e68fe2653024b40e3dc7e5f5a1655cc23327a21b
uuid: 2ff12483-c59d-432f-9ab2-ce0325137751
input_heaps:
993eb6fa3b516fdd7b7b2572ecff8a2946f70eb4
81855fd54aebed115a45643a126470a727632716
90ec3adae3cf670ef3e74dd2860ddf55f42b5f4a


