# isabelle_session_info

session_name: ZF-UNITY
sources: 4921842fc34e3fe52d3f9cfd8588950d1976fd1e
uuid: 7356f053-3f50-4183-ae6b-a1fbbe68e6ac
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
bcb238d2e7731ca51fd008a1e0fef3248453cbca
fa315a5a772a6e0094626b6147fa3598fb020330


