# isabelle_session_info

session_name: ZF-UNITY
sources: 16d231c0cf503dc98b63363c4ebe16644accd4c6
input_heaps:
f49cf1e890799590abbaffa7e0c5e9c98594d78e
ca18a1bee71a88fcc94d8b57bea59dd81e87bbc1
f4a5f492868d8d11adffdbd6f885854138101624


