# isabelle_session_info

session_name: ZF-UNITY
sources: e6039ca0787d1e24a434013d1e113361193e89af
input_heaps:
002da1eaeee52b983075830d79ddcff9707ce7a9
179445240a173daac3502686dbda25f5eb6078e0
b2b0d3a36e34bf34f6a03b6c28f8c6c490ce30eb


