# isabelle_session_info

session_name: Bell_Numbers_Spivey
sources: 8bf8a9ff3c589e9a2c7a760e750438d2a982dca5
output_heap: d418f290589c33cef566e5cb669dfff5ff046a91
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
0c80c3089af67fbc367d2127bc33378b9803cdf7


