# isabelle_session_info

session_name: ZF-UNITY
sources: 000fdff6fd551cfefbd5f984d74b1d3de43dfd9f
input_heaps:
e0ff5bd6c0d373abad1c2b01c8cc9f4f059ca57e
3c3e43a17a75c6b7d0bf46930330f7aded3f80ba
80757b79c52fe730a1e04380a8fdf99b4cfe284f


