# isabelle_session_info

session_name: ZF-UNITY
sources: 29ed3214752e7d40f461e7b09014cf8c04d3bfb5
input_heaps:
e739dc532a6c80e6f5d762f572346ebeb03f4552
9601e45b9257fc270ad7055adaa5b24c5ad33dbb
9f4ad90aabfad8ea85aaaaa3b6896d41360353df


