# isabelle_session_info

session_name: ZF-UNITY
sources: 97b1681724ef1d0d599527d631c3d3cdbbdfa3c1
input_heaps:
d5a3488ad18ffbaae064d10946542ffd314bf36d
92c41e457a03190fd2a718eaaf8ce575687d975a
b0d242b2851dd98ac208cd3c6843dbf894b9f561


