# isabelle_session_info

session_name: ZF-UNITY
sources: 559a3ef554f1326eddeb4184c02df9e51555413e
uuid: 0583b592-0fe4-4b1a-9a23-a7b2af2b3e7c
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
b0e0356f3785149efbb211314d429effc9881c14
3a0607fb2df3f27e54f33936301cd45bb95c8fb3


