# isabelle_session_info

session_name: GoedelGod
input_heaps: 70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
sources:
3fd30d99aed4ea85cb84e571147c0b79ca02596b
cb8c60028e55824850818d8c962b053b2584f167
cc2a3a4065fae604f80b8a0c4114f9999701c849


