# isabelle_session_info

session_name: HOL-Complex_Analysis
sources: fbf248168b45f82134896143b79eb1db87ad3657
uuid: 441fb2a0-01c3-43a8-bf5b-a66ea30fd002
input_heaps:
7494db69a56d704462c0c0f0c662958fd44be986
d35569da02f94f5ff7cd2e9c664d515de3feb2e3
6205254c99d87ce4d055b232b011219dd2fc7b83


