# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
7cc5d7b67eefb3145a6bd031e9e428122873dd58
bc7ac19d5a582b7ac53c36133a237b487d42b708
eeba7f867bb37f1dc26c68c9ca8a97c708dc53c6


