# isabelle_session_info

session_name: ZF-UNITY
sources: 614c01df97242ad71ecfe14c9ca9c936bd2ee677
input_heaps:
047361513188e7c72a6ffd9fc0d5d82009c64e0e
04a1dfbca61db5ab57d74468fdb76815a468d85d
18b9fae80d8848d101456d273cba968d1ae4879a


