# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: b40713d383bfbea46e850d0c8926d27f62bd55c6
uuid: a3e74b42-9c9d-4884-a2b3-8ca0a68de5ee
input_heaps:
8df50127213185778a4a4c5b050bef9240f77dfd
3d3019e1afe9b4e31646789899316f60ddaff486
7eace07713fee785451aa00270acdf2bbbcfbb37


