# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: c0bfb88c393fa65780458cdd4c0d657e31c0620b
uuid: e8e3b384-8d3a-4e42-ba2c-593ddc46541e
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
6ae96e8cfcdcf10185a453bf93fc554854efc2bd


