# isabelle_session_info

session_name: ZF-UNITY
sources: 3dde86ec568b0f5472b7d34a876e710a093977d8
input_heaps:
fa217b500e43b49079262f25873831dd0a8ef4ee
d194e71e792e0a718b059e3ffa2c0b6634096f92
f038cce3fde610790ba584d5f5777837dac76783


