# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 87b535dc2b618bd833acabd87ebac6160f8ad1d4
uuid: b1e420f5-e64e-44a2-82e5-e61ccc83c283
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
4de4e9096fdfda3a948f092e9eb7394c7756df09


