# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
b8fcf8b70bbd7784c887c97c24c8d372c7a8697f
556268982ba6ef78d9da8cd75230cb7d87165b23
41236dc92ee29e119883c8a6fba2e0e9f4d2db6c


