# isabelle_session_info

session_name: ZF-UNITY
sources: 6c82e08ca753b762962fa4a8e26ee99907844239
input_heaps:
938e15381b816f3f1a92aa6a4c4c27eeaf3487ae
b42ea37c3b4fd6ff9f4c05eb0cf711f77f5623d7
ed12a887804e73a3a3238275dd18093bc71e02bb


