# isabelle_session_info

session_name: GoedelGod
input_heaps: 03f2cc36b4a4f77618b1b338c8aa62714b840e80 cc27eb456075510284f02feef1118c21e49edbad
sources:
3fd30d99aed4ea85cb84e571147c0b79ca02596b
cb8c60028e55824850818d8c962b053b2584f167
cc2a3a4065fae604f80b8a0c4114f9999701c849


