# isabelle_session_info

session_name: ZF-UNITY
sources: 293e630db6cf480aa412b2e6b18e2778dec03568
input_heaps:
8e746ae3b5d24dcf537ea0091b8c9f94dd892450
ab307dc55d48812969959a075e21a62d5d6cca56
536a0f357a4fd4675efef5bcf27bbc972c7275d9


