# isabelle_session_info

session_name: ZF-UNITY
sources: 13b85eb5a182e4318d2e7bae4812983576115fa3
input_heaps:
88012d37539d18f74cb8b5735460e837dfca88ef
abbf325320db953ccbcd51915f444d83e9f60bba
d19841ffe76c3d2614675180cbbca321113d8d69


