# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f


