# isabelle_session_info

session_name: HOL-UNITY
sources: 04c466d6d728eaa6e2d16d51ce9b42c9bdff0e73
uuid: 47f01a47-fbbc-4e98-8a48-6bacdc59e191
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
83008060fcc9140e56b7d1c3a68e52379a78df85


