# isabelle_session_info

session_name: ZF-UNITY
sources: 9d6f2e64b7ed24e224c751b6c6ba1f0da71a6c71
input_heaps:
e3a1ccee455624b3686c1405fb0ec62cb06ce178
b2e11859bf379a739e468926eb3084a9a0612936
acf89353b786143d8f0e47dc837ac25fa3510a9b


