# isabelle_session_info

session_name: HOL-Homology
sources: 51a3bc4453b4c9e276131c295780dc38f48dec94
uuid: 1f9050c8-1300-4178-aaf8-8c2d6c0e3e76
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
db1006ac0ca087f2b418e0cfbdee4b6a155a42e0


