# isabelle_session_info

session_name: HOL-Induct
input_heaps: 014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa
sources:
023f98eacacadeedd864289c9ff43014422320e8
266906b15d5ae63f6bd05b56a01002a489266001
41997bfe44acb97ef32a1a90a6fd676363e15bb6
4f27fcece357917ff708b1c42be6ef9fd8936779
5117119a178eac69d137fb85243808da2d667eaf
7770601f4ea44c86666daec007794156c7917d8f
8de73dbee5bd43abbe7f2041191443d585cf494c
8e4dfa4e442615a473d9fc365a1ef16788ed2450
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
ac1f530bab663599d48a1237af90d42bf8bf850a
afb8ad2a422c6c87d6456560a218df756b06a339
b4c4fdefe28f603b8102a54b550e78e34a0754ee
be1e6ba45adf883a96e6ffacf68821d1d1ed43f5
c34cdc05853d252638f542efd3258ad63e03ec04
c9a7834754ca020e75afb9d98e309c88e75bfb0a
cde0146c69024fc5d2c5e3872e41f62447efd427
daa55b6c45cb4156ce4dd31eb830be33d49db6fb
ddaadcc0d3e8fc251b5555706f761c647163f587
e98d989b0d56b347c6ee1a9d61645ae944ef72e3
f47a9a05716ea12f608e62ca4f0b8ad90799e901


