# isabelle_session_info

session_name: Perfect-Number-Thm
sources:
4cc30d0b28c9fa251525a86852410c611badc72b
8c932430244d46ea2ad816c2daf73dfaebf379fb
8d9c6b3af5c1016219fd0ade0c08aafafb72f469
bd8eb439b135656964c6ebf7e9830d876b05a357
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
d7a9d05b31b0b23c7b2895086606c1174630503a
f21e7152aa92e930bce35144cad8253aac433e28

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
770b0724ec92a2fa88f83a40381de2b0000fc1ad


