# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 462807fd82ac018ae93c5e1adbf8bbff00e10966
uuid: 785f1ca3-eada-4830-b3d5-6523dcc636f1
input_heaps:
611cdb6c5329e67e3840a4eaaf7a9c12741c22c6
7d4ddc2c6925c8c40fb13abdefeeabe718661ab5
19a7243e01106dbeb64ffe83032c33db3c717be6


