# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
12f9c2c1cca7af0c05e4d69fe4a540e3eb4f44f1
417fa9218e7c8d6e3f02e535355478672471e6a5
1df731fd09237ad964204f8759a4476ffb959472


