# isabelle_session_info

session_name: ZF-UNITY
sources: f76142d9d885a4b7e1f456b10c320fc5d1fe3dda
input_heaps:
bbe5847e310595c720c365f3cee328952d2bbbc1
1d60bab5201fbca801534cd490f7a06c426e0d0a
0be27f5cac936a5a2da1c16b467e7291a7a5c68b


