# isabelle_session_info

session_name: HOL-Algebra
sources: a8d62f65c100cc512b5c8ccb6b244340e6da5bb3
output_heap: 48365429890f7c224418a8d08cc9967e3e213db8
uuid: b3b0a679-1537-46f6-a736-ec387efaeecf
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d
5075449c25266d48d60ebde163d397c2cfbc4538


