# isabelle_session_info

session_name: HOL-Induct
sources:
023f98eacacadeedd864289c9ff43014422320e8
41997bfe44acb97ef32a1a90a6fd676363e15bb6
7770601f4ea44c86666daec007794156c7917d8f
8de73dbee5bd43abbe7f2041191443d585cf494c
8e4dfa4e442615a473d9fc365a1ef16788ed2450
ac1f530bab663599d48a1237af90d42bf8bf850a
afb8ad2a422c6c87d6456560a218df756b06a339
b4c4fdefe28f603b8102a54b550e78e34a0754ee
be1e6ba45adf883a96e6ffacf68821d1d1ed43f5
c34cdc05853d252638f542efd3258ad63e03ec04
cde0146c69024fc5d2c5e3872e41f62447efd427
d9f782dbfb00677a9f392d1eb1182d7494f484b5
daa55b6c45cb4156ce4dd31eb830be33d49db6fb
ddaadcc0d3e8fc251b5555706f761c647163f587
f47a9a05716ea12f608e62ca4f0b8ad90799e901
f9751ab91fc77179aca74a00e58c3b699fd1074c

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
bc315400c916c04295cfa60734d24fe7f303421b


