# isabelle_session_info

session_name: ZF-UNITY
sources: 77be4ad1dee2ca6d7cdd3a88e5d25c534b14ec4d
input_heaps:
56dff493c54cd66b7db0c38a40d271b408a414ea
8fbf136e06e41f5f7f0bc1d79ef2d3224258fb09
994e473bb3ae0325491a3ff54a795611a363622c


