# isabelle_session_info

session_name: HOL-Algebra
sources: a8d62f65c100cc512b5c8ccb6b244340e6da5bb3
output_heap: 007b25413ffe143923aac01d30b37a68b4ec7d11
uuid: 364944c9-1869-40ec-9a4e-03ecd22a4ef4
input_heaps:
ba7702c126855af99502b531f1cc5642fad9a467
255f2c506c9d955748a5ac0e37edfa82969b4ab5
44d1d1ea000e17fdf2d7a7463ffe2e37eed0523b
4b4f2600797d40d1f06d80f5b486138480c9f9b5


