# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
9f7624067c9c5a93ecbf4163df24f4baa96ccfb8
3bb95127ccf3fd3dbcd93f51d05ee6ad49c73d02
6639dab5a08780294f3bb953479ab9e987668a3f


