# isabelle_session_info

session_name: ZF-UNITY
sources: 2d637f745fde97dca7aa3a40e371f34473b171b5
input_heaps:
d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7
b1bd2968a9043827edd79efe4f924e404f6a2642
9b025a40dc9e46b46d9a09e2b6b895a36e6384df


