# isabelle_session_info

session_name: HOL-Algebra
sources: 8a1940c0f220abd109e1f80e4cb3debd9f2b7dbe
output_heap: 723ce23ca615c7198d8d4dc27522e79793c8ae96
uuid: 23151c35-b87d-44e2-a30a-9cd94826acd8
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5
241b8dafd9f13f40deef419782260fabff47b550


