# isabelle_session_info

session_name: Bell_Numbers_Spivey
output_heap: 0a2f2468a2b45527c3c14a4e57c6342195a44420
sources:
0d624df132aa2e54b02fa619fa707a1b424b9830
1de455d1b6c91c9aba6e91deda1c27c17fd14e50
383dee4bb60284cc7229af5017def9c12378879e
3dd1eb530c3c470b47ddc4d434eea2c5684cd8da
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
6d1501cce1a74aadd14244becb041c4f8097c20a
7062f6bc3330331442ee719da0d76412d11266f3
85d794b86cfe725588722f5120e48bfba0313bd0
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
973d6bd96dc9037f8676681fb869d6ae83013aac
c0b5decf7346f9ae8d66b5f48791a6361cf102f1
e5ee8f1bf89fdbbe4808fce9768799c63e3a2edd

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


