# isabelle_session_info

session_name: ZF-UNITY
sources: 11684ffde684b7cecebec14846fced682d644d75
input_heaps:
f8fbcf1d38d4d23767f8670a17792248e376e814
da24f0694706675051b6d158d63bf93a1d04348b
f4b3c62cc4071a41ddb5eb342a796edb1113659e


