# isabelle_session_info

session_name: ZF-UNITY
sources: d729c4ea20a8d9f794c41fea20794e6bc7ee7933
input_heaps:
a17ca0e9fb4e0fceba75bb31fcaebec8075ae426
2cbe87d3dd5e90864807fd5c367caaeb162b9fdc
778bc20073446a5356530ef610f019500271c8dc


