# isabelle_session_info

session_name: ZF-UNITY
sources: 65ac913a72730f13eff6ce2c29efec6a84c0b07c
input_heaps:
19435e7761b5bfa7535ecc583694b3b77ac13312
c52c18986f05105cd58256ea48d573c703d94352
4204874e460281682930acaaa6eb8fe551e3db07


