# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 3907a059feea3024f7ce7e3409aea0cb85b0faa2
output_heap: 241b8dafd9f13f40deef419782260fabff47b550
uuid: cfac893d-3821-4de4-b2c3-35c058021e78
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5


