# isabelle_session_info

session_name: ZF-UNITY
sources: eebfc7ee34ccf3fae6bb498b2fbad33802efb08d
input_heaps:
8a4269a42aca70396b3fb4cbd3bc25030d219b39
f160f74f1f17727c28afe98e014cd66514902e33
322f9037f81ab1f84ab7b7697341684b0eac0380


