# isabelle_session_info

session_name: ZF-UNITY
sources: 614c01df97242ad71ecfe14c9ca9c936bd2ee677
input_heaps:
7dac346481afdceab62c8081cb4f36756224c974
93e78dbcfb1c4ef92eb1fedeaa5625ef8a4ce213
5a31440f94c277f60b1a2d4219f8e29467801c88


