# isabelle_session_info

session_name: HOL-Computational_Algebra
sources: 64729a1cdcae2de6c874221046508ab34995352a
output_heap: 08554f06c802c2e23c668f6831ce5f29bec43d1f
uuid: 4566731b-c34e-4e09-a308-d7ffa2d7bab8
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b


