# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: b1761ec50ff1b46b1401265dcb2e35032165a8df
uuid: 339996f8-ff1b-4e81-8a87-c479b720240f
input_heaps:
cb1b65c467ef552552ff2e51a2d5ffb63afd4758
b8a02a834d8fbee8ac02bc0db66ecdd69ead8168
25e8952427158bd8136bea860de6917f9b748a80


