# isabelle_session_info

session_name: ZF-UNITY
sources: 6c82e08ca753b762962fa4a8e26ee99907844239
input_heaps:
a11b8ef9095dc18af944c405902a78d4207477ae
7c8d710ce1f3a2200ae9ad103edda294a7b13cc8
6225439fcb80b30eb81a3cfb9258d4d29dca4856


