# isabelle_session_info

session_name: ZF-UNITY
sources: de27893c56978b25155d6905cfc50b8ef1f8f1e6
uuid: 78f684ca-3def-44f1-8a6e-75ecb39ba1ae
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
b49e1a70960cd8533e6c55aaf868b0d9d2747f8b
cbcf192873e36233c252270069f21ecbb9589897


