# isabelle_session_info

session_name: ZF-UNITY
sources: d5dd78b837055b8f4ecc2bb6888d46cf04b59321
input_heaps:
55985286d4b602ca5aea2674b7213139011fefc0
0452ebb96a390f2b442020e78e539a495cf4e73b
e6a33fdc32f8973ca40010e957a0320da8d97c59


