# isabelle_session_info

session_name: ZF-UNITY
sources: a7267ec41c4da4ea6bec4edac507ccd5561adfac
input_heaps:
62b46d030507eff717bda6aaba560c4c46c9bcf8
54a0718c4e4c4d7bde3f45eb0dcc7375f39c15ff
37e1d16b8c047befaa30eb2c2f7cc6501bd538ff


