# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef


