# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
b0d8aefa846d06f88c9e3822dbbb31b415e8a124
69a1dd4db6ab1c1ff9caab22fb7312928e01a908


