# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: ff3f0657f414736af4f50aeb04f975554483c06d
output_heap: 7da0f2bbc0aad37c0df93200f76f2fb1acce1faf
uuid: 64c82817-75e4-4fef-b690-a36ad5f05f7f
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c


