# isabelle_session_info

session_name: ZF-UNITY
sources: c17e6576b3a258552fd8d1762ab0db7e62570691
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
6d701974733c03649ac24e4ab0797e814f93ab1c
c178a019dae3010b54f54577a6b5906872fc6e38


