# isabelle_session_info

session_name: ZF-Induct
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 64b77baa97900996c9549c22be820cea669f0636
sources:
13a708e80ede860b56bb4255667ef38f89d00fb6
211c6d820a07c7d8a8909ce1ea47cba8bd05be8e
25d36e152c256908a18b0792a5344e6043680b74
475f233ae2035d666d45be596b68cdb684836c21
54a2b9cfc7b1ee599e8551acdde97ea61c960b05
6f72817e7acac96bc07022dc6afaa9420e4140ab
7353b7546cb46d8fe8a83ba365b83de30653aa5f
7c86bb6abe5d55bc734d8fb4133675fd6baa01b3
88bf2019a4473fec21b474c43e91a66330d82045
a3a98637edd490eace6aca8e896600a6e62245e6
c4ac8dc1d359c2084e08495882ea5245994e4e5f
ce84eada21d67fb38022743b9fde5b6e2d8c71a8
dd3a99112e079d3315463008fca03d05dfacc330
e619331dbd8ef867353881a9d44cf095ae0469a1
e6ef99fc2bdf343d2951af24afe67b66665908f8
ec183088b851237645051a5014b3dc03d30e2bfd
edc4d1779a3a5d82f56aad55f6095cffc9871aad
fafb911cdd11521c98216baa33000acde2ff0244


