# isabelle_session_info

session_name: Bell_Numbers_Spivey
sources: 2455c51f63b3ee304ea59d4f9c7f16f0bc6f06bc
output_heap: 8e5c8844cec605138f6103ae4db222995dc17510
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
2d6e38d83c3e90a100dde7fed1e4308f472211d2


