# isabelle_session_info

session_name: ZF-UNITY
sources: 8163ffb44c119c0c63d834a3d370073418115c46
input_heaps:
7c385341d59add624f3803e0e2d207c16fcf2b8b
5dfc03f70680c2ad19827c606e7867d4fea6a74b
afe2f0b489a2b2f97ec78a5fa5ce8522d9bf9019


