# isabelle_session_info

session_name: GoedelGod
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
3fd30d99aed4ea85cb84e571147c0b79ca02596b
cb8c60028e55824850818d8c962b053b2584f167
e2733f0fc00a579deaa11b93b1653e44b64e4fc0


