# isabelle_session_info

session_name: ZF-UNITY
sources: 294ba8404c03baf795ee88a2e4ea198b5bdc80df
uuid: dc7b0159-2563-4717-92c4-448ae2dc3ecb
input_heaps:
a4cc56f347bef96df112454c282b70177f6a68a7
ce9d5d967050f0e1ab5e9a64be0b57f29ff6ceaa
4b2fba6729111db977e1ab168a59c4d22ac3d444


