# isabelle_session_info

session_name: ZF-UNITY
sources: 5c9c45dc414f1e82aca2b168e2589755caf0d004
input_heaps:
7c5c7e34db96667b848e7c2a8b8524484040cab1
5ce2e8da64725d8f58ad25039c8173020696aeb5
e3c842c1e4fddb2274dd8ce51e170b4751262148


