# isabelle_session_info

session_name: ZF-UNITY
sources: 9cf9d8b5e69a5d842745a7d1c8bd4d3ac0b9fac9
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
3242f7b44414b0e34265ed00450cc2a6bfe8a33f
ada463eb9ada5273146e5fc5caa0a6f55ef95bbc


