# isabelle_session_info

session_name: Bell_Numbers_Spivey
sources: 7c38902273928ea4431ade7dcb68f5b1e828fd7f
output_heap: 9d42871d004601cbdcb814fb4fa6079e5efb6eab
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
6a753f5bba36be6a9677923d7a2b6c8b29d1347e
b7d2f1f69f19fc9294392626dbb233eabe2342a6


