# isabelle_session_info

session_name: GoedelGod
input_heaps: e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
sources:
3fd30d99aed4ea85cb84e571147c0b79ca02596b
cb8c60028e55824850818d8c962b053b2584f167
cc2a3a4065fae604f80b8a0c4114f9999701c849


