# isabelle_session_info

session_name: ZF-UNITY
sources: cb8b0033a4dca572ad411dfa0c0e4628759076c3
input_heaps:
6ccfd83e19ef598f6e27e356293c7dd9ec0a36c7
704b1c5637535c7e4561bd97b60be9cb6284c615
2075d44497710105e06019e3329b8d6fbf22d74a


