# isabelle_session_info

session_name: ZF-UNITY
sources: 584b5291631c583ec0656b9c9b0d482e1d3c3c93
input_heaps:
4c5f183ba78d63fba8f2fff83f20ad92ba3f3123
6848c3f17e2b4e66c0c46ff1032bd357aeefd217
515115ad486cfcf694d71e59c3bcb0ba9a7366c5


