# isabelle_session_info

session_name: HOL-Algebra
sources: 05b05878086f80640accd83ed3e62bfffebb5ac8
output_heap: 797e8e0c39d6af4a47a94523d15f698045be8555
uuid: 2cb594fe-debc-436d-b0ea-d9826c2e63d8
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66
a3e00a75176ffb3a4926f71b13743c4095a76aed


