# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
232733c8a37afc91239d3bfd839a69a07c1cc6b3
3e25f55de9de3b7385c59d307d8a7650b38449be
cff9bf58bd0cb32001c797547e945c6c6551223e


