# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 0584c8bb35a83e6e60afc4a6fe05f5c893a8944a
output_heap: 153946ad86a6dd61f46ad7f68c4a28944e6a994c
uuid: d84fdfb3-0399-494a-a4ad-f9e80af2419c
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1262cc5026584a10c127e9b3af4f4ef395f988dc


