# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: d4d8bf006545a1649bad2bbc51c82bdf064561a7
uuid: f77a34ac-89d0-46d1-99f2-7c24965cf492
input_heaps:
82ad92dc0dba9d95491b69387d189df653d2761e
1530d97ea51c361acf764a2ef5e711409abf7a87
61922927eff264256cef39abfe9f390e5ed59c94


