# isabelle_session_info

session_name: Perfect-Number-Thm
sources:
1f196adfd3b19fc41a89e1d51457117f633ae853
6ddaa176e7079a8ccfc7dcdb2da946a43cb63eae
8c932430244d46ea2ad816c2daf73dfaebf379fb
8d9c6b3af5c1016219fd0ade0c08aafafb72f469
bd8eb439b135656964c6ebf7e9830d876b05a357
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
f21e7152aa92e930bce35144cad8253aac433e28

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
c13e3de1e0be8d1f8e22817e408018c478eff10c


