# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 65334a3c229b79230b6a31d9f7542737a038c890
input_heaps:
244fff9626586a47cf219a42d65621cd04b99d5d
ffc040b6ffcc8a36a19cb39cf7a22fb8637d0a4c
3ad704d294b7395a8faa1514386682193cc5fc59


