# isabelle_session_info

session_name: ZF-UNITY
sources: b22e614c9b8837afadae5513ef574780d608d824
input_heaps:
863a98e2ca0ada59f7d1a7547b41b938956950f0
21b4d1a7476923dabcfa17f7a91926c3306c2c57
453bde530e11885b6870960687d16ff0209e762f


