# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 87b535dc2b618bd833acabd87ebac6160f8ad1d4
uuid: ee99d43e-7eb5-403d-ba03-596c79de6cd2
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
e8eba6cc5c1809b5e3bda056a209281776fc6929


