# isabelle_session_info

session_name: ZF-UNITY
sources: 31db3cb900afa0c0564a37593cec5f503022f6fe
input_heaps:
23cf972811ccbc85c9826ecc0f49fdc49eb2b8c2
8d54f29078213e7c75e5c1e7db5da342f848e18f
ec0dc5b766a101c75894adf8926f578c1aa53743


