# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 6d18cb19a2472bde71e77f9d30c4bd81047454d8
output_heap: 26944839c8d52769a23d013e1e0bab38151b6cec
uuid: 911cf16c-65a0-452d-b5eb-8eb0cf0bc59e
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
664498a91e20fd5c0b811316370a5baa6b5ad5b8


