# isabelle_session_info

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

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
6c1e2e695a2f0575bcb7e67bc72be34591789107


