# isabelle_session_info

session_name: ZF-UNITY
sources: 5c9c45dc414f1e82aca2b168e2589755caf0d004
input_heaps:
17875d9ab39491b14167707e21ee07d18b9ca721
c1f1881c7276cf39a1fb003223fd0b623249420c
6dad636fcb9abd1b7b0da7139436e6befaa09b0b


