# isabelle_session_info

session_name: Pre_BZ
sources: 92bb223432063016faec9846b8ed9813cd27dc85
output_heap: c5a40cf4ea85b68b6da1926f0485037d5cb5cdcf
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
47f3e547c75db7767e004a4b015e520c4e949d73
f8d9964663e20ec65b7acd393e357a95264709af
d5cdf963dd52a489e7c52af8ae9d3fb3a83cd098
c1d83643e8195d393dbbafa86b565b4a3fbb276d
b39b44f8f8b4f81c15a29f5c07441cf8bd259ce9
303a5ba51faa0af9db5280d196ee9dcc2446092d
ebd39d5961fd583806c5b8130173e14a1e50028e


