# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 9361a00eb2ae0033eee6749980337a163f0ba5a7
output_heap: 579d4ecc1bfac188cedfe68bfba80e28c7bc65c9
uuid: d743ed53-663a-46a3-8c3a-0c34d6ceb8be
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
0e35e761c765ebc4bd583aeca7032f08719dc8fe


