# isabelle_session_info

session_name: ZF-UNITY
sources: ea174d9663598582e3efbf2fbf5df9a99b4a7f81
input_heaps:
5bc7b8609748a10319dc3892a3dee59fdc4e228c
29009e8b230678396a33b192288ec4d345d67c69
6f69132aef636bcafc7dc8c93e729d087287d659


