# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: 2a2560afb12b53f8b7a1f2f17b472bf047910b14
uuid: 6cd7ea74-4f4a-4bcf-b50e-9ecb647e9543
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
e1558466c887aa749a82b7e2dd815f7c54a8ce59


