# isabelle_session_info

session_name: ZF-UNITY
sources: 52460f4717382c2fde9f993d270ed7bf8a16510d
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2bd24ce6076c349b4ed706e0100c71124252a530
a64f6688bc5f3c80f9ca9a0aab04c57ca2e6a76b


