# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 604ca55177aa347fc680dea4439e8f69c74f3b9c
uuid: 48e5f1cb-c8a7-49f9-99e6-87cf78e4e190
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
f77079c4805bbb614368ae03577ed9130ff71d2c


