# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 81238dd0d388b94b1736ca9d94babd9ee7ee7c43
output_heap: 5478bd4366029f0fe160f280700ea05e3f792ca0
uuid: 12740baa-dae4-4f59-b507-74437e5ed6b6
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
e0b2413c63513a61c1fc2619cb5656a0d51040f9


