# isabelle_session_info

session_name: ZF-UNITY
sources: fd2a046fce55b29559e59f0a8835b4d38424d5e8
uuid: 836771af-60f0-4505-bd93-7dce6ba3cca7
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
ba01c85e9f0c8a1f93b2cd9346dbe4b1ad65731b
1f3d361ede557a3da27ff06ca4f2d8a7c532e982


