# isabelle_session_info

session_name: Bell_Numbers_Spivey
output_heap: f4e4f39c375f972aa93bf0a462eb82240836ce9f
sources:
0d624df132aa2e54b02fa619fa707a1b424b9830
1de455d1b6c91c9aba6e91deda1c27c17fd14e50
383dee4bb60284cc7229af5017def9c12378879e
3dd1eb530c3c470b47ddc4d434eea2c5684cd8da
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
6d1501cce1a74aadd14244becb041c4f8097c20a
7005af9f822fb3dfb99a8cc26e90e32ffe96f3ad
7062f6bc3330331442ee719da0d76412d11266f3
7ee113b1f7c101fbfde03d03efbb16ccf5cdafae
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
973d6bd96dc9037f8676681fb869d6ae83013aac
c0b5decf7346f9ae8d66b5f48791a6361cf102f1

input_heaps:
fd26823aea4412c74308567751ae895bf997201a
c51b383787a599e178e4e8b340122b3ecdee1700
dc2961254cdff5383e97fe7701cad91d01ec577c


