# isabelle_session_info

session_name: HOL-Homology
sources: 31196821ae7d0e703d2a10b9f9286cbd58536cc2
input_heaps:
d9de4481ef2a3da825e23b700f29156a5eff2e35
d32b67ad46e3370f7ad64c5a6bfceb2624525a6f
517507e3c1ac3606314d365cd1e9ffa3e974c0a5


