# isabelle_session_info

session_name: GoedelGod
input_heaps: 735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
sources:
3fd30d99aed4ea85cb84e571147c0b79ca02596b
cb8c60028e55824850818d8c962b053b2584f167
cc2a3a4065fae604f80b8a0c4114f9999701c849


