# isabelle_session_info

session_name: ZF-UNITY
sources: 97b1681724ef1d0d599527d631c3d3cdbbdfa3c1
input_heaps:
345c71dbd7a2fddca696d9cb71ed92270da5f86b
de29ab9bbe27855cef0b0bf68657808d2b0a74f2
a8fab4711a4c60f1419577c7698e92dc2cecf141


