# isabelle_session_info

session_name: GoedelGod
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c
sources:
3fd30d99aed4ea85cb84e571147c0b79ca02596b
9e48aac63a280daf7848f5671ccd1c133812c7e3
cb8c60028e55824850818d8c962b053b2584f167


