# isabelle_session_info

session_name: PropResPI
input_heaps: 3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c
sources:
2410d4066ae373bed1722c6597e4e0d5d5c05661
c87f4f640e5fc894729a183fa325d26adef81e23
d58ecc0b1995d99105c1e5da62d531bf6634eca3
f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd


