# isabelle_session_info

session_name: ZF-UNITY
sources: 583d027d38515d72ba9e3ee8f320600eb6a91ef9
uuid: 8ef3f982-97bf-4bbe-9903-05b681059f61
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
8bec0b815865e36432e8c85241d7321fba48e8b0
e44c9eea4c0c69149f6e95b4e2a637518dc4a245


