# isabelle_session_info

session_name: ZF-UNITY
sources: d66cb8ce55471bddc8aa591ed88d4d622e39710e
input_heaps:
bc0597c9f59ed66554e4cc7d1e17fb50ede497e8
d8ff576bd6f3b1a799ba7b689c84a0775538a100
f9672d81a032dbfb21cbc810d289a8169548e936


