# isabelle_session_info

session_name: ZF-UNITY
sources: 557982b0d06883e5fde081e7b7c96d6abc5e0034
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
0806bdeb3be9b5fce780a9de3b3799ca5e8eaea3
d70d6f412d08e50419a054ba464e64bbb435dfce


