# isabelle_session_info

session_name: ZF-UNITY
sources: be95ea86ee4d6c7a2eb27c55f0cf92762ebf860e
input_heaps:
24a38c72ee89e95ca4340bf3149b8301de12b264
0e1abd0db3029e75a99071d27e0930ba54b20b60
9dc6f41c46712fcdd64262453aa0e8c1cda35729


