# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef
8604b41f1e451262fcd1286c482b758b73d1c934
239ba587503017ea0f059c92e69d255d6d8a4747


