# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 564a4042ade05bc1834d4f54f1b851db9ff9c758
input_heaps:
76577b18008530e07593d17b9b98e73a9f0ad7de
40a3057232eda93f4e99a0cc1fca62ebf7c1e395
362b5def60c63532e1198f3fb9319ad1427d216d


