# isabelle_session_info

session_name: ZF-UNITY
sources: dc65cabe82cee0e9e6cb79cbe8f6b0ca3a822759
input_heaps:
21cdc0b7ede6607d8caa98ee660803e107c08204
3c3954263fdd1a79a3a79452c5d21b683fa5346c
5e12b47aa5f31474bbc12e585b322e7074ec91c5


