# isabelle_session_info

session_name: ZF-UNITY
sources: 2d92e7fc469948d0fcbc19c52ff516af0f5983b5
input_heaps:
db456e2182b198adfdec654a00d5bb35f7784ab2
fe2fcb00c9a8f7e31d3bcedd2758ebeda3a6a6cf
187d5799ee71fb889bafc24295421115dd58499b


