# isabelle_session_info

session_name: ZF-UNITY
sources: 43a4f854a56ec1cc559826290428fee46ed8d85e
input_heaps:
0d46e8014914da4e1c47dfabe60e74a66f8c0804
dca5b069c3e3d449fa8600be4caf1baa15f3ce87
9f51dc4a114bf7fa6734cfe4179318dfc193fe45


