# isabelle_session_info

session_name: FOL_Harrison
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24
sources:
51b84434d660a41e914bffd052f9e5d2676d49fb
c08c0d5d4601fb33f1b6cf9f7f814c612221dae7
d6c9ed0dc694ca12d50508ef9e9748a714b26966
daafd816af788235165bdb8cfd09c393597c7cd6
f0fce7eeae1ffa41a6f0691e21062958b47031cc


