# isabelle_session_info

session_name: ZF-UNITY
sources: 9407a1e221c4a4d19987e875bbbae602629e4545
input_heaps:
31f92072f849172c668aadca4c36428f18253840
f4c94c0ca96ddff5e9f0f099a1e3675d52614af6
95f3f69a0818d1a2c83fb8eebb377ab309e75b5b


