# isabelle_session_info

session_name: ZF-UNITY
sources: 7dd2bb9b09d7d152ba0885213649d81d2e3888b9
input_heaps:
ad9522bc18e2b2a6cf26599b560f2a9ea7596aee
3662ce0455791e6c89f5f9ef0fce92bc76c78fc8
1056c05ac55d4f6f8bf2568e131df6537871c976


