# isabelle_session_info

session_name: HOL-Algebra
sources: 4024b42ee061a03c9535939a4d88a80b963dd0c2
output_heap: bb9af4e00121fe492d4cc3040b71986d79d12024
input_heaps:
f7b4b33949eadf68a640de5d1913d11bbf106da0
124babcbd0240873887a6fa5acb6690168ad45f5
e281d9a67ec1f1f93a30b94ffdfc76c8fec76319
8a932c22d9be18fb036e8e8e8c5279d43f2b7947


