# isabelle_session_info

session_name: ZF-UNITY
sources: 5822b7d82f3822964ea757617faf9faa286bb7a3
input_heaps:
a8c309eb0c8fe4f6a33a13b2567e40753a5dcbed
2ce7114dc92ec7f8cc5b67704f08941e418b59ed
51a6a046b756da535a4e24c2b346f4dc7f94153b


