# isabelle_session_info

session_name: ZF-UNITY
sources: 1ec7f0c409c146c18d075836984fdf5ebe3ce22b
uuid: 177d6b4c-8b6e-4a29-9f02-6cea6da86bf8
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
2208d4b2a88672be2f3012b71b07a02f41d758d5
622f4cbc539e7219f3a0a58d3c0442f3e39eb2dd


