# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
609027c0b5e2d5a13a9424abded96d9da8b41772
9af8b800f666541cbe138b0c73c675da401c3f67


