# isabelle_session_info

session_name: Perfect-Number-Thm
sources:
1f196adfd3b19fc41a89e1d51457117f633ae853
8c932430244d46ea2ad816c2daf73dfaebf379fb
8d9c6b3af5c1016219fd0ade0c08aafafb72f469
bd8eb439b135656964c6ebf7e9830d876b05a357
c85664345337818725c005e4498d8b709b2eba6b
f21e7152aa92e930bce35144cad8253aac433e28

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
10cae7858f6298753bffb93deb42b58c91c816c8
c923b6701c299822e9cbec78ff020402cd73b72b


