# isabelle_session_info

session_name: ZF-UNITY
sources: d66cb8ce55471bddc8aa591ed88d4d622e39710e
input_heaps:
c02607a1ca167edcd658ec3d4e79e4ea4af5ebba
59326e5fdbe7c0a922150f3a5ff1d4e2edb83feb
f031f54fa21308451810db343e80b7ed5b15968b


