# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 8075798d9a989942a7058ee2e9c628a1d3b29f48
output_heap: e717eb88d9201000411133c3ec3561a398651885
uuid: dda0f709-3be7-43c7-8681-f9abe0016b20
input_heaps:
a83808b3788421fa6650b3496db1ebdc1822b504
4443c0941841896475be8c25a7bae5d657ad435f
d32428f0d0951a8172726af4fc09c4ef986a2b00


