# isabelle_session_info

session_name: Perfect-Number-Thm
sources:
27d8051a46e4cbb4ae267b46ab7e9fdcd227f5ce
5cb1871f732d82c718cf1b6948c2b3ee3ad76b9c
74fa163f15c1a7bded171f902ead0113d3187d73
8c932430244d46ea2ad816c2daf73dfaebf379fb
8d9c6b3af5c1016219fd0ade0c08aafafb72f469
bd8eb439b135656964c6ebf7e9830d876b05a357

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
05218989694d9035f45149cfa16d3e890ccdfc57
f9861f56b3f17a629ca1ccf1600fe97071957a24


