# isabelle_session_info

session_name: ZF-UNITY
sources: 59e797f7fa8fd7afbd618e489cd7a843daebb52a
input_heaps:
214791451a3e4263691afe954bff2e8059b80e96
b344921834adb6b3b7607d78eea3b6e4176c56a8
8eb4f71d50478c03740fa1f3cdff56cb5f1a0560


