# isabelle_session_info

session_name: ZF-UNITY
sources: 72a35234dfab8e3be8597167b1b5e9dd8b8b5f67
input_heaps:
d9b2e0d22de49dc8d1d07bea7961be77a8e56816
eee425cc222e55e56b75652adc800e2ba6229648
4f8a793492a05aaed8c026f2b3f0be272d1a628a


