# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
157872e777819e45a1354c5e9b25a0e090aab99b
86e61b7c5c9384d04d032cbefa707cbe8a4810f6
51d0bfe635a6d239cc2cd39b981ce4f595ad6b71


