# isabelle_session_info

session_name: ZF-UNITY
sources: 6d30ac30437e948429d38353dc74c80fe78e1428
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
60f868a322377bb528cc8869690e3a6d454e2759
88023f26f87ca34074a5c4669e14e5176b674536


