# isabelle_session_info

session_name: Bell_Numbers_Spivey
sources: 33f7a3f8ac7afe75e379b5121ddfe78a48d739c3
output_heap: 7b8f4e44e0e3403932aca5dc4d5a3431e019182c
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213


