# isabelle_session_info

session_name: HOL-Homology
sources: 03ffeb015b755ddbcc6c922beb8eeca71f0f5fb2
uuid: c0b75c47-872c-43ec-9078-1d9868881880
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
61922927eff264256cef39abfe9f390e5ed59c94


