# isabelle_session_info

session_name: ZF-UNITY
sources: 060433115a811501146eaffa69440c96afef41f8
input_heaps:
b0bd15c9fb8e87ab78f957d86194188c0459f9d9
4d242ff72544b7f269e8ff007cf83e3d8217ef43
7f8f64bc2d331ac892c7c884c99841bb56ffaaf4


