# isabelle_session_info

session_name: GoedelGod
input_heaps: 8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07
sources:
3fd30d99aed4ea85cb84e571147c0b79ca02596b
cb8c60028e55824850818d8c962b053b2584f167
cc2a3a4065fae604f80b8a0c4114f9999701c849


