# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796


