# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
339666fb5abfc4f8d723005a48afb6e6bd413abe
096c811d6baa0fd361a8a5c762d2877c0883285d


