# isabelle_session_info

session_name: AnselmGod
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
27434bd2f8ac7d563f95bebda1a366227838346f
44db2503089999e4d2ace5941543e45f3f529b80
9f64ed898bf0a4de6aea38f55640f4a8b3ea54f2
e17298ddc1b211174195c43e5fe5b284d1654bf1


