# isabelle_session_info

session_name: ZF-Induct
input_heaps: 4dbf67159a593b2086dfa23682656ac9bdef67e9 f0edea63eedf5540bab1018a97825ff7b877a89c
output_heap: 036d500aeb64a63f8cd7d448a86d1a5e263174f4
sources:
18218eb9e9f34ae93dd5c35f469bf3ce1a3f2eae
25d36e152c256908a18b0792a5344e6043680b74
2819d322b509e31af00bfcdb2460fdd00aecb9e7
36863080348d1714da512ceaa1cb6bd2523e0280
54a2b9cfc7b1ee599e8551acdde97ea61c960b05
55ba57f7221bd3722bb55c5d9e313c6b44d53653
57e5d2a67cd7b81d4bdf0228ddd9cc5c5aa84925
5908d12ee51e1685f9fd0112c653b511019ce95c
6484222b7029159d8903a4a528dbeff89b4b709c
6a23b0c42d6faf775a48365c357f108a2cc76b8a
6a654df147c506e436ee80ce7e742ad58bccf06a
7cf20fa1bad82a873187163fc404bad277ad5029
84c253a9bc8dd2eb8d948c12ac218c1ed83da117
9260e358cebee6fa0aa6fa1eb1b1652924a55bde
9dca6ad3b1a955fb2dd5272bfe09cdce1bd83e0a
a11834af04ab1c630562283c8c8ccde857e6b8b8
e619331dbd8ef867353881a9d44cf095ae0469a1
edc4d1779a3a5d82f56aad55f6095cffc9871aad


