# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: e6f5ef61ba300f26162fea65bdaf233ceeccab19
uuid: 4f51fb93-b7c4-44ad-bb3f-c87274e22cea
input_heaps:
9b8ffe94a37cb7ae88c6a0b5fa799ce2b573a390
5d260ccc8b85a4358fed6437849656cd81132922
b24a937af34d5e6655efa8b22f7035ed877a2bb0


