# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: e84919ddad070259440668007e81fdfd82767da8
uuid: 6e82d2ea-dbce-413d-88fb-1049527d1222
input_heaps:
b8a6b7f3ead9e69e49adda3f314835db8ecb2a6f
88a6ad11863aa7909374441b2475843141e4c25c
552febf4a19cbb3390ea39f0048d13fdd628dfb4


