# isabelle_session_info

session_name: ZF-UNITY
sources: e52ee4ece7e1ec214ecf275c89723736d0448967
input_heaps:
76ac14ae37c8794c2fe7c4ad8e34a0025ac2d4ec
dd18cf13f593bcdacc5b2e3c2d11ac61f7ae9324
da2cdc57fba6953f756f751360e80a21cc758d0c


