# isabelle_session_info

session_name: ZF-UNITY
sources: 6c0dcbdf7829f952ea55fa621d52379720c6003b
input_heaps:
1d849f65e40086cfa647d5ebc591e23f461aa5f2
6bc9ae735caaed395daefeafa1bbca89e5ff1453
617021e36b7cb61e969b2b5777558d72b6dcc55f


