# isabelle_session_info

session_name: ZF-UNITY
sources: 81091d7f65785b99f0c04a22efe26c902f168cb8
input_heaps:
685a311797845e45d1e0e94079c226b99532de8d
4ee1b6072f0da1f95f9d96bde927e6b8b9ef585b
fdcd34b2b6a92d162cf58f5b172a765b2fcbed74


