# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
524230ad8671d20113f24ca2a9fbfc3940636b8b
afa070c6e76098624e0bcb46877bd94e9fd4e744
26fdd5407b0cba22a59a56813d1f754b31b2159a


