# isabelle_session_info

session_name: ZF-UNITY
sources: eca57bd93af1a46caeb25ffd1424d870269c0cbe
input_heaps:
a9b7dcae088578d8605a3e1d84e889eeccefd72f
3f7d60caad5409daa00203bd31cf81e36c662738
65a55d3ef50c768b40ae26ec331a38c19e245e6f


