# isabelle_session_info

session_name: PropResPI
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
2410d4066ae373bed1722c6597e4e0d5d5c05661
3ac8c557828b78a610e44be5e28d68e75205bd6a
80acea014f50df07de71735a0b8d00eedf3656ac
edfaf9cd07c8e3673d185c84ed84427398c3c59d


