# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 11be044ff38af385d04cd228e7b0a3fc39d7b859
output_heap: 6a619aaa1be2acf7fe2db5452f4e18cbeb279303
uuid: 07d2b46d-eeb5-4409-a8fd-7f057933ee83
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
d43081aa673ccdf53d10d7c27ed9961c48a58124


