# isabelle_session_info

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

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
f23f98568b481cf01febd03c11cd3ba915ae94de


