# isabelle_session_info

session_name: ZF-UNITY
sources: 79e691c4abfa16ebd9fa9b7c0f2706141b8e5fdf
input_heaps:
6b7cffc78b37704c68c4a7685f80ff2e47a7537c
3530c6cc7b5ca8ff7a28fa4cbe14c3332ae3b6fe
04d2bbdfefd612468dd8d860a73bc109adae7518


