# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 996fe6d234f0a75867f84dd7d84b9bc9eea7337c
uuid: 019c5e08-1bbd-4786-a79f-07c1b152c301
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
b6cfe0e58e3fa3eb1dd50c2c3e7d214340cf2996


