# isabelle_session_info

session_name: HOL-Homology
sources: f8eab9b1abfef45455f84a2d82cfbbb1a0461f3f
uuid: 3c1e94a4-97d2-4f39-94c7-d9c9a9cf306e
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
03895f53ca8b25490bb1c4af7fe022ffd2f990a0


